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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521058-1751564462/watcher-4521058-1751564462 -o /tmp/evaluation-result-4521058-1751564462/solver-4521058-1751564462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751560212-81256 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4521058-1751564462.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=82843, runsolver pid=82840

[startup+0.100072 s]*
/proc/loadavg: 4.19 4.12 4.10 5/259 82847
/proc/meminfo: memFree=125123820/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82846] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82846/stat : 82846 (timeout) S 82843 82846 81245 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72125657 2723840 352 18446744073709551615 93828501274624 93828501291137 140734200783296 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93828501305904 93828501307992 93828519870464 140734200785302 140734200785442 140734200785442 140734200791015 0
/proc/82846/statm: 665 352 352 5 0 90 0
[pid=82847] ppid=82846 vsize=23484 memory=9088 CPUtime=0.06 cores=4,6
/proc/82847/stat : 82847 (CASHWMaxSAT-Dis) R 82846 82846 81245 0 -1 4194304 1512 0 0 0 6 0 0 0 20 0 1 0 72125658 24047616 2272 18446744073709551615 4198400 14817773 140733313164736 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 43851776 140733313173916 140733313174043 140733313174043 140733313179616 0
/proc/82847/statm: 5871 2272 864 2593 0 2764 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 30468 KiB
Current children cumulated memory: 13440 KiB

[startup+0.213792 s]*
/proc/loadavg: 4.19 4.12 4.10 5/259 82847
/proc/meminfo: memFree=125099640/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82846] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82846/stat : 82846 (timeout) S 82843 82846 81245 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72125657 2723840 352 18446744073709551615 93828501274624 93828501291137 140734200783296 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93828501305904 93828501307992 93828519870464 140734200785302 140734200785442 140734200785442 140734200791015 0
/proc/82846/statm: 665 352 352 5 0 90 0
[pid=82847] ppid=82846 vsize=29284 memory=14848 CPUtime=0.16 cores=4,6
/proc/82847/stat : 82847 (CASHWMaxSAT-Dis) R 82846 82846 81245 0 -1 4194304 2943 0 0 0 16 0 0 0 20 0 1 0 72125658 29986816 3712 18446744073709551615 4198400 14817773 140733313164736 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 43851776 140733313173916 140733313174043 140733313174043 140733313179616 0
/proc/82847/statm: 7321 3712 864 2593 0 4214 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 36268 KiB
Current children cumulated memory: 19200 KiB

[startup+0.313653 s]*
/proc/loadavg: 4.19 4.12 4.10 5/259 82847
/proc/meminfo: memFree=125080096/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82846] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82846/stat : 82846 (timeout) S 82843 82846 81245 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72125657 2723840 352 18446744073709551615 93828501274624 93828501291137 140734200783296 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93828501305904 93828501307992 93828519870464 140734200785302 140734200785442 140734200785442 140734200791015 0
/proc/82846/statm: 665 352 352 5 0 90 0
[pid=82847] ppid=82846 vsize=34232 memory=19840 CPUtime=0.25 cores=4,6
/proc/82847/stat : 82847 (CASHWMaxSAT-Dis) R 82846 82846 81245 0 -1 4194304 4174 0 0 0 24 1 0 0 20 0 1 0 72125658 35053568 4960 18446744073709551615 4198400 14817773 140733313164736 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 43851776 140733313173916 140733313174043 140733313174043 140733313179616 0
/proc/82847/statm: 8558 4960 864 2593 0 5451 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 41216 KiB
Current children cumulated memory: 24192 KiB

[startup+0.700442 s]
/proc/loadavg: 4.19 4.12 4.10 5/259 82847
/proc/meminfo: memFree=125040028/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82846] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82846/stat : 82846 (timeout) S 82843 82846 81245 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72125657 2723840 352 18446744073709551615 93828501274624 93828501291137 140734200783296 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93828501305904 93828501307992 93828519870464 140734200785302 140734200785442 140734200785442 140734200791015 0
/proc/82846/statm: 665 352 352 5 0 90 0
[pid=82847] ppid=82846 vsize=54072 memory=39680 CPUtime=0.59 cores=4,6
/proc/82847/stat : 82847 (CASHWMaxSAT-Dis) R 82846 82846 81245 0 -1 4194304 9137 0 0 0 56 3 0 0 20 0 1 0 72125658 55369728 9920 18446744073709551615 4198400 14817773 140733313164736 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 43851776 140733313173916 140733313174043 140733313174043 140733313179616 0
/proc/82847/statm: 13518 9920 864 2593 0 10411 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 61056 KiB
Current children cumulated memory: 44032 KiB

[startup+1.5003 s]
/proc/loadavg: 4.19 4.12 4.10 5/259 82847
/proc/meminfo: memFree=124952584/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82846] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82846/stat : 82846 (timeout) S 82843 82846 81245 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72125657 2723840 352 18446744073709551615 93828501274624 93828501291137 140734200783296 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93828501305904 93828501307992 93828519870464 140734200785302 140734200785442 140734200785442 140734200791015 0
/proc/82846/statm: 665 352 352 5 0 90 0
[pid=82847] ppid=82846 vsize=126132 memory=111616 CPUtime=1.38 cores=4,6
/proc/82847/stat : 82847 (CASHWMaxSAT-Dis) R 82846 82846 81245 0 -1 4194304 27137 0 0 0 130 8 0 0 20 0 1 0 72125658 129159168 27904 18446744073709551615 4198400 14817773 140733313164736 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 43851776 140733313173916 140733313174043 140733313174043 140733313179616 0
/proc/82847/statm: 31533 27904 864 2593 0 28426 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 133116 KiB
Current children cumulated memory: 115968 KiB

[startup+3.10556 s]
/proc/loadavg: 4.17 4.12 4.09 5/259 82847
/proc/meminfo: memFree=124690128/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82846] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82846/stat : 82846 (timeout) S 82843 82846 81245 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72125657 2723840 352 18446744073709551615 93828501274624 93828501291137 140734200783296 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93828501305904 93828501307992 93828519870464 140734200785302 140734200785442 140734200785442 140734200791015 0
/proc/82846/statm: 665 352 352 5 0 90 0
[pid=82847] ppid=82846 vsize=351804 memory=337152 CPUtime=2.97 cores=4,6
/proc/82847/stat : 82847 (CASHWMaxSAT-Dis) R 82846 82846 81245 0 -1 4194304 83515 0 0 0 278 19 0 0 20 0 1 0 72125658 360247296 84288 18446744073709551615 4198400 14817773 140733313164736 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 43851776 140733313173916 140733313174043 140733313174043 140733313179616 0
/proc/82847/statm: 87951 84288 864 2593 0 84844 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 358788 KiB
Current children cumulated memory: 341504 KiB

[startup+6.30022 s]
/proc/loadavg: 4.17 4.12 4.09 5/259 82847
/proc/meminfo: memFree=124610240/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82846] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82846/stat : 82846 (timeout) S 82843 82846 81245 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72125657 2723840 352 18446744073709551615 93828501274624 93828501291137 140734200783296 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93828501305904 93828501307992 93828519870464 140734200785302 140734200785442 140734200785442 140734200791015 0
/proc/82846/statm: 665 352 352 5 0 90 0
[pid=82847] ppid=82846 vsize=401540 memory=386824 CPUtime=6.13 cores=4,6
/proc/82847/stat : 82847 (CASHWMaxSAT-Dis) R 82846 82846 81245 0 -1 4194304 97521 0 0 0 591 22 0 0 20 0 1 0 72125658 411176960 96706 18446744073709551615 4198400 14817773 140733313164736 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 43851776 140733313173916 140733313174043 140733313174043 140733313179616 0
/proc/82847/statm: 100385 96706 960 2593 0 97278 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 408524 KiB
Current children cumulated memory: 391176 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.09 5/259 82848
/proc/meminfo: memFree=124613816/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82846] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82846/stat : 82846 (timeout) S 82843 82846 81245 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72125657 2723840 352 18446744073709551615 93828501274624 93828501291137 140734200783296 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93828501305904 93828501307992 93828519870464 140734200785302 140734200785442 140734200785442 140734200791015 0
/proc/82846/statm: 665 352 352 5 0 90 0
[pid=82847] ppid=82846 vsize=401540 memory=386824 CPUtime=12.46 cores=4,6
/proc/82847/stat : 82847 (CASHWMaxSAT-Dis) R 82846 82846 81245 0 -1 4194304 97521 0 0 0 1224 22 0 0 20 0 1 0 72125658 411176960 96706 18446744073709551615 4198400 14817773 140733313164736 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 43851776 140733313173916 140733313174043 140733313174043 140733313179616 0
/proc/82847/statm: 100385 96706 960 2593 0 97278 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 408524 KiB
Current children cumulated memory: 391176 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 82848
/proc/meminfo: memFree=124578272/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82846] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82846/stat : 82846 (timeout) S 82843 82846 81245 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72125657 2723840 352 18446744073709551615 93828501274624 93828501291137 140734200783296 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93828501305904 93828501307992 93828519870464 140734200785302 140734200785442 140734200785442 140734200791015 0
/proc/82846/statm: 665 352 352 5 0 90 0
[pid=82847] ppid=82846 vsize=401540 memory=386824 CPUtime=25.13 cores=4,6
/proc/82847/stat : 82847 (CASHWMaxSAT-Dis) R 82846 82846 81245 0 -1 4194304 97521 0 0 0 2490 23 0 0 20 0 1 0 72125658 411176960 96706 18446744073709551615 4198400 14817773 140733313164736 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 43851776 140733313173916 140733313174043 140733313174043 140733313179616 0
/proc/82847/statm: 100385 96706 960 2593 0 97278 0
Current children cumulated CPU time: 25.13 s
Current children cumulated vsize: 408524 KiB
Current children cumulated memory: 391176 KiB

[startup+51.1138 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 82848
/proc/meminfo: memFree=124514732/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82846] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82846/stat : 82846 (timeout) S 82843 82846 81245 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72125657 2723840 352 18446744073709551615 93828501274624 93828501291137 140734200783296 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93828501305904 93828501307992 93828519870464 140734200785302 140734200785442 140734200785442 140734200791015 0
/proc/82846/statm: 665 352 352 5 0 90 0
[pid=82847] ppid=82846 vsize=436868 memory=420848 CPUtime=50.64 cores=4,6
/proc/82847/stat : 82847 (CASHWMaxSAT-Dis) R 82846 82846 81245 0 -1 4194304 109202 0 0 0 5034 30 0 0 20 0 1 0 72125658 447352832 105212 18446744073709551615 4198400 14817773 140733313164736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 43851776 140733313173916 140733313174043 140733313174043 140733313179616 0
/proc/82847/statm: 109217 105212 992 2593 0 106110 0
Current children cumulated CPU time: 50.64 s
Current children cumulated vsize: 443852 KiB
Current children cumulated memory: 425200 KiB

[startup+102.301 s]
/proc/loadavg: 4.06 4.10 4.09 5/259 82850
/proc/meminfo: memFree=124422220/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82846] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82919] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82919/stat : 82919 (timeout) S 82843 82919 81245 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72245460 2723840 352 18446744073709551615 94455472144384 94455472160897 140732816664400 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94455472175664 94455472177752 94455496617984 140732816669062 140732816669218 140732816669218 140732816674791 0
/proc/82919/statm: 665 352 352 5 0 90 0
[pid=82920] ppid=82919 vsize=1460420 memory=1431532 CPUtime=2256.79 cores=4,6
/proc/82920/stat : 82920 (ExactPR-S) R 82919 82919 81245 0 -1 4194304 333451 0 0 0 225532 147 0 0 20 0 1 0 72245461 1495470080 357883 18446744073709551615 94560419663872 94560428963909 140728000418336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560430750016 94560430789096 94560446980096 140728000424350 140728000424487 140728000424487 140728000430060 0
/proc/82920/statm: 365105 357883 3360 2271 0 359743 0
Current children cumulated CPU time: 3450.96 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1435884 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.21 5/257 83173
/proc/meminfo: memFree=120271748/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=1194.17 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 282 145610 0 0 0 0 119357 60 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82919] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82919/stat : 82919 (timeout) S 82843 82919 81245 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72245460 2723840 352 18446744073709551615 94455472144384 94455472160897 140732816664400 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94455472175664 94455472177752 94455496617984 140732816669062 140732816669218 140732816669218 140732816674791 0
/proc/82919/statm: 665 352 352 5 0 90 0
[pid=82920] ppid=82919 vsize=1460420 memory=1431532 CPUtime=2316.62 cores=4,6
/proc/82920/stat : 82920 (ExactPR-S) R 82919 82919 81245 0 -1 4194304 333451 0 0 0 231515 147 0 0 20 0 1 0 72245461 1495470080 357883 18446744073709551615 94560419663872 94560428963909 140728000418336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560430750016 94560430789096 94560446980096 140728000424350 140728000424487 140728000424487 140728000430060 0
/proc/82920/statm: 365105 357883 3360 2271 0 359743 0
Current children cumulated CPU time: 3510.79 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1435884 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.19 5/258 83180
/proc/meminfo: memFree=120262088/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=1194.17 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 282 145610 0 0 0 0 119357 60 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82919] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82919/stat : 82919 (timeout) S 82843 82919 81245 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72245460 2723840 352 18446744073709551615 94455472144384 94455472160897 140732816664400 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94455472175664 94455472177752 94455496617984 140732816669062 140732816669218 140732816669218 140732816674791 0
/proc/82919/statm: 665 352 352 5 0 90 0
[pid=82920] ppid=82919 vsize=1460420 memory=1431532 CPUtime=2376.42 cores=4,6
/proc/82920/stat : 82920 (ExactPR-S) R 82919 82919 81245 0 -1 4194304 333546 0 0 0 237495 147 0 0 20 0 1 0 72245461 1495470080 357883 18446744073709551615 94560419663872 94560428963909 140728000418336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560430750016 94560430789096 94560446980096 140728000424350 140728000424487 140728000424487 140728000430060 0
/proc/82920/statm: 365105 357883 3360 2271 0 359743 0
Current children cumulated CPU time: 3570.59 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1435884 KiB

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

# cumulated CPU time of all completed processes:  user=3582.26 s, system=2.14051 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.14 4.19 5/258 83180
/proc/meminfo: memFree=120262088/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=1194.17 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 282 145610 0 0 0 0 119357 60 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82919] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82919/stat : 82919 (timeout) S 82843 82919 81245 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72245460 2723840 352 18446744073709551615 94455472144384 94455472160897 140732816664400 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94455472175664 94455472177752 94455496617984 140732816669062 140732816669218 140732816669218 140732816674791 0
/proc/82919/statm: 665 352 352 5 0 90 0
[pid=82920] ppid=82919 vsize=1460420 memory=1431532 CPUtime=2378.13 cores=4,6
/proc/82920/stat : 82920 (ExactPR-S) R 82919 82919 81245 0 -1 4194304 333558 0 0 0 237666 147 0 0 20 0 1 0 72245461 1495470080 357883 18446744073709551615 94560419663872 94560428963909 140728000418336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560430750016 94560430789096 94560446980096 140728000424350 140728000424487 140728000424487 140728000430060 0
/proc/82920/statm: 365105 357883 3360 2271 0 359743 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1435884 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.14 4.19 5/258 83180
/proc/meminfo: memFree=120265552/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=1194.17 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 282 145610 0 0 0 0 119357 60 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82919] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82919/stat : 82919 (timeout) S 82843 82919 81245 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72245460 2723840 352 18446744073709551615 94455472144384 94455472160897 140732816664400 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94455472175664 94455472177752 94455496617984 140732816669062 140732816669218 140732816669218 140732816674791 0
/proc/82919/statm: 665 352 352 5 0 90 0
[pid=82920] ppid=82919 vsize=1460420 memory=1431532 CPUtime=2384.5 cores=4,6
/proc/82920/stat : 82920 (ExactPR-S) R 82919 82919 81245 0 -1 4194304 333579 0 0 0 238303 147 0 0 20 0 1 0 72245461 1495470080 357883 18446744073709551615 94560419663872 94560428963909 140728000418336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560430750016 94560430789096 94560446980096 140728000424350 140728000424487 140728000424487 140728000430060 0
/proc/82920/statm: 365105 357883 3360 2271 0 359743 0
Current children cumulated CPU time: 3578.67 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1435884 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.14 4.19 5/258 83180
/proc/meminfo: memFree=120259760/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=1194.17 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 282 145610 0 0 0 0 119357 60 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82919] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82919/stat : 82919 (timeout) S 82843 82919 81245 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72245460 2723840 352 18446744073709551615 94455472144384 94455472160897 140732816664400 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94455472175664 94455472177752 94455496617984 140732816669062 140732816669218 140732816669218 140732816674791 0
/proc/82919/statm: 665 352 352 5 0 90 0
[pid=82920] ppid=82919 vsize=1460420 memory=1431532 CPUtime=2387.69 cores=4,6
/proc/82920/stat : 82920 (ExactPR-S) R 82919 82919 81245 0 -1 4194304 333582 0 0 0 238622 147 0 0 20 0 1 0 72245461 1495470080 357883 18446744073709551615 94560419663872 94560428963909 140728000418336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560430750016 94560430789096 94560446980096 140728000424350 140728000424487 140728000424487 140728000430060 0
/proc/82920/statm: 365105 357883 3360 2271 0 359743 0
Current children cumulated CPU time: 3581.86 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1435884 KiB

[startup+3595.2 s]
/proc/loadavg: 4.25 4.17 4.20 5/252 83210
/proc/meminfo: memFree=121824320/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=1194.17 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 282 145610 0 0 0 0 119357 60 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82919] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82919/stat : 82919 (timeout) S 82843 82919 81245 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72245460 2723840 352 18446744073709551615 94455472144384 94455472160897 140732816664400 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94455472175664 94455472177752 94455496617984 140732816669062 140732816669218 140732816669218 140732816674791 0
/proc/82919/statm: 665 352 352 5 0 90 0
[pid=82920] ppid=82919 vsize=1460420 memory=1431532 CPUtime=2389.28 cores=4,6
/proc/82920/stat : 82920 (ExactPR-S) R 82919 82919 81245 0 -1 4194304 333585 0 0 0 238781 147 0 0 20 0 1 0 72245461 1495470080 357883 18446744073709551615 94560419663872 94560428963909 140728000418336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560430750016 94560430789096 94560446980096 140728000424350 140728000424487 140728000424487 140728000430060 0
/proc/82920/statm: 365105 357883 3360 2271 0 359743 0
Current children cumulated CPU time: 3583.45 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1435884 KiB

[startup+3595.6 s]
/proc/loadavg: 4.25 4.17 4.20 5/252 83210
/proc/meminfo: memFree=121824320/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=1194.17 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 282 145610 0 0 0 0 119357 60 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82919] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82919/stat : 82919 (timeout) S 82843 82919 81245 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72245460 2723840 352 18446744073709551615 94455472144384 94455472160897 140732816664400 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94455472175664 94455472177752 94455496617984 140732816669062 140732816669218 140732816669218 140732816674791 0
/proc/82919/statm: 665 352 352 5 0 90 0
[pid=82920] ppid=82919 vsize=1460420 memory=1431532 CPUtime=2389.68 cores=4,6
/proc/82920/stat : 82920 (ExactPR-S) R 82919 82919 81245 0 -1 4194304 333585 0 0 0 238821 147 0 0 20 0 1 0 72245461 1495470080 357883 18446744073709551615 94560419663872 94560428963909 140728000418336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560430750016 94560430789096 94560446980096 140728000424350 140728000424487 140728000424487 140728000430060 0
/proc/82920/statm: 365105 357883 3360 2271 0 359743 0
Current children cumulated CPU time: 3583.85 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1435884 KiB

[startup+3596 s]*
/proc/loadavg: 4.25 4.17 4.20 5/255 83216
/proc/meminfo: memFree=121823120/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=1194.17 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 282 145610 0 0 0 0 119357 60 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
[pid=82919] ppid=82843 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/82919/stat : 82919 (timeout) S 82843 82919 81245 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72245460 2723840 352 18446744073709551615 94455472144384 94455472160897 140732816664400 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94455472175664 94455472177752 94455496617984 140732816669062 140732816669218 140732816669218 140732816674791 0
/proc/82919/statm: 665 352 352 5 0 90 0
[pid=82920] ppid=82919 vsize=1460420 memory=1431532 CPUtime=2390.09 cores=4,6
/proc/82920/stat : 82920 (ExactPR-S) R 82919 82919 81245 0 -1 4194304 333586 0 0 0 238862 147 0 0 20 0 1 0 72245461 1495470080 357883 18446744073709551615 94560419663872 94560428963909 140728000418336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94560430750016 94560430789096 94560446980096 140728000424350 140728000424487 140728000424487 140728000430060 0
/proc/82920/statm: 365105 357883 3360 2271 0 359743 0
Current children cumulated CPU time: 3584.26 s
Current children cumulated vsize: 1467404 KiB
Current children cumulated memory: 1435884 KiB

[startup+3596.11 s]
/proc/loadavg: 4.25 4.17 4.20 5/255 83216
/proc/meminfo: memFree=121823120/131382116 swapFree=33009904/33010684
[pid=82843] ppid=82840 vsize=4324 memory=2944 CPUtime=3584.36 cores=4,6
/proc/82843/stat : 82843 (Hybrid-CASHWMax) S 82840 82843 81245 0 -1 4194304 372 480497 0 0 0 0 358225 211 20 0 1 0 72125656 4427776 736 18446744073709551615 94167004123136 94167005017669 140736920108048 0 0 0 2 4 65536 1 0 0 17 4 0 0 0 0 0 94167005256720 94167005304464 94167005622272 140736920111447 140736920111601 140736920111601 140736920117203 0
/proc/82843/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3584.36 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.16
CPU time (s): 3584.4
CPU user time (s): 3582.26
CPU system time (s): 2.14051
CPU usage (%): 99.6729
Max. virtual memory (cumulated for all children) (KiB): 2581128
Max. memory (cumulated for all children) (KiB): 2351316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.26
system time used= 2.14051
maximum resident set size= 2346964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482771
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1933
involuntary context switches= 2848


# summary of solver processes directly reported to runsolver:
#   pid: 82843
#   total CPU time (s): 3584.4
#   total CPU user time (s): 3582.26
#   total CPU system time (s): 2.14051

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4403 second user time and 39.3406 second system time

The end