runsolver version 3.4.2 (svn: 4680) 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: 63968 MiB (62521 MiB free)
  memory of node 1: 64473 MiB (63611 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457748-1722998847/watcher-4457748-1722998847 -o /tmp/evaluation-result-4457748-1722998847/solver-4457748-1722998847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722995250-357757 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4457748-1722998847.opb --time_limit=3600 --nbcore=1 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=359730, runsolver pid=359727
Current StackSize limit: 8192 KiB


[startup+0.100743 s]*
/proc/loadavg: 4.14 4.18 4.18 3/247 359744
/proc/meminfo: memFree=129173352/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=4916 CPUtime=0.09 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 525 0 0 0 9 0 0 0 20 0 2 0 66485847 98357248 1229 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1229 946 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=4026532140 CPUtime=0.09 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 179 0 0 0 9 0 0 0 20 0 2 0 66485847 98357248 1229 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 4916 KiB

[startup+0.205271 s]*
/proc/loadavg: 4.14 4.18 4.18 5/257 359766
/proc/meminfo: memFree=129167976/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=4916 CPUtime=0.2 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) R 359727 359730 357744 0 -1 1077936128 525 0 0 0 20 0 0 0 20 0 2 0 66485847 98357248 1229 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1229 946 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=8031135708874735747 CPUtime=0.19 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 179 0 0 0 19 0 0 0 20 0 2 0 66485847 98357248 1229 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 4916 KiB

[startup+0.305193 s]*
/proc/loadavg: 4.14 4.18 4.18 5/257 359766
/proc/meminfo: memFree=129168020/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=4916 CPUtime=0.3 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) R 359727 359730 357744 0 -1 1077936128 525 0 0 0 30 0 0 0 20 0 2 0 66485847 98357248 1229 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1229 946 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=-6530988475200075457 CPUtime=0.29 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 179 0 0 0 29 0 0 0 20 0 2 0 66485847 98357248 1229 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 4916 KiB

[startup+0.700153 s]
/proc/loadavg: 4.14 4.18 4.18 5/257 359768
/proc/meminfo: memFree=129166780/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=4916 CPUtime=0.69 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 525 0 0 0 69 0 0 0 20 0 2 0 66485847 98357248 1229 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1229 946 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=32532 CPUtime=0.68 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 179 0 0 0 68 0 0 0 20 0 2 0 66485847 98357248 1229 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 4916 KiB

[startup+1.50017 s]
/proc/loadavg: 4.14 4.18 4.18 4/253 359785
/proc/meminfo: memFree=129177504/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=1.49 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 680 0 0 0 149 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=32532 CPUtime=1.48 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 329 0 0 0 148 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+3.10451 s]
/proc/loadavg: 4.14 4.18 4.18 5/260 359848
/proc/meminfo: memFree=129206808/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=3.09 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 838 0 0 0 309 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=0 CPUtime=3.08 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 482 0 0 0 308 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+6.30014 s]
/proc/loadavg: 4.13 4.18 4.18 5/260 359848
/proc/meminfo: memFree=129206776/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=6.29 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 1010 0 0 0 628 1 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=5428 CPUtime=6.27 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 649 0 0 0 627 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+12.7001 s]
/proc/loadavg: 4.12 4.17 4.18 5/260 359849
/proc/meminfo: memFree=129206512/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=12.7 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 1186 0 0 0 1267 3 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=5428 CPUtime=12.66 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 820 0 0 0 1266 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+25.5001 s]
/proc/loadavg: 4.23 4.20 4.18 5/260 359852
/proc/meminfo: memFree=129206392/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=25.52 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 1531 0 0 0 2546 6 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=5428 CPUtime=25.43 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 1155 0 0 0 2543 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+51.1043 s]
/proc/loadavg: 4.15 4.18 4.18 5/260 359856
/proc/meminfo: memFree=129205792/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=51.15 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 2034 0 0 0 5104 11 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=5428 CPUtime=50.99 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 1643 0 0 0 5099 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 51.15 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/260 359866
/proc/meminfo: memFree=129204736/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=102.41 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 2391 0 0 0 10221 20 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=5428 CPUtime=102.08 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 1990 0 0 0 10208 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 102.41 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.19 4.18 5/260 359876
/proc/meminfo: memFree=129203792/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=162.48 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 2735 0 0 0 16216 32 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=11560 CPUtime=161.96 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 2324 0 0 0 16196 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 162.48 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/262 359893
/proc/meminfo: memFree=129202216/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=222.56 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 2907 0 0 0 22213 43 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=5428 CPUtime=221.84 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 2491 0 0 0 22184 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 222.56 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/262 359903
/proc/meminfo: memFree=129201872/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=282.63 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 3079 0 0 0 28210 53 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=2216 CPUtime=281.73 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 2658 0 0 0 28173 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 282.63 s

################
# More data... #
################

/proc/meminfo: memFree=129267972/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=2985.95 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 10819 0 0 0 298056 539 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=11560 CPUtime=2976.38 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 10168 0 0 0 297638 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 2985.95 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/258 361601
/proc/meminfo: memFree=129267236/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=3046.03 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 10991 0 0 0 304052 551 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=5428 CPUtime=3036.26 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 10335 0 0 0 303626 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 3046.03 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+3102.3 s]
/proc/loadavg: 4.40 4.22 4.19 5/258 361611
/proc/meminfo: memFree=129266272/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=3106.1 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 11163 0 0 0 310048 562 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=11560 CPUtime=3096.14 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 10502 0 0 0 309614 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 3106.1 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+3162.3 s]
/proc/loadavg: 4.48 4.30 4.22 5/258 361621
/proc/meminfo: memFree=129265520/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=3166.17 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 11335 0 0 0 316045 572 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=32532 CPUtime=3156.02 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 10669 0 0 0 315602 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 3166.17 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+3222.3 s]
/proc/loadavg: 4.27 4.27 4.22 5/260 361637
/proc/meminfo: memFree=129264732/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=3226.24 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 11507 0 0 0 322042 582 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=5428 CPUtime=3215.9 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 10835 0 0 0 321590 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 3226.24 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.26 4.22 5/260 361647
/proc/meminfo: memFree=129264056/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=3286.32 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 11679 0 0 0 328042 590 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=11560 CPUtime=3275.78 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 11002 0 0 0 327578 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 3286.32 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.24 4.21 5/260 361657
/proc/meminfo: memFree=129263404/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=3346.39 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 11851 0 0 0 334038 601 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=11560 CPUtime=3335.66 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 11169 0 0 0 333566 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 3346.39 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.21 4.20 5/260 361668
/proc/meminfo: memFree=129262808/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=3406.46 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 12023 0 0 0 340033 613 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=11560 CPUtime=3395.54 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 11336 0 0 0 339554 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 3406.46 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.24 4.20 5/260 361679
/proc/meminfo: memFree=129261892/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=3466.53 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 12195 0 0 0 346031 622 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=11560 CPUtime=3455.43 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 11503 0 0 0 345543 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 3466.53 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.21 4.19 5/258 361689
/proc/meminfo: memFree=129261320/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=3526.61 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 12367 0 0 0 352029 632 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=5428 CPUtime=3515.31 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 11670 0 0 0 351531 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 3526.61 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

[startup+3582.3 s]
/proc/loadavg: 4.41 4.25 4.20 5/258 361701
/proc/meminfo: memFree=129260728/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=3586.68 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 12539 0 0 0 358026 642 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=5428 CPUtime=3575.19 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 11837 0 0 0 357519 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 3586.68 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.6 s]
/proc/loadavg: 4.73 4.32 4.23 4/250 361733
/proc/meminfo: memFree=129265152/131524600 swapFree=131063756/131071996
[pid=359730] ppid=359727 vsize=96052 memory=5428 CPUtime=3600 cores=5,7
/proc/359730/stat : 359730 (ParLS-PBO) S 359727 359730 357744 0 -1 1077936128 12539 0 0 0 359355 645 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 17 7 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
/proc/359730/statm: 24013 1357 962 32 0 2516 0
[pid=359730/tid=359733] ppid=359727 vsize=96052 memory=5428 CPUtime=3588.46 cores=5,7
/proc/359730/task/359733/stat : 359733 (ParLS-PBO) R 359727 359730 357744 0 -1 4194368 11837 0 0 0 358846 0 0 0 20 0 2 0 66485847 98357248 1357 134679101440 4194304 4322517 140733396082592 0 0 0 0 0 16384 0 0 0 -1 5 0 0 0 0 0 4356072 4359040 37445632 140733396087821 140733396087941 140733396087941 140733396094956 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 96052 KiB
Current children cumulated memory: 5428 KiB

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

[startup+3595.61 s]
# the end of solver process 359730 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3593.56 s, system=6.45576 s

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

Child status: 0

Real time (s): 3595.61
CPU time (s): 3600.02
CPU user time (s): 3593.56
CPU system time (s): 6.45576
CPU usage (%): 100.123
Max. virtual memory (cumulated for all children) (KiB): 96052
Max. memory (cumulated for all children) (KiB): 5428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.56
system time used= 6.45576
maximum resident set size= 5748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3328190
involuntary context switches= 2706


# summary of solver processes directly reported to runsolver:
#   pid: 359730
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3593.56
#   total CPU system time (s): 6.45576

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.94873 second user time and 11.3239 second system time

The end