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: 63968 MiB (60476 MiB free)
  memory of node 1: 64473 MiB (63289 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433106-1721056684/watcher-4433106-1721056684 -o /tmp/evaluation-result-4433106-1721056684/solver-4433106-1721056684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721052894-823733 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=45067315 HOME/instance-4433106-1721056684.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=826160, runsolver pid=826157

[startup+0.100333 s]*
/proc/loadavg: 4.14 4.12 4.09 5/254 826161
/proc/meminfo: memFree=126724684/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=33476 memory=15344 CPUtime=0.09 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 2183 0 0 0 9 0 0 0 20 0 1 0 157830851 34279424 3836 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 8369 3836 868 1005 0 7132 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33476 KiB
Current children cumulated memory: 15344 KiB

[startup+0.205699 s]*
/proc/loadavg: 4.14 4.12 4.09 5/254 826161
/proc/meminfo: memFree=126672568/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=93576 memory=75464 CPUtime=0.19 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 11124 0 0 0 18 1 0 0 20 0 1 0 157830851 95821824 18866 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 23394 18866 1028 1005 0 22157 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93576 KiB
Current children cumulated memory: 75464 KiB

[startup+0.305864 s]*
/proc/loadavg: 4.14 4.12 4.09 5/254 826161
/proc/meminfo: memFree=126675864/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=81788 memory=64152 CPUtime=0.3 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 11218 0 0 0 28 2 0 0 20 0 1 0 157830851 83750912 16038 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 20447 16038 1028 1005 0 19210 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 81788 KiB
Current children cumulated memory: 64152 KiB

[startup+0.700226 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 826161
/proc/meminfo: memFree=126675724/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=83264 memory=68460 CPUtime=0.68 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 11665 0 0 0 66 2 0 0 20 0 1 0 157830851 85262336 17115 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 20816 17115 1140 1005 0 19579 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83264 KiB
Current children cumulated memory: 68460 KiB

[startup+1.50021 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 826161
/proc/meminfo: memFree=126666756/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=88256 memory=81388 CPUtime=1.48 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 12887 0 0 0 146 2 0 0 20 0 1 0 157830851 90374144 20347 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 22064 20347 1140 1005 0 20827 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 88256 KiB
Current children cumulated memory: 81388 KiB

[startup+3.10563 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 826162
/proc/meminfo: memFree=126632312/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=106640 memory=89512 CPUtime=3.08 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 15104 0 0 0 305 3 0 0 20 0 1 0 157830851 109199360 22378 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 26660 22378 1140 1005 0 25423 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106640 KiB
Current children cumulated memory: 89512 KiB

[startup+6.30022 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 826163
/proc/meminfo: memFree=126630788/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=135452 memory=111528 CPUtime=6.26 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 16975 0 0 0 622 4 0 0 20 0 1 0 157830851 138702848 27882 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 33863 27882 1140 1005 0 32626 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 135452 KiB
Current children cumulated memory: 111528 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 826165
/proc/meminfo: memFree=126596752/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=176552 memory=137676 CPUtime=12.65 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 17835 0 0 0 1259 6 0 0 20 0 1 0 157830851 180789248 34419 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 44138 34419 1140 1005 0 42901 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 176552 KiB
Current children cumulated memory: 137676 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 826166
/proc/meminfo: memFree=126475416/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=184008 memory=145108 CPUtime=25.42 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 19732 0 0 0 2535 7 0 0 20 0 1 0 157830851 188424192 36277 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 46002 36277 1140 1005 0 44765 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 184008 KiB
Current children cumulated memory: 145108 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 826169
/proc/meminfo: memFree=126456312/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=186816 memory=160000 CPUtime=50.96 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 20479 0 0 0 5087 9 0 0 20 0 1 0 157830851 191299584 40000 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 46704 40000 1140 1005 0 45467 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 186816 KiB
Current children cumulated memory: 160000 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 826180
/proc/meminfo: memFree=126342836/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=191100 memory=163844 CPUtime=102 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 21575 0 0 0 10189 11 0 0 20 0 1 0 157830851 195686400 40961 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 47775 40961 1140 1005 0 46538 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 191100 KiB
Current children cumulated memory: 163844 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 826196
/proc/meminfo: memFree=126331476/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=197284 memory=169128 CPUtime=161.81 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 22934 0 0 0 16167 14 0 0 20 0 1 0 157830851 202018816 42282 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 49321 42282 1140 1005 0 48084 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 197284 KiB
Current children cumulated memory: 169128 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 826206
/proc/meminfo: memFree=126222844/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=198312 memory=171352 CPUtime=221.62 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 23512 0 0 0 22146 16 0 0 20 0 1 0 157830851 203071488 42838 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 49578 42838 1140 1005 0 48341 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 198312 KiB
Current children cumulated memory: 171352 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 826216
/proc/meminfo: memFree=126168736/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=201048 memory=176408 CPUtime=281.43 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 24326 0 0 0 28124 19 0 0 20 0 1 0 157830851 205873152 44102 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 50262 44102 1140 1005 0 49025 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 201048 KiB
Current children cumulated memory: 176408 KiB

[startup+342.3 s]
/proc/loadavg: 4.27 4.17 4.11 5/257 826227
/proc/meminfo: memFree=126137792/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=205512 memory=179460 CPUtime=341.24 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 25129 0 0 0 34102 22 0 0 20 0 1 0 157830851 210444288 44865 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 51378 44865 1140 1005 0 50141 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 205512 KiB
Current children cumulated memory: 179460 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/256 826238
/proc/meminfo: memFree=126089976/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=206248 memory=187796 CPUtime=401.06 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 25674 0 0 0 40082 24 0 0 20 0 1 0 157830851 211197952 46949 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 51562 46949 1140 1005 0 50325 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 206248 KiB
Current children cumulated memory: 187796 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/255 826631
/proc/meminfo: memFree=126040564/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=208928 memory=189996 CPUtime=460.87 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 26288 0 0 0 46060 27 0 0 20 0 1 0 157830851 213942272 47499 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 52232 47499 1140 1005 0 50995 0

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

Current children cumulated memory: 297920 KiB

[startup+2862.3 s]
/proc/loadavg: 4.20 4.15 4.13 5/254 827858
/proc/meminfo: memFree=125422256/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=361120 memory=298592 CPUtime=2853.41 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 48498 0 0 0 285205 136 0 0 20 0 1 0 157830851 369786880 74648 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 90280 74648 1140 1005 0 89043 0
Current children cumulated CPU time: 2853.41 s
Current children cumulated vsize: 361120 KiB
Current children cumulated memory: 298592 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/254 827868
/proc/meminfo: memFree=125419940/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=361784 memory=298788 CPUtime=2913.27 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 48621 0 0 0 291188 139 0 0 20 0 1 0 157830851 370466816 74697 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 90446 74697 1140 1005 0 89209 0
Current children cumulated CPU time: 2913.27 s
Current children cumulated vsize: 361784 KiB
Current children cumulated memory: 298788 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.12 4.12 5/257 827884
/proc/meminfo: memFree=125414044/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=365032 memory=302624 CPUtime=2973.14 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 49729 0 0 0 297172 142 0 0 20 0 1 0 157830851 373792768 75656 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 91258 75656 1140 1005 0 90021 0
Current children cumulated CPU time: 2973.14 s
Current children cumulated vsize: 365032 KiB
Current children cumulated memory: 302624 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/257 827894
/proc/meminfo: memFree=125399832/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=365596 memory=313372 CPUtime=3032.99 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 50000 0 0 0 303154 145 0 0 20 0 1 0 157830851 374370304 78343 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 91399 78343 1140 1005 0 90162 0
Current children cumulated CPU time: 3032.99 s
Current children cumulated vsize: 365596 KiB
Current children cumulated memory: 313372 KiB

[startup+3102.3 s]
/proc/loadavg: 4.21 4.14 4.12 5/257 827904
/proc/meminfo: memFree=125391024/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=368028 memory=315784 CPUtime=3092.86 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 50731 0 0 0 309138 148 0 0 20 0 1 0 157830851 376860672 78946 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 92007 78946 1140 1005 0 90770 0
Current children cumulated CPU time: 3092.86 s
Current children cumulated vsize: 368028 KiB
Current children cumulated memory: 315784 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/257 827917
/proc/meminfo: memFree=125380732/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=369268 memory=317176 CPUtime=3152.72 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 51165 0 0 0 315121 151 0 0 20 0 1 0 157830851 378130432 79294 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 92317 79294 1140 1005 0 91080 0
Current children cumulated CPU time: 3152.72 s
Current children cumulated vsize: 369268 KiB
Current children cumulated memory: 317176 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.13 4.11 5/258 827929
/proc/meminfo: memFree=125374856/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=369268 memory=317176 CPUtime=3212.59 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 51290 0 0 0 321105 154 0 0 20 0 1 0 157830851 378130432 79294 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 92317 79294 1140 1005 0 91080 0
Current children cumulated CPU time: 3212.59 s
Current children cumulated vsize: 369268 KiB
Current children cumulated memory: 317176 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/255 827939
/proc/meminfo: memFree=125370940/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=369960 memory=317716 CPUtime=3272.45 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 51589 0 0 0 327088 157 0 0 20 0 1 0 157830851 378839040 79429 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 92490 79429 1140 1005 0 91253 0
Current children cumulated CPU time: 3272.45 s
Current children cumulated vsize: 369960 KiB
Current children cumulated memory: 317716 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/255 827950
/proc/meminfo: memFree=125358036/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=371052 memory=318828 CPUtime=3332.31 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 51980 0 0 0 333070 161 0 0 20 0 1 0 157830851 379957248 79707 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 92763 79707 1140 1005 0 91526 0
Current children cumulated CPU time: 3332.31 s
Current children cumulated vsize: 371052 KiB
Current children cumulated memory: 318828 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 827961
/proc/meminfo: memFree=125354108/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=371052 memory=318960 CPUtime=3392.18 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 52107 0 0 0 339053 165 0 0 20 0 1 0 157830851 379957248 79740 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 92763 79740 1140 1005 0 91526 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 371052 KiB
Current children cumulated memory: 318960 KiB

[startup+3462.3 s]
/proc/loadavg: 3.58 3.97 4.05 4/248 828001
/proc/meminfo: memFree=127158360/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=371592 memory=319500 CPUtime=3452.03 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 52375 0 0 0 345036 167 0 0 20 0 1 0 157830851 380510208 79875 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 92898 79875 1140 1005 0 91661 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 371592 KiB
Current children cumulated memory: 319500 KiB

[startup+3522.3 s]
/proc/loadavg: 2.29 3.56 3.90 2/233 828072
/proc/meminfo: memFree=129359636/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=373068 memory=320796 CPUtime=3511.92 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 52855 0 0 0 351021 171 0 0 20 0 1 0 157830851 382021632 80199 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 93267 80199 1140 1005 0 92030 0
Current children cumulated CPU time: 3511.92 s
Current children cumulated vsize: 373068 KiB
Current children cumulated memory: 320796 KiB

[startup+3582.3 s]
/proc/loadavg: 1.57 3.12 3.73 2/233 828083
/proc/meminfo: memFree=129358348/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=374076 memory=321876 CPUtime=3571.8 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 53233 0 0 0 357006 174 0 0 20 0 1 0 157830851 383053824 80469 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 93519 80469 1140 1005 0 92282 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 374076 KiB
Current children cumulated memory: 321876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 1.35 2.91 3.64 2/233 828086
/proc/meminfo: memFree=129358328/131524600 swapFree=131071996/131071996
[pid=826160] ppid=826157 vsize=374076 memory=321984 CPUtime=3600.04 cores=5,7
/proc/826160/stat : 826160 (Exact) R 826157 826160 821215 0 -1 4194304 53365 0 0 0 359829 175 0 0 20 0 1 0 157830851 383053824 80496 134679101440 4194304 8309489 140737224479968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34217984 140737224483776 140737224483944 140737224483944 140737224490959 0
/proc/826160/statm: 93519 80496 1140 1005 0 92282 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 374076 KiB
Current children cumulated memory: 321984 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.61 s]
# the end of solver process 826160 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.3 s, system=1.758 s

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

Child status: 10

Real time (s): 3610.61
CPU time (s): 3600.06
CPU user time (s): 3598.3
CPU system time (s): 1.758
CPU usage (%): 99.7079
Max. virtual memory (cumulated for all children) (KiB): 374076
Max. memory (cumulated for all children) (KiB): 321984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.3
system time used= 1.758
maximum resident set size= 321984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53368
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 2032


# summary of solver processes directly reported to runsolver:
#   pid: 826160
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3598.3
#   total CPU system time (s): 1.758

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.96864 second user time and 13.8611 second system time

The end