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: 15822 MiB (14923 MiB free)
  memory of node 1: 16124 MiB (15022 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/rand_net/rand_net70-30-1.shuffled.cnf 

running on 1 cores: 4

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


[startup+0.100569 s]*
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30621868/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13284 CPUtime=0.08 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2177 0 0 0 7 1 0 0 20 0 1 0 191297383 41832448 3321 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3321 1487 2 0 2625 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13284 KiB

[startup+0.22857 s]*
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30616120/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13284 CPUtime=0.18 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2177 0 0 0 17 1 0 0 20 0 1 0 191297383 41832448 3321 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3321 1487 2 0 2625 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13284 KiB

[startup+0.323608 s]*
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30615020/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13284 CPUtime=0.26 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2178 0 0 0 25 1 0 0 20 0 1 0 191297383 41832448 3321 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3321 1487 2 0 2625 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13284 KiB

[startup+0.70057 s]
/proc/loadavg: 0.05 0.01 0.00 7/550 330492
/proc/meminfo: memFree=30613400/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13284 CPUtime=0.57 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2179 0 0 0 56 1 0 0 20 0 1 0 191297383 41832448 3321 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3321 1487 2 0 2625 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13284 KiB

[startup+1.50057 s]
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30613132/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13284 CPUtime=1.35 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2179 0 0 0 134 1 0 0 20 0 1 0 191297383 41832448 3321 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3321 1487 2 0 2625 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13284 KiB

[startup+3.12657 s]
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30613384/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13284 CPUtime=2.94 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2181 0 0 0 293 1 0 0 20 0 1 0 191297383 41832448 3321 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3321 1487 2 0 2625 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13284 KiB

[startup+6.30057 s]
/proc/loadavg: 0.45 0.10 0.03 9/551 330496
/proc/meminfo: memFree=30612568/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13284 CPUtime=6.03 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2185 0 0 0 602 1 0 0 20 0 1 0 191297383 41832448 3321 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3321 1487 2 0 2625 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13284 KiB

[startup+12.7006 s]
/proc/loadavg: 0.81 0.18 0.06 9/551 330496
/proc/meminfo: memFree=30611752/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13284 CPUtime=12.3 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2213 0 0 0 1229 1 0 0 20 0 1 0 191297383 41832448 3321 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3321 1487 2 0 2625 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13284 KiB

[startup+25.5006 s]
/proc/loadavg: 1.74 0.42 0.14 9/551 330496
/proc/meminfo: memFree=30610976/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13548 CPUtime=24.8 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2281 0 0 0 2479 1 0 0 20 0 1 0 191297383 41832448 3387 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3387 1487 2 0 2625 0
Current children cumulated CPU time: 24.8 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13548 KiB

[startup+51.1266 s]
/proc/loadavg: 2.85 0.78 0.27 9/552 330506
/proc/meminfo: memFree=30608288/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13812 CPUtime=49.84 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2287 0 0 0 4983 1 0 0 20 0 1 0 191297383 41832448 3453 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3453 1487 2 0 2625 0
Current children cumulated CPU time: 49.84 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13812 KiB

[startup+102.301 s]
/proc/loadavg: 4.37 1.50 0.54 9/553 330516
/proc/meminfo: memFree=30607588/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13812 CPUtime=99.85 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2303 0 0 0 9984 1 0 0 20 0 1 0 191297383 41832448 3453 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3453 1487 2 0 2625 0
Current children cumulated CPU time: 99.85 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13812 KiB

[startup+162.301 s]
/proc/loadavg: 4.84 2.16 0.83 9/554 330527
/proc/meminfo: memFree=30607280/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13812 CPUtime=158.48 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2306 0 0 0 15847 1 0 0 20 0 1 0 191297383 41832448 3453 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3453 1487 2 0 2625 0
Current children cumulated CPU time: 158.48 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13812 KiB

[startup+222.301 s]
/proc/loadavg: 4.94 2.68 1.09 9/554 330536
/proc/meminfo: memFree=30606052/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13812 CPUtime=217.12 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2318 0 0 0 21711 1 0 0 20 0 1 0 191297383 41832448 3453 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3453 1487 2 0 2625 0
Current children cumulated CPU time: 217.12 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13812 KiB

[startup+282.301 s]
/proc/loadavg: 4.98 3.10 1.34 9/554 330547
/proc/meminfo: memFree=30601420/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13812 CPUtime=275.74 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2321 0 0 0 27573 1 0 0 20 0 1 0 191297383 41832448 3453 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3453 1487 2 0 2625 0
Current children cumulated CPU time: 275.74 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13812 KiB

[startup+342.301 s]
/proc/loadavg: 5.00 3.45 1.57 9/551 330556
/proc/meminfo: memFree=30601280/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=13812 CPUtime=334.38 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2335 0 0 0 33437 1 0 0 20 0 1 0 191297383 41832448 3453 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3453 1487 2 0 2625 0
Current children cumulated CPU time: 334.38 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 13812 KiB

[startup+402.301 s]
/proc/loadavg: 5.00 3.74 1.79 9/550 330566
/proc/meminfo: memFree=30601196/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=14024 CPUtime=393.02 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2353 0 0 0 39301 1 0 0 20 0 1 0 191297383 41832448 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3506 1487 2 0 2625 0
Current children cumulated CPU time: 393.02 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 14024 KiB

[startup+462.301 s]
/proc/loadavg: 5.05 3.98 2.00 9/549 330575
/proc/meminfo: memFree=30600920/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=14024 CPUtime=451.66 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2361 0 0 0 45165 1 0 0 20 0 1 0 191297383 41832448 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3506 1487 2 0 2625 0
Current children cumulated CPU time: 451.66 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 14024 KiB

[startup+522.301 s]
/proc/loadavg: 5.02 4.17 2.19 9/549 330585
/proc/meminfo: memFree=30601120/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=14024 CPUtime=510.3 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2362 0 0 0 51029 1 0 0 20 0 1 0 191297383 41832448 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3506 1487 2 0 2625 0
Current children cumulated CPU time: 510.3 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 14024 KiB

[startup+582.301 s]
/proc/loadavg: 5.00 4.32 2.37 9/549 330596
/proc/meminfo: memFree=30599976/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=14024 CPUtime=568.95 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2369 0 0 0 56894 1 0 0 20 0 1 0 191297383 41832448 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3506 1487 2 0 2625 0
Current children cumulated CPU time: 568.95 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 14024 KiB

[startup+642.301 s]
/proc/loadavg: 5.15 4.51 2.55 9/550 330607
/proc/meminfo: memFree=30599840/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=14024 CPUtime=627.59 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2380 0 0 0 62758 1 0 0 20 0 1 0 191297383 41832448 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3506 1487 2 0 2625 0
Current children cumulated CPU time: 627.59 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 14024 KiB

[startup+702.301 s]
/proc/loadavg: 5.09 4.61 2.71 9/550 330616
/proc/meminfo: memFree=30598544/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=14024 CPUtime=686.23 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2384 0 0 0 68622 1 0 0 20 0 1 0 191297383 41832448 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3506 1487 2 0 2625 0
Current children cumulated CPU time: 686.23 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 14024 KiB

[startup+762.301 s]
/proc/loadavg: 5.03 4.69 2.86 9/550 330626
/proc/meminfo: memFree=30598252/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=14024 CPUtime=744.87 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2385 0 0 0 74486 1 0 0 20 0 1 0 191297383 41832448 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3506 1487 2 0 2625 0
Current children cumulated CPU time: 744.87 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 14024 KiB

[startup+822.301 s]
/proc/loadavg: 5.01 4.75 3.00 9/550 330635
/proc/meminfo: memFree=30598416/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=14024 CPUtime=803.51 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2386 0 0 0 80350 1 0 0 20 0 1 0 191297383 41832448 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3506 1487 2 0 2625 0
Current children cumulated CPU time: 803.51 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 14024 KiB

[startup+882.301 s]
/proc/loadavg: 5.00 4.80 3.13 9/551 330646
/proc/meminfo: memFree=30598232/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=14024 CPUtime=862.15 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2388 0 0 0 86214 1 0 0 20 0 1 0 191297383 41832448 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3506 1487 2 0 2625 0
Current children cumulated CPU time: 862.15 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 14024 KiB

[startup+942.301 s]
/proc/loadavg: 5.00 4.84 3.25 9/552 330657
/proc/meminfo: memFree=30597908/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=14024 CPUtime=920.79 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2390 0 0 0 92078 1 0 0 20 0 1 0 191297383 41832448 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3506 1487 2 0 2625 0
Current children cumulated CPU time: 920.79 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 14024 KiB

[startup+1002.3 s]
/proc/loadavg: 5.00 4.87 3.36 9/552 330672
/proc/meminfo: memFree=30597616/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=14024 CPUtime=979.43 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2391 0 0 0 97942 1 0 0 20 0 1 0 191297383 41832448 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3506 1487 2 0 2625 0
Current children cumulated CPU time: 979.43 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 14024 KiB

[startup+1062.3 s]
/proc/loadavg: 5.00 4.89 3.46 9/552 330681
/proc/meminfo: memFree=30597440/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40852 memory=14024 CPUtime=1038.07 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2401 0 0 0 103806 1 0 0 20 0 1 0 191297383 41832448 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10213 3506 1487 2 0 2625 0
Current children cumulated CPU time: 1038.07 s
Current children cumulated vsize: 40852 KiB
Current children cumulated memory: 14024 KiB

[startup+1122.3 s]
/proc/loadavg: 5.46 5.04 3.60 9/552 330691
/proc/meminfo: memFree=30597344/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40984 memory=14024 CPUtime=1096.71 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2409 0 0 0 109670 1 0 0 20 0 1 0 191297383 41967616 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10246 3506 1487 2 0 2658 0
Current children cumulated CPU time: 1096.71 s
Current children cumulated vsize: 40984 KiB
Current children cumulated memory: 14024 KiB

[startup+1182.3 s]
/proc/loadavg: 5.42 5.11 3.72 9/550 330701
/proc/meminfo: memFree=30597104/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40984 memory=14024 CPUtime=1155.35 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2413 0 0 0 115534 1 0 0 20 0 1 0 191297383 41967616 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10246 3506 1487 2 0 2658 0
Current children cumulated CPU time: 1155.35 s
Current children cumulated vsize: 40984 KiB
Current children cumulated memory: 14024 KiB

[startup+1242.3 s]
/proc/loadavg: 5.15 5.08 3.80 9/550 330712
/proc/meminfo: memFree=30596500/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40984 memory=14024 CPUtime=1213.99 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2415 0 0 0 121398 1 0 0 20 0 1 0 191297383 41967616 3506 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10246 3506 1487 2 0 2658 0
Current children cumulated CPU time: 1213.99 s
Current children cumulated vsize: 40984 KiB
Current children cumulated memory: 14024 KiB

[startup+1302.3 s]
/proc/loadavg: 5.05 5.07 3.88 9/549 330733
/proc/meminfo: memFree=30596304/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40984 memory=14228 CPUtime=1272.64 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2421 0 0 0 127263 1 0 0 20 0 1 0 191297383 41967616 3557 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10246 3557 1487 2 0 2658 0
Current children cumulated CPU time: 1272.64 s
Current children cumulated vsize: 40984 KiB
Current children cumulated memory: 14228 KiB

[startup+1362.3 s]
/proc/loadavg: 5.02 5.05 3.95 9/551 330745
/proc/meminfo: memFree=30596148/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40984 memory=14228 CPUtime=1331.29 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2425 0 0 0 133128 1 0 0 20 0 1 0 191297383 41967616 3557 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10246 3557 1487 2 0 2658 0
Current children cumulated CPU time: 1331.29 s
Current children cumulated vsize: 40984 KiB
Current children cumulated memory: 14228 KiB

[startup+1422.3 s]
/proc/loadavg: 5.00 5.04 4.02 9/552 330755
/proc/meminfo: memFree=30595800/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40984 memory=14228 CPUtime=1389.93 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2430 0 0 0 138992 1 0 0 20 0 1 0 191297383 41967616 3557 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10246 3557 1487 2 0 2658 0
Current children cumulated CPU time: 1389.93 s
Current children cumulated vsize: 40984 KiB
Current children cumulated memory: 14228 KiB

[startup+1482.3 s]
/proc/loadavg: 5.00 5.03 4.09 9/552 330764
/proc/meminfo: memFree=30595616/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=40984 memory=14228 CPUtime=1448.57 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2434 0 0 0 144856 1 0 0 20 0 1 0 191297383 41967616 3557 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10246 3557 1487 2 0 2658 0
Current children cumulated CPU time: 1448.57 s
Current children cumulated vsize: 40984 KiB
Current children cumulated memory: 14228 KiB

[startup+1542.3 s]
/proc/loadavg: 5.00 5.02 4.15 9/552 330774
/proc/meminfo: memFree=30595480/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=41120 memory=14228 CPUtime=1507.21 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2458 0 0 0 150720 1 0 0 20 0 1 0 191297383 42106880 3557 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10280 3557 1487 2 0 2692 0
Current children cumulated CPU time: 1507.21 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14228 KiB

[startup+1602.3 s]
/proc/loadavg: 5.62 5.15 4.25 9/551 330784
/proc/meminfo: memFree=30595220/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=41120 memory=14240 CPUtime=1565.85 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2464 0 0 0 156584 1 0 0 20 0 1 0 191297383 42106880 3560 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10280 3560 1487 2 0 2692 0
Current children cumulated CPU time: 1565.85 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14240 KiB

[startup+1662.3 s]
/proc/loadavg: 8.20 5.95 4.58 9/550 330794
/proc/meminfo: memFree=30594996/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=41120 memory=14240 CPUtime=1624.5 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2472 0 0 0 162449 1 0 0 20 0 1 0 191297383 42106880 3560 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10280 3560 1487 2 0 2692 0
Current children cumulated CPU time: 1624.5 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14240 KiB

[startup+1722.3 s]
/proc/loadavg: 9.27 6.70 4.92 9/549 330804
/proc/meminfo: memFree=30594168/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=41120 memory=14240 CPUtime=1683.15 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2479 0 0 0 168314 1 0 0 20 0 1 0 191297383 42106880 3560 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10280 3560 1487 2 0 2692 0
Current children cumulated CPU time: 1683.15 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14240 KiB

[startup+1782.3 s]
/proc/loadavg: 7.25 6.62 5.01 9/549 330814
/proc/meminfo: memFree=30594232/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=41120 memory=14460 CPUtime=1741.8 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2487 0 0 0 174179 1 0 0 20 0 1 0 191297383 42106880 3615 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10280 3615 1487 2 0 2692 0
Current children cumulated CPU time: 1741.8 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14460 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 6.68 6.53 5.02 9/550 330816
/proc/meminfo: memFree=30594180/32713960 swapFree=33554428/33554428
[pid=330481] ppid=330473 vsize=41120 memory=14460 CPUtime=1759.12 cores=4
/proc/330481/stat : 330481 (pigeonPurSampli) R 330473 330481 330454 0 -1 4194304 2487 0 0 0 175911 1 0 0 20 0 1 0 191297383 42106880 3615 18446744073709551615 94596941271040 94596941275152 140732201137424 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94596943375616 94596943376388 94596975427584 140732201144852 140732201144962 140732201144962 140732201148385 0
/proc/330481/statm: 10280 3615 1487 2 0 2692 0
Current children cumulated CPU time: 1759.12 s
Current children cumulated vsize: 41120 KiB
Current children cumulated memory: 14460 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 330481 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1759.14 s, system=0.013881 s

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

Child status: 1
Real time (s): 1800.05
CPU time (s): 1759.15
CPU user time (s): 1759.14
CPU system time (s): 0.013881
CPU usage (%): 97.7282
Max. virtual memory (cumulated for all children) (KiB): 41120
Max. memory (cumulated for all children) (KiB): 14460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.14
system time used= 0.013881
maximum resident set size= 14460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2489
page faults= 0
swaps= 0
block input operations= 384
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 25101


# summary of solver processes directly reported to runsolver:
#   pid: 330481
#   total CPU time (s): 1759.15
#   total CPU user time (s): 1759.14
#   total CPU system time (s): 0.013881

??? end of timestamper thread
runsolver used 15.253 second user time and 18.7983 second system time

The end
