runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 15859 MiB (13238 MiB free)
  memory of node 1: 16087 MiB (13578 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/biere/cmpadd//ca256.shuffled.cnf 

running on 1 cores: 7

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-301.1.el8.x86_64
solver pid=1178269, runsolver pid=1178267
Current StackSize limit: 8192 KiB


[startup+0.100397 s]*
/proc/loadavg: 0.00 0.00 0.41 15/568 1178273
/proc/meminfo: memFree=27426684/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=41760 memory=14612 CPUtime=0.07 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 2560 0 0 0 7 0 0 0 20 0 1 0 339995607 42762240 3653 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 10440 3653 1486 2 0 2852 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 41760 KiB
Current children cumulated memory: 14612 KiB

[startup+0.221397 s]*
/proc/loadavg: 0.00 0.00 0.41 12/567 1178273
/proc/meminfo: memFree=27424528/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=0.17 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3315 0 0 0 17 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+0.321397 s]*
/proc/loadavg: 0.00 0.00 0.41 11/560 1178275
/proc/meminfo: memFree=27424992/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=0.26 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3315 0 0 0 26 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+0.701395 s]
/proc/loadavg: 0.00 0.00 0.41 11/560 1178275
/proc/meminfo: memFree=27422840/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=0.58 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3315 0 0 0 58 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+1.5004 s]
/proc/loadavg: 0.00 0.00 0.41 13/560 1178275
/proc/meminfo: memFree=27423076/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=1.36 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3316 0 0 0 136 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+3.1224 s]
/proc/loadavg: 0.00 0.00 0.41 14/560 1178275
/proc/meminfo: memFree=27424748/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=2.94 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3316 0 0 0 294 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+6.3004 s]
/proc/loadavg: 0.56 0.12 0.45 13/560 1178275
/proc/meminfo: memFree=27422812/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=6.05 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3316 0 0 0 605 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+12.7004 s]
/proc/loadavg: 1.08 0.23 0.48 13/560 1178275
/proc/meminfo: memFree=27419180/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=12.32 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3316 0 0 0 1232 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 12.32 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+25.5004 s]
/proc/loadavg: 2.31 0.55 0.58 12/552 1178286
/proc/meminfo: memFree=27425040/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=24.84 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3317 0 0 0 2484 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 24.84 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+51.1224 s]
/proc/loadavg: 3.72 1.02 0.74 14/553 1178287
/proc/meminfo: memFree=27417216/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=49.91 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3317 0 0 0 4991 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 49.91 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+102.3 s]
/proc/loadavg: 5.07 1.81 1.02 12/553 1178297
/proc/meminfo: memFree=27409920/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=100.01 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3317 0 0 0 10001 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 100.01 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+162.3 s]
/proc/loadavg: 5.80 2.62 1.35 13/553 1178313
/proc/meminfo: memFree=27403660/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=158.75 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3317 0 0 0 15875 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 158.75 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+222.3 s]
/proc/loadavg: 5.93 3.23 1.65 12/553 1178322
/proc/meminfo: memFree=27393776/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=217.48 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3317 0 0 0 21748 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 217.48 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+282.3 s]
/proc/loadavg: 5.97 3.74 1.92 12/553 1178331
/proc/meminfo: memFree=27385560/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=276.21 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3317 0 0 0 27621 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 276.21 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+342.3 s]
/proc/loadavg: 5.99 4.15 2.18 12/552 1178341
/proc/meminfo: memFree=27381652/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=334.94 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3317 0 0 0 33494 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 334.94 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+402.3 s]
/proc/loadavg: 6.00 4.49 2.42 13/552 1178351
/proc/meminfo: memFree=27379328/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=393.67 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3317 0 0 0 39367 0 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 393.67 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+462.3 s]
/proc/loadavg: 6.00 4.77 2.65 14/552 1178360
/proc/meminfo: memFree=27375760/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=452.42 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3317 0 0 0 45241 1 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 452.42 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+522.3 s]
/proc/loadavg: 6.00 5.00 2.86 13/552 1178369
/proc/meminfo: memFree=27372348/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=511.16 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3317 0 0 0 51115 1 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 511.16 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+582.3 s]
/proc/loadavg: 6.08 5.21 3.07 13/552 1178379
/proc/meminfo: memFree=27367784/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=17780 CPUtime=569.89 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3317 0 0 0 56988 1 0 0 20 0 1 0 339995607 45756416 4445 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4445 1486 2 0 3583 0
Current children cumulated CPU time: 569.89 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17780 KiB

[startup+642.3 s]
/proc/loadavg: 6.25 5.42 3.28 13/552 1178388
/proc/meminfo: memFree=27358328/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=19108 CPUtime=628.63 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3341 0 0 0 62862 1 0 0 20 0 1 0 339995607 45756416 4777 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4777 1486 2 0 3583 0
Current children cumulated CPU time: 628.63 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 19108 KiB

[startup+702.3 s]
/proc/loadavg: 6.09 5.53 3.45 12/552 1178397
/proc/meminfo: memFree=27352916/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=19108 CPUtime=687.37 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3353 0 0 0 68736 1 0 0 20 0 1 0 339995607 45756416 4777 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4777 1486 2 0 3583 0
Current children cumulated CPU time: 687.37 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 19108 KiB

[startup+762.3 s]
/proc/loadavg: 6.03 5.62 3.61 14/553 1178408
/proc/meminfo: memFree=27339412/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=19228 CPUtime=746.11 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3359 0 0 0 74610 1 0 0 20 0 1 0 339995607 45756416 4807 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4807 1486 2 0 3583 0
Current children cumulated CPU time: 746.11 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 19228 KiB

[startup+822.3 s]
/proc/loadavg: 6.01 5.69 3.76 12/553 1178417
/proc/meminfo: memFree=27331068/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=19228 CPUtime=804.84 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3362 0 0 0 80483 1 0 0 20 0 1 0 339995607 45756416 4807 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4807 1486 2 0 3583 0
Current children cumulated CPU time: 804.84 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 19228 KiB

[startup+882.3 s]
/proc/loadavg: 6.00 5.75 3.91 13/553 1178426
/proc/meminfo: memFree=27324788/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=19228 CPUtime=863.58 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3365 0 0 0 86357 1 0 0 20 0 1 0 339995607 45756416 4807 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4807 1486 2 0 3583 0
Current children cumulated CPU time: 863.58 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 19228 KiB

[startup+942.3 s]
/proc/loadavg: 6.00 5.80 4.04 12/553 1178436
/proc/meminfo: memFree=27320004/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=19228 CPUtime=922.32 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3368 0 0 0 92231 1 0 0 20 0 1 0 339995607 45756416 4807 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4807 1486 2 0 3583 0
Current children cumulated CPU time: 922.32 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 19228 KiB

[startup+1002.3 s]
/proc/loadavg: 6.00 5.84 4.17 14/553 1178446
/proc/meminfo: memFree=27312688/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=19228 CPUtime=981.06 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3371 0 0 0 98105 1 0 0 20 0 1 0 339995607 45756416 4807 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4807 1486 2 0 3583 0
Current children cumulated CPU time: 981.06 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 19228 KiB

[startup+1062.3 s]
/proc/loadavg: 6.57 6.00 4.33 12/552 1178455
/proc/meminfo: memFree=27308932/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=19228 CPUtime=1039.8 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3374 0 0 0 103979 1 0 0 20 0 1 0 339995607 45756416 4807 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4807 1486 2 0 3583 0
Current children cumulated CPU time: 1039.8 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 19228 KiB

[startup+1122.3 s]
/proc/loadavg: 8.03 6.51 4.61 12/552 1178464
/proc/meminfo: memFree=27303792/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=44684 memory=19228 CPUtime=1098.54 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 3377 0 0 0 109853 1 0 0 20 0 1 0 339995607 45756416 4807 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11171 4807 1486 2 0 3583 0
Current children cumulated CPU time: 1098.54 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 19228 KiB

[startup+1182.3 s]
/proc/loadavg: 10.27 7.43 5.05 13/552 1178474
/proc/meminfo: memFree=27294516/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=46252 memory=20760 CPUtime=1157.28 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 4031 0 0 0 115727 1 0 0 20 0 1 0 339995607 47362048 5190 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11563 5190 1486 2 0 3975 0
Current children cumulated CPU time: 1157.28 s
Current children cumulated vsize: 46252 KiB
Current children cumulated memory: 20760 KiB

[startup+1242.3 s]
/proc/loadavg: 9.82 7.88 5.36 14/553 1178484
/proc/meminfo: memFree=27288928/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=46252 memory=20760 CPUtime=1216.01 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 4033 0 0 0 121600 1 0 0 20 0 1 0 339995607 47362048 5190 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11563 5190 1486 2 0 3975 0
Current children cumulated CPU time: 1216.01 s
Current children cumulated vsize: 46252 KiB
Current children cumulated memory: 20760 KiB

[startup+1302.3 s]
/proc/loadavg: 7.60 7.61 5.43 13/553 1178493
/proc/meminfo: memFree=27283780/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=46396 memory=20868 CPUtime=1274.76 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 4370 0 0 0 127474 2 0 0 20 0 1 0 339995607 47509504 5217 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11599 5217 1486 2 0 4011 0
Current children cumulated CPU time: 1274.76 s
Current children cumulated vsize: 46396 KiB
Current children cumulated memory: 20868 KiB

[startup+1362.3 s]
/proc/loadavg: 6.59 7.31 5.47 14/553 1178503
/proc/meminfo: memFree=27277508/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=47676 memory=22184 CPUtime=1333.5 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 4646 0 0 0 133348 2 0 0 20 0 1 0 339995607 48820224 5546 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11919 5546 1486 2 0 4331 0
Current children cumulated CPU time: 1333.5 s
Current children cumulated vsize: 47676 KiB
Current children cumulated memory: 22184 KiB

[startup+1422.3 s]
/proc/loadavg: 6.21 7.07 5.50 12/552 1178512
/proc/meminfo: memFree=27272576/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=47676 memory=22184 CPUtime=1392.24 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 4648 0 0 0 139222 2 0 0 20 0 1 0 339995607 48820224 5546 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 11919 5546 1486 2 0 4331 0
Current children cumulated CPU time: 1392.24 s
Current children cumulated vsize: 47676 KiB
Current children cumulated memory: 22184 KiB

[startup+1482.3 s]
/proc/loadavg: 6.08 6.87 5.54 15/553 1178523
/proc/meminfo: memFree=27266412/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=49224 memory=23472 CPUtime=1450.98 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 5293 0 0 0 145096 2 0 0 20 0 1 0 339995607 50405376 5868 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 12306 5868 1486 2 0 4718 0
Current children cumulated CPU time: 1450.98 s
Current children cumulated vsize: 49224 KiB
Current children cumulated memory: 23472 KiB

[startup+1542.3 s]
/proc/loadavg: 6.03 6.71 5.57 12/551 1178533
/proc/meminfo: memFree=27263040/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=49224 memory=23472 CPUtime=1509.73 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 5295 0 0 0 150971 2 0 0 20 0 1 0 339995607 50405376 5868 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 12306 5868 1486 2 0 4718 0
Current children cumulated CPU time: 1509.73 s
Current children cumulated vsize: 49224 KiB
Current children cumulated memory: 23472 KiB

[startup+1602.3 s]
/proc/loadavg: 6.01 6.58 5.60 14/552 1178544
/proc/meminfo: memFree=27254780/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=50548 memory=25072 CPUtime=1568.48 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 5941 0 0 0 156845 3 0 0 20 0 1 0 339995607 51761152 6268 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 12637 6268 1486 2 0 5049 0
Current children cumulated CPU time: 1568.48 s
Current children cumulated vsize: 50548 KiB
Current children cumulated memory: 25072 KiB

[startup+1662.3 s]
/proc/loadavg: 6.22 6.52 5.64 14/552 1178553
/proc/meminfo: memFree=27247304/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=50548 memory=25276 CPUtime=1627.22 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 5946 0 0 0 162719 3 0 0 20 0 1 0 339995607 51761152 6319 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 12637 6319 1486 2 0 5049 0
Current children cumulated CPU time: 1627.22 s
Current children cumulated vsize: 50548 KiB
Current children cumulated memory: 25276 KiB

[startup+1722.3 s]
/proc/loadavg: 6.18 6.45 5.68 14/552 1178573
/proc/meminfo: memFree=27242488/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=50548 memory=25276 CPUtime=1685.96 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 5949 0 0 0 168593 3 0 0 20 0 1 0 339995607 51761152 6319 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 12637 6319 1486 2 0 5049 0
Current children cumulated CPU time: 1685.96 s
Current children cumulated vsize: 50548 KiB
Current children cumulated memory: 25276 KiB

[startup+1782.3 s]
/proc/loadavg: 6.15 6.40 5.71 13/552 1178583
/proc/meminfo: memFree=27239788/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=52040 memory=26540 CPUtime=1744.71 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 6512 0 0 0 174468 3 0 0 20 0 1 0 339995607 53288960 6635 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 13010 6635 1486 2 0 5422 0
Current children cumulated CPU time: 1744.71 s
Current children cumulated vsize: 52040 KiB
Current children cumulated memory: 26540 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 6.10 6.37 5.72 12/552 1178583
/proc/meminfo: memFree=27239616/32713960 swapFree=33554428/33554428
[pid=1178269] ppid=1178267 vsize=52040 memory=26540 CPUtime=1762.05 cores=7
/proc/1178269/stat : 1178269 (pigeonPur.py) R 1178267 1178269 1178238 0 -1 4194304 6514 0 0 0 176202 3 0 0 20 0 1 0 339995607 53288960 6635 18446744073709551615 94283857031168 94283857035280 140729412524976 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 339995610 0 0 94283859135744 94283859136516 94283881914368 140729412526577 140729412526664 140729412526664 140729412530153 0
/proc/1178269/statm: 13010 6635 1486 2 0 5422 0
Current children cumulated CPU time: 1762.05 s
Current children cumulated vsize: 52040 KiB
Current children cumulated memory: 26540 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[] -> []

[-1] -> []

[-1, -2] -> []

[-1, -2, -3] -> []

[-1, -2, -3, -4] -> []


Detected pigeons:

[startup+1800.1 s]
# the end of solver process 1178269 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1762.06 s, system=0.03472 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 1800.1
CPU time (s): 1762.09
CPU user time (s): 1762.06
CPU system time (s): 0.03472
CPU usage (%): 97.8885
Max. virtual memory (cumulated for all children) (KiB): 52040
Max. memory (cumulated for all children) (KiB): 26540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.06
system time used= 0.03472
maximum resident set size= 26540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6516
page faults= 0
swaps= 0
block input operations= 400
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 24387


# summary of solver processes directly reported to runsolver:
#   pid: 1178269
#   total CPU time (s): 1762.09
#   total CPU user time (s): 1762.06
#   total CPU system time (s): 0.03472

??? end of timestamper thread
runsolver used 14.5842 second user time and 17.4667 second system time

The end
