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: 63794 MiB (63090 MiB free)
  memory of node 1: 64507 MiB (63240 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499468-1751409390/watcher-4499468-1751409390 -o /tmp/evaluation-result-4499468-1751409390/solver-4499468-1751409390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751409390-58559 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4499468-1751409390.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
solver pid=58622, runsolver pid=58611
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 0.46 1.59 2.67 5/267 58628
/proc/meminfo: memFree=129345840/131382120 swapFree=33010416/33010684
[pid=58622] ppid=58611 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/58622/stat : 58622 (Hybrid-CASHWMax) S 58611 58622 58520 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 56618385 4427776 736 18446744073709551615 94374701240320 94374702134853 140721953370928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94374702373904 94374702421648 94374734331904 140721953372503 140721953372657 140721953372657 140721953378259 0
/proc/58622/statm: 1081 736 672 219 0 143 0
[pid=58627] ppid=58622 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/58627/stat : 58627 (timeout) S 58622 58627 58520 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 56618387 2723840 320 18446744073709551615 94478660251648 94478660268161 140728942409584 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94478660282928 94478660285016 94478664175616 140728942414230 140728942414370 140728942414370 140728942419943 0
/proc/58627/statm: 665 320 320 5 0 90 0
[pid=58628] ppid=58627 vsize=23304 memory=8832 CPUtime=0.07 cores=1,3
/proc/58628/stat : 58628 (CASHWMaxSAT-Dis) R 58627 58627 58520 0 -1 4194304 1447 0 0 0 7 0 0 0 20 0 1 0 56618388 23863296 2208 18446744073709551615 4198400 14817773 140735679248256 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48156672 140735679252892 140735679253019 140735679253019 140735679258592 0
/proc/58628/statm: 5826 2208 864 2593 0 2719 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 30288 KiB
Current children cumulated memory: 13056 KiB

[startup+0.213421 s]*
/proc/loadavg: 0.46 1.59 2.67 7/267 58628
/proc/meminfo: memFree=129302244/131382120 swapFree=33010416/33010684
[pid=58622] ppid=58611 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/58622/stat : 58622 (Hybrid-CASHWMax) S 58611 58622 58520 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 56618385 4427776 736 18446744073709551615 94374701240320 94374702134853 140721953370928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94374702373904 94374702421648 94374734331904 140721953372503 140721953372657 140721953372657 140721953378259 0
/proc/58622/statm: 1081 736 672 219 0 143 0
[pid=58627] ppid=58622 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/58627/stat : 58627 (timeout) S 58622 58627 58520 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 56618387 2723840 320 18446744073709551615 94478660251648 94478660268161 140728942409584 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94478660282928 94478660285016 94478664175616 140728942414230 140728942414370 140728942414370 140728942419943 0
/proc/58627/statm: 665 320 320 5 0 90 0
[pid=58628] ppid=58627 vsize=29708 memory=15232 CPUtime=0.18 cores=1,3
/proc/58628/stat : 58628 (CASHWMaxSAT-Dis) R 58627 58627 58520 0 -1 4194304 3038 0 0 0 18 0 0 0 20 0 1 0 56618388 30420992 3808 18446744073709551615 4198400 14817773 140735679248256 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48156672 140735679252892 140735679253019 140735679253019 140735679258592 0
/proc/58628/statm: 7427 3808 864 2593 0 4320 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 36692 KiB
Current children cumulated memory: 19456 KiB

[startup+0.313459 s]*
/proc/loadavg: 0.46 1.59 2.67 6/267 58628
/proc/meminfo: memFree=129286116/131382120 swapFree=33010416/33010684
[pid=58622] ppid=58611 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/58622/stat : 58622 (Hybrid-CASHWMax) S 58611 58622 58520 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 56618385 4427776 736 18446744073709551615 94374701240320 94374702134853 140721953370928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94374702373904 94374702421648 94374734331904 140721953372503 140721953372657 140721953372657 140721953378259 0
/proc/58622/statm: 1081 736 672 219 0 143 0
[pid=58627] ppid=58622 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/58627/stat : 58627 (timeout) S 58622 58627 58520 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 56618387 2723840 320 18446744073709551615 94478660251648 94478660268161 140728942409584 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94478660282928 94478660285016 94478664175616 140728942414230 140728942414370 140728942414370 140728942419943 0
/proc/58627/statm: 665 320 320 5 0 90 0
[pid=58628] ppid=58627 vsize=35296 memory=20864 CPUtime=0.28 cores=1,3
/proc/58628/stat : 58628 (CASHWMaxSAT-Dis) R 58627 58627 58520 0 -1 4194304 4449 0 0 0 27 1 0 0 20 0 1 0 56618388 36143104 5216 18446744073709551615 4198400 14817773 140735679248256 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48156672 140735679252892 140735679253019 140735679253019 140735679258592 0
/proc/58628/statm: 8824 5216 864 2593 0 5717 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42280 KiB
Current children cumulated memory: 25088 KiB

[startup+0.700417 s]
/proc/loadavg: 0.46 1.59 2.67 5/267 58628
/proc/meminfo: memFree=129253860/131382120 swapFree=33010416/33010684
[pid=58622] ppid=58611 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/58622/stat : 58622 (Hybrid-CASHWMax) S 58611 58622 58520 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 56618385 4427776 736 18446744073709551615 94374701240320 94374702134853 140721953370928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94374702373904 94374702421648 94374734331904 140721953372503 140721953372657 140721953372657 140721953378259 0
/proc/58622/statm: 1081 736 672 219 0 143 0
[pid=58627] ppid=58622 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/58627/stat : 58627 (timeout) S 58622 58627 58520 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 56618387 2723840 320 18446744073709551615 94478660251648 94478660268161 140728942409584 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94478660282928 94478660285016 94478664175616 140728942414230 140728942414370 140728942414370 140728942419943 0
/proc/58627/statm: 665 320 320 5 0 90 0
[pid=58628] ppid=58627 vsize=57764 memory=43392 CPUtime=0.65 cores=1,3
/proc/58628/stat : 58628 (CASHWMaxSAT-Dis) R 58627 58627 58520 0 -1 4194304 10059 0 0 0 62 3 0 0 20 0 1 0 56618388 59150336 10848 18446744073709551615 4198400 14817773 140735679248256 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48156672 140735679252892 140735679253019 140735679253019 140735679258592 0
/proc/58628/statm: 14441 10848 864 2593 0 11334 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 64748 KiB
Current children cumulated memory: 47616 KiB

[startup+1.50047 s]
/proc/loadavg: 0.46 1.59 2.67 5/267 58628
/proc/meminfo: memFree=129219088/131382120 swapFree=33010416/33010684
[pid=58622] ppid=58611 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/58622/stat : 58622 (Hybrid-CASHWMax) S 58611 58622 58520 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 56618385 4427776 736 18446744073709551615 94374701240320 94374702134853 140721953370928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94374702373904 94374702421648 94374734331904 140721953372503 140721953372657 140721953372657 140721953378259 0
/proc/58622/statm: 1081 736 672 219 0 143 0
[pid=58627] ppid=58622 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/58627/stat : 58627 (timeout) S 58622 58627 58520 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 56618387 2723840 320 18446744073709551615 94478660251648 94478660268161 140728942409584 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94478660282928 94478660285016 94478664175616 140728942414230 140728942414370 140728942414370 140728942419943 0
/proc/58627/statm: 665 320 320 5 0 90 0
[pid=58628] ppid=58627 vsize=78340 memory=63668 CPUtime=1.45 cores=1,3
/proc/58628/stat : 58628 (CASHWMaxSAT-Dis) R 58627 58627 58520 0 -1 4194304 17325 0 0 0 139 6 0 0 20 0 1 0 56618388 80220160 15917 18446744073709551615 4198400 14817773 140735679248256 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48156672 140735679252892 140735679253019 140735679253019 140735679258592 0
/proc/58628/statm: 19585 15917 960 2593 0 16478 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 85324 KiB
Current children cumulated memory: 67892 KiB

[startup+3.11313 s]
/proc/loadavg: 0.46 1.59 2.67 5/267 58628
/proc/meminfo: memFree=129193264/131382120 swapFree=33010416/33010684
[pid=58622] ppid=58611 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/58622/stat : 58622 (Hybrid-CASHWMax) S 58611 58622 58520 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 56618385 4427776 736 18446744073709551615 94374701240320 94374702134853 140721953370928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94374702373904 94374702421648 94374734331904 140721953372503 140721953372657 140721953372657 140721953378259 0
/proc/58622/statm: 1081 736 672 219 0 143 0
[pid=58627] ppid=58622 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/58627/stat : 58627 (timeout) S 58622 58627 58520 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 56618387 2723840 320 18446744073709551615 94478660251648 94478660268161 140728942409584 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94478660282928 94478660285016 94478664175616 140728942414230 140728942414370 140728942414370 140728942419943 0
/proc/58627/statm: 665 320 320 5 0 90 0
[pid=58628] ppid=58627 vsize=80184 memory=65828 CPUtime=3.05 cores=1,3
/proc/58628/stat : 58628 (CASHWMaxSAT-Dis) R 58627 58627 58520 0 -1 4194304 21025 0 0 0 299 6 0 0 20 0 1 0 56618388 82108416 16457 18446744073709551615 4198400 14817773 140735679248256 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48156672 140735679252892 140735679253019 140735679253019 140735679258592 0
/proc/58628/statm: 20046 16457 992 2593 0 16939 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 87168 KiB
Current children cumulated memory: 70052 KiB

[startup+6.30046 s]
/proc/loadavg: 0.75 1.63 2.67 5/251 58704
/proc/meminfo: memFree=129199504/131382120 swapFree=33010416/33010684
[pid=58622] ppid=58611 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/58622/stat : 58622 (Hybrid-CASHWMax) S 58611 58622 58520 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 56618385 4427776 736 18446744073709551615 94374701240320 94374702134853 140721953370928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94374702373904 94374702421648 94374734331904 140721953372503 140721953372657 140721953372657 140721953378259 0
/proc/58622/statm: 1081 736 672 219 0 143 0
[pid=58627] ppid=58622 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/58627/stat : 58627 (timeout) S 58622 58627 58520 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 56618387 2723840 320 18446744073709551615 94478660251648 94478660268161 140728942409584 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94478660282928 94478660285016 94478664175616 140728942414230 140728942414370 140728942414370 140728942419943 0
/proc/58627/statm: 665 320 320 5 0 90 0
[pid=58628] ppid=58627 vsize=85196 memory=70536 CPUtime=6.23 cores=1,3
/proc/58628/stat : 58628 (CASHWMaxSAT-Dis) R 58627 58627 58520 0 -1 4194304 26685 0 0 0 615 8 0 0 20 0 1 0 56618388 87240704 17634 18446744073709551615 4198400 14817773 140735679248256 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48156672 140735679252892 140735679253019 140735679253019 140735679258592 0
/proc/58628/statm: 21299 17634 992 2593 0 18192 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 92180 KiB
Current children cumulated memory: 74760 KiB

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

# cumulated CPU time of all completed processes:  user=9.23712 s, system=0.121284 s

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

[startup+6.40047 s]
/proc/loadavg: 0.75 1.63 2.67 5/251 58704
/proc/meminfo: memFree=129199504/131382120 swapFree=33010416/33010684
[pid=58622] ppid=58611 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/58622/stat : 58622 (Hybrid-CASHWMax) S 58611 58622 58520 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 56618385 4427776 736 18446744073709551615 94374701240320 94374702134853 140721953370928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94374702373904 94374702421648 94374734331904 140721953372503 140721953372657 140721953372657 140721953378259 0
/proc/58622/statm: 1081 736 672 219 0 143 0
[pid=58627] ppid=58622 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/58627/stat : 58627 (timeout) S 58622 58627 58520 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 56618387 2723840 320 18446744073709551615 94478660251648 94478660268161 140728942409584 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94478660282928 94478660285016 94478664175616 140728942414230 140728942414370 140728942414370 140728942419943 0
/proc/58627/statm: 665 320 320 5 0 90 0
[pid=58628] ppid=58627 vsize=85196 memory=70536 CPUtime=6.33 cores=1,3
/proc/58628/stat : 58628 (CASHWMaxSAT-Dis) R 58627 58627 58520 0 -1 4194304 26685 0 0 0 625 8 0 0 20 0 1 0 56618388 87240704 17634 18446744073709551615 4198400 14817773 140735679248256 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48156672 140735679252892 140735679253019 140735679253019 140735679258592 0
/proc/58628/statm: 21299 17634 992 2593 0 18192 0
Current children cumulated CPU time: 6.33 s
Current children cumulated vsize: 92180 KiB
Current children cumulated memory: 74760 KiB

[startup+8.00041 s]*
/proc/loadavg: 0.75 1.63 2.67 4/259 58738
/proc/meminfo: memFree=129123964/131382120 swapFree=33010416/33010684
[pid=58622] ppid=58611 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/58622/stat : 58622 (Hybrid-CASHWMax) S 58611 58622 58520 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 56618385 4427776 736 18446744073709551615 94374701240320 94374702134853 140721953370928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94374702373904 94374702421648 94374734331904 140721953372503 140721953372657 140721953372657 140721953378259 0
/proc/58622/statm: 1081 736 672 219 0 143 0
[pid=58627] ppid=58622 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/58627/stat : 58627 (timeout) S 58622 58627 58520 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 56618387 2723840 320 18446744073709551615 94478660251648 94478660268161 140728942409584 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94478660282928 94478660285016 94478664175616 140728942414230 140728942414370 140728942414370 140728942419943 0
/proc/58627/statm: 665 320 320 5 0 90 0
[pid=58628] ppid=58627 vsize=81252 memory=67080 CPUtime=7.93 cores=1,3
/proc/58628/stat : 58628 (CASHWMaxSAT-Dis) R 58627 58627 58520 0 -1 4194304 28065 0 0 0 784 9 0 0 20 0 1 0 56618388 83202048 16770 18446744073709551615 4198400 14817773 140735679248256 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48156672 140735679252892 140735679253019 140735679253019 140735679258592 0
/proc/58628/statm: 20313 16770 992 2593 0 17206 0
Current children cumulated CPU time: 7.93 s
Current children cumulated vsize: 88236 KiB
Current children cumulated memory: 71304 KiB

[startup+8.80044 s]
/proc/loadavg: 0.75 1.63 2.67 4/259 58738
/proc/meminfo: memFree=129123964/131382120 swapFree=33010416/33010684
[pid=58622] ppid=58611 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/58622/stat : 58622 (Hybrid-CASHWMax) S 58611 58622 58520 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 56618385 4427776 736 18446744073709551615 94374701240320 94374702134853 140721953370928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94374702373904 94374702421648 94374734331904 140721953372503 140721953372657 140721953372657 140721953378259 0
/proc/58622/statm: 1081 736 672 219 0 143 0
[pid=58627] ppid=58622 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/58627/stat : 58627 (timeout) S 58622 58627 58520 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 56618387 2723840 320 18446744073709551615 94478660251648 94478660268161 140728942409584 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94478660282928 94478660285016 94478664175616 140728942414230 140728942414370 140728942414370 140728942419943 0
/proc/58627/statm: 665 320 320 5 0 90 0
[pid=58628] ppid=58627 vsize=81836 memory=67456 CPUtime=8.72 cores=1,3
/proc/58628/stat : 58628 (CASHWMaxSAT-Dis) R 58627 58627 58520 0 -1 4194304 28603 0 0 0 863 9 0 0 20 0 1 0 56618388 83800064 16864 18446744073709551615 4198400 14817773 140735679248256 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48156672 140735679252892 140735679253019 140735679253019 140735679258592 0
/proc/58628/statm: 20459 16864 992 2593 0 17352 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 88820 KiB
Current children cumulated memory: 71680 KiB

[startup+9.20038 s]
/proc/loadavg: 0.75 1.63 2.67 4/261 58744
/proc/meminfo: memFree=129130620/131382120 swapFree=33010416/33010684
[pid=58622] ppid=58611 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/58622/stat : 58622 (Hybrid-CASHWMax) S 58611 58622 58520 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 56618385 4427776 736 18446744073709551615 94374701240320 94374702134853 140721953370928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94374702373904 94374702421648 94374734331904 140721953372503 140721953372657 140721953372657 140721953378259 0
/proc/58622/statm: 1081 736 672 219 0 143 0
[pid=58627] ppid=58622 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/58627/stat : 58627 (timeout) S 58622 58627 58520 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 56618387 2723840 320 18446744073709551615 94478660251648 94478660268161 140728942409584 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94478660282928 94478660285016 94478664175616 140728942414230 140728942414370 140728942414370 140728942419943 0
/proc/58627/statm: 665 320 320 5 0 90 0
[pid=58628] ppid=58627 vsize=82640 memory=67552 CPUtime=9.11 cores=1,3
/proc/58628/stat : 58628 (CASHWMaxSAT-Dis) R 58627 58627 58520 0 -1 4194304 29579 0 0 0 902 9 0 0 20 0 1 0 56618388 84623360 16888 18446744073709551615 4198400 14817773 140735679248256 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48156672 140735679252892 140735679253019 140735679253019 140735679258592 0
/proc/58628/statm: 20660 16888 992 2593 0 17553 0
Current children cumulated CPU time: 9.11 s
Current children cumulated vsize: 89624 KiB
Current children cumulated memory: 71776 KiB

[startup+9.4004 s]
/proc/loadavg: 0.75 1.63 2.67 4/261 58744
/proc/meminfo: memFree=129130620/131382120 swapFree=33010416/33010684
[pid=58622] ppid=58611 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/58622/stat : 58622 (Hybrid-CASHWMax) S 58611 58622 58520 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 56618385 4427776 736 18446744073709551615 94374701240320 94374702134853 140721953370928 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94374702373904 94374702421648 94374734331904 140721953372503 140721953372657 140721953372657 140721953378259 0
/proc/58622/statm: 1081 736 672 219 0 143 0
[pid=58627] ppid=58622 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/58627/stat : 58627 (timeout) S 58622 58627 58520 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 56618387 2723840 320 18446744073709551615 94478660251648 94478660268161 140728942409584 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94478660282928 94478660285016 94478664175616 140728942414230 140728942414370 140728942414370 140728942419943 0
/proc/58627/statm: 665 320 320 5 0 90 0
[pid=58628] ppid=58627 vsize=82640 memory=67680 CPUtime=9.3 cores=1,3
/proc/58628/stat : 58628 (CASHWMaxSAT-Dis) R 58627 58627 58520 0 -1 4194304 29585 0 0 0 921 9 0 0 20 0 1 0 56618388 84623360 16920 18446744073709551615 4198400 14817773 140735679248256 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48156672 140735679252892 140735679253019 140735679253019 140735679258592 0
/proc/58628/statm: 20660 16920 992 2593 0 17553 0
Current children cumulated CPU time: 9.3 s
Current children cumulated vsize: 89624 KiB
Current children cumulated memory: 71904 KiB

Child status: 0

Real time (s): 9.44107
CPU time (s): 9.3584
CPU user time (s): 9.23712
CPU system time (s): 0.121284
CPU usage (%): 99.1244
Max. virtual memory (cumulated for all children) (KiB): 96072
Max. memory (cumulated for all children) (KiB): 79240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.23712
system time used= 0.121284
maximum resident set size= 75016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30306
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 343
involuntary context switches= 16


# summary of solver processes directly reported to runsolver:
#   pid: 58622
#   total CPU time (s): 9.3584
#   total CPU user time (s): 9.23712
#   total CPU system time (s): 0.121284

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.086878 second user time and 0.162537 second system time

The end