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: 63708 MiB (62574 MiB free)
  memory of node 1: 64465 MiB (58667 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523404-1751589048/watcher-4523404-1751589048 -o /tmp/evaluation-result-4523404-1751589048/solver-4523404-1751589048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751586016-82778 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4523404-1751589048.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83323, runsolver pid=83320
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.10 4.12 4.09 5/271 83327
/proc/meminfo: memFree=124144000/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83326] ppid=83323 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83326/stat : 83326 (timeout) S 83323 83326 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74579345 2723840 320 18446744073709551615 94775286149120 94775286165633 140731638287616 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94775286180400 94775286182488 94775308038144 140731638294934 140731638295074 140731638295074 140731638300647 0
/proc/83326/statm: 665 320 320 5 0 90 0
[pid=83327] ppid=83326 vsize=26104 memory=11520 CPUtime=0.07 cores=0,2
/proc/83327/stat : 83327 (CASHWMaxSAT-Dis) R 83326 83326 82768 0 -1 4194304 2135 0 0 0 7 0 0 0 20 0 1 0 74579345 26730496 2880 18446744073709551615 4198400 14817773 140737141363424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43679744 140737141365148 140737141365275 140737141365275 140737141370848 0
/proc/83327/statm: 6526 2880 864 2593 0 3419 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 33088 KiB
Current children cumulated memory: 15744 KiB

[startup+0.20578 s]*
/proc/loadavg: 4.10 4.12 4.09 5/271 83327
/proc/meminfo: memFree=124144000/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83326] ppid=83323 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83326/stat : 83326 (timeout) S 83323 83326 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74579345 2723840 320 18446744073709551615 94775286149120 94775286165633 140731638287616 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94775286180400 94775286182488 94775308038144 140731638294934 140731638295074 140731638295074 140731638300647 0
/proc/83326/statm: 665 320 320 5 0 90 0
[pid=83327] ppid=83326 vsize=34760 memory=19968 CPUtime=0.18 cores=0,2
/proc/83327/stat : 83327 (CASHWMaxSAT-Dis) R 83326 83326 82768 0 -1 4194304 4242 0 0 0 17 1 0 0 20 0 1 0 74579345 35594240 4992 18446744073709551615 4198400 14817773 140737141363424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43679744 140737141365148 140737141365275 140737141365275 140737141370848 0
/proc/83327/statm: 8690 4992 864 2593 0 5583 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 41744 KiB
Current children cumulated memory: 24192 KiB

[startup+0.305712 s]*
/proc/loadavg: 4.10 4.12 4.09 5/271 83327
/proc/meminfo: memFree=124144000/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83326] ppid=83323 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83326/stat : 83326 (timeout) S 83323 83326 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74579345 2723840 320 18446744073709551615 94775286149120 94775286165633 140731638287616 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94775286180400 94775286182488 94775308038144 140731638294934 140731638295074 140731638295074 140731638300647 0
/proc/83326/statm: 665 320 320 5 0 90 0
[pid=83327] ppid=83326 vsize=42848 memory=27904 CPUtime=0.28 cores=0,2
/proc/83327/stat : 83327 (CASHWMaxSAT-Dis) R 83326 83326 82768 0 -1 4194304 6228 0 0 0 27 1 0 0 20 0 1 0 74579345 43876352 6976 18446744073709551615 4198400 14817773 140737141363424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43679744 140737141365148 140737141365275 140737141365275 140737141370848 0
/proc/83327/statm: 10712 6976 864 2593 0 7605 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 49832 KiB
Current children cumulated memory: 32128 KiB

[startup+0.700236 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 83327
/proc/meminfo: memFree=124144000/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83326] ppid=83323 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83326/stat : 83326 (timeout) S 83323 83326 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74579345 2723840 320 18446744073709551615 94775286149120 94775286165633 140731638287616 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94775286180400 94775286182488 94775308038144 140731638294934 140731638295074 140731638295074 140731638300647 0
/proc/83326/statm: 665 320 320 5 0 90 0
[pid=83327] ppid=83326 vsize=74764 memory=58368 CPUtime=0.67 cores=0,2
/proc/83327/stat : 83327 (CASHWMaxSAT-Dis) R 83326 83326 82768 0 -1 4194304 13822 0 0 0 64 3 0 0 20 0 1 0 74579345 76558336 14592 18446744073709551615 4198400 14817773 140737141363424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43679744 140737141365148 140737141365275 140737141365275 140737141370848 0
/proc/83327/statm: 18691 14592 864 2593 0 15584 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81748 KiB
Current children cumulated memory: 62592 KiB

[startup+1.50024 s]
/proc/loadavg: 4.09 4.11 4.09 5/271 83327
/proc/meminfo: memFree=124113004/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83326] ppid=83323 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83326/stat : 83326 (timeout) S 83323 83326 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74579345 2723840 320 18446744073709551615 94775286149120 94775286165633 140731638287616 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94775286180400 94775286182488 94775308038144 140731638294934 140731638295074 140731638295074 140731638300647 0
/proc/83326/statm: 665 320 320 5 0 90 0
[pid=83327] ppid=83326 vsize=198776 memory=176044 CPUtime=1.47 cores=0,2
/proc/83327/stat : 83327 (CASHWMaxSAT-Dis) R 83326 83326 82768 0 -1 4194304 30452 0 0 0 140 7 0 0 20 0 1 0 74579345 203546624 44011 18446744073709551615 4198400 14817773 140737141363424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43679744 140737141365148 140737141365275 140737141365275 140737141370848 0
/proc/83327/statm: 49694 44011 896 2593 0 46587 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 205760 KiB
Current children cumulated memory: 180268 KiB

[startup+3.10577 s]
/proc/loadavg: 4.09 4.11 4.09 5/271 83327
/proc/meminfo: memFree=123901472/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83326] ppid=83323 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83326/stat : 83326 (timeout) S 83323 83326 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74579345 2723840 320 18446744073709551615 94775286149120 94775286165633 140731638287616 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94775286180400 94775286182488 94775308038144 140731638294934 140731638295074 140731638295074 140731638300647 0
/proc/83326/statm: 665 320 320 5 0 90 0
[pid=83327] ppid=83326 vsize=325616 memory=292936 CPUtime=3.06 cores=0,2
/proc/83327/stat : 83327 (CASHWMaxSAT-Dis) R 83326 83326 82768 0 -1 4194304 40365 0 0 0 296 10 0 0 20 0 1 0 74579345 333430784 73234 18446744073709551615 4198400 14817773 140737141363424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43679744 140737141365148 140737141365275 140737141365275 140737141370848 0
/proc/83327/statm: 81404 73234 1152 2593 0 78297 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 332600 KiB
Current children cumulated memory: 297160 KiB

[startup+6.30023 s]
/proc/loadavg: 4.08 4.11 4.09 5/271 83327
/proc/meminfo: memFree=123604504/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83326] ppid=83323 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83326/stat : 83326 (timeout) S 83323 83326 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74579345 2723840 320 18446744073709551615 94775286149120 94775286165633 140731638287616 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94775286180400 94775286182488 94775308038144 140731638294934 140731638295074 140731638295074 140731638300647 0
/proc/83326/statm: 665 320 320 5 0 90 0
[pid=83327] ppid=83326 vsize=613112 memory=588568 CPUtime=6.25 cores=0,2
/proc/83327/stat : 83327 (CASHWMaxSAT-Dis) R 83326 83326 82768 0 -1 4194304 63867 0 0 0 605 20 0 0 20 0 1 0 74579345 627826688 147142 18446744073709551615 4198400 14817773 140737141363424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43679744 140737141365148 140737141365275 140737141365275 140737141370848 0
/proc/83327/statm: 153278 147142 1152 2593 0 150171 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 620096 KiB
Current children cumulated memory: 592792 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.09 5/271 83327
/proc/meminfo: memFree=123082212/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83326] ppid=83323 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83326/stat : 83326 (timeout) S 83323 83326 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74579345 2723840 320 18446744073709551615 94775286149120 94775286165633 140731638287616 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94775286180400 94775286182488 94775308038144 140731638294934 140731638295074 140731638295074 140731638300647 0
/proc/83326/statm: 665 320 320 5 0 90 0
[pid=83327] ppid=83326 vsize=1159304 memory=1037168 CPUtime=12.63 cores=0,2
/proc/83327/stat : 83327 (CASHWMaxSAT-Dis) R 83326 83326 82768 0 -1 4194304 94113 0 0 0 1227 36 0 0 20 0 1 0 74579345 1187127296 259292 18446744073709551615 4198400 14817773 140737141363424 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43679744 140737141365148 140737141365275 140737141365275 140737141370848 0
/proc/83327/statm: 289826 259292 1152 2593 0 286719 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1166288 KiB
Current children cumulated memory: 1041392 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.09 5/271 83327
/proc/meminfo: memFree=119418064/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83326] ppid=83323 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83326/stat : 83326 (timeout) S 83323 83326 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74579345 2723840 320 18446744073709551615 94775286149120 94775286165633 140731638287616 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94775286180400 94775286182488 94775308038144 140731638294934 140731638295074 140731638295074 140731638300647 0
/proc/83326/statm: 665 320 320 5 0 90 0
[pid=83327] ppid=83326 vsize=4781820 memory=4373088 CPUtime=25.4 cores=0,2
/proc/83327/stat : 83327 (CASHWMaxSAT-Dis) R 83326 83326 82768 0 -1 4194304 514497 0 0 0 2380 160 0 0 20 0 1 0 74579345 4896583680 1093272 18446744073709551615 4198400 14817773 140737141363424 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43679744 140737141365148 140737141365275 140737141365275 140737141370848 0
/proc/83327/statm: 1195455 1093272 1184 2593 0 1192348 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4788804 KiB
Current children cumulated memory: 4377312 KiB

[startup+51.1057 s]
/proc/loadavg: 4.81 4.29 4.15 5/271 83327
/proc/meminfo: memFree=119338864/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83326] ppid=83323 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/83326/stat : 83326 (timeout) S 83323 83326 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74579345 2723840 320 18446744073709551615 94775286149120 94775286165633 140731638287616 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94775286180400 94775286182488 94775308038144 140731638294934 140731638295074 140731638295074 140731638300647 0
/proc/83326/statm: 665 320 320 5 0 90 0
[pid=83327] ppid=83326 vsize=4887628 memory=4472016 CPUtime=50.93 cores=0,2
/proc/83327/stat : 83327 (CASHWMaxSAT-Dis) R 83326 83326 82768 0 -1 4194304 532866 0 0 0 4928 165 0 0 20 0 1 0 74579345 5004931072 1118004 18446744073709551615 4198400 14817773 140737141363424 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43679744 140737141365148 140737141365275 140737141365275 140737141370848 0
/proc/83327/statm: 1221907 1118004 1216 2593 0 1218800 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4894612 KiB
Current children cumulated memory: 4476240 KiB

[startup+102.3 s]
/proc/loadavg: 4.39 4.26 4.14 5/271 83329
/proc/meminfo: memFree=119052012/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0

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

/proc/83565/statm: 243361 229917 3392 2271 0 237999 0
Current children cumulated CPU time: 2016.02 s
Current children cumulated vsize: 980428 KiB
Current children cumulated memory: 924020 KiB

[startup+2082.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/273 83677
/proc/meminfo: memFree=118710152/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=1194.34 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 284 911670 0 0 0 0 118220 1214 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83564] ppid=83323 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83564/stat : 83564 (timeout) S 83323 83564 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74699152 2723840 352 18446744073709551615 94853047410688 94853047427201 140722334271008 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94853047441968 94853047444056 94853074780160 140722334280070 140722334280226 140722334280226 140722334285799 0
/proc/83564/statm: 665 352 352 5 0 90 0
[pid=83565] ppid=83564 vsize=973444 memory=919668 CPUtime=881.51 cores=0,2
/proc/83565/stat : 83565 (ExactPR-S) R 83564 83564 82768 0 -1 4194304 789317 0 0 0 88025 126 0 0 20 0 1 0 74699153 996806656 229917 18446744073709551615 93940179357696 93940188657733 140730780705712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940190443840 93940190482920 93940225388544 140730780711326 140730780711463 140730780711463 140730780717036 0
/proc/83565/statm: 243361 229917 3392 2271 0 237999 0
Current children cumulated CPU time: 2075.85 s
Current children cumulated vsize: 980428 KiB
Current children cumulated memory: 924020 KiB

[startup+2142.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/274 83680
/proc/meminfo: memFree=118817556/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=1194.34 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 284 911670 0 0 0 0 118220 1214 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83564] ppid=83323 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83564/stat : 83564 (timeout) S 83323 83564 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74699152 2723840 352 18446744073709551615 94853047410688 94853047427201 140722334271008 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94853047441968 94853047444056 94853074780160 140722334280070 140722334280226 140722334280226 140722334285799 0
/proc/83564/statm: 665 352 352 5 0 90 0
[pid=83565] ppid=83564 vsize=973444 memory=919668 CPUtime=941.34 cores=0,2
/proc/83565/stat : 83565 (ExactPR-S) R 83564 83564 82768 0 -1 4194304 789340 0 0 0 94008 126 0 0 20 0 1 0 74699153 996806656 229917 18446744073709551615 93940179357696 93940188657733 140730780705712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940190443840 93940190482920 93940225388544 140730780711326 140730780711463 140730780711463 140730780717036 0
/proc/83565/statm: 243361 229917 3392 2271 0 237999 0
Current children cumulated CPU time: 2135.68 s
Current children cumulated vsize: 980428 KiB
Current children cumulated memory: 924020 KiB

[startup+2202.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/274 83681
/proc/meminfo: memFree=118896740/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=1194.34 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 284 911670 0 0 0 0 118220 1214 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83564] ppid=83323 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83564/stat : 83564 (timeout) S 83323 83564 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74699152 2723840 352 18446744073709551615 94853047410688 94853047427201 140722334271008 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94853047441968 94853047444056 94853074780160 140722334280070 140722334280226 140722334280226 140722334285799 0
/proc/83564/statm: 665 352 352 5 0 90 0
[pid=83565] ppid=83564 vsize=851996 memory=821944 CPUtime=1001.18 cores=0,2
/proc/83565/stat : 83565 (ExactPR-S) R 83564 83564 82768 0 -1 4194304 796211 0 0 0 99990 128 0 0 20 0 1 0 74699153 872443904 205486 18446744073709551615 93940179357696 93940188657733 140730780705712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940190443840 93940190482920 93940225388544 140730780711326 140730780711463 140730780711463 140730780717036 0
/proc/83565/statm: 212999 205486 3392 2271 0 207637 0
Current children cumulated CPU time: 2195.52 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 826296 KiB

[startup+2262.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/274 83683
/proc/meminfo: memFree=118894144/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=1194.34 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 284 911670 0 0 0 0 118220 1214 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83564] ppid=83323 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83564/stat : 83564 (timeout) S 83323 83564 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74699152 2723840 352 18446744073709551615 94853047410688 94853047427201 140722334271008 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94853047441968 94853047444056 94853074780160 140722334280070 140722334280226 140722334280226 140722334285799 0
/proc/83564/statm: 665 352 352 5 0 90 0
[pid=83565] ppid=83564 vsize=851996 memory=822456 CPUtime=1061.01 cores=0,2
/proc/83565/stat : 83565 (ExactPR-S) R 83564 83564 82768 0 -1 4194304 796213 0 0 0 105967 134 0 0 20 0 1 0 74699153 872443904 205614 18446744073709551615 93940179357696 93940188657733 140730780705712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940190443840 93940190482920 93940225388544 140730780711326 140730780711463 140730780711463 140730780717036 0
/proc/83565/statm: 212999 205614 3392 2271 0 207637 0
Current children cumulated CPU time: 2255.35 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 826808 KiB

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

# cumulated CPU time of all completed processes:  user=2249.4 s, system=13.5061 s

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

[startup+2265.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/274 83684
/proc/meminfo: memFree=118786356/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=1194.34 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 284 911670 0 0 0 0 118220 1214 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83564] ppid=83323 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83564/stat : 83564 (timeout) S 83323 83564 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74699152 2723840 352 18446744073709551615 94853047410688 94853047427201 140722334271008 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94853047441968 94853047444056 94853074780160 140722334280070 140722334280226 140722334280226 140722334285799 0
/proc/83564/statm: 665 352 352 5 0 90 0
[pid=83565] ppid=83564 vsize=851996 memory=822456 CPUtime=1064.3 cores=0,2
/proc/83565/stat : 83565 (ExactPR-S) R 83564 83564 82768 0 -1 4194304 796213 0 0 0 106296 134 0 0 20 0 1 0 74699153 872443904 205614 18446744073709551615 93940179357696 93940188657733 140730780705712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940190443840 93940190482920 93940225388544 140730780711326 140730780711463 140730780711463 140730780717036 0
/proc/83565/statm: 212999 205614 3392 2271 0 207637 0
Current children cumulated CPU time: 2258.64 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 826808 KiB

[startup+2267.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/274 83684
/proc/meminfo: memFree=118883652/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=1194.34 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 284 911670 0 0 0 0 118220 1214 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83564] ppid=83323 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83564/stat : 83564 (timeout) S 83323 83564 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74699152 2723840 352 18446744073709551615 94853047410688 94853047427201 140722334271008 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94853047441968 94853047444056 94853074780160 140722334280070 140722334280226 140722334280226 140722334285799 0
/proc/83564/statm: 665 352 352 5 0 90 0
[pid=83565] ppid=83564 vsize=851996 memory=822456 CPUtime=1065.9 cores=0,2
/proc/83565/stat : 83565 (ExactPR-S) R 83564 83564 82768 0 -1 4194304 796213 0 0 0 106456 134 0 0 20 0 1 0 74699153 872443904 205614 18446744073709551615 93940179357696 93940188657733 140730780705712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940190443840 93940190482920 93940225388544 140730780711326 140730780711463 140730780711463 140730780717036 0
/proc/83565/statm: 212999 205614 3392 2271 0 207637 0
Current children cumulated CPU time: 2260.24 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 826808 KiB

[startup+2268.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/274 83684
/proc/meminfo: memFree=118950852/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=1194.34 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 284 911670 0 0 0 0 118220 1214 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83564] ppid=83323 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83564/stat : 83564 (timeout) S 83323 83564 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74699152 2723840 352 18446744073709551615 94853047410688 94853047427201 140722334271008 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94853047441968 94853047444056 94853074780160 140722334280070 140722334280226 140722334280226 140722334285799 0
/proc/83564/statm: 665 352 352 5 0 90 0
[pid=83565] ppid=83564 vsize=851996 memory=822456 CPUtime=1067.49 cores=0,2
/proc/83565/stat : 83565 (ExactPR-S) R 83564 83564 82768 0 -1 4194304 796213 0 0 0 106615 134 0 0 20 0 1 0 74699153 872443904 205614 18446744073709551615 93940179357696 93940188657733 140730780705712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940190443840 93940190482920 93940225388544 140730780711326 140730780711463 140730780711463 140730780717036 0
/proc/83565/statm: 212999 205614 3392 2271 0 207637 0
Current children cumulated CPU time: 2261.83 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 826808 KiB

[startup+2269.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/274 83684
/proc/meminfo: memFree=118973256/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=1194.34 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 284 911670 0 0 0 0 118220 1214 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83564] ppid=83323 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83564/stat : 83564 (timeout) S 83323 83564 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74699152 2723840 352 18446744073709551615 94853047410688 94853047427201 140722334271008 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94853047441968 94853047444056 94853074780160 140722334280070 140722334280226 140722334280226 140722334285799 0
/proc/83564/statm: 665 352 352 5 0 90 0
[pid=83565] ppid=83564 vsize=851996 memory=822456 CPUtime=1068.29 cores=0,2
/proc/83565/stat : 83565 (ExactPR-S) R 83564 83564 82768 0 -1 4194304 796213 0 0 0 106695 134 0 0 20 0 1 0 74699153 872443904 205614 18446744073709551615 93940179357696 93940188657733 140730780705712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940190443840 93940190482920 93940225388544 140730780711326 140730780711463 140730780711463 140730780717036 0
/proc/83565/statm: 212999 205614 3392 2271 0 207637 0
Current children cumulated CPU time: 2262.63 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 826808 KiB

[startup+2269.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/274 83684
/proc/meminfo: memFree=118973256/131249992 swapFree=33009392/33010684
[pid=83323] ppid=83320 vsize=4324 memory=2944 CPUtime=1194.34 cores=0,2
/proc/83323/stat : 83323 (Hybrid-CASHWMax) S 83320 83323 82768 0 -1 4194304 284 911670 0 0 0 0 118220 1214 20 0 1 0 74579344 4427776 736 18446744073709551615 94248182874112 94248183768645 140728925614960 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94248184007696 94248184055440 94248189157376 140728925616471 140728925616625 140728925616625 140728925622227 0
/proc/83323/statm: 1081 736 672 219 0 143 0
[pid=83564] ppid=83323 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/83564/stat : 83564 (timeout) S 83323 83564 82768 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74699152 2723840 352 18446744073709551615 94853047410688 94853047427201 140722334271008 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94853047441968 94853047444056 94853074780160 140722334280070 140722334280226 140722334280226 140722334285799 0
/proc/83564/statm: 665 352 352 5 0 90 0
[pid=83565] ppid=83564 vsize=851996 memory=822456 CPUtime=1068.49 cores=0,2
/proc/83565/stat : 83565 (ExactPR-S) R 83564 83564 82768 0 -1 4194304 796213 0 0 0 106715 134 0 0 20 0 1 0 74699153 872443904 205614 18446744073709551615 93940179357696 93940188657733 140730780705712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940190443840 93940190482920 93940225388544 140730780711326 140730780711463 140730780711463 140730780717036 0
/proc/83565/statm: 212999 205614 3392 2271 0 207637 0
Current children cumulated CPU time: 2262.83 s
Current children cumulated vsize: 858980 KiB
Current children cumulated memory: 826808 KiB

Child status: 0

Real time (s): 2269.87
CPU time (s): 2262.91
CPU user time (s): 2249.4
CPU system time (s): 13.5061
CPU usage (%): 99.6935
Max. virtual memory (cumulated for all children) (KiB): 7350572
Max. memory (cumulated for all children) (KiB): 6769060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2249.4
system time used= 13.5061
maximum resident set size= 6843076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1709040
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1100
involuntary context switches= 5393


# summary of solver processes directly reported to runsolver:
#   pid: 83323
#   total CPU time (s): 2262.91
#   total CPU user time (s): 2249.4
#   total CPU system time (s): 13.5061

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.99931 second user time and 11.1149 second system time

The end