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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459236-1721895842/watcher-4459236-1721895842 -o /tmp/evaluation-result-4459236-1721895842/solver-4459236-1721895842 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721889676-283156 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=279979484 HOME/instance-4459236-1721895842.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=286461, runsolver pid=286458

[startup+0.100209 s]*
/proc/loadavg: 4.07 4.10 4.09 5/257 286462
/proc/meminfo: memFree=104282552/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=35892 memory=13880 CPUtime=0.09 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 2901 0 0 0 9 0 0 0 20 0 1 0 26113658 36753408 3470 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 8973 3470 1060 1005 0 7736 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35892 KiB
Current children cumulated memory: 13880 KiB

[startup+0.206193 s]*
/proc/loadavg: 4.07 4.10 4.09 5/257 286462
/proc/meminfo: memFree=104282160/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=36060 memory=14144 CPUtime=0.19 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 2982 0 0 0 19 0 0 0 20 0 1 0 26113658 36925440 3536 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 9015 3536 1060 1005 0 7778 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36060 KiB
Current children cumulated memory: 14144 KiB

[startup+0.305567 s]*
/proc/loadavg: 4.07 4.10 4.09 5/257 286462
/proc/meminfo: memFree=104281620/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=36060 memory=14852 CPUtime=0.29 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 3115 0 0 0 29 0 0 0 20 0 1 0 26113658 36925440 3713 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 9015 3713 1108 1005 0 7778 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36060 KiB
Current children cumulated memory: 14852 KiB

[startup+0.700235 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 286462
/proc/meminfo: memFree=104278684/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=36672 memory=19736 CPUtime=0.69 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 3343 0 0 0 68 1 0 0 20 0 1 0 26113658 37552128 4934 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 9168 4934 1108 1005 0 7931 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36672 KiB
Current children cumulated memory: 19736 KiB

[startup+1.50023 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 286462
/proc/meminfo: memFree=104274116/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=38000 memory=29236 CPUtime=1.48 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 3653 0 0 0 147 1 0 0 20 0 1 0 26113658 38912000 7309 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 9500 7309 1108 1005 0 8263 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38000 KiB
Current children cumulated memory: 29236 KiB

[startup+3.10551 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 286462
/proc/meminfo: memFree=104257900/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=53392 memory=38200 CPUtime=3.08 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 5064 0 0 0 306 2 0 0 20 0 1 0 26113658 54673408 9550 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 13348 9550 1140 1005 0 12111 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53392 KiB
Current children cumulated memory: 38200 KiB

[startup+6.30021 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 286462
/proc/meminfo: memFree=104238144/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=80676 memory=58408 CPUtime=6.26 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 6475 0 0 0 622 4 0 0 20 0 1 0 26113658 82612224 14602 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 20169 14602 1140 1005 0 18932 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 80676 KiB
Current children cumulated memory: 58408 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 286464
/proc/meminfo: memFree=104231296/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=82504 memory=60444 CPUtime=12.65 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 6951 0 0 0 1259 6 0 0 20 0 1 0 26113658 84484096 15111 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 20626 15111 1140 1005 0 19389 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 82504 KiB
Current children cumulated memory: 60444 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 286466
/proc/meminfo: memFree=104212928/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=85400 memory=63260 CPUtime=25.42 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 7708 0 0 0 2529 13 0 0 20 0 1 0 26113658 87449600 15815 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 21350 15815 1140 1005 0 20113 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 85400 KiB
Current children cumulated memory: 63260 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 286471
/proc/meminfo: memFree=104171820/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=98224 memory=81312 CPUtime=50.96 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 10722 0 0 0 5074 22 0 0 20 0 1 0 26113658 100581376 20328 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 24556 20328 1140 1005 0 23319 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 98224 KiB
Current children cumulated memory: 81312 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 286866
/proc/meminfo: memFree=104222856/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=105656 memory=92592 CPUtime=102.02 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 12606 0 0 0 10160 42 0 0 20 0 1 0 26113658 108191744 23148 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 26414 23148 1140 1005 0 25177 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 105656 KiB
Current children cumulated memory: 92592 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 286876
/proc/meminfo: memFree=104178480/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=107800 memory=94888 CPUtime=161.87 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 13164 0 0 0 16121 66 0 0 20 0 1 0 26113658 110387200 23722 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 26950 23722 1140 1005 0 25713 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 107800 KiB
Current children cumulated memory: 94888 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 286887
/proc/meminfo: memFree=104144196/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=152724 memory=118780 CPUtime=221.71 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 14997 0 0 0 22081 90 0 0 20 0 1 0 26113658 156389376 29695 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 38181 29695 1140 1005 0 36944 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 152724 KiB
Current children cumulated memory: 118780 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/258 287067
/proc/meminfo: memFree=104127436/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=152724 memory=118780 CPUtime=281.55 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 15023 0 0 0 28045 110 0 0 20 0 1 0 26113658 156389376 29695 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 38181 29695 1140 1005 0 36944 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 152724 KiB
Current children cumulated memory: 118780 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/257 287079
/proc/meminfo: memFree=104038540/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=153360 memory=119352 CPUtime=341.4 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 15200 0 0 0 34012 128 0 0 20 0 1 0 26113658 157040640 29838 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 38340 29838 1140 1005 0 37103 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 153360 KiB
Current children cumulated memory: 119352 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/259 287147
/proc/meminfo: memFree=103945800/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=154940 memory=121088 CPUtime=401.25 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 15657 0 0 0 39978 147 0 0 20 0 1 0 26113658 158658560 30272 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 38735 30272 1140 1005 0 37498 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 154940 KiB
Current children cumulated memory: 121088 KiB

[startup+462.3 s]
/proc/loadavg: 4.40 4.20 4.12 5/259 287157
/proc/meminfo: memFree=103881824/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=158360 memory=124432 CPUtime=461.1 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 16507 0 0 0 45941 169 0 0 20 0 1 0 26113658 162160640 31108 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 39590 31108 1140 1005 0 38353 0

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

Current children cumulated memory: 170544 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.11 6/256 288356
/proc/meminfo: memFree=104748228/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=188700 memory=170768 CPUtime=2914.92 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 26380 0 0 0 290510 982 0 0 20 0 1 0 26113658 193228800 42692 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 47175 42692 1140 1005 0 45938 0
Current children cumulated CPU time: 2914.92 s
Current children cumulated vsize: 188700 KiB
Current children cumulated memory: 170768 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.10 6/256 288367
/proc/meminfo: memFree=104728864/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=189052 memory=171080 CPUtime=2974.78 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 26542 0 0 0 296477 1001 0 0 20 0 1 0 26113658 193589248 42770 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 47263 42770 1140 1005 0 46026 0
Current children cumulated CPU time: 2974.78 s
Current children cumulated vsize: 189052 KiB
Current children cumulated memory: 171080 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.10 6/256 288377
/proc/meminfo: memFree=104705480/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=189624 memory=171560 CPUtime=3034.63 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 26763 0 0 0 302445 1018 0 0 20 0 1 0 26113658 194174976 42890 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 47406 42890 1140 1005 0 46169 0
Current children cumulated CPU time: 3034.63 s
Current children cumulated vsize: 189624 KiB
Current children cumulated memory: 171560 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.10 6/256 288387
/proc/meminfo: memFree=104701092/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=189792 memory=171860 CPUtime=3094.48 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 26863 0 0 0 308407 1041 0 0 20 0 1 0 26113658 194347008 42965 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 47448 42965 1140 1005 0 46211 0
Current children cumulated CPU time: 3094.48 s
Current children cumulated vsize: 189792 KiB
Current children cumulated memory: 171860 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.09 4.09 6/254 288398
/proc/meminfo: memFree=104673840/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=193384 memory=175452 CPUtime=3154.35 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 27323 0 0 0 314375 1060 0 0 20 0 1 0 26113658 198025216 43863 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 48346 43863 1140 1005 0 47109 0
Current children cumulated CPU time: 3154.35 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 175452 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/254 288408
/proc/meminfo: memFree=104668960/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=193384 memory=175452 CPUtime=3214.2 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 27377 0 0 0 320338 1082 0 0 20 0 1 0 26113658 198025216 43863 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 48346 43863 1140 1005 0 47109 0
Current children cumulated CPU time: 3214.2 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 175452 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/254 288419
/proc/meminfo: memFree=104648060/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=193384 memory=175452 CPUtime=3274.05 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 27440 0 0 0 326304 1101 0 0 20 0 1 0 26113658 198025216 43863 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 48346 43863 1140 1005 0 47109 0
Current children cumulated CPU time: 3274.05 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 175452 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/254 288430
/proc/meminfo: memFree=104627840/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=193384 memory=175452 CPUtime=3333.91 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 27526 0 0 0 332271 1120 0 0 20 0 1 0 26113658 198025216 43863 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 48346 43863 1140 1005 0 47109 0
Current children cumulated CPU time: 3333.91 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 175452 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/256 288444
/proc/meminfo: memFree=104621588/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=193384 memory=175452 CPUtime=3393.77 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 27588 0 0 0 338239 1138 0 0 20 0 1 0 26113658 198025216 43863 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 48346 43863 1140 1005 0 47109 0
Current children cumulated CPU time: 3393.77 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 175452 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/256 288454
/proc/meminfo: memFree=104602060/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=193384 memory=175452 CPUtime=3453.63 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 27637 0 0 0 344206 1157 0 0 20 0 1 0 26113658 198025216 43863 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 48346 43863 1140 1005 0 47109 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 175452 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 6/256 288465
/proc/meminfo: memFree=104592292/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=193384 memory=175452 CPUtime=3513.48 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 27719 0 0 0 350171 1177 0 0 20 0 1 0 26113658 198025216 43863 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 48346 43863 1140 1005 0 47109 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 175452 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.18 4.12 6/256 288476
/proc/meminfo: memFree=104583196/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=193384 memory=175452 CPUtime=3573.34 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 27776 0 0 0 356138 1196 0 0 20 0 1 0 26113658 198025216 43863 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 48346 43863 1140 1005 0 47109 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 175452 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.21 4.16 4.11 6/256 288481
/proc/meminfo: memFree=104582256/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=193384 memory=175452 CPUtime=3600.07 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 27790 0 0 0 358804 1203 0 0 20 0 1 0 26113658 198025216 43863 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 48346 43863 1140 1005 0 47109 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 175452 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.05 s, system=12.0401 s

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

[startup+3609.11 s]
/proc/loadavg: 4.21 4.16 4.11 6/256 288481
/proc/meminfo: memFree=104582256/131524600 swapFree=131071728/131071996
[pid=286461] ppid=286458 vsize=193384 memory=175452 CPUtime=3600.07 cores=1,3
/proc/286461/stat : 286461 (Exact) R 286458 286461 283144 0 -1 4194304 27790 0 0 0 358804 1203 0 0 20 0 1 0 26113658 198025216 43863 134679101440 4194304 8309489 140721448826592 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 20566016 140721448833983 140721448834152 140721448834152 140721448841167 0
/proc/286461/statm: 48346 43863 1140 1005 0 47109 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 193384 KiB
Current children cumulated memory: 175452 KiB

Child status: 10

Real time (s): 3609.11
CPU time (s): 3600.09
CPU user time (s): 3588.05
CPU system time (s): 12.0401
CPU usage (%): 99.7501
Max. virtual memory (cumulated for all children) (KiB): 201168
Max. memory (cumulated for all children) (KiB): 175452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.05
system time used= 12.0401
maximum resident set size= 175452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27792
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= 38
involuntary context switches= 2088


# summary of solver processes directly reported to runsolver:
#   pid: 286461
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3588.05
#   total CPU system time (s): 12.0401

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58333 second user time and 17.0672 second system time

The end