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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456534-1721722798/watcher-4456534-1721722798 -o /tmp/evaluation-result-4456534-1721722798/solver-4456534-1721722798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721718373-89090 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1314454790 HOME/instance-4456534-1721722798.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=92148, runsolver pid=92145

[startup+0.100606 s]*
/proc/loadavg: 4.09 4.12 4.09 5/254 92149
/proc/meminfo: memFree=110689824/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=67392 memory=42792 CPUtime=0.09 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 12071 0 0 0 8 1 0 0 20 0 1 0 8809196 69009408 10698 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 16848 10698 916 1005 0 15611 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67392 KiB
Current children cumulated memory: 42792 KiB

[startup+0.205522 s]*
/proc/loadavg: 4.09 4.12 4.09 5/254 92149
/proc/meminfo: memFree=110683424/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=72596 memory=49284 CPUtime=0.19 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 14261 0 0 0 17 2 0 0 20 0 1 0 8809196 74338304 12321 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 18149 12321 916 1005 0 16912 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 72596 KiB
Current children cumulated memory: 49284 KiB

[startup+0.305476 s]*
/proc/loadavg: 4.09 4.12 4.09 5/254 92149
/proc/meminfo: memFree=110680800/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=72872 memory=51592 CPUtime=0.29 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 14337 0 0 0 27 2 0 0 20 0 1 0 8809196 74620928 12898 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 18218 12898 916 1005 0 16981 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 72872 KiB
Current children cumulated memory: 51592 KiB

[startup+0.700226 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 92149
/proc/meminfo: memFree=110649940/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=112704 memory=88392 CPUtime=0.68 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 23228 0 0 0 64 4 0 0 20 0 1 0 8809196 115408896 22098 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 28176 22098 1124 1005 0 26939 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 112704 KiB
Current children cumulated memory: 88392 KiB

[startup+1.5002 s]
/proc/loadavg: 4.08 4.12 4.09 5/254 92149
/proc/meminfo: memFree=110639536/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=113656 memory=93536 CPUtime=1.48 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 23524 0 0 0 143 5 0 0 20 0 1 0 8809196 116383744 23384 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 28414 23384 1124 1005 0 27177 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 113656 KiB
Current children cumulated memory: 93536 KiB

[startup+3.10537 s]
/proc/loadavg: 4.08 4.12 4.09 5/254 92150
/proc/meminfo: memFree=110632992/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=115476 memory=99472 CPUtime=3.08 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 23960 0 0 0 303 5 0 0 20 0 1 0 8809196 118247424 24868 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 28869 24868 1124 1005 0 27632 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 115476 KiB
Current children cumulated memory: 99472 KiB

[startup+6.30022 s]
/proc/loadavg: 4.15 4.13 4.09 5/254 92150
/proc/meminfo: memFree=110616468/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=129100 memory=115720 CPUtime=6.27 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 27035 0 0 0 621 6 0 0 20 0 1 0 8809196 132198400 28930 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 32275 28930 1140 1005 0 31038 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 129100 KiB
Current children cumulated memory: 115720 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.09 5/254 92150
/proc/meminfo: memFree=110603988/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=151628 memory=129688 CPUtime=12.65 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 29761 0 0 0 1257 8 0 0 20 0 1 0 8809196 155267072 32422 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 37907 32422 1140 1005 0 36670 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 151628 KiB
Current children cumulated memory: 129688 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 92153
/proc/meminfo: memFree=110558284/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=196080 memory=172236 CPUtime=25.42 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 35730 0 0 0 2530 12 0 0 20 0 1 0 8809196 200785920 43059 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 49020 43059 1140 1005 0 47783 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 196080 KiB
Current children cumulated memory: 172236 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 92160
/proc/meminfo: memFree=110546900/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=200596 memory=181188 CPUtime=50.95 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 36991 0 0 0 5081 14 0 0 20 0 1 0 8809196 205410304 45297 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 50149 45297 1140 1005 0 48912 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 200596 KiB
Current children cumulated memory: 181188 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 92169
/proc/meminfo: memFree=110510104/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=256552 memory=206936 CPUtime=102.02 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 41891 0 0 0 10182 20 0 0 20 0 1 0 8809196 262709248 51734 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 64138 51734 1140 1005 0 62901 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 256552 KiB
Current children cumulated memory: 206936 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/257 92181
/proc/meminfo: memFree=110491780/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=260640 memory=211436 CPUtime=161.87 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 43053 0 0 0 16162 25 0 0 20 0 1 0 8809196 266895360 52859 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 65160 52859 1140 1005 0 63923 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 260640 KiB
Current children cumulated memory: 211436 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 92192
/proc/meminfo: memFree=110477272/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=265448 memory=216552 CPUtime=221.7 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 44374 0 0 0 22140 30 0 0 20 0 1 0 8809196 271818752 54138 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 66362 54138 1140 1005 0 65125 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 265448 KiB
Current children cumulated memory: 216552 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 92202
/proc/meminfo: memFree=110463020/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=269968 memory=221684 CPUtime=281.55 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 45677 0 0 0 28118 37 0 0 20 0 1 0 8809196 276447232 55421 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 67492 55421 1140 1005 0 66255 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 269968 KiB
Current children cumulated memory: 221684 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/259 92596
/proc/meminfo: memFree=110431032/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=272916 memory=235260 CPUtime=341.4 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 46551 0 0 0 34097 43 0 0 20 0 1 0 8809196 279465984 58815 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 68229 58815 1140 1005 0 66992 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 272916 KiB
Current children cumulated memory: 235260 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/257 92607
/proc/meminfo: memFree=110416192/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=276552 memory=239340 CPUtime=401.25 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 47616 0 0 0 40076 49 0 0 20 0 1 0 8809196 283189248 59835 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 69138 59835 1140 1005 0 67901 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 276552 KiB
Current children cumulated memory: 239340 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/256 92617
/proc/meminfo: memFree=110406324/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=279344 memory=244408 CPUtime=461.09 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 48380 0 0 0 46055 54 0 0 20 0 1 0 8809196 286048256 61102 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 69836 61102 1140 1005 0 68599 0
Current children cumulated CPU time: 461.09 s

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

Current children cumulated memory: 326936 KiB

[startup+2862.3 s]
/proc/loadavg: 4.28 4.24 4.14 5/255 93843
/proc/meminfo: memFree=110141316/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=333892 memory=328960 CPUtime=2855.29 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 65132 0 0 0 285290 239 0 0 20 0 1 0 8809196 341905408 82240 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 83473 82240 1140 1005 0 82236 0
Current children cumulated CPU time: 2855.29 s
Current children cumulated vsize: 333892 KiB
Current children cumulated memory: 328960 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.21 4.14 5/255 93854
/proc/meminfo: memFree=110137392/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=334212 memory=329136 CPUtime=2915.15 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 65281 0 0 0 291272 243 0 0 20 0 1 0 8809196 342233088 82284 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 83553 82284 1140 1005 0 82316 0
Current children cumulated CPU time: 2915.15 s
Current children cumulated vsize: 334212 KiB
Current children cumulated memory: 329136 KiB

[startup+2982.3 s]
/proc/loadavg: 3.77 4.11 4.10 4/248 93895
/proc/meminfo: memFree=111048868/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=334212 memory=329136 CPUtime=2975.01 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 65432 0 0 0 297253 248 0 0 20 0 1 0 8809196 342233088 82284 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 83553 82284 1140 1005 0 82316 0
Current children cumulated CPU time: 2975.01 s
Current children cumulated vsize: 334212 KiB
Current children cumulated memory: 329136 KiB

[startup+3042.3 s]
/proc/loadavg: 3.25 3.90 4.03 3/244 93941
/proc/meminfo: memFree=111401408/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=335044 memory=329780 CPUtime=3034.87 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 65787 0 0 0 303234 253 0 0 20 0 1 0 8809196 343085056 82445 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 83761 82445 1140 1005 0 82524 0
Current children cumulated CPU time: 3034.87 s
Current children cumulated vsize: 335044 KiB
Current children cumulated memory: 329780 KiB

[startup+3102.3 s]
/proc/loadavg: 2.50 3.57 3.91 3/244 93953
/proc/meminfo: memFree=111399372/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=336248 memory=331288 CPUtime=3094.74 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 66320 0 0 0 309216 258 0 0 20 0 1 0 8809196 344317952 82822 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 84062 82822 1140 1005 0 82825 0
Current children cumulated CPU time: 3094.74 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 331288 KiB

[startup+3162.3 s]
/proc/loadavg: 2.28 3.31 3.80 3/244 93964
/proc/meminfo: memFree=111395840/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=338536 memory=332800 CPUtime=3154.61 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 66782 0 0 0 315198 263 0 0 20 0 1 0 8809196 346660864 83200 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 84634 83200 1140 1005 0 83397 0
Current children cumulated CPU time: 3154.61 s
Current children cumulated vsize: 338536 KiB
Current children cumulated memory: 332800 KiB

[startup+3222.3 s]
/proc/loadavg: 2.15 3.08 3.69 3/244 93974
/proc/meminfo: memFree=111394900/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=338732 memory=333224 CPUtime=3214.48 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 67044 0 0 0 321181 267 0 0 20 0 1 0 8809196 346861568 83306 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 84683 83306 1140 1005 0 83446 0
Current children cumulated CPU time: 3214.48 s
Current children cumulated vsize: 338732 KiB
Current children cumulated memory: 333224 KiB

[startup+3282.3 s]
/proc/loadavg: 1.72 2.80 3.55 2/237 94015
/proc/meminfo: memFree=111738116/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=340788 memory=335068 CPUtime=3274.35 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 67652 0 0 0 327164 271 0 0 20 0 1 0 8809196 348966912 83767 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 85197 83767 1140 1005 0 83960 0
Current children cumulated CPU time: 3274.35 s
Current children cumulated vsize: 340788 KiB
Current children cumulated memory: 335068 KiB

[startup+3342.3 s]
/proc/loadavg: 1.32 2.49 3.39 2/235 94026
/proc/meminfo: memFree=111736472/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=341912 memory=336304 CPUtime=3334.24 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 68141 0 0 0 333147 277 0 0 20 0 1 0 8809196 350117888 84076 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 85478 84076 1140 1005 0 84241 0
Current children cumulated CPU time: 3334.24 s
Current children cumulated vsize: 341912 KiB
Current children cumulated memory: 336304 KiB

[startup+3402.3 s]
/proc/loadavg: 1.24 2.24 3.25 2/234 94036
/proc/meminfo: memFree=111734740/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=342608 memory=337736 CPUtime=3394.12 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 68479 0 0 0 339131 281 0 0 20 0 1 0 8809196 350830592 84434 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 85652 84434 1140 1005 0 84415 0
Current children cumulated CPU time: 3394.12 s
Current children cumulated vsize: 342608 KiB
Current children cumulated memory: 337736 KiB

[startup+3462.3 s]
/proc/loadavg: 1.15 2.03 3.11 2/234 94047
/proc/meminfo: memFree=111734012/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=343268 memory=337888 CPUtime=3454.01 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 68676 0 0 0 345117 284 0 0 20 0 1 0 8809196 351506432 84472 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 85817 84472 1140 1005 0 84580 0
Current children cumulated CPU time: 3454.01 s
Current children cumulated vsize: 343268 KiB
Current children cumulated memory: 337888 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.86 2.98 2/234 94059
/proc/meminfo: memFree=111733476/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=343268 memory=337900 CPUtime=3513.88 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 68842 0 0 0 351097 291 0 0 20 0 1 0 8809196 351506432 84475 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 85817 84475 1140 1005 0 84580 0
Current children cumulated CPU time: 3513.88 s
Current children cumulated vsize: 343268 KiB
Current children cumulated memory: 337900 KiB

[startup+3582.3 s]
/proc/loadavg: 1.15 1.73 2.87 2/234 94069
/proc/meminfo: memFree=111730476/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=346620 memory=340472 CPUtime=3573.77 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 69646 0 0 0 357079 298 0 0 20 0 1 0 8809196 354938880 85118 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 86655 85118 1140 1005 0 85418 0
Current children cumulated CPU time: 3573.77 s
Current children cumulated vsize: 346620 KiB
Current children cumulated memory: 340472 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 1.10 1.67 2.82 2/234 94073
/proc/meminfo: memFree=111729948/131524600 swapFree=131071996/131071996
[pid=92148] ppid=92145 vsize=346620 memory=340472 CPUtime=3600.01 cores=1,3
/proc/92148/stat : 92148 (Exact) R 92145 92148 89078 0 -1 4194304 69668 0 0 0 359701 300 0 0 20 0 1 0 8809196 354938880 85118 134679101440 4194304 8309489 140735031104704 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44658688 140735031108541 140735031108711 140735031108711 140735031115727 0
/proc/92148/statm: 86655 85118 1140 1005 0 85418 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 346620 KiB
Current children cumulated memory: 340472 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.04 s, system=3.00822 s

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

Child status: 10

Real time (s): 3608.63
CPU time (s): 3600.05
CPU user time (s): 3597.04
CPU system time (s): 3.00822
CPU usage (%): 99.7624
Max. virtual memory (cumulated for all children) (KiB): 346620
Max. memory (cumulated for all children) (KiB): 340472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.04
system time used= 3.00822
maximum resident set size= 340472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69675
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= 48
involuntary context switches= 2118


# summary of solver processes directly reported to runsolver:
#   pid: 92148
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3597.04
#   total CPU system time (s): 3.00822

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31021 second user time and 16.7436 second system time

The end