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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522072-1751588478/watcher-4522072-1751588478 -o /tmp/evaluation-result-4522072-1751588478/solver-4522072-1751588478 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751588478-84411 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4522072-1751588478.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100065 s]*
/proc/loadavg: 2.31 3.65 3.94 6/267 84469
/proc/meminfo: memFree=128888204/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84467] ppid=84459 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/84467/stat : 84467 (timeout) S 84459 84467 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74525352 2723840 352 18446744073709551615 94507053338624 94507053355137 140728491831504 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94507053369904 94507053371992 94507072065536 140728491833752 140728491833890 140728491833890 140728491839463 0
/proc/84467/statm: 665 352 352 5 0 90 0
[pid=84469] ppid=84467 vsize=35928 memory=17920 CPUtime=0.07 cores=4,6
/proc/84469/stat : 84469 (CASHWMaxSAT-Dis) R 84467 84467 84400 0 -1 4194304 3798 0 0 0 7 0 0 0 20 0 1 0 74525353 36790272 4480 18446744073709551615 4198400 14093885 140729604228336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40017920 140729604233629 140729604233755 140729604233755 140729604239328 0
/proc/84469/statm: 8982 4480 768 2416 0 6084 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 42912 KiB
Current children cumulated memory: 22400 KiB

[startup+0.205723 s]*
/proc/loadavg: 2.31 3.65 3.94 6/267 84469
/proc/meminfo: memFree=128870564/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84467] ppid=84459 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/84467/stat : 84467 (timeout) S 84459 84467 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74525352 2723840 352 18446744073709551615 94507053338624 94507053355137 140728491831504 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94507053369904 94507053371992 94507072065536 140728491833752 140728491833890 140728491833890 140728491839463 0
/proc/84467/statm: 665 352 352 5 0 90 0
[pid=84469] ppid=84467 vsize=31852 memory=17872 CPUtime=0.17 cores=4,6
/proc/84469/stat : 84469 (CASHWMaxSAT-Dis) R 84467 84467 84400 0 -1 4194304 3873 0 0 0 17 0 0 0 20 0 1 0 74525353 32616448 4468 18446744073709551615 4198400 14093885 140729604228336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40017920 140729604233629 140729604233755 140729604233755 140729604239328 0
/proc/84469/statm: 7963 4468 768 2416 0 5065 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 38836 KiB
Current children cumulated memory: 22352 KiB

[startup+0.305119 s]*
/proc/loadavg: 2.31 3.65 3.94 6/267 84469
/proc/meminfo: memFree=128848616/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84467] ppid=84459 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/84467/stat : 84467 (timeout) S 84459 84467 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74525352 2723840 352 18446744073709551615 94507053338624 94507053355137 140728491831504 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94507053369904 94507053371992 94507072065536 140728491833752 140728491833890 140728491833890 140728491839463 0
/proc/84467/statm: 665 352 352 5 0 90 0
[pid=84469] ppid=84467 vsize=31852 memory=17872 CPUtime=0.27 cores=4,6
/proc/84469/stat : 84469 (CASHWMaxSAT-Dis) R 84467 84467 84400 0 -1 4194304 3881 0 0 0 27 0 0 0 20 0 1 0 74525353 32616448 4468 18446744073709551615 4198400 14093885 140729604228336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40017920 140729604233629 140729604233755 140729604233755 140729604239328 0
/proc/84469/statm: 7963 4468 768 2416 0 5065 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 38836 KiB
Current children cumulated memory: 22352 KiB

[startup+0.700189 s]
/proc/loadavg: 2.31 3.65 3.94 6/267 84469
/proc/meminfo: memFree=128816360/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84467] ppid=84459 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/84467/stat : 84467 (timeout) S 84459 84467 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74525352 2723840 352 18446744073709551615 94507053338624 94507053355137 140728491831504 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94507053369904 94507053371992 94507072065536 140728491833752 140728491833890 140728491833890 140728491839463 0
/proc/84467/statm: 665 352 352 5 0 90 0
[pid=84469] ppid=84467 vsize=40116 memory=25808 CPUtime=0.66 cores=4,6
/proc/84469/stat : 84469 (CASHWMaxSAT-Dis) R 84467 84467 84400 0 -1 4194304 5875 0 0 0 65 1 0 0 20 0 1 0 74525353 41078784 6452 18446744073709551615 4198400 14093885 140729604228336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40017920 140729604233629 140729604233755 140729604233755 140729604239328 0
/proc/84469/statm: 10029 6452 768 2416 0 7131 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 47100 KiB
Current children cumulated memory: 30288 KiB

[startup+1.50021 s]
/proc/loadavg: 2.52 3.67 3.95 5/271 84481
/proc/meminfo: memFree=128734620/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84467] ppid=84459 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/84467/stat : 84467 (timeout) S 84459 84467 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74525352 2723840 352 18446744073709551615 94507053338624 94507053355137 140728491831504 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94507053369904 94507053371992 94507072065536 140728491833752 140728491833890 140728491833890 140728491839463 0
/proc/84467/statm: 665 352 352 5 0 90 0
[pid=84469] ppid=84467 vsize=43708 memory=29512 CPUtime=1.46 cores=4,6
/proc/84469/stat : 84469 (CASHWMaxSAT-Dis) R 84467 84467 84400 0 -1 4194304 6907 0 0 0 145 1 0 0 20 0 1 0 74525353 44756992 7378 18446744073709551615 4198400 14093885 140729604228336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40017920 140729604233629 140729604233755 140729604233755 140729604239328 0
/proc/84469/statm: 10927 7378 768 2416 0 8029 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 50692 KiB
Current children cumulated memory: 33992 KiB

[startup+3.10501 s]
/proc/loadavg: 2.52 3.67 3.95 6/272 84482
/proc/meminfo: memFree=128192836/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84467] ppid=84459 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/84467/stat : 84467 (timeout) S 84459 84467 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74525352 2723840 352 18446744073709551615 94507053338624 94507053355137 140728491831504 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94507053369904 94507053371992 94507072065536 140728491833752 140728491833890 140728491833890 140728491839463 0
/proc/84467/statm: 665 352 352 5 0 90 0
[pid=84469] ppid=84467 vsize=61084 memory=46136 CPUtime=3.05 cores=4,6
/proc/84469/stat : 84469 (CASHWMaxSAT-Dis) R 84467 84467 84400 0 -1 4194304 9551 0 0 0 304 1 0 0 20 0 1 0 74525353 62550016 11534 18446744073709551615 4198400 14093885 140729604228336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40017920 140729604233629 140729604233755 140729604233755 140729604239328 0
/proc/84469/statm: 15271 11534 768 2416 0 12373 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 68068 KiB
Current children cumulated memory: 50616 KiB

[startup+6.30019 s]
/proc/loadavg: 2.64 3.68 3.95 6/272 84482
/proc/meminfo: memFree=127708660/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84467] ppid=84459 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/84467/stat : 84467 (timeout) S 84459 84467 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74525352 2723840 352 18446744073709551615 94507053338624 94507053355137 140728491831504 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94507053369904 94507053371992 94507072065536 140728491833752 140728491833890 140728491833890 140728491839463 0
/proc/84467/statm: 665 352 352 5 0 90 0
[pid=84469] ppid=84467 vsize=70876 memory=54068 CPUtime=6.24 cores=4,6
/proc/84469/stat : 84469 (CASHWMaxSAT-Dis) R 84467 84467 84400 0 -1 4194304 11099 0 0 0 622 2 0 0 20 0 1 0 74525353 72577024 13517 18446744073709551615 4198400 14093885 140729604228336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40017920 140729604233629 140729604233755 140729604233755 140729604239328 0
/proc/84469/statm: 17719 13517 800 2416 0 14821 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 77860 KiB
Current children cumulated memory: 58548 KiB

[startup+12.7002 s]
/proc/loadavg: 2.83 3.70 3.95 6/272 84482
/proc/meminfo: memFree=126481160/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84467] ppid=84459 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/84467/stat : 84467 (timeout) S 84459 84467 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74525352 2723840 352 18446744073709551615 94507053338624 94507053355137 140728491831504 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94507053369904 94507053371992 94507072065536 140728491833752 140728491833890 140728491833890 140728491839463 0
/proc/84467/statm: 665 352 352 5 0 90 0
[pid=84469] ppid=84467 vsize=72028 memory=57464 CPUtime=12.62 cores=4,6
/proc/84469/stat : 84469 (CASHWMaxSAT-Dis) R 84467 84467 84400 0 -1 4194304 12058 0 0 0 1260 2 0 0 20 0 1 0 74525353 73756672 14366 18446744073709551615 4198400 14093885 140729604228336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40017920 140729604233629 140729604233755 140729604233755 140729604239328 0
/proc/84469/statm: 18007 14366 800 2416 0 15109 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 79012 KiB
Current children cumulated memory: 61944 KiB

[startup+25.5002 s]
/proc/loadavg: 3.01 3.71 3.95 6/272 84483
/proc/meminfo: memFree=123507440/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84467] ppid=84459 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/84467/stat : 84467 (timeout) S 84459 84467 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74525352 2723840 352 18446744073709551615 94507053338624 94507053355137 140728491831504 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94507053369904 94507053371992 94507072065536 140728491833752 140728491833890 140728491833890 140728491839463 0
/proc/84467/statm: 665 352 352 5 0 90 0
[pid=84469] ppid=84467 vsize=64956 memory=50176 CPUtime=25.39 cores=4,6
/proc/84469/stat : 84469 (CASHWMaxSAT-Dis) R 84467 84467 84400 0 -1 4194304 12897 0 0 0 2536 3 0 0 20 0 1 0 74525353 66514944 12544 18446744073709551615 4198400 14093885 140729604228336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40017920 140729604233629 140729604233755 140729604233755 140729604239328 0
/proc/84469/statm: 16239 12544 800 2416 0 13341 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 71940 KiB
Current children cumulated memory: 54656 KiB

[startup+51.1056 s]
/proc/loadavg: 3.48 3.76 3.96 6/272 84483
/proc/meminfo: memFree=122851304/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84467] ppid=84459 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/84467/stat : 84467 (timeout) S 84459 84467 84400 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74525352 2723840 352 18446744073709551615 94507053338624 94507053355137 140728491831504 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94507053369904 94507053371992 94507072065536 140728491833752 140728491833890 140728491833890 140728491839463 0
/proc/84467/statm: 665 352 352 5 0 90 0
[pid=84469] ppid=84467 vsize=83692 memory=69536 CPUtime=50.93 cores=4,6
/proc/84469/stat : 84469 (CASHWMaxSAT-Dis) R 84467 84467 84400 0 -1 4194304 14191 0 0 0 5089 4 0 0 20 0 1 0 74525353 85700608 17384 18446744073709551615 4198400 14093885 140729604228336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40017920 140729604233629 140729604233755 140729604233755 140729604239328 0
/proc/84469/statm: 20923 17384 800 2416 0 18025 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 90676 KiB
Current children cumulated memory: 74016 KiB

[startup+102.3 s]
/proc/loadavg: 3.84 3.81 3.97 6/273 84486
/proc/meminfo: memFree=123328396/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=0 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0

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

/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84526] ppid=84459 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/84526/stat : 84526 (timeout) S 84459 84526 84400 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74615253 2723840 320 18446744073709551615 94511846608896 94511846625409 140729070626768 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94511846640176 94511846642264 94511859183616 140729070635397 140729070635554 140729070635554 140729070641127 0
/proc/84526/statm: 665 320 320 5 0 90 0
[pid=84528] ppid=84526 vsize=631112 memory=548492 CPUtime=2496.79 cores=4,6
/proc/84528/stat : 84528 (ExactPR-S9) R 84526 84526 84400 0 -1 4194304 121202 0 0 0 243897 5782 0 0 20 0 1 0 74615254 646258688 137123 18446744073709551615 94550226747392 94550236047493 140727565780592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94550237833536 94550237872616 94550271741952 140727565789596 140727565789734 140727565789734 140727565795307 0
/proc/84528/statm: 157778 137123 3392 2271 0 152416 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 638096 KiB
Current children cumulated memory: 552844 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.18 4.12 6/273 84831
/proc/meminfo: memFree=121368220/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=896.47 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 284 18231 0 0 0 0 89634 13 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84526] ppid=84459 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/84526/stat : 84526 (timeout) S 84459 84526 84400 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74615253 2723840 320 18446744073709551615 94511846608896 94511846625409 140729070626768 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94511846640176 94511846642264 94511859183616 140729070635397 140729070635554 140729070635554 140729070641127 0
/proc/84526/statm: 665 320 320 5 0 90 0
[pid=84528] ppid=84526 vsize=631112 memory=548492 CPUtime=2556.61 cores=4,6
/proc/84528/stat : 84528 (ExactPR-S9) R 84526 84526 84400 0 -1 4194304 121203 0 0 0 249873 5788 0 0 20 0 1 0 74615254 646258688 137123 18446744073709551615 94550226747392 94550236047493 140727565780592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94550237833536 94550237872616 94550271741952 140727565789596 140727565789734 140727565789734 140727565795307 0
/proc/84528/statm: 157778 137123 3392 2271 0 152416 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 638096 KiB
Current children cumulated memory: 552844 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.11 6/273 84833
/proc/meminfo: memFree=121368032/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=896.47 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 284 18231 0 0 0 0 89634 13 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84526] ppid=84459 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/84526/stat : 84526 (timeout) S 84459 84526 84400 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74615253 2723840 320 18446744073709551615 94511846608896 94511846625409 140729070626768 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94511846640176 94511846642264 94511859183616 140729070635397 140729070635554 140729070635554 140729070641127 0
/proc/84526/statm: 665 320 320 5 0 90 0
[pid=84528] ppid=84526 vsize=631112 memory=548492 CPUtime=2616.43 cores=4,6
/proc/84528/stat : 84528 (ExactPR-S9) R 84526 84526 84400 0 -1 4194304 121253 0 0 0 255848 5795 0 0 20 0 1 0 74615254 646258688 137123 18446744073709551615 94550226747392 94550236047493 140727565780592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94550237833536 94550237872616 94550271741952 140727565789596 140727565789734 140727565789734 140727565795307 0
/proc/84528/statm: 157778 137123 3392 2271 0 152416 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 638096 KiB
Current children cumulated memory: 552844 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.11 6/272 84834
/proc/meminfo: memFree=121325608/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=896.47 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 284 18231 0 0 0 0 89634 13 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84526] ppid=84459 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/84526/stat : 84526 (timeout) S 84459 84526 84400 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74615253 2723840 320 18446744073709551615 94511846608896 94511846625409 140729070626768 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94511846640176 94511846642264 94511859183616 140729070635397 140729070635554 140729070635554 140729070641127 0
/proc/84526/statm: 665 320 320 5 0 90 0
[pid=84528] ppid=84526 vsize=631112 memory=575372 CPUtime=2676.26 cores=4,6
/proc/84528/stat : 84528 (ExactPR-S9) R 84526 84526 84400 0 -1 4194304 121335 0 0 0 261824 5802 0 0 20 0 1 0 74615254 646258688 143843 18446744073709551615 94550226747392 94550236047493 140727565780592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94550237833536 94550237872616 94550271741952 140727565789596 140727565789734 140727565789734 140727565795307 0
/proc/84528/statm: 157778 143843 3392 2271 0 152416 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 638096 KiB
Current children cumulated memory: 579724 KiB

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

# cumulated CPU time of all completed processes:  user=3528.3 s, system=58.2028 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.16 4.11 6/272 84835
/proc/meminfo: memFree=121325640/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=896.47 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 284 18231 0 0 0 0 89634 13 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84526] ppid=84459 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/84526/stat : 84526 (timeout) S 84459 84526 84400 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74615253 2723840 320 18446744073709551615 94511846608896 94511846625409 140729070626768 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94511846640176 94511846642264 94511859183616 140729070635397 140729070635554 140729070635554 140729070641127 0
/proc/84526/statm: 665 320 320 5 0 90 0
[pid=84528] ppid=84526 vsize=631112 memory=575372 CPUtime=2677.96 cores=4,6
/proc/84528/stat : 84528 (ExactPR-S9) R 84526 84526 84400 0 -1 4194304 121335 0 0 0 261994 5802 0 0 20 0 1 0 74615254 646258688 143843 18446744073709551615 94550226747392 94550236047493 140727565780592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94550237833536 94550237872616 94550271741952 140727565789596 140727565789734 140727565789734 140727565795307 0
/proc/84528/statm: 157778 143843 3392 2271 0 152416 0
Current children cumulated CPU time: 3574.43 s
Current children cumulated vsize: 638096 KiB
Current children cumulated memory: 579724 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.16 4.11 6/272 84835
/proc/meminfo: memFree=121325640/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=896.47 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 284 18231 0 0 0 0 89634 13 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84526] ppid=84459 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/84526/stat : 84526 (timeout) S 84459 84526 84400 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74615253 2723840 320 18446744073709551615 94511846608896 94511846625409 140729070626768 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94511846640176 94511846642264 94511859183616 140729070635397 140729070635554 140729070635554 140729070641127 0
/proc/84526/statm: 665 320 320 5 0 90 0
[pid=84528] ppid=84526 vsize=631112 memory=575372 CPUtime=2684.33 cores=4,6
/proc/84528/stat : 84528 (ExactPR-S9) R 84526 84526 84400 0 -1 4194304 121335 0 0 0 262631 5802 0 0 20 0 1 0 74615254 646258688 143843 18446744073709551615 94550226747392 94550236047493 140727565780592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94550237833536 94550237872616 94550271741952 140727565789596 140727565789734 140727565789734 140727565795307 0
/proc/84528/statm: 157778 143843 3392 2271 0 152416 0
Current children cumulated CPU time: 3580.8 s
Current children cumulated vsize: 638096 KiB
Current children cumulated memory: 579724 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.16 4.11 6/272 84835
/proc/meminfo: memFree=121316128/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=896.47 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 284 18231 0 0 0 0 89634 13 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84526] ppid=84459 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/84526/stat : 84526 (timeout) S 84459 84526 84400 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74615253 2723840 320 18446744073709551615 94511846608896 94511846625409 140729070626768 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94511846640176 94511846642264 94511859183616 140729070635397 140729070635554 140729070635554 140729070641127 0
/proc/84526/statm: 665 320 320 5 0 90 0
[pid=84528] ppid=84526 vsize=631112 memory=584972 CPUtime=2687.52 cores=4,6
/proc/84528/stat : 84528 (ExactPR-S9) R 84526 84526 84400 0 -1 4194304 121335 0 0 0 262950 5802 0 0 20 0 1 0 74615254 646258688 146243 18446744073709551615 94550226747392 94550236047493 140727565780592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94550237833536 94550237872616 94550271741952 140727565789596 140727565789734 140727565789734 140727565795307 0
/proc/84528/statm: 157778 146243 3392 2271 0 152416 0
Current children cumulated CPU time: 3583.99 s
Current children cumulated vsize: 638096 KiB
Current children cumulated memory: 589324 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.16 4.11 6/272 84835
/proc/meminfo: memFree=121316128/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=896.47 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 284 18231 0 0 0 0 89634 13 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84526] ppid=84459 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/84526/stat : 84526 (timeout) S 84459 84526 84400 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74615253 2723840 320 18446744073709551615 94511846608896 94511846625409 140729070626768 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94511846640176 94511846642264 94511859183616 140729070635397 140729070635554 140729070635554 140729070641127 0
/proc/84526/statm: 665 320 320 5 0 90 0
[pid=84528] ppid=84526 vsize=631112 memory=584972 CPUtime=2689.13 cores=4,6
/proc/84528/stat : 84528 (ExactPR-S9) R 84526 84526 84400 0 -1 4194304 121335 0 0 0 263110 5803 0 0 20 0 1 0 74615254 646258688 146243 18446744073709551615 94550226747392 94550236047493 140727565780592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94550237833536 94550237872616 94550271741952 140727565789596 140727565789734 140727565789734 140727565795307 0
/proc/84528/statm: 157778 146243 3392 2271 0 152416 0
Current children cumulated CPU time: 3585.6 s
Current children cumulated vsize: 638096 KiB
Current children cumulated memory: 589324 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.16 4.11 6/272 84835
/proc/meminfo: memFree=121316128/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=896.47 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 284 18231 0 0 0 0 89634 13 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
[pid=84526] ppid=84459 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/84526/stat : 84526 (timeout) S 84459 84526 84400 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 74615253 2723840 320 18446744073709551615 94511846608896 94511846625409 140729070626768 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94511846640176 94511846642264 94511859183616 140729070635397 140729070635554 140729070635554 140729070641127 0
/proc/84526/statm: 665 320 320 5 0 90 0
[pid=84528] ppid=84526 vsize=631112 memory=584972 CPUtime=2689.93 cores=4,6
/proc/84528/stat : 84528 (ExactPR-S9) R 84526 84526 84400 0 -1 4194304 121335 0 0 0 263190 5803 0 0 20 0 1 0 74615254 646258688 146243 18446744073709551615 94550226747392 94550236047493 140727565780592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94550237833536 94550237872616 94550271741952 140727565789596 140727565789734 140727565789734 140727565795307 0
/proc/84528/statm: 157778 146243 3392 2271 0 152416 0
Current children cumulated CPU time: 3586.4 s
Current children cumulated vsize: 638096 KiB
Current children cumulated memory: 589324 KiB

[startup+3596.2 s]
/proc/loadavg: 4.12 4.16 4.11 6/272 84835
/proc/meminfo: memFree=121316128/131249996 swapFree=33006296/33010684
[pid=84459] ppid=84448 vsize=4324 memory=3072 CPUtime=3586.49 cores=4,6
/proc/84459/stat : 84459 (Hybrid-CASHWMax) S 84448 84459 84400 0 -1 4194304 533 142475 0 0 0 0 352829 5820 20 0 1 0 74525350 4427776 768 18446744073709551615 94352983330816 94352984225349 140731273543232 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94352984464400 94352984512144 94353001582592 140731273550165 140731273550320 140731273550320 140731273555922 0
/proc/84459/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.49 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.2
CPU time (s): 3586.51
CPU user time (s): 3528.3
CPU system time (s): 58.2028
CPU usage (%): 99.7304
Max. virtual memory (cumulated for all children) (KiB): 730568
Max. memory (cumulated for all children) (KiB): 589324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3528.3
system time used= 58.2028
maximum resident set size= 604100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2865
involuntary context switches= 2930


# summary of solver processes directly reported to runsolver:
#   pid: 84459
#   total CPU time (s): 3586.51
#   total CPU user time (s): 3528.3
#   total CPU system time (s): 58.2028

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42156 second user time and 16.552 second system time

The end