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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486312-1751310413/watcher-4486312-1751310413 -o /tmp/evaluation-result-4486312-1751310413/solver-4486312-1751310413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751303214-40449 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4486312-1751310413.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
solver pid=41467, runsolver pid=41464
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 4.08 4.10 4.09 5/259 41471
/proc/meminfo: memFree=128644372/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41470] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41470/stat : 41470 (timeout) S 41467 41470 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720741 2723840 352 18446744073709551615 94717478502400 94717478518913 140730530578272 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94717478533680 94717478535768 94717508644864 140730530584982 140730530585122 140730530585122 140730530590695 0
/proc/41470/statm: 665 352 352 5 0 90 0
[pid=41471] ppid=41470 vsize=22360 memory=8064 CPUtime=0.06 cores=4,6
/proc/41471/stat : 41471 (CASHWMaxSAT-Dis) R 41470 41470 40438 0 -1 4194304 1231 0 0 0 6 0 0 0 20 0 1 0 46720742 22896640 2016 18446744073709551615 4198400 14817773 140729526709216 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 36016128 140729526716828 140729526716955 140729526716955 140729526722528 0
/proc/41471/statm: 5590 2016 864 2593 0 2483 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 29344 KiB
Current children cumulated memory: 12416 KiB

[startup+0.222454 s]*
/proc/loadavg: 4.08 4.10 4.09 5/259 41471
/proc/meminfo: memFree=128636560/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41470] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41470/stat : 41470 (timeout) S 41467 41470 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720741 2723840 352 18446744073709551615 94717478502400 94717478518913 140730530578272 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94717478533680 94717478535768 94717508644864 140730530584982 140730530585122 140730530585122 140730530590695 0
/proc/41470/statm: 665 352 352 5 0 90 0
[pid=41471] ppid=41470 vsize=28052 memory=13568 CPUtime=0.17 cores=4,6
/proc/41471/stat : 41471 (CASHWMaxSAT-Dis) R 41470 41470 40438 0 -1 4194304 2620 0 0 0 16 1 0 0 20 0 1 0 46720742 28725248 3392 18446744073709551615 4198400 14817773 140729526709216 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 36016128 140729526716828 140729526716955 140729526716955 140729526722528 0
/proc/41471/statm: 7013 3392 864 2593 0 3906 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 35036 KiB
Current children cumulated memory: 17920 KiB

[startup+0.311577 s]*
/proc/loadavg: 4.08 4.10 4.09 5/259 41471
/proc/meminfo: memFree=128636560/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41470] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41470/stat : 41470 (timeout) S 41467 41470 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720741 2723840 352 18446744073709551615 94717478502400 94717478518913 140730530578272 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94717478533680 94717478535768 94717508644864 140730530584982 140730530585122 140730530585122 140730530590695 0
/proc/41470/statm: 665 352 352 5 0 90 0
[pid=41471] ppid=41470 vsize=31876 memory=17536 CPUtime=0.24 cores=4,6
/proc/41471/stat : 41471 (CASHWMaxSAT-Dis) R 41470 41470 40438 0 -1 4194304 3599 0 0 0 23 1 0 0 20 0 1 0 46720742 32641024 4384 18446744073709551615 4198400 14817773 140729526709216 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 36016128 140729526716828 140729526716955 140729526716955 140729526722528 0
/proc/41471/statm: 7969 4384 864 2593 0 4862 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 38860 KiB
Current children cumulated memory: 21888 KiB

[startup+0.700376 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 41471
/proc/meminfo: memFree=128630760/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41470] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41470/stat : 41470 (timeout) S 41467 41470 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720741 2723840 352 18446744073709551615 94717478502400 94717478518913 140730530578272 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94717478533680 94717478535768 94717508644864 140730530584982 140730530585122 140730530585122 140730530590695 0
/proc/41470/statm: 665 352 352 5 0 90 0
[pid=41471] ppid=41470 vsize=50760 memory=34968 CPUtime=0.62 cores=4,6
/proc/41471/stat : 41471 (CASHWMaxSAT-Dis) R 41470 41470 40438 0 -1 4194304 8532 0 0 0 59 3 0 0 20 0 1 0 46720742 51978240 8742 18446744073709551615 4198400 14817773 140729526709216 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36016128 140729526716828 140729526716955 140729526716955 140729526722528 0
/proc/41471/statm: 12690 8742 896 2593 0 9583 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 57744 KiB
Current children cumulated memory: 39320 KiB

[startup+1.50043 s]
/proc/loadavg: 4.08 4.10 4.09 6/259 41471
/proc/meminfo: memFree=128552524/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41470] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41470/stat : 41470 (timeout) S 41467 41470 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720741 2723840 352 18446744073709551615 94717478502400 94717478518913 140730530578272 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94717478533680 94717478535768 94717508644864 140730530584982 140730530585122 140730530585122 140730530590695 0
/proc/41470/statm: 665 352 352 5 0 90 0
[pid=41471] ppid=41470 vsize=91524 memory=74728 CPUtime=1.41 cores=4,6
/proc/41471/stat : 41471 (CASHWMaxSAT-Dis) R 41470 41470 40438 0 -1 4194304 15908 0 0 0 135 6 0 0 20 0 1 0 46720742 93720576 18682 18446744073709551615 4198400 14817773 140729526709216 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36016128 140729526716828 140729526716955 140729526716955 140729526722528 0
/proc/41471/statm: 22881 18682 960 2593 0 19774 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 98508 KiB
Current children cumulated memory: 79080 KiB

[startup+3.11329 s]
/proc/loadavg: 4.08 4.10 4.09 6/259 41471
/proc/meminfo: memFree=128504660/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41470] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41470/stat : 41470 (timeout) S 41467 41470 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720741 2723840 352 18446744073709551615 94717478502400 94717478518913 140730530578272 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94717478533680 94717478535768 94717508644864 140730530584982 140730530585122 140730530585122 140730530590695 0
/proc/41470/statm: 665 352 352 5 0 90 0
[pid=41471] ppid=41470 vsize=91856 memory=75496 CPUtime=3.02 cores=4,6
/proc/41471/stat : 41471 (CASHWMaxSAT-Dis) R 41470 41470 40438 0 -1 4194304 16086 0 0 0 296 6 0 0 20 0 1 0 46720742 94060544 18874 18446744073709551615 4198400 14817773 140729526709216 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36016128 140729526716828 140729526716955 140729526716955 140729526722528 0
/proc/41471/statm: 22964 18874 992 2593 0 19857 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 98840 KiB
Current children cumulated memory: 79848 KiB

[startup+6.3004 s]
/proc/loadavg: 4.08 4.10 4.09 6/259 41472
/proc/meminfo: memFree=128456248/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41470] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41470/stat : 41470 (timeout) S 41467 41470 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720741 2723840 352 18446744073709551615 94717478502400 94717478518913 140730530578272 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94717478533680 94717478535768 94717508644864 140730530584982 140730530585122 140730530585122 140730530590695 0
/proc/41470/statm: 665 352 352 5 0 90 0
[pid=41471] ppid=41470 vsize=91856 memory=75880 CPUtime=6.19 cores=4,6
/proc/41471/stat : 41471 (CASHWMaxSAT-Dis) R 41470 41470 40438 0 -1 4194304 16170 0 0 0 613 6 0 0 20 0 1 0 46720742 94060544 18970 18446744073709551615 4198400 14817773 140729526709216 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36016128 140729526716828 140729526716955 140729526716955 140729526722528 0
/proc/41471/statm: 22964 18970 992 2593 0 19857 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 98840 KiB
Current children cumulated memory: 80232 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 41592
/proc/meminfo: memFree=129053716/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41470] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41470/stat : 41470 (timeout) S 41467 41470 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720741 2723840 352 18446744073709551615 94717478502400 94717478518913 140730530578272 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94717478533680 94717478535768 94717508644864 140730530584982 140730530585122 140730530585122 140730530590695 0
/proc/41470/statm: 665 352 352 5 0 90 0
[pid=41471] ppid=41470 vsize=99384 memory=83356 CPUtime=12.57 cores=4,6
/proc/41471/stat : 41471 (CASHWMaxSAT-Dis) R 41470 41470 40438 0 -1 4194304 16524 0 0 0 1251 6 0 0 20 0 1 0 46720742 101769216 20839 18446744073709551615 4198400 14817773 140729526709216 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36016128 140729526716828 140729526716955 140729526716955 140729526722528 0
/proc/41471/statm: 24846 20839 992 2593 0 21739 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 106368 KiB
Current children cumulated memory: 87708 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 41592
/proc/meminfo: memFree=129000588/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41470] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41470/stat : 41470 (timeout) S 41467 41470 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720741 2723840 352 18446744073709551615 94717478502400 94717478518913 140730530578272 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94717478533680 94717478535768 94717508644864 140730530584982 140730530585122 140730530585122 140730530590695 0
/proc/41470/statm: 665 352 352 5 0 90 0
[pid=41471] ppid=41470 vsize=104928 memory=88860 CPUtime=25.33 cores=4,6
/proc/41471/stat : 41471 (CASHWMaxSAT-Dis) R 41470 41470 40438 0 -1 4194304 17399 0 0 0 2527 6 0 0 20 0 1 0 46720742 107446272 22215 18446744073709551615 4198400 14817773 140729526709216 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36016128 140729526716828 140729526716955 140729526716955 140729526722528 0
/proc/41471/statm: 26232 22215 992 2593 0 23125 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 111912 KiB
Current children cumulated memory: 93212 KiB

[startup+51.1137 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 41592
/proc/meminfo: memFree=128986028/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41470] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41470/stat : 41470 (timeout) S 41467 41470 40438 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 46720741 2723840 352 18446744073709551615 94717478502400 94717478518913 140730530578272 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94717478533680 94717478535768 94717508644864 140730530584982 140730530585122 140730530585122 140730530590695 0
/proc/41470/statm: 665 352 352 5 0 90 0
[pid=41471] ppid=41470 vsize=92204 memory=76260 CPUtime=50.86 cores=4,6
/proc/41471/stat : 41471 (CASHWMaxSAT-Dis) R 41470 41470 40438 0 -1 4194304 20440 0 0 0 5078 8 0 0 20 0 1 0 46720742 94416896 19065 18446744073709551615 4198400 14817773 140729526709216 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 36016128 140729526716828 140729526716955 140729526716955 140729526722528 0
/proc/41471/statm: 23051 19065 992 2593 0 19944 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 80612 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 41594
/proc/meminfo: memFree=128944928/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41470] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41652] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41652/stat : 41652 (timeout) S 41467 41652 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840543 2723840 352 18446744073709551615 94008864116736 94008864133249 140724128536992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94008864148016 94008864150104 94008895578112 140724128545158 140724128545314 140724128545314 140724128550887 0
/proc/41652/statm: 665 352 352 5 0 90 0
[pid=41653] ppid=41652 vsize=429324 memory=414328 CPUtime=2258.18 cores=4,6
/proc/41653/stat : 41653 (ExactPR-S) R 41652 41652 40438 0 -1 4194304 84934 0 0 0 225318 500 0 0 20 0 1 0 46840543 439627776 103582 18446744073709551615 93931473326080 93931482626117 140735112641040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93931484412224 93931484451304 93931505070080 140735112645022 140735112645159 140735112645159 140735112650732 0
/proc/41653/statm: 107331 103582 3392 2271 0 101969 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418680 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/259 41779
/proc/meminfo: memFree=127807520/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=1194.57 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 283 68579 0 0 0 0 119409 48 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41652] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41652/stat : 41652 (timeout) S 41467 41652 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840543 2723840 352 18446744073709551615 94008864116736 94008864133249 140724128536992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94008864148016 94008864150104 94008895578112 140724128545158 140724128545314 140724128545314 140724128550887 0
/proc/41652/statm: 665 352 352 5 0 90 0
[pid=41653] ppid=41652 vsize=429324 memory=414328 CPUtime=2318.03 cores=4,6
/proc/41653/stat : 41653 (ExactPR-S) R 41652 41652 40438 0 -1 4194304 84936 0 0 0 231297 506 0 0 20 0 1 0 46840543 439627776 103582 18446744073709551615 93931473326080 93931482626117 140735112641040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93931484412224 93931484451304 93931505070080 140735112645022 140735112645159 140735112645159 140735112650732 0
/proc/41653/statm: 107331 103582 3392 2271 0 101969 0
Current children cumulated CPU time: 3512.6 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418680 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/259 41781
/proc/meminfo: memFree=127808536/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=1194.57 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 283 68579 0 0 0 0 119409 48 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41652] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41652/stat : 41652 (timeout) S 41467 41652 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840543 2723840 352 18446744073709551615 94008864116736 94008864133249 140724128536992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94008864148016 94008864150104 94008895578112 140724128545158 140724128545314 140724128545314 140724128550887 0
/proc/41652/statm: 665 352 352 5 0 90 0
[pid=41653] ppid=41652 vsize=429324 memory=414328 CPUtime=2377.88 cores=4,6
/proc/41653/stat : 41653 (ExactPR-S) R 41652 41652 40438 0 -1 4194304 84936 0 0 0 237276 512 0 0 20 0 1 0 46840543 439627776 103582 18446744073709551615 93931473326080 93931482626117 140735112641040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93931484412224 93931484451304 93931505070080 140735112645022 140735112645159 140735112645159 140735112650732 0
/proc/41653/statm: 107331 103582 3392 2271 0 101969 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418680 KiB

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

# cumulated CPU time of all completed processes:  user=3580.56 s, system=5.68373 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.13 4.09 5/259 41781
/proc/meminfo: memFree=127808536/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=1194.57 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 283 68579 0 0 0 0 119409 48 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41652] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41652/stat : 41652 (timeout) S 41467 41652 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840543 2723840 352 18446744073709551615 94008864116736 94008864133249 140724128536992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94008864148016 94008864150104 94008895578112 140724128545158 140724128545314 140724128545314 140724128550887 0
/proc/41652/statm: 665 352 352 5 0 90 0
[pid=41653] ppid=41652 vsize=429324 memory=414328 CPUtime=2379.59 cores=4,6
/proc/41653/stat : 41653 (ExactPR-S) R 41652 41652 40438 0 -1 4194304 84936 0 0 0 237447 512 0 0 20 0 1 0 46840543 439627776 103582 18446744073709551615 93931473326080 93931482626117 140735112641040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93931484412224 93931484451304 93931505070080 140735112645022 140735112645159 140735112645159 140735112650732 0
/proc/41653/statm: 107331 103582 3392 2271 0 101969 0
Current children cumulated CPU time: 3574.16 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418680 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.13 4.09 5/260 41783
/proc/meminfo: memFree=127781208/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=1194.57 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 283 68579 0 0 0 0 119409 48 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41652] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41652/stat : 41652 (timeout) S 41467 41652 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840543 2723840 352 18446744073709551615 94008864116736 94008864133249 140724128536992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94008864148016 94008864150104 94008895578112 140724128545158 140724128545314 140724128545314 140724128550887 0
/proc/41652/statm: 665 352 352 5 0 90 0
[pid=41653] ppid=41652 vsize=429324 memory=414328 CPUtime=2385.95 cores=4,6
/proc/41653/stat : 41653 (ExactPR-S) R 41652 41652 40438 0 -1 4194304 84936 0 0 0 238083 512 0 0 20 0 1 0 46840543 439627776 103582 18446744073709551615 93931473326080 93931482626117 140735112641040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93931484412224 93931484451304 93931505070080 140735112645022 140735112645159 140735112645159 140735112650732 0
/proc/41653/statm: 107331 103582 3392 2271 0 101969 0
Current children cumulated CPU time: 3580.52 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418680 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.13 4.09 5/260 41783
/proc/meminfo: memFree=127786696/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=1194.57 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 283 68579 0 0 0 0 119409 48 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41652] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41652/stat : 41652 (timeout) S 41467 41652 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840543 2723840 352 18446744073709551615 94008864116736 94008864133249 140724128536992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94008864148016 94008864150104 94008895578112 140724128545158 140724128545314 140724128545314 140724128550887 0
/proc/41652/statm: 665 352 352 5 0 90 0
[pid=41653] ppid=41652 vsize=429324 memory=414328 CPUtime=2389.15 cores=4,6
/proc/41653/stat : 41653 (ExactPR-S) R 41652 41652 40438 0 -1 4194304 84936 0 0 0 238401 514 0 0 20 0 1 0 46840543 439627776 103582 18446744073709551615 93931473326080 93931482626117 140735112641040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93931484412224 93931484451304 93931505070080 140735112645022 140735112645159 140735112645159 140735112650732 0
/proc/41653/statm: 107331 103582 3392 2271 0 101969 0
Current children cumulated CPU time: 3583.72 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418680 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.13 4.09 6/262 41799
/proc/meminfo: memFree=128096176/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=1194.57 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 283 68579 0 0 0 0 119409 48 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41652] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41652/stat : 41652 (timeout) S 41467 41652 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840543 2723840 352 18446744073709551615 94008864116736 94008864133249 140724128536992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94008864148016 94008864150104 94008895578112 140724128545158 140724128545314 140724128545314 140724128550887 0
/proc/41652/statm: 665 352 352 5 0 90 0
[pid=41653] ppid=41652 vsize=429324 memory=414328 CPUtime=2390.74 cores=4,6
/proc/41653/stat : 41653 (ExactPR-S) R 41652 41652 40438 0 -1 4194304 84936 0 0 0 238560 514 0 0 20 0 1 0 46840543 439627776 103582 18446744073709551615 93931473326080 93931482626117 140735112641040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93931484412224 93931484451304 93931505070080 140735112645022 140735112645159 140735112645159 140735112650732 0
/proc/41653/statm: 107331 103582 3392 2271 0 101969 0
Current children cumulated CPU time: 3585.31 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418680 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.13 4.09 6/262 41799
/proc/meminfo: memFree=128096176/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=1194.57 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 283 68579 0 0 0 0 119409 48 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41652] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41652/stat : 41652 (timeout) S 41467 41652 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840543 2723840 352 18446744073709551615 94008864116736 94008864133249 140724128536992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94008864148016 94008864150104 94008895578112 140724128545158 140724128545314 140724128545314 140724128550887 0
/proc/41652/statm: 665 352 352 5 0 90 0
[pid=41653] ppid=41652 vsize=429324 memory=414328 CPUtime=2391.14 cores=4,6
/proc/41653/stat : 41653 (ExactPR-S) R 41652 41652 40438 0 -1 4194304 84936 0 0 0 238600 514 0 0 20 0 1 0 46840543 439627776 103582 18446744073709551615 93931473326080 93931482626117 140735112641040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93931484412224 93931484451304 93931505070080 140735112645022 140735112645159 140735112645159 140735112650732 0
/proc/41653/statm: 107331 103582 3392 2271 0 101969 0
Current children cumulated CPU time: 3585.71 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418680 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.13 4.09 4/254 41813
/proc/meminfo: memFree=128103336/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=1194.57 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 283 68579 0 0 0 0 119409 48 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
[pid=41652] ppid=41467 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/41652/stat : 41652 (timeout) S 41467 41652 40438 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 46840543 2723840 352 18446744073709551615 94008864116736 94008864133249 140724128536992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94008864148016 94008864150104 94008895578112 140724128545158 140724128545314 140724128545314 140724128550887 0
/proc/41652/statm: 665 352 352 5 0 90 0
[pid=41653] ppid=41652 vsize=429324 memory=414328 CPUtime=2391.55 cores=4,6
/proc/41653/stat : 41653 (ExactPR-S) R 41652 41652 40438 0 -1 4194304 84936 0 0 0 238641 514 0 0 20 0 1 0 46840543 439627776 103582 18446744073709551615 93931473326080 93931482626117 140735112641040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93931484412224 93931484451304 93931505070080 140735112645022 140735112645159 140735112645159 140735112650732 0
/proc/41653/statm: 107331 103582 3392 2271 0 101969 0
Current children cumulated CPU time: 3586.12 s
Current children cumulated vsize: 436308 KiB
Current children cumulated memory: 418680 KiB

[startup+3596.11 s]
/proc/loadavg: 4.12 4.13 4.09 4/254 41813
/proc/meminfo: memFree=128103336/131382116 swapFree=33010684/33010684
[pid=41467] ppid=41464 vsize=4324 memory=2944 CPUtime=3586.2 cores=4,6
/proc/41467/stat : 41467 (Hybrid-CASHWMax) S 41464 41467 40438 0 -1 4194304 374 154765 0 0 0 0 358055 565 20 0 1 0 46720739 4427776 736 18446744073709551615 93932744622080 93932745516613 140723342739952 0 0 0 2 4 65536 1 0 0 17 4 0 0 0 0 0 93932745755664 93932745803408 93932772491264 140723342747991 140723342748145 140723342748145 140723342753747 0
/proc/41467/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.2 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.19
CPU time (s): 3586.25
CPU user time (s): 3580.56
CPU system time (s): 5.68373
CPU usage (%): 99.7235
Max. virtual memory (cumulated for all children) (KiB): 510476
Max. memory (cumulated for all children) (KiB): 418680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.56
system time used= 5.68373
maximum resident set size= 414840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157010
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= 1974
involuntary context switches= 2701


# summary of solver processes directly reported to runsolver:
#   pid: 41467
#   total CPU time (s): 3586.25
#   total CPU user time (s): 3580.56
#   total CPU system time (s): 5.68373

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1801 second user time and 36.5145 second system time

The end