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: 63665 MiB (61367 MiB free)
  memory of node 1: 64507 MiB (63668 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486350-1751321481/watcher-4486350-1751321481 -o /tmp/evaluation-result-4486350-1751321481/solver-4486350-1751321481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751314254-46815 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1630746239 --ls=0 --inp-dombreaklim=0 HOME/instance-4486350-1751321481.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=47960, runsolver pid=47957
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.11 4.09 4.09 5/265 47961
/proc/meminfo: memFree=128028588/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=46896 memory=25632 CPUtime=0.1 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 5379 0 0 0 9 1 0 0 20 0 1 0 47825930 48021504 6408 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 11724 6408 1024 1200 0 10204 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46896 KiB
Current children cumulated memory: 25632 KiB

[startup+0.205545 s]*
/proc/loadavg: 4.11 4.09 4.09 5/265 47961
/proc/meminfo: memFree=128012396/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=61304 memory=41548 CPUtime=0.2 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 8210 0 0 0 19 1 0 0 20 0 1 0 47825930 62775296 10387 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 15326 10387 1024 1200 0 13806 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61304 KiB
Current children cumulated memory: 41548 KiB

[startup+0.305471 s]*
/proc/loadavg: 4.11 4.09 4.09 5/265 47961
/proc/meminfo: memFree=127984548/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=90248 memory=72708 CPUtime=0.3 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 14287 0 0 0 27 3 0 0 20 0 1 0 47825930 92413952 18177 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 22562 18177 1184 1200 0 21042 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 90248 KiB
Current children cumulated memory: 72708 KiB

[startup+0.700172 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 47961
/proc/meminfo: memFree=127964260/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=101608 memory=84164 CPUtime=0.69 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 18018 0 0 0 65 4 0 0 20 0 1 0 47825930 104046592 21041 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 25402 21041 1184 1200 0 23882 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 84164 KiB

[startup+1.50018 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 47961
/proc/meminfo: memFree=127972212/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=103804 memory=86596 CPUtime=1.49 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 18563 0 0 0 144 5 0 0 20 0 1 0 47825930 106295296 21649 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 25951 21649 1248 1200 0 24431 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 103804 KiB
Current children cumulated memory: 86596 KiB

[startup+3.10549 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 48002
/proc/meminfo: memFree=128317528/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=107224 memory=98188 CPUtime=3.08 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 19410 0 0 0 303 5 0 0 20 0 1 0 47825930 109797376 24547 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 26806 24547 1248 1200 0 25286 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107224 KiB
Current children cumulated memory: 98188 KiB

[startup+6.30016 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 48007
/proc/meminfo: memFree=128324664/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=116296 memory=109152 CPUtime=6.27 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 21636 0 0 0 622 5 0 0 20 0 1 0 47825930 119087104 27288 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 29074 27288 1248 1200 0 27554 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 116296 KiB
Current children cumulated memory: 109152 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 48007
/proc/meminfo: memFree=128338336/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=135144 memory=120160 CPUtime=12.66 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 23068 0 0 0 1260 6 0 0 20 0 1 0 47825930 138387456 30040 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 33786 30040 1280 1200 0 32266 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 135144 KiB
Current children cumulated memory: 120160 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 48007
/proc/meminfo: memFree=128315992/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=152760 memory=141972 CPUtime=25.42 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 26697 0 0 0 2535 7 0 0 20 0 1 0 47825930 156426240 35493 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 38190 35493 1280 1200 0 36670 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 152760 KiB
Current children cumulated memory: 141972 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 48007
/proc/meminfo: memFree=128277872/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=160932 memory=150696 CPUtime=50.95 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 28377 0 0 0 5088 7 0 0 20 0 1 0 47825930 164794368 37674 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 40233 37674 1280 1200 0 38713 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 160932 KiB
Current children cumulated memory: 150696 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 48009
/proc/meminfo: memFree=128235808/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=199252 memory=165884 CPUtime=102.02 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 32596 0 0 0 10192 10 0 0 20 0 1 0 47825930 204034048 41471 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 49813 41471 1280 1200 0 48293 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 199252 KiB
Current children cumulated memory: 165884 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 48012
/proc/meminfo: memFree=128190628/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=203064 memory=171864 CPUtime=161.86 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 33590 0 0 0 16175 11 0 0 20 0 1 0 47825930 207937536 42966 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 50766 42966 1280 1200 0 49246 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 203064 KiB
Current children cumulated memory: 171864 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/266 48014
/proc/meminfo: memFree=128146816/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=213416 memory=187232 CPUtime=221.69 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 35970 0 0 0 22156 13 0 0 20 0 1 0 47825930 218537984 46808 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 53354 46808 1280 1200 0 51834 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 213416 KiB
Current children cumulated memory: 187232 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 48018
/proc/meminfo: memFree=128129880/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=217284 memory=194400 CPUtime=281.53 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 36895 0 0 0 28140 13 0 0 20 0 1 0 47825930 222498816 48600 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 54321 48600 1280 1200 0 52801 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 217284 KiB
Current children cumulated memory: 194400 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 48025
/proc/meminfo: memFree=128101620/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=224144 memory=200800 CPUtime=341.38 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 38543 0 0 0 34123 15 0 0 20 0 1 0 47825930 229523456 50200 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 56036 50200 1280 1200 0 54516 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 224144 KiB
Current children cumulated memory: 200800 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 48027
/proc/meminfo: memFree=128117040/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=227196 memory=203872 CPUtime=401.24 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 39338 0 0 0 40105 19 0 0 20 0 1 0 47825930 232648704 50968 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 56799 50968 1280 1200 0 55279 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 227196 KiB
Current children cumulated memory: 203872 KiB

[startup+462.3 s]
/proc/loadavg: 4.33 4.15 4.11 5/265 48029
/proc/meminfo: memFree=128068812/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=230292 memory=213056 CPUtime=461.08 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 40174 0 0 0 46088 20 0 0 20 0 1 0 47825930 235819008 53264 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0

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

Current children cumulated memory: 358736 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 48150
/proc/meminfo: memFree=127838772/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=406496 memory=365392 CPUtime=2854.66 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 72271 0 0 0 285351 115 0 0 20 0 1 0 47825930 416251904 91348 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 101624 91348 1280 1200 0 100104 0
Current children cumulated CPU time: 2854.66 s
Current children cumulated vsize: 406496 KiB
Current children cumulated memory: 365392 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 48152
/proc/meminfo: memFree=127838916/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=406496 memory=366160 CPUtime=2914.51 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 72602 0 0 0 291334 117 0 0 20 0 1 0 47825930 416251904 91540 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 101624 91540 1280 1200 0 100104 0
Current children cumulated CPU time: 2914.51 s
Current children cumulated vsize: 406496 KiB
Current children cumulated memory: 366160 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/264 48169
/proc/meminfo: memFree=127834084/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=406496 memory=366160 CPUtime=2974.36 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 72633 0 0 0 297315 121 0 0 20 0 1 0 47825930 416251904 91540 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 101624 91540 1280 1200 0 100104 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 406496 KiB
Current children cumulated memory: 366160 KiB

[startup+3042.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/264 48171
/proc/meminfo: memFree=127840032/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=406496 memory=366160 CPUtime=3034.2 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 72633 0 0 0 303299 121 0 0 20 0 1 0 47825930 416251904 91540 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 101624 91540 1280 1200 0 100104 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 406496 KiB
Current children cumulated memory: 366160 KiB

[startup+3102.3 s]
/proc/loadavg: 4.64 4.30 4.16 5/264 48173
/proc/meminfo: memFree=127843308/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=406496 memory=366160 CPUtime=3094.04 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 72761 0 0 0 309283 121 0 0 20 0 1 0 47825930 416251904 91540 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 101624 91540 1280 1200 0 100104 0
Current children cumulated CPU time: 3094.04 s
Current children cumulated vsize: 406496 KiB
Current children cumulated memory: 366160 KiB

[startup+3162.3 s]
/proc/loadavg: 4.44 4.32 4.18 5/265 48177
/proc/meminfo: memFree=127842900/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=406740 memory=367440 CPUtime=3153.89 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 73090 0 0 0 315264 125 0 0 20 0 1 0 47825930 416501760 91860 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 101685 91860 1280 1200 0 100165 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 406740 KiB
Current children cumulated memory: 367440 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.27 4.17 5/265 48179
/proc/meminfo: memFree=127843252/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=407124 memory=367824 CPUtime=3213.73 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 73186 0 0 0 321247 126 0 0 20 0 1 0 47825930 416894976 91956 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 101781 91956 1280 1200 0 100261 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 407124 KiB
Current children cumulated memory: 367824 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.23 4.16 5/265 48183
/proc/meminfo: memFree=127841916/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=408372 memory=368976 CPUtime=3273.57 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 73618 0 0 0 327229 128 0 0 20 0 1 0 47825930 418172928 92244 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 102093 92244 1280 1200 0 100573 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 408372 KiB
Current children cumulated memory: 368976 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.20 4.16 5/265 48190
/proc/meminfo: memFree=127841716/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=408372 memory=368976 CPUtime=3333.42 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 73647 0 0 0 333212 130 0 0 20 0 1 0 47825930 418172928 92244 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 102093 92244 1280 1200 0 100573 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 408372 KiB
Current children cumulated memory: 368976 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/265 48192
/proc/meminfo: memFree=127834456/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=408988 memory=369616 CPUtime=3393.26 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 73807 0 0 0 339195 131 0 0 20 0 1 0 47825930 418803712 92404 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 102247 92404 1280 1200 0 100727 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 408988 KiB
Current children cumulated memory: 369616 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.16 4.15 5/264 48195
/proc/meminfo: memFree=127830304/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=408988 memory=369616 CPUtime=3453.11 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 73929 0 0 0 345177 134 0 0 20 0 1 0 47825930 418803712 92404 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 102247 92404 1280 1200 0 100727 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 408988 KiB
Current children cumulated memory: 369616 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.14 4.14 5/264 48197
/proc/meminfo: memFree=127820196/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=411088 memory=371792 CPUtime=3512.96 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 74511 0 0 0 351161 135 0 0 20 0 1 0 47825930 420954112 92948 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 102772 92948 1280 1200 0 101252 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 411088 KiB
Current children cumulated memory: 371792 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/264 48199
/proc/meminfo: memFree=127820396/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=411088 memory=371792 CPUtime=3572.8 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 74511 0 0 0 357142 138 0 0 20 0 1 0 47825930 420954112 92948 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 102772 92948 1280 1200 0 101252 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 411088 KiB
Current children cumulated memory: 371792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 3.99 4.11 4.13 4/256 48256
/proc/meminfo: memFree=128152032/131250000 swapFree=33010684/33010684
[pid=47960] ppid=47957 vsize=411088 memory=371792 CPUtime=3600.03 cores=1,3
/proc/47960/stat : 47960 (Exact) R 47957 47960 46803 0 -1 4194304 74511 0 0 0 359865 138 0 0 20 0 1 0 47825930 420954112 92948 18446744073709551615 4198400 9112445 140727891619232 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17068032 140727891626280 140727891626477 140727891626477 140727891632079 0
/proc/47960/statm: 102772 92948 1280 1200 0 101252 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 411088 KiB
Current children cumulated memory: 371792 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.66 s, system=1.39045 s

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

Child status: 10

Real time (s): 3609.61
CPU time (s): 3600.05
CPU user time (s): 3598.66
CPU system time (s): 1.39045
CPU usage (%): 99.7351
Max. virtual memory (cumulated for all children) (KiB): 411088
Max. memory (cumulated for all children) (KiB): 371792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.66
system time used= 1.39045
maximum resident set size= 393968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74519
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= 89
involuntary context switches= 6765


# summary of solver processes directly reported to runsolver:
#   pid: 47960
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.66
#   total CPU system time (s): 1.39045

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76156 second user time and 15.3996 second system time

The end