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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518666-1751540946/watcher-4518666-1751540946 -o /tmp/evaluation-result-4518666-1751540946/solver-4518666-1751540946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751540946-75772 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4518666-1751540946.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=75816, runsolver pid=75810
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 0.65 1.57 2.76 5/281 75841
/proc/meminfo: memFree=127279016/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 249 105 0 1 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75837] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75837/stat : 75837 (timeout) S 75816 75837 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 93902221901824 93902221918337 140732504353344 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93902221933104 93902221935192 93902222012416 140732504361366 140732504361506 140732504361506 140732504367079 0
/proc/75837/statm: 665 352 352 5 0 90 0
[pid=75841] ppid=75837 vsize=27008 memory=12360 CPUtime=0.04 cores=1,3
/proc/75841/stat : 75841 (CASHWMaxSAT-Dis) R 75837 75837 75760 0 -1 4194304 2517 0 0 0 4 0 0 0 20 0 1 0 69773281 27656192 3090 18446744073709551615 4198400 14817773 140736019682912 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38035456 140736019691932 140736019692059 140736019692059 140736019697632 0
/proc/75841/statm: 6752 3090 960 2593 0 3645 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 16712 KiB

[startup+0.206066 s]*
/proc/loadavg: 0.65 1.57 2.76 5/281 75841
/proc/meminfo: memFree=127276748/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 249 105 0 1 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75837] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75837/stat : 75837 (timeout) S 75816 75837 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 93902221901824 93902221918337 140732504353344 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93902221933104 93902221935192 93902222012416 140732504361366 140732504361506 140732504361506 140732504367079 0
/proc/75837/statm: 665 352 352 5 0 90 0
[pid=75841] ppid=75837 vsize=28568 memory=13992 CPUtime=0.14 cores=1,3
/proc/75841/stat : 75841 (CASHWMaxSAT-Dis) R 75837 75837 75760 0 -1 4194304 3177 0 0 0 14 0 0 0 20 0 1 0 69773281 29253632 3498 18446744073709551615 4198400 14817773 140736019682912 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38035456 140736019691932 140736019692059 140736019692059 140736019697632 0
/proc/75841/statm: 7142 3498 960 2593 0 4035 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 35552 KiB
Current children cumulated memory: 18344 KiB

[startup+0.305485 s]*
/proc/loadavg: 0.65 1.57 2.76 5/281 75841
/proc/meminfo: memFree=127275992/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 249 105 0 1 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75837] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75837/stat : 75837 (timeout) S 75816 75837 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 93902221901824 93902221918337 140732504353344 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93902221933104 93902221935192 93902222012416 140732504361366 140732504361506 140732504361506 140732504367079 0
/proc/75837/statm: 665 352 352 5 0 90 0
[pid=75841] ppid=75837 vsize=28888 memory=14328 CPUtime=0.24 cores=1,3
/proc/75841/stat : 75841 (CASHWMaxSAT-Dis) R 75837 75837 75760 0 -1 4194304 3600 0 0 0 24 0 0 0 20 0 1 0 69773281 29581312 3582 18446744073709551615 4198400 14817773 140736019682912 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38035456 140736019691932 140736019692059 140736019692059 140736019697632 0
/proc/75841/statm: 7222 3582 960 2593 0 4115 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 35872 KiB
Current children cumulated memory: 18680 KiB

[startup+0.700174 s]
/proc/loadavg: 0.65 1.57 2.76 5/281 75841
/proc/meminfo: memFree=127274984/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 249 105 0 1 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75837] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75837/stat : 75837 (timeout) S 75816 75837 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 93902221901824 93902221918337 140732504353344 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93902221933104 93902221935192 93902222012416 140732504361366 140732504361506 140732504361506 140732504367079 0
/proc/75837/statm: 665 352 352 5 0 90 0
[pid=75841] ppid=75837 vsize=30072 memory=15540 CPUtime=0.63 cores=1,3
/proc/75841/stat : 75841 (CASHWMaxSAT-Dis) R 75837 75837 75760 0 -1 4194304 4451 0 0 0 63 0 0 0 20 0 1 0 69773281 30793728 3885 18446744073709551615 4198400 14817773 140736019682912 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38035456 140736019691932 140736019692059 140736019692059 140736019697632 0
/proc/75841/statm: 7518 3885 960 2593 0 4411 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 37056 KiB
Current children cumulated memory: 19892 KiB

[startup+1.50021 s]
/proc/loadavg: 0.65 1.57 2.76 5/281 75841
/proc/meminfo: memFree=127267172/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 249 105 0 1 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75837] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75837/stat : 75837 (timeout) S 75816 75837 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 93902221901824 93902221918337 140732504353344 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93902221933104 93902221935192 93902222012416 140732504361366 140732504361506 140732504361506 140732504367079 0
/proc/75837/statm: 665 352 352 5 0 90 0
[pid=75841] ppid=75837 vsize=31596 memory=17184 CPUtime=1.43 cores=1,3
/proc/75841/stat : 75841 (CASHWMaxSAT-Dis) R 75837 75837 75760 0 -1 4194304 6286 0 0 0 142 1 0 0 20 0 1 0 69773281 32354304 4296 18446744073709551615 4198400 14817773 140736019682912 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38035456 140736019691932 140736019692059 140736019692059 140736019697632 0
/proc/75841/statm: 7899 4296 960 2593 0 4792 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 38580 KiB
Current children cumulated memory: 21536 KiB

[startup+3.10572 s]
/proc/loadavg: 0.92 1.61 2.76 5/280 75841
/proc/meminfo: memFree=127244144/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 249 105 0 1 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75837] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75837/stat : 75837 (timeout) S 75816 75837 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 93902221901824 93902221918337 140732504353344 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93902221933104 93902221935192 93902222012416 140732504361366 140732504361506 140732504361506 140732504367079 0
/proc/75837/statm: 665 352 352 5 0 90 0
[pid=75841] ppid=75837 vsize=34832 memory=20420 CPUtime=3.03 cores=1,3
/proc/75841/stat : 75841 (CASHWMaxSAT-Dis) R 75837 75837 75760 0 -1 4194304 7646 0 0 0 302 1 0 0 20 0 1 0 69773281 35667968 5105 18446744073709551615 4198400 14817773 140736019682912 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38035456 140736019691932 140736019692059 140736019692059 140736019697632 0
/proc/75841/statm: 8708 5105 960 2593 0 5601 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 41816 KiB
Current children cumulated memory: 24772 KiB

[startup+6.30021 s]
/proc/loadavg: 0.92 1.61 2.76 5/280 75841
/proc/meminfo: memFree=127242524/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 249 105 0 1 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75837] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75837/stat : 75837 (timeout) S 75816 75837 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 93902221901824 93902221918337 140732504353344 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93902221933104 93902221935192 93902222012416 140732504361366 140732504361506 140732504361506 140732504367079 0
/proc/75837/statm: 665 352 352 5 0 90 0
[pid=75841] ppid=75837 vsize=39016 memory=24528 CPUtime=6.21 cores=1,3
/proc/75841/stat : 75841 (CASHWMaxSAT-Dis) R 75837 75837 75760 0 -1 4194304 10202 0 0 0 620 1 0 0 20 0 1 0 69773281 39952384 6132 18446744073709551615 4198400 14817773 140736019682912 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38035456 140736019691932 140736019692059 140736019692059 140736019697632 0
/proc/75841/statm: 9754 6132 960 2593 0 6647 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 46000 KiB
Current children cumulated memory: 28880 KiB

[startup+12.7002 s]
/proc/loadavg: 1.47 1.71 2.78 5/280 75841
/proc/meminfo: memFree=127154704/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 249 105 0 1 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75837] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75837/stat : 75837 (timeout) S 75816 75837 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 93902221901824 93902221918337 140732504353344 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93902221933104 93902221935192 93902222012416 140732504361366 140732504361506 140732504361506 140732504367079 0
/proc/75837/statm: 665 352 352 5 0 90 0
[pid=75841] ppid=75837 vsize=68892 memory=54496 CPUtime=12.6 cores=1,3
/proc/75841/stat : 75841 (CASHWMaxSAT-Dis) R 75837 75837 75760 0 -1 4194304 14213 0 0 0 1256 4 0 0 20 0 1 0 69773281 70545408 13624 18446744073709551615 4198400 14817773 140736019682912 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38035456 140736019691932 140736019692059 140736019692059 140736019697632 0
/proc/75841/statm: 17223 13624 960 2593 0 14116 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 75876 KiB
Current children cumulated memory: 58848 KiB

[startup+25.5002 s]
/proc/loadavg: 1.86 1.79 2.80 5/280 75841
/proc/meminfo: memFree=127153236/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 249 105 0 1 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75837] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75837/stat : 75837 (timeout) S 75816 75837 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 93902221901824 93902221918337 140732504353344 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93902221933104 93902221935192 93902222012416 140732504361366 140732504361506 140732504361506 140732504367079 0
/proc/75837/statm: 665 352 352 5 0 90 0
[pid=75841] ppid=75837 vsize=68892 memory=54496 CPUtime=25.37 cores=1,3
/proc/75841/stat : 75841 (CASHWMaxSAT-Dis) R 75837 75837 75760 0 -1 4194304 14231 0 0 0 2533 4 0 0 20 0 1 0 69773281 70545408 13624 18446744073709551615 4198400 14817773 140736019682912 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38035456 140736019691932 140736019692059 140736019692059 140736019697632 0
/proc/75841/statm: 17223 13624 960 2593 0 14116 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 75876 KiB
Current children cumulated memory: 58848 KiB

[startup+51.1058 s]
/proc/loadavg: 2.59 1.97 2.83 5/280 75842
/proc/meminfo: memFree=126975416/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 249 105 0 1 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75837] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75837/stat : 75837 (timeout) S 75816 75837 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69773280 2723840 352 18446744073709551615 93902221901824 93902221918337 140732504353344 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 93902221933104 93902221935192 93902222012416 140732504361366 140732504361506 140732504361506 140732504367079 0
/proc/75837/statm: 665 352 352 5 0 90 0
[pid=75841] ppid=75837 vsize=101100 memory=86748 CPUtime=50.9 cores=1,3
/proc/75841/stat : 75841 (CASHWMaxSAT-Dis) R 75837 75837 75760 0 -1 4194304 17685 0 0 0 5085 5 0 0 20 0 1 0 69773281 103526400 21687 18446744073709551615 4198400 14817773 140736019682912 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 38035456 140736019691932 140736019692059 140736019692059 140736019697632 0
/proc/75841/statm: 25275 21687 960 2593 0 22168 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 108084 KiB
Current children cumulated memory: 91100 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 2.33 2.90 5/281 75848
/proc/meminfo: memFree=126988404/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 249 105 0 1 0 0 0 0 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0

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

/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75900] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75900/stat : 75900 (timeout) S 75816 75900 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94758439391232 94758439407745 140723715631904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94758439422512 94758439424600 94758443872256 140723715635590 140723715635746 140723715635746 140723715641319 0
/proc/75900/statm: 665 352 352 5 0 90 0
[pid=75903] ppid=75900 vsize=909960 memory=873196 CPUtime=881.24 cores=1,3
/proc/75903/stat : 75903 (ExactPR-S) R 75900 75900 75760 0 -1 4194304 218435 0 0 0 88087 37 0 0 20 0 1 0 69893083 931799040 218299 18446744073709551615 94756498857984 94756508158021 140734743201024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94756509944128 94756509983208 94756538036224 140734743210398 140734743210535 140734743210535 140734743216108 0
/proc/75903/statm: 227490 218299 3360 2271 0 222128 0
Current children cumulated CPU time: 2075.8 s
Current children cumulated vsize: 916944 KiB
Current children cumulated memory: 877548 KiB

[startup+2142.3 s]
/proc/loadavg: 3.09 3.15 3.39 4/265 76001
/proc/meminfo: memFree=124470908/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 283 108710 0 1 0 0 119288 168 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75900] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75900/stat : 75900 (timeout) S 75816 75900 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94758439391232 94758439407745 140723715631904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94758439422512 94758439424600 94758443872256 140723715635590 140723715635746 140723715635746 140723715641319 0
/proc/75900/statm: 665 352 352 5 0 90 0
[pid=75903] ppid=75900 vsize=959844 memory=922784 CPUtime=941.02 cores=1,3
/proc/75903/stat : 75903 (ExactPR-S) R 75900 75900 75760 0 -1 4194304 231142 0 0 0 94062 40 0 0 20 0 1 0 69893083 982880256 230696 18446744073709551615 94756498857984 94756508158021 140734743201024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94756509944128 94756509983208 94756538036224 140734743210398 140734743210535 140734743210535 140734743216108 0
/proc/75903/statm: 239961 230696 3360 2271 0 234599 0
Current children cumulated CPU time: 2135.58 s
Current children cumulated vsize: 966828 KiB
Current children cumulated memory: 927136 KiB

[startup+2202.3 s]
/proc/loadavg: 3.08 3.13 3.36 4/264 76003
/proc/meminfo: memFree=125623472/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 283 108710 0 1 0 0 119288 168 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75900] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75900/stat : 75900 (timeout) S 75816 75900 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94758439391232 94758439407745 140723715631904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94758439422512 94758439424600 94758443872256 140723715635590 140723715635746 140723715635746 140723715641319 0
/proc/75900/statm: 665 352 352 5 0 90 0
[pid=75903] ppid=75900 vsize=525380 memory=493620 CPUtime=1000.8 cores=1,3
/proc/75903/stat : 75903 (ExactPR-S) R 75900 75900 75760 0 -1 4194304 243090 0 0 0 99930 150 0 0 20 0 1 0 69893083 537989120 123405 18446744073709551615 94756498857984 94756508158021 140734743201024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94756509944128 94756509983208 94756538036224 140734743210398 140734743210535 140734743210535 140734743216108 0
/proc/75903/statm: 131345 123405 3360 2271 0 125983 0
Current children cumulated CPU time: 2195.36 s
Current children cumulated vsize: 532364 KiB
Current children cumulated memory: 497972 KiB

[startup+2262.3 s]
/proc/loadavg: 3.06 3.12 3.35 4/263 76004
/proc/meminfo: memFree=125608100/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 283 108710 0 1 0 0 119288 168 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75900] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75900/stat : 75900 (timeout) S 75816 75900 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94758439391232 94758439407745 140723715631904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94758439422512 94758439424600 94758443872256 140723715635590 140723715635746 140723715635746 140723715641319 0
/proc/75900/statm: 665 352 352 5 0 90 0
[pid=75903] ppid=75900 vsize=508124 memory=492876 CPUtime=1060.65 cores=1,3
/proc/75903/stat : 75903 (ExactPR-S) R 75900 75900 75760 0 -1 4194304 243099 0 0 0 104135 1930 0 0 20 0 1 0 69893083 520318976 123219 18446744073709551615 94756498857984 94756508158021 140734743201024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94756509944128 94756509983208 94756538036224 140734743210398 140734743210535 140734743210535 140734743216108 0
/proc/75903/statm: 127031 123219 3392 2271 0 121669 0
Current children cumulated CPU time: 2255.21 s
Current children cumulated vsize: 515108 KiB
Current children cumulated memory: 497228 KiB

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

# cumulated CPU time of all completed processes:  user=2242.33 s, system=21.0826 s

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

[startup+2265.6 s]
/proc/loadavg: 3.06 3.12 3.34 4/263 76005
/proc/meminfo: memFree=125546244/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 283 108710 0 1 0 0 119288 168 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75900] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75900/stat : 75900 (timeout) S 75816 75900 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94758439391232 94758439407745 140723715631904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94758439422512 94758439424600 94758443872256 140723715635590 140723715635746 140723715635746 140723715641319 0
/proc/75900/statm: 665 352 352 5 0 90 0
[pid=75903] ppid=75900 vsize=560968 memory=528772 CPUtime=1063.94 cores=1,3
/proc/75903/stat : 75903 (ExactPR-S) R 75900 75900 75760 0 -1 4194304 243386 0 0 0 104461 1933 0 0 20 0 1 0 69893083 574431232 132193 18446744073709551615 94756498857984 94756508158021 140734743201024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94756509944128 94756509983208 94756538036224 140734743210398 140734743210535 140734743210535 140734743216108 0
/proc/75903/statm: 140242 132193 3392 2271 0 134880 0
Current children cumulated CPU time: 2258.5 s
Current children cumulated vsize: 567952 KiB
Current children cumulated memory: 533124 KiB

[startup+2268.8 s]
/proc/loadavg: 3.05 3.12 3.34 4/263 76005
/proc/meminfo: memFree=125562624/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 283 108710 0 1 0 0 119288 168 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75900] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75900/stat : 75900 (timeout) S 75816 75900 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94758439391232 94758439407745 140723715631904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94758439422512 94758439424600 94758443872256 140723715635590 140723715635746 140723715635746 140723715641319 0
/proc/75900/statm: 665 352 352 5 0 90 0
[pid=75903] ppid=75900 vsize=560968 memory=528772 CPUtime=1067.13 cores=1,3
/proc/75903/stat : 75903 (ExactPR-S) R 75900 75900 75760 0 -1 4194304 243386 0 0 0 104777 1936 0 0 20 0 1 0 69893083 574431232 132193 18446744073709551615 94756498857984 94756508158021 140734743201024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94756509944128 94756509983208 94756538036224 140734743210398 140734743210535 140734743210535 140734743216108 0
/proc/75903/statm: 140242 132193 3392 2271 0 134880 0
Current children cumulated CPU time: 2261.69 s
Current children cumulated vsize: 567952 KiB
Current children cumulated memory: 533124 KiB

[startup+2269.6 s]
/proc/loadavg: 3.05 3.12 3.34 4/263 76005
/proc/meminfo: memFree=125562624/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 283 108710 0 1 0 0 119288 168 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75900] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75900/stat : 75900 (timeout) S 75816 75900 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94758439391232 94758439407745 140723715631904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94758439422512 94758439424600 94758443872256 140723715635590 140723715635746 140723715635746 140723715641319 0
/proc/75900/statm: 665 352 352 5 0 90 0
[pid=75903] ppid=75900 vsize=560968 memory=528772 CPUtime=1067.92 cores=1,3
/proc/75903/stat : 75903 (ExactPR-S) R 75900 75900 75760 0 -1 4194304 243386 0 0 0 104856 1936 0 0 20 0 1 0 69893083 574431232 132193 18446744073709551615 94756498857984 94756508158021 140734743201024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94756509944128 94756509983208 94756538036224 140734743210398 140734743210535 140734743210535 140734743216108 0
/proc/75903/statm: 140242 132193 3392 2271 0 134880 0
Current children cumulated CPU time: 2262.48 s
Current children cumulated vsize: 567952 KiB
Current children cumulated memory: 533124 KiB

[startup+2270 s]*
/proc/loadavg: 3.05 3.12 3.34 4/263 76005
/proc/meminfo: memFree=125562624/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 283 108710 0 1 0 0 119288 168 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75900] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75900/stat : 75900 (timeout) S 75816 75900 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94758439391232 94758439407745 140723715631904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94758439422512 94758439424600 94758443872256 140723715635590 140723715635746 140723715635746 140723715641319 0
/proc/75900/statm: 665 352 352 5 0 90 0
[pid=75903] ppid=75900 vsize=560968 memory=528772 CPUtime=1068.32 cores=1,3
/proc/75903/stat : 75903 (ExactPR-S) R 75900 75900 75760 0 -1 4194304 243386 0 0 0 104896 1936 0 0 20 0 1 0 69893083 574431232 132193 18446744073709551615 94756498857984 94756508158021 140734743201024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94756509944128 94756509983208 94756538036224 140734743210398 140734743210535 140734743210535 140734743216108 0
/proc/75903/statm: 140242 132193 3392 2271 0 134880 0
Current children cumulated CPU time: 2262.88 s
Current children cumulated vsize: 567952 KiB
Current children cumulated memory: 533124 KiB

[startup+2270.4 s]
/proc/loadavg: 3.05 3.12 3.34 4/263 76005
/proc/meminfo: memFree=125562624/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=1194.56 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 283 108710 0 1 0 0 119288 168 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
[pid=75900] ppid=75816 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/75900/stat : 75900 (timeout) S 75816 75900 75760 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 69893081 2723840 352 18446744073709551615 94758439391232 94758439407745 140723715631904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94758439422512 94758439424600 94758443872256 140723715635590 140723715635746 140723715635746 140723715641319 0
/proc/75900/statm: 665 352 352 5 0 90 0
[pid=75903] ppid=75900 vsize=560968 memory=528772 CPUtime=1068.71 cores=1,3
/proc/75903/stat : 75903 (ExactPR-S) R 75900 75900 75760 0 -1 4194304 243386 0 0 0 104935 1936 0 0 20 0 1 0 69893083 574431232 132193 18446744073709551615 94756498857984 94756508158021 140734743201024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94756509944128 94756509983208 94756538036224 140734743210398 140734743210535 140734743210535 140734743216108 0
/proc/75903/statm: 140242 132193 3392 2271 0 134880 0
Current children cumulated CPU time: 2263.27 s
Current children cumulated vsize: 567952 KiB
Current children cumulated memory: 533124 KiB

[startup+2270.5 s]
/proc/loadavg: 3.05 3.12 3.34 4/263 76005
/proc/meminfo: memFree=125562624/131250000 swapFree=33010672/33010684
[pid=75816] ppid=75810 vsize=4324 memory=2944 CPUtime=2263.39 cores=1,3
/proc/75816/stat : 75816 (Hybrid-CASHWMax) S 75810 75816 75760 0 -1 4194304 302 352227 0 1 0 0 224232 2107 20 0 1 0 69773276 4427776 736 18446744073709551615 94682906177536 94682907072069 140728715000000 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 94682907311120 94682907358864 94682935513088 140728715004247 140728715004401 140728715004401 140728715010003 0
/proc/75816/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2263.39 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2270.53
CPU time (s): 2263.41
CPU user time (s): 2242.33
CPU system time (s): 21.0826
CPU usage (%): 99.6867
Max. virtual memory (cumulated for all children) (KiB): 1012632
Max. memory (cumulated for all children) (KiB): 973528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2242.33
system time used= 21.0826
maximum resident set size= 969176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353243
page faults= 1
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1219
involuntary context switches= 2119


# summary of solver processes directly reported to runsolver:
#   pid: 75816
#   total CPU time (s): 2263.41
#   total CPU user time (s): 2242.33
#   total CPU system time (s): 21.0826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.60905 second user time and 10.3939 second system time

The end