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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484747-1751279098/watcher-4484747-1751279098 -o /tmp/evaluation-result-4484747-1751279098/solver-4484747-1751279098 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751279092-38751 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4484747-1751279098.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=38944, runsolver pid=38941

[startup+0.100059 s]*
/proc/loadavg: 2.52 2.95 3.04 5/267 38945
/proc/meminfo: memFree=129399676/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=54896 memory=16432 CPUtime=0.08 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 2167 0 0 0 8 0 0 0 20 0 1 0 43588194 56213504 4108 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 13724 4108 1632 2271 0 8362 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54896 KiB
Current children cumulated memory: 16432 KiB

[startup+0.205549 s]*
/proc/loadavg: 2.52 2.95 3.04 5/267 38945
/proc/meminfo: memFree=129395580/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=59640 memory=25136 CPUtime=0.19 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 3407 0 0 0 18 1 0 0 20 0 1 0 43588194 61071360 6284 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 14910 6284 1632 2271 0 9548 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 59640 KiB
Current children cumulated memory: 25136 KiB

[startup+0.305553 s]*
/proc/loadavg: 2.64 2.96 3.05 5/267 38945
/proc/meminfo: memFree=129362812/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=116364 memory=81164 CPUtime=0.29 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 13956 0 0 0 26 3 0 0 20 0 1 0 43588194 119156736 20291 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 29091 20291 1760 2271 0 23729 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 116364 KiB
Current children cumulated memory: 81164 KiB

[startup+0.700173 s]
/proc/loadavg: 2.64 2.96 3.05 5/267 38945
/proc/meminfo: memFree=129362812/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=190352 memory=145420 CPUtime=0.67 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 28686 0 0 0 62 5 0 0 20 0 1 0 43588194 194920448 36355 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 47588 36355 3200 2271 0 42226 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 190352 KiB
Current children cumulated memory: 145420 KiB

[startup+1.50017 s]
/proc/loadavg: 2.64 2.96 3.05 5/267 38945
/proc/meminfo: memFree=129225976/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=354212 memory=308748 CPUtime=1.47 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 69374 0 0 0 137 10 0 0 20 0 1 0 43588194 362713088 77187 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 88553 77187 3360 2271 0 83191 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 354212 KiB
Current children cumulated memory: 308748 KiB

[startup+3.10559 s]
/proc/loadavg: 2.64 2.96 3.05 5/267 38945
/proc/meminfo: memFree=128839020/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=695604 memory=617044 CPUtime=3.07 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 104437 0 0 0 287 20 0 0 20 0 1 0 43588194 712298496 154261 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 173901 154261 3360 2271 0 168539 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 695604 KiB
Current children cumulated memory: 617044 KiB

[startup+6.30017 s]
/proc/loadavg: 2.75 2.98 3.05 5/266 38945
/proc/meminfo: memFree=128815160/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=741988 memory=646744 CPUtime=6.25 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 110317 0 0 0 604 21 0 0 20 0 1 0 43588194 759795712 161686 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 185497 161686 3360 2271 0 180135 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 741988 KiB
Current children cumulated memory: 646744 KiB

[startup+12.7001 s]
/proc/loadavg: 2.85 3.00 3.06 5/266 38990
/proc/meminfo: memFree=128329196/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=800840 memory=655864 CPUtime=12.64 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 111591 0 0 0 1242 22 0 0 20 0 1 0 43588194 820060160 163966 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 200210 163966 3360 2271 0 194848 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 800840 KiB
Current children cumulated memory: 655864 KiB

[startup+25.5001 s]
/proc/loadavg: 3.03 3.03 3.07 5/266 38990
/proc/meminfo: memFree=128265076/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=895440 memory=662008 CPUtime=25.4 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 113126 0 0 0 2518 22 0 0 20 0 1 0 43588194 916930560 165502 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 223860 165502 3360 2271 0 218498 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 895440 KiB
Current children cumulated memory: 662008 KiB

[startup+51.1055 s]
/proc/loadavg: 3.54 3.16 3.11 5/266 38990
/proc/meminfo: memFree=128011312/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1073604 memory=788216 CPUtime=50.93 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 144678 0 0 0 5066 27 0 0 20 0 1 0 43588194 1099370496 197054 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 268401 197054 3360 2271 0 263039 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1073604 KiB
Current children cumulated memory: 788216 KiB

[startup+102.3 s]
/proc/loadavg: 3.86 3.31 3.17 5/266 38993
/proc/meminfo: memFree=127904736/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1073604 memory=788216 CPUtime=101.97 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 144683 0 0 0 10170 27 0 0 20 0 1 0 43588194 1099370496 197054 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 268401 197054 3360 2271 0 263039 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1073604 KiB
Current children cumulated memory: 788216 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 3.42 3.21 5/268 39041
/proc/meminfo: memFree=127782040/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1194188 memory=826892 CPUtime=161.81 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 168743 0 0 0 16150 31 0 0 20 0 1 0 43588194 1222848512 206723 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 298547 206723 3360 2271 0 293185 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1194188 KiB
Current children cumulated memory: 826892 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.56 3.28 5/268 39043
/proc/meminfo: memFree=127525252/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1332600 memory=934504 CPUtime=221.64 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 204101 0 0 0 22129 35 0 0 20 0 1 0 43588194 1364582400 233626 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 333150 233626 3360 2271 0 327788 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1332600 KiB
Current children cumulated memory: 934504 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.66 3.33 5/267 39090
/proc/meminfo: memFree=127778236/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1404648 memory=934888 CPUtime=281.47 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 204198 0 0 0 28112 35 0 0 20 0 1 0 43588194 1438359552 233722 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 351162 233722 3360 2271 0 345800 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1404648 KiB
Current children cumulated memory: 934888 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.74 3.38 5/265 39092
/proc/meminfo: memFree=127620136/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1494592 memory=989000 CPUtime=341.31 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 205883 0 0 0 34095 36 0 0 20 0 1 0 43588194 1530462208 247250 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 373648 247250 3360 2271 0 368286 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 1494592 KiB
Current children cumulated memory: 989000 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.80 3.43 5/264 39138
/proc/meminfo: memFree=112234276/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1566032 memory=1060296 CPUtime=401.13 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 232630 0 0 0 40073 40 0 0 20 0 1 0 43588194 1603616768 265074 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 391508 265074 3360 2271 0 386146 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1566032 KiB
Current children cumulated memory: 1060296 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.86 3.47 5/262 39140
/proc/meminfo: memFree=112091584/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1566032 memory=1061832 CPUtime=460.95 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 232771 0 0 0 46054 41 0 0 20 0 1 0 43588194 1603616768 265458 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 391508 265458 3360 2271 0 386146 0

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

Current children cumulated memory: 1175556 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 39262
/proc/meminfo: memFree=103107236/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1175556 CPUtime=2913.34 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271204 0 0 0 291158 176 0 0 20 0 1 0 43588194 1505468416 293889 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 293889 3488 2271 0 362184 0
Current children cumulated CPU time: 2913.34 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1175556 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/262 39264
/proc/meminfo: memFree=103107724/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1175556 CPUtime=2973.14 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271208 0 0 0 297137 177 0 0 20 0 1 0 43588194 1505468416 293889 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 293889 3488 2271 0 362184 0
Current children cumulated CPU time: 2973.14 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1175556 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 39273
/proc/meminfo: memFree=103121088/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1179652 CPUtime=3032.95 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271213 0 0 0 303117 178 0 0 20 0 1 0 43588194 1505468416 294913 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 294913 3488 2271 0 362184 0
Current children cumulated CPU time: 3032.95 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1179652 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 39275
/proc/meminfo: memFree=103108296/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1179652 CPUtime=3092.75 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271276 0 0 0 309097 178 0 0 20 0 1 0 43588194 1505468416 294913 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 294913 3488 2271 0 362184 0
Current children cumulated CPU time: 3092.75 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1179652 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 39277
/proc/meminfo: memFree=103122052/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1179652 CPUtime=3152.56 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271384 0 0 0 315077 179 0 0 20 0 1 0 43588194 1505468416 294913 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 294913 3488 2271 0 362184 0
Current children cumulated CPU time: 3152.56 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1179652 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 39279
/proc/meminfo: memFree=103092228/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1179652 CPUtime=3212.36 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271394 0 0 0 321057 179 0 0 20 0 1 0 43588194 1505468416 294913 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 294913 3488 2271 0 362184 0
Current children cumulated CPU time: 3212.36 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1179652 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/263 39281
/proc/meminfo: memFree=103094296/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1179652 CPUtime=3272.16 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271394 0 0 0 327036 180 0 0 20 0 1 0 43588194 1505468416 294913 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 294913 3488 2271 0 362184 0
Current children cumulated CPU time: 3272.16 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1179652 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 39283
/proc/meminfo: memFree=103108076/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1179652 CPUtime=3331.97 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271394 0 0 0 333016 181 0 0 20 0 1 0 43588194 1505468416 294913 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 294913 3488 2271 0 362184 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1179652 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 39285
/proc/meminfo: memFree=103118624/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1179652 CPUtime=3391.77 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271555 0 0 0 338996 181 0 0 20 0 1 0 43588194 1505468416 294913 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 294913 3488 2271 0 362184 0
Current children cumulated CPU time: 3391.77 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1179652 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 39287
/proc/meminfo: memFree=103105504/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1179652 CPUtime=3451.57 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271571 0 0 0 344975 182 0 0 20 0 1 0 43588194 1505468416 294913 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 294913 3488 2271 0 362184 0
Current children cumulated CPU time: 3451.57 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1179652 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 39289
/proc/meminfo: memFree=103117244/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1179652 CPUtime=3511.38 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271571 0 0 0 350954 184 0 0 20 0 1 0 43588194 1505468416 294913 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 294913 3488 2271 0 362184 0
Current children cumulated CPU time: 3511.38 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1179652 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 39291
/proc/meminfo: memFree=103122020/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1179652 CPUtime=3571.19 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271572 0 0 0 356934 185 0 0 20 0 1 0 43588194 1505468416 294913 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 294913 3488 2271 0 362184 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1179652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.37 4.15 4.11 5/263 39299
/proc/meminfo: memFree=103118788/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1179652 CPUtime=3600.08 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271602 0 0 0 359823 185 0 0 20 0 1 0 43588194 1505468416 294913 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 294913 3488 2271 0 362184 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1179652 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.25 s, system=1.86118 s

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

[startup+3611.3 s]
/proc/loadavg: 4.37 4.15 4.11 5/263 39299
/proc/meminfo: memFree=103118788/131249996 swapFree=33010684/33010684
[pid=38944] ppid=38941 vsize=1470184 memory=1179652 CPUtime=3600.08 cores=5,7
/proc/38944/stat : 38944 (ExactPR-S) R 38941 38944 38738 0 -1 4194304 271602 0 0 0 359823 185 0 0 20 0 1 0 43588194 1505468416 294913 18446744073709551615 94083032420352 94083041720389 140731750110224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94083043506496 94083043545576 94083058802688 140731750111617 140731750111754 140731750111754 140731750117356 0
/proc/38944/statm: 367546 294913 3488 2271 0 362184 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1470184 KiB
Current children cumulated memory: 1179652 KiB

Child status: 10

Real time (s): 3611.31
CPU time (s): 3600.11
CPU user time (s): 3598.25
CPU system time (s): 1.86118
CPU usage (%): 99.6898
Max. virtual memory (cumulated for all children) (KiB): 1740424
Max. memory (cumulated for all children) (KiB): 1329880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.25
system time used= 1.86118
maximum resident set size= 1329880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271619
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= 171
involuntary context switches= 1736


# summary of solver processes directly reported to runsolver:
#   pid: 38944
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3598.25
#   total CPU system time (s): 1.86118

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75544 second user time and 15.4065 second system time

The end