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

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

solver pid=38437, runsolver pid=38434

[startup+0.100027 s]*
/proc/loadavg: 4.16 4.19 3.94 5/274 38441
/proc/meminfo: memFree=123895520/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=38268 memory=23272 CPUtime=0.07 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 5057 0 0 0 7 0 0 0 20 0 1 0 43776345 39186432 5818 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 9567 5818 1152 2593 0 6460 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 45252 KiB
Current children cumulated memory: 27752 KiB

[startup+0.205781 s]*
/proc/loadavg: 4.16 4.19 3.94 5/274 38441
/proc/meminfo: memFree=123870584/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=63144 memory=45568 CPUtime=0.18 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 10930 0 0 0 16 2 0 0 20 0 1 0 43776345 64659456 11392 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 15786 11392 1216 2593 0 12679 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 70128 KiB
Current children cumulated memory: 50048 KiB

[startup+0.305827 s]*
/proc/loadavg: 4.16 4.19 3.94 5/274 38441
/proc/meminfo: memFree=123870584/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=68280 memory=51336 CPUtime=0.28 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 11846 0 0 0 26 2 0 0 20 0 1 0 43776345 69918720 12834 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 17070 12834 1216 2593 0 13963 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 75264 KiB
Current children cumulated memory: 55816 KiB

[startup+0.700241 s]
/proc/loadavg: 4.16 4.19 3.94 5/274 38441
/proc/meminfo: memFree=123868836/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=73464 memory=56472 CPUtime=0.66 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 12125 0 0 0 64 2 0 0 20 0 1 0 43776345 75227136 14118 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 18366 14118 1216 2593 0 15259 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 80448 KiB
Current children cumulated memory: 60952 KiB

[startup+1.50023 s]
/proc/loadavg: 4.16 4.19 3.94 5/274 38441
/proc/meminfo: memFree=123868836/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=73464 memory=56472 CPUtime=1.46 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 12126 0 0 0 144 2 0 0 20 0 1 0 43776345 75227136 14118 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 18366 14118 1216 2593 0 15259 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 80448 KiB
Current children cumulated memory: 60952 KiB

[startup+3.10555 s]
/proc/loadavg: 4.16 4.19 3.94 5/274 38441
/proc/meminfo: memFree=123867500/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=67544 memory=51840 CPUtime=3.06 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 12782 0 0 0 303 3 0 0 20 0 1 0 43776345 69165056 12960 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 16886 12960 1216 2593 0 13779 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 74528 KiB
Current children cumulated memory: 56320 KiB

[startup+6.30023 s]
/proc/loadavg: 4.14 4.19 3.94 5/274 38441
/proc/meminfo: memFree=123852476/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=73956 memory=59004 CPUtime=6.25 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 19127 0 0 0 620 5 0 0 20 0 1 0 43776345 75730944 14751 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 18489 14751 1216 2593 0 15382 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 80940 KiB
Current children cumulated memory: 63484 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.18 3.94 5/274 38441
/proc/meminfo: memFree=123848040/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=84372 memory=69472 CPUtime=12.63 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 25888 0 0 0 1256 7 0 0 20 0 1 0 43776345 86396928 17368 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 21093 17368 1216 2593 0 17986 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 91356 KiB
Current children cumulated memory: 73952 KiB

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

# cumulated CPU time of all completed processes:  user=20.541 s, system=0.105666 s

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

[startup+12.8003 s]
/proc/loadavg: 4.13 4.18 3.94 5/274 38441
/proc/meminfo: memFree=123848040/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=84372 memory=69472 CPUtime=12.73 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 25888 0 0 0 1266 7 0 0 20 0 1 0 43776345 86396928 17368 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 21093 17368 1216 2593 0 17986 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 91356 KiB
Current children cumulated memory: 73952 KiB

[startup+16.0002 s]*
/proc/loadavg: 4.20 4.20 3.94 5/274 38441
/proc/meminfo: memFree=123840604/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=77508 memory=62740 CPUtime=15.93 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 27641 0 0 0 1585 8 0 0 20 0 1 0 43776345 79368192 15685 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 19377 15685 1216 2593 0 16270 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 84492 KiB
Current children cumulated memory: 67220 KiB

[startup+19.2002 s]
/proc/loadavg: 4.20 4.20 3.94 5/274 38442
/proc/meminfo: memFree=123840392/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=80032 memory=64500 CPUtime=19.12 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 30976 0 0 0 1903 9 0 0 20 0 1 0 43776345 81952768 16125 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 20008 16125 1216 2593 0 16901 0
Current children cumulated CPU time: 19.12 s
Current children cumulated vsize: 87016 KiB
Current children cumulated memory: 68980 KiB

[startup+20.0002 s]*
/proc/loadavg: 4.18 4.19 3.94 5/274 38442
/proc/meminfo: memFree=123850632/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=80032 memory=64500 CPUtime=19.92 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 30976 0 0 0 1983 9 0 0 20 0 1 0 43776345 81952768 16125 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 20008 16125 1216 2593 0 16901 0
Current children cumulated CPU time: 19.92 s
Current children cumulated vsize: 87016 KiB
Current children cumulated memory: 68980 KiB

[startup+20.4002 s]
/proc/loadavg: 4.18 4.19 3.94 5/274 38442
/proc/meminfo: memFree=123850632/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=80032 memory=64628 CPUtime=20.31 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 30982 0 0 0 2022 9 0 0 20 0 1 0 43776345 81952768 16157 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 20008 16157 1216 2593 0 16901 0
Current children cumulated CPU time: 20.31 s
Current children cumulated vsize: 87016 KiB
Current children cumulated memory: 69108 KiB

[startup+20.6002 s]
/proc/loadavg: 4.18 4.19 3.94 5/274 38442
/proc/meminfo: memFree=123850632/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=84172 memory=68712 CPUtime=20.51 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 31506 0 0 0 2042 9 0 0 20 0 1 0 43776345 86192128 17178 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 21043 17178 1216 2593 0 17936 0
Current children cumulated CPU time: 20.51 s
Current children cumulated vsize: 91156 KiB
Current children cumulated memory: 73192 KiB

[startup+20.7002 s]
/proc/loadavg: 4.18 4.19 3.94 5/274 38442
/proc/meminfo: memFree=123850632/131249996 swapFree=33010684/33010684
[pid=38437] ppid=38434 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/38437/stat : 38437 (Hybrid-CASHWMax) S 38434 38437 38099 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 43776343 4427776 768 18446744073709551615 94808355917824 94808356812357 140725073960208 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94808357051408 94808357099152 94808388931584 140725073967447 140725073967601 140725073967601 140725073973203 0
/proc/38437/statm: 1081 768 704 219 0 143 0
[pid=38440] ppid=38437 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/38440/stat : 38440 (timeout) S 38437 38440 38099 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 43776345 2723840 352 18446744073709551615 94809435627520 94809435644033 140737410893152 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94809435658800 94809435660888 94809438048256 140737410902422 140737410902562 140737410902562 140737410908135 0
/proc/38440/statm: 665 352 352 5 0 90 0
[pid=38441] ppid=38440 vsize=84172 memory=68712 CPUtime=20.61 cores=1,3
/proc/38441/stat : 38441 (CASHWMaxSAT-Dis) R 38440 38440 38099 0 -1 4194304 31506 0 0 0 2052 9 0 0 20 0 1 0 43776345 86192128 17178 18446744073709551615 4198400 14817773 140727108500976 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39694336 140727108508060 140727108508187 140727108508187 140727108513760 0
/proc/38441/statm: 21043 17178 1216 2593 0 17936 0
Current children cumulated CPU time: 20.61 s
Current children cumulated vsize: 91156 KiB
Current children cumulated memory: 73192 KiB

Child status: 0

Real time (s): 20.7327
CPU time (s): 20.6467
CPU user time (s): 20.541
CPU system time (s): 0.105666
CPU usage (%): 99.5854
Max. virtual memory (cumulated for all children) (KiB): 97184
Max. memory (cumulated for all children) (KiB): 77672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.541
system time used= 0.105666
maximum resident set size= 77112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 327
involuntary context switches= 40


# summary of solver processes directly reported to runsolver:
#   pid: 38437
#   total CPU time (s): 20.6467
#   total CPU user time (s): 20.541
#   total CPU system time (s): 0.105666

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050127 second user time and 0.13116 second system time

The end