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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488888-1751347015/watcher-4488888-1751347015 -o /tmp/evaluation-result-4488888-1751347015/solver-4488888-1751347015 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751347015-58042 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4488888-1751347015.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=58092, runsolver pid=58083
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 0.99 2.35 3.36 3/271 58111
/proc/meminfo: memFree=128682484/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58101] ppid=58092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/58101/stat : 58101 (timeout) S 58092 58101 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94882592534528 94882592551041 140736997417680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94882592565808 94882592567896 94882602573824 140736997423510 140736997423650 140736997423650 140736997429223 0
/proc/58101/statm: 665 320 320 5 0 90 0
[pid=58107] ppid=58101 vsize=22180 memory=8192 CPUtime=0.03 cores=0,2
/proc/58107/stat : 58107 (CASHWMaxSAT-Dis) R 58101 58101 58032 0 -1 4194304 1178 0 0 0 3 0 0 0 20 0 1 0 50379139 22712320 2048 18446744073709551615 4198400 14817773 140721901328976 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39718912 140721901336988 140721901337115 140721901337115 140721901342688 0
/proc/58107/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12416 KiB

[startup+0.204891 s]*
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128682764/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58101] ppid=58092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/58101/stat : 58101 (timeout) S 58092 58101 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94882592534528 94882592551041 140736997417680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94882592565808 94882592567896 94882602573824 140736997423510 140736997423650 140736997423650 140736997429223 0
/proc/58101/statm: 665 320 320 5 0 90 0
[pid=58107] ppid=58101 vsize=22180 memory=8192 CPUtime=0.13 cores=0,2
/proc/58107/stat : 58107 (CASHWMaxSAT-Dis) R 58101 58101 58032 0 -1 4194304 1178 0 0 0 13 0 0 0 20 0 1 0 50379139 22712320 2048 18446744073709551615 4198400 14817773 140721901328976 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39718912 140721901336988 140721901337115 140721901337115 140721901342688 0
/proc/58107/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12416 KiB

[startup+0.304581 s]*
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128682512/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58101] ppid=58092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/58101/stat : 58101 (timeout) S 58092 58101 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94882592534528 94882592551041 140736997417680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94882592565808 94882592567896 94882602573824 140736997423510 140736997423650 140736997423650 140736997429223 0
/proc/58101/statm: 665 320 320 5 0 90 0
[pid=58107] ppid=58101 vsize=22180 memory=8192 CPUtime=0.23 cores=0,2
/proc/58107/stat : 58107 (CASHWMaxSAT-Dis) R 58101 58101 58032 0 -1 4194304 1178 0 0 0 23 0 0 0 20 0 1 0 50379139 22712320 2048 18446744073709551615 4198400 14817773 140721901328976 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39718912 140721901336988 140721901337115 140721901337115 140721901342688 0
/proc/58107/statm: 5545 2048 960 2593 0 2438 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 12416 KiB

[startup+0.700163 s]
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128682768/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58101] ppid=58092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/58101/stat : 58101 (timeout) S 58092 58101 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94882592534528 94882592551041 140736997417680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94882592565808 94882592567896 94882602573824 140736997423510 140736997423650 140736997423650 140736997429223 0
/proc/58101/statm: 665 320 320 5 0 90 0
[pid=58107] ppid=58101 vsize=31112 memory=17152 CPUtime=0.61 cores=0,2
/proc/58107/stat : 58107 (CASHWMaxSAT-Dis) R 58101 58101 58032 0 -1 4194304 3418 0 0 0 61 0 0 0 20 0 1 0 50379139 31858688 4288 18446744073709551615 4198400 14817773 140721901328976 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39718912 140721901336988 140721901337115 140721901337115 140721901342688 0
/proc/58107/statm: 7778 4288 960 2593 0 4671 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 38096 KiB
Current children cumulated memory: 21376 KiB

[startup+1.50015 s]
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128653536/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58101] ppid=58092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/58101/stat : 58101 (timeout) S 58092 58101 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94882592534528 94882592551041 140736997417680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94882592565808 94882592567896 94882602573824 140736997423510 140736997423650 140736997423650 140736997429223 0
/proc/58101/statm: 665 320 320 5 0 90 0
[pid=58107] ppid=58101 vsize=36960 memory=22884 CPUtime=1.41 cores=0,2
/proc/58107/stat : 58107 (CASHWMaxSAT-Dis) R 58101 58101 58032 0 -1 4194304 6548 0 0 0 140 1 0 0 20 0 1 0 50379139 37847040 5721 18446744073709551615 4198400 14817773 140721901328976 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39718912 140721901336988 140721901337115 140721901337115 140721901342688 0
/proc/58107/statm: 9240 5721 992 2593 0 6133 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 43944 KiB
Current children cumulated memory: 27108 KiB

[startup+3.10468 s]
/proc/loadavg: 0.99 2.35 3.36 5/273 58113
/proc/meminfo: memFree=128634688/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58101] ppid=58092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/58101/stat : 58101 (timeout) S 58092 58101 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94882592534528 94882592551041 140736997417680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94882592565808 94882592567896 94882602573824 140736997423510 140736997423650 140736997423650 140736997429223 0
/proc/58101/statm: 665 320 320 5 0 90 0
[pid=58107] ppid=58101 vsize=39056 memory=25092 CPUtime=3.02 cores=0,2
/proc/58107/stat : 58107 (CASHWMaxSAT-Dis) R 58101 58101 58032 0 -1 4194304 9042 0 0 0 300 2 0 0 20 0 1 0 50379139 39993344 6273 18446744073709551615 4198400 14817773 140721901328976 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39718912 140721901336988 140721901337115 140721901337115 140721901342688 0
/proc/58107/statm: 9764 6273 992 2593 0 6657 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 46040 KiB
Current children cumulated memory: 29316 KiB

[startup+6.30016 s]
/proc/loadavg: 1.31 2.39 3.37 5/273 58113
/proc/meminfo: memFree=128617636/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58101] ppid=58092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/58101/stat : 58101 (timeout) S 58092 58101 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94882592534528 94882592551041 140736997417680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94882592565808 94882592567896 94882602573824 140736997423510 140736997423650 140736997423650 140736997429223 0
/proc/58101/statm: 665 320 320 5 0 90 0
[pid=58107] ppid=58101 vsize=42036 memory=27796 CPUtime=6.2 cores=0,2
/proc/58107/stat : 58107 (CASHWMaxSAT-Dis) R 58101 58101 58032 0 -1 4194304 13221 0 0 0 618 2 0 0 20 0 1 0 50379139 43044864 6949 18446744073709551615 4198400 14817773 140721901328976 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39718912 140721901336988 140721901337115 140721901337115 140721901342688 0
/proc/58107/statm: 10509 6949 992 2593 0 7402 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 49020 KiB
Current children cumulated memory: 32020 KiB

[startup+12.7002 s]
/proc/loadavg: 1.53 2.42 3.37 5/273 58113
/proc/meminfo: memFree=128604028/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58101] ppid=58092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/58101/stat : 58101 (timeout) S 58092 58101 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94882592534528 94882592551041 140736997417680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94882592565808 94882592567896 94882602573824 140736997423510 140736997423650 140736997423650 140736997429223 0
/proc/58101/statm: 665 320 320 5 0 90 0
[pid=58107] ppid=58101 vsize=43236 memory=29248 CPUtime=12.58 cores=0,2
/proc/58107/stat : 58107 (CASHWMaxSAT-Dis) R 58101 58101 58032 0 -1 4194304 17193 0 0 0 1255 3 0 0 20 0 1 0 50379139 44273664 7312 18446744073709551615 4198400 14817773 140721901328976 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39718912 140721901336988 140721901337115 140721901337115 140721901342688 0
/proc/58107/statm: 10809 7312 992 2593 0 7702 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 50220 KiB
Current children cumulated memory: 33472 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 2.51 3.39 5/273 58114
/proc/meminfo: memFree=128582124/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58101] ppid=58092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/58101/stat : 58101 (timeout) S 58092 58101 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94882592534528 94882592551041 140736997417680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94882592565808 94882592567896 94882602573824 140736997423510 140736997423650 140736997423650 140736997429223 0
/proc/58101/statm: 665 320 320 5 0 90 0
[pid=58107] ppid=58101 vsize=55996 memory=42012 CPUtime=25.34 cores=0,2
/proc/58107/stat : 58107 (CASHWMaxSAT-Dis) R 58101 58101 58032 0 -1 4194304 23362 0 0 0 2530 4 0 0 20 0 1 0 50379139 57339904 10503 18446744073709551615 4198400 14817773 140721901328976 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39718912 140721901336988 140721901337115 140721901337115 140721901342688 0
/proc/58107/statm: 13999 10503 992 2593 0 10892 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 62980 KiB
Current children cumulated memory: 46236 KiB

[startup+51.1053 s]
/proc/loadavg: 2.78 2.64 3.40 5/273 58114
/proc/meminfo: memFree=128516168/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58101] ppid=58092 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/58101/stat : 58101 (timeout) S 58092 58101 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50379136 2723840 320 18446744073709551615 94882592534528 94882592551041 140736997417680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94882592565808 94882592567896 94882602573824 140736997423510 140736997423650 140736997423650 140736997429223 0
/proc/58101/statm: 665 320 320 5 0 90 0
[pid=58107] ppid=58101 vsize=52044 memory=38188 CPUtime=50.87 cores=0,2
/proc/58107/stat : 58107 (CASHWMaxSAT-Dis) R 58101 58101 58032 0 -1 4194304 25634 0 0 0 5082 5 0 0 20 0 1 0 50379139 53293056 9547 18446744073709551615 4198400 14817773 140721901328976 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39718912 140721901336988 140721901337115 140721901337115 140721901342688 0
/proc/58107/statm: 13011 9547 992 2593 0 9904 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 59028 KiB
Current children cumulated memory: 42412 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 2.86 3.44 5/273 58117
/proc/meminfo: memFree=128490352/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 251 105 0 0 0 0 0 0 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0

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

/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58176] ppid=58092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58176/stat : 58176 (timeout) S 58092 58176 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50498939 2723840 352 18446744073709551615 94858319421440 94858319437953 140726084682976 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94858319452720 94858319454808 94858332815360 140726084692358 140726084692514 140726084692514 140726084698087 0
/proc/58176/statm: 665 352 352 5 0 90 0
[pid=58177] ppid=58176 vsize=470124 memory=417100 CPUtime=2258.31 cores=0,2
/proc/58177/stat : 58177 (ExactPR-S) R 58176 58176 58032 0 -1 4194304 117394 0 0 0 224395 1436 0 0 20 0 1 0 50498940 481406976 104275 18446744073709551615 94810892324864 94810901624901 140731540756272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94810903411008 94810903450088 94810917978112 140731540760990 140731540761127 140731540761127 140731540766700 0
/proc/58177/statm: 117531 104275 3392 2271 0 112169 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 477108 KiB
Current children cumulated memory: 421452 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 58315
/proc/meminfo: memFree=127263076/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=1194.63 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 284 51673 0 0 0 0 119446 17 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58176] ppid=58092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58176/stat : 58176 (timeout) S 58092 58176 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50498939 2723840 352 18446744073709551615 94858319421440 94858319437953 140726084682976 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94858319452720 94858319454808 94858332815360 140726084692358 140726084692514 140726084692514 140726084698087 0
/proc/58176/statm: 665 352 352 5 0 90 0
[pid=58177] ppid=58176 vsize=470124 memory=417100 CPUtime=2318.16 cores=0,2
/proc/58177/stat : 58177 (ExactPR-S) R 58176 58176 58032 0 -1 4194304 117492 0 0 0 230358 1458 0 0 20 0 1 0 50498940 481406976 104275 18446744073709551615 94810892324864 94810901624901 140731540756272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94810903411008 94810903450088 94810917978112 140731540760990 140731540761127 140731540761127 140731540766700 0
/proc/58177/statm: 117531 104275 3392 2271 0 112169 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 477108 KiB
Current children cumulated memory: 421452 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/272 58317
/proc/meminfo: memFree=127263504/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=1194.63 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 284 51673 0 0 0 0 119446 17 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58176] ppid=58092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58176/stat : 58176 (timeout) S 58092 58176 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50498939 2723840 352 18446744073709551615 94858319421440 94858319437953 140726084682976 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94858319452720 94858319454808 94858332815360 140726084692358 140726084692514 140726084692514 140726084698087 0
/proc/58176/statm: 665 352 352 5 0 90 0
[pid=58177] ppid=58176 vsize=470124 memory=417100 CPUtime=2378 cores=0,2
/proc/58177/stat : 58177 (ExactPR-S) R 58176 58176 58032 0 -1 4194304 117498 0 0 0 236323 1477 0 0 20 0 1 0 50498940 481406976 104275 18446744073709551615 94810892324864 94810901624901 140731540756272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94810903411008 94810903450088 94810917978112 140731540760990 140731540761127 140731540761127 140731540766700 0
/proc/58177/statm: 117531 104275 3392 2271 0 112169 0
Current children cumulated CPU time: 3572.63 s
Current children cumulated vsize: 477108 KiB
Current children cumulated memory: 421452 KiB

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

# cumulated CPU time of all completed processes:  user=3571.42 s, system=15.0271 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.12 4.10 5/272 58317
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=1194.63 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 284 51673 0 0 0 0 119446 17 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58176] ppid=58092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58176/stat : 58176 (timeout) S 58092 58176 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50498939 2723840 352 18446744073709551615 94858319421440 94858319437953 140726084682976 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94858319452720 94858319454808 94858332815360 140726084692358 140726084692514 140726084692514 140726084698087 0
/proc/58176/statm: 665 352 352 5 0 90 0
[pid=58177] ppid=58176 vsize=470124 memory=417100 CPUtime=2379.7 cores=0,2
/proc/58177/stat : 58177 (ExactPR-S) R 58176 58176 58032 0 -1 4194304 117498 0 0 0 236493 1477 0 0 20 0 1 0 50498940 481406976 104275 18446744073709551615 94810892324864 94810901624901 140731540756272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94810903411008 94810903450088 94810917978112 140731540760990 140731540761127 140731540761127 140731540766700 0
/proc/58177/statm: 117531 104275 3392 2271 0 112169 0
Current children cumulated CPU time: 3574.33 s
Current children cumulated vsize: 477108 KiB
Current children cumulated memory: 421452 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.12 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=1194.63 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 284 51673 0 0 0 0 119446 17 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58176] ppid=58092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58176/stat : 58176 (timeout) S 58092 58176 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50498939 2723840 352 18446744073709551615 94858319421440 94858319437953 140726084682976 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94858319452720 94858319454808 94858332815360 140726084692358 140726084692514 140726084692514 140726084698087 0
/proc/58176/statm: 665 352 352 5 0 90 0
[pid=58177] ppid=58176 vsize=470124 memory=417100 CPUtime=2386.08 cores=0,2
/proc/58177/stat : 58177 (ExactPR-S) R 58176 58176 58032 0 -1 4194304 117498 0 0 0 237128 1480 0 0 20 0 1 0 50498940 481406976 104275 18446744073709551615 94810892324864 94810901624901 140731540756272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94810903411008 94810903450088 94810917978112 140731540760990 140731540761127 140731540761127 140731540766700 0
/proc/58177/statm: 117531 104275 3392 2271 0 112169 0
Current children cumulated CPU time: 3580.71 s
Current children cumulated vsize: 477108 KiB
Current children cumulated memory: 421452 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.13 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=1194.63 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 284 51673 0 0 0 0 119446 17 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58176] ppid=58092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58176/stat : 58176 (timeout) S 58092 58176 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50498939 2723840 352 18446744073709551615 94858319421440 94858319437953 140726084682976 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94858319452720 94858319454808 94858332815360 140726084692358 140726084692514 140726084692514 140726084698087 0
/proc/58176/statm: 665 352 352 5 0 90 0
[pid=58177] ppid=58176 vsize=470124 memory=417100 CPUtime=2389.27 cores=0,2
/proc/58177/stat : 58177 (ExactPR-S) R 58176 58176 58032 0 -1 4194304 117498 0 0 0 237446 1481 0 0 20 0 1 0 50498940 481406976 104275 18446744073709551615 94810892324864 94810901624901 140731540756272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94810903411008 94810903450088 94810917978112 140731540760990 140731540761127 140731540761127 140731540766700 0
/proc/58177/statm: 117531 104275 3392 2271 0 112169 0
Current children cumulated CPU time: 3583.9 s
Current children cumulated vsize: 477108 KiB
Current children cumulated memory: 421452 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.13 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=1194.63 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 284 51673 0 0 0 0 119446 17 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58176] ppid=58092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58176/stat : 58176 (timeout) S 58092 58176 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50498939 2723840 352 18446744073709551615 94858319421440 94858319437953 140726084682976 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94858319452720 94858319454808 94858332815360 140726084692358 140726084692514 140726084692514 140726084698087 0
/proc/58176/statm: 665 352 352 5 0 90 0
[pid=58177] ppid=58176 vsize=470124 memory=417100 CPUtime=2390.86 cores=0,2
/proc/58177/stat : 58177 (ExactPR-S) R 58176 58176 58032 0 -1 4194304 117498 0 0 0 237605 1481 0 0 20 0 1 0 50498940 481406976 104275 18446744073709551615 94810892324864 94810901624901 140731540756272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94810903411008 94810903450088 94810917978112 140731540760990 140731540761127 140731540761127 140731540766700 0
/proc/58177/statm: 117531 104275 3392 2271 0 112169 0
Current children cumulated CPU time: 3585.49 s
Current children cumulated vsize: 477108 KiB
Current children cumulated memory: 421452 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.13 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=1194.63 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 284 51673 0 0 0 0 119446 17 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58176] ppid=58092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58176/stat : 58176 (timeout) S 58092 58176 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50498939 2723840 352 18446744073709551615 94858319421440 94858319437953 140726084682976 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94858319452720 94858319454808 94858332815360 140726084692358 140726084692514 140726084692514 140726084698087 0
/proc/58176/statm: 665 352 352 5 0 90 0
[pid=58177] ppid=58176 vsize=470124 memory=417100 CPUtime=2391.27 cores=0,2
/proc/58177/stat : 58177 (ExactPR-S) R 58176 58176 58032 0 -1 4194304 117498 0 0 0 237645 1482 0 0 20 0 1 0 50498940 481406976 104275 18446744073709551615 94810892324864 94810901624901 140731540756272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94810903411008 94810903450088 94810917978112 140731540760990 140731540761127 140731540761127 140731540766700 0
/proc/58177/statm: 117531 104275 3392 2271 0 112169 0
Current children cumulated CPU time: 3585.9 s
Current children cumulated vsize: 477108 KiB
Current children cumulated memory: 421452 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.13 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=1194.63 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 284 51673 0 0 0 0 119446 17 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
[pid=58176] ppid=58092 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58176/stat : 58176 (timeout) S 58092 58176 58032 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 50498939 2723840 352 18446744073709551615 94858319421440 94858319437953 140726084682976 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94858319452720 94858319454808 94858332815360 140726084692358 140726084692514 140726084692514 140726084698087 0
/proc/58176/statm: 665 352 352 5 0 90 0
[pid=58177] ppid=58176 vsize=470124 memory=417100 CPUtime=2391.67 cores=0,2
/proc/58177/stat : 58177 (ExactPR-S) R 58176 58176 58032 0 -1 4194304 117498 0 0 0 237685 1482 0 0 20 0 1 0 50498940 481406976 104275 18446744073709551615 94810892324864 94810901624901 140731540756272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94810903411008 94810903450088 94810917978112 140731540760990 140731540761127 140731540761127 140731540766700 0
/proc/58177/statm: 117531 104275 3392 2271 0 112169 0
Current children cumulated CPU time: 3586.3 s
Current children cumulated vsize: 477108 KiB
Current children cumulated memory: 421452 KiB

[startup+3596.11 s]
/proc/loadavg: 4.14 4.13 4.10 5/272 58318
/proc/meminfo: memFree=127263772/131250000 swapFree=33010684/33010684
[pid=58092] ppid=58083 vsize=4324 memory=2944 CPUtime=3586.41 cores=0,2
/proc/58092/stat : 58092 (Hybrid-CASHWMax) S 58083 58092 58032 0 -1 4194304 342 169873 0 0 0 0 357140 1501 20 0 1 0 50379132 4427776 736 18446744073709551615 94647476531200 94647477425733 140734840366832 0 0 0 2 4 65536 1 0 0 17 2 0 0 0 0 0 94647477664784 94647477712528 94647509426176 140734840375639 140734840375793 140734840375793 140734840381395 0
/proc/58092/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.41 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.2
CPU time (s): 3586.44
CPU user time (s): 3571.42
CPU system time (s): 15.0271
CPU usage (%): 99.7288
Max. virtual memory (cumulated for all children) (KiB): 477108
Max. memory (cumulated for all children) (KiB): 435284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.42
system time used= 15.0271
maximum resident set size= 430932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172730
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= 2463
involuntary context switches= 7939


# summary of solver processes directly reported to runsolver:
#   pid: 58092
#   total CPU time (s): 3586.44
#   total CPU user time (s): 3571.42
#   total CPU system time (s): 15.0271

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01464 second user time and 14.8718 second system time

The end