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: 63794 MiB (61648 MiB free)
  memory of node 1: 64507 MiB (62479 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484051-1751276976/watcher-4484051-1751276976 -o /tmp/evaluation-result-4484051-1751276976/solver-4484051-1751276976 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751268232-37578 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=122838514 --ls=360 --inp-dombreaklim=0 HOME/instance-4484051-1751276976.opb 

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=38762, runsolver pid=38759

[startup+0.100025 s]*
/proc/loadavg: 4.14 4.13 4.16 5/252 38763
/proc/meminfo: memFree=127102032/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=11936 CPUtime=0.1 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2280 0 0 0 10 0 0 0 20 0 1 0 43376946 36290560 2984 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 2984 1024 1200 0 7340 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 11936 KiB

[startup+0.213828 s]*
/proc/loadavg: 4.14 4.13 4.16 5/252 38763
/proc/meminfo: memFree=127102032/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=11936 CPUtime=0.21 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2280 0 0 0 21 0 0 0 20 0 1 0 43376946 36290560 2984 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 2984 1024 1200 0 7340 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 11936 KiB

[startup+0.313729 s]*
/proc/loadavg: 4.14 4.13 4.16 5/252 38763
/proc/meminfo: memFree=127102160/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=11936 CPUtime=0.31 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2280 0 0 0 31 0 0 0 20 0 1 0 43376946 36290560 2984 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 2984 1024 1200 0 7340 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 11936 KiB

[startup+0.700333 s]
/proc/loadavg: 4.14 4.13 4.16 5/252 38763
/proc/meminfo: memFree=127101972/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=11936 CPUtime=0.68 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2280 0 0 0 68 0 0 0 20 0 1 0 43376946 36290560 2984 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 2984 1024 1200 0 7340 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 11936 KiB

[startup+1.50035 s]
/proc/loadavg: 4.14 4.13 4.16 5/252 38763
/proc/meminfo: memFree=127101972/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=11936 CPUtime=1.48 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2280 0 0 0 148 0 0 0 20 0 1 0 43376946 36290560 2984 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 2984 1024 1200 0 7340 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 11936 KiB

[startup+3.11343 s]
/proc/loadavg: 4.13 4.13 4.15 5/252 38763
/proc/meminfo: memFree=127101728/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=11936 CPUtime=3.09 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2280 0 0 0 309 0 0 0 20 0 1 0 43376946 36290560 2984 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 2984 1024 1200 0 7340 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 11936 KiB

[startup+6.30032 s]
/proc/loadavg: 4.13 4.13 4.15 5/252 38763
/proc/meminfo: memFree=127101256/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=11936 CPUtime=6.27 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2280 0 0 0 627 0 0 0 20 0 1 0 43376946 36290560 2984 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 2984 1024 1200 0 7340 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 11936 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.15 5/252 38763
/proc/meminfo: memFree=127100256/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=11936 CPUtime=12.65 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2280 0 0 0 1265 0 0 0 20 0 1 0 43376946 36290560 2984 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 2984 1024 1200 0 7340 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 11936 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.13 4.16 5/251 38808
/proc/meminfo: memFree=127877792/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=11936 CPUtime=25.4 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2280 0 0 0 2536 4 0 0 20 0 1 0 43376946 36290560 2984 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 2984 1024 1200 0 7340 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 11936 KiB

[startup+51.1133 s]
/proc/loadavg: 4.19 4.14 4.16 5/251 38809
/proc/meminfo: memFree=127869852/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=13600 CPUtime=50.95 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2283 0 0 0 5091 4 0 0 20 0 1 0 43376946 36290560 3400 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 3400 1024 1200 0 7340 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13600 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/253 38860
/proc/meminfo: memFree=127931052/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=13600 CPUtime=102 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2285 0 0 0 10195 5 0 0 20 0 1 0 43376946 36290560 3400 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 3400 1024 1200 0 7340 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13600 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/252 38862
/proc/meminfo: memFree=127939740/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=13600 CPUtime=161.87 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2287 0 0 0 16182 5 0 0 20 0 1 0 43376946 36290560 3400 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 3400 1024 1200 0 7340 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13600 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/252 38864
/proc/meminfo: memFree=127912972/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=13600 CPUtime=221.73 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2288 0 0 0 22168 5 0 0 20 0 1 0 43376946 36290560 3400 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 3400 1024 1200 0 7340 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13600 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/251 38866
/proc/meminfo: memFree=127885224/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=13600 CPUtime=281.59 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2289 0 0 0 28154 5 0 0 20 0 1 0 43376946 36290560 3400 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 3400 1024 1200 0 7340 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13600 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/252 38875
/proc/meminfo: memFree=127864112/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=35440 memory=13600 CPUtime=341.46 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 2290 0 0 0 34141 5 0 0 20 0 1 0 43376946 36290560 3400 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 8860 3400 1024 1200 0 7340 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13600 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/253 38922
/proc/meminfo: memFree=127682032/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=181792 memory=154040 CPUtime=401.28 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 28740 0 0 0 40101 27 0 0 20 0 1 0 43376946 186155008 38510 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 45448 38510 1248 1200 0 43928 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 181792 KiB
Current children cumulated memory: 154040 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/251 38969
/proc/meminfo: memFree=127653656/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=196840 memory=168376 CPUtime=461.08 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 32331 0 0 0 46057 51 0 0 20 0 1 0 43376946 201564160 42094 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 49210 42094 1248 1200 0 47690 0
Current children cumulated CPU time: 461.08 s

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

Current children cumulated memory: 316584 KiB

[startup+2862.3 s]
/proc/loadavg: 3.70 4.00 4.06 4/245 39168
/proc/meminfo: memFree=124087632/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=348512 memory=317992 CPUtime=2854.38 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 64633 0 0 0 284605 833 0 0 20 0 1 0 43376946 356876288 79498 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 87128 79498 1248 1200 0 85608 0
Current children cumulated CPU time: 2854.38 s
Current children cumulated vsize: 348512 KiB
Current children cumulated memory: 317992 KiB

[startup+2922.3 s]
/proc/loadavg: 3.30 3.83 3.99 4/245 39170
/proc/meminfo: memFree=124021308/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=348704 memory=318120 CPUtime=2914.18 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 64684 0 0 0 290563 855 0 0 20 0 1 0 43376946 357072896 79530 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 87176 79530 1248 1200 0 85656 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 348704 KiB
Current children cumulated memory: 318120 KiB

[startup+2982.3 s]
/proc/loadavg: 3.23 3.71 3.94 4/245 39172
/proc/meminfo: memFree=124000320/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=350492 memory=319912 CPUtime=2973.98 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 65111 0 0 0 296523 875 0 0 20 0 1 0 43376946 358903808 79978 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 87623 79978 1248 1200 0 86103 0
Current children cumulated CPU time: 2973.98 s
Current children cumulated vsize: 350492 KiB
Current children cumulated memory: 319912 KiB

[startup+3042.3 s]
/proc/loadavg: 3.54 3.69 3.92 4/245 39174
/proc/meminfo: memFree=123982608/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=350724 memory=320296 CPUtime=3033.8 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 65234 0 0 0 302485 895 0 0 20 0 1 0 43376946 359141376 80074 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 87681 80074 1248 1200 0 86161 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 350724 KiB
Current children cumulated memory: 320296 KiB

[startup+3102.3 s]
/proc/loadavg: 3.54 3.68 3.90 4/244 39175
/proc/meminfo: memFree=123952868/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=351972 memory=321320 CPUtime=3093.6 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 65509 0 0 0 308448 912 0 0 20 0 1 0 43376946 360419328 80330 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 87993 80330 1248 1200 0 86473 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 351972 KiB
Current children cumulated memory: 321320 KiB

[startup+3162.3 s]
/proc/loadavg: 3.30 3.59 3.85 4/243 39177
/proc/meminfo: memFree=123962652/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=351972 memory=321448 CPUtime=3153.42 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 65544 0 0 0 314409 933 0 0 20 0 1 0 43376946 360419328 80362 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 87993 80362 1248 1200 0 86473 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 351972 KiB
Current children cumulated memory: 321448 KiB

[startup+3222.3 s]
/proc/loadavg: 3.16 3.49 3.80 4/244 39180
/proc/meminfo: memFree=123909260/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=353124 memory=322600 CPUtime=3213.22 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 65832 0 0 0 320371 951 0 0 20 0 1 0 43376946 361598976 80650 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 88281 80650 1248 1200 0 86761 0
Current children cumulated CPU time: 3213.22 s
Current children cumulated vsize: 353124 KiB
Current children cumulated memory: 322600 KiB

[startup+3282.3 s]
/proc/loadavg: 3.44 3.50 3.78 4/244 39182
/proc/meminfo: memFree=123886864/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=353124 memory=322600 CPUtime=3273.02 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 65835 0 0 0 326332 970 0 0 20 0 1 0 43376946 361598976 80650 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 88281 80650 1248 1200 0 86761 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 353124 KiB
Current children cumulated memory: 322600 KiB

[startup+3342.3 s]
/proc/loadavg: 3.60 3.56 3.79 4/244 39184
/proc/meminfo: memFree=123880328/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=354908 memory=324008 CPUtime=3332.84 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 66200 0 0 0 332294 990 0 0 20 0 1 0 43376946 363425792 81002 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 88727 81002 1248 1200 0 87207 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 354908 KiB
Current children cumulated memory: 324008 KiB

[startup+3402.3 s]
/proc/loadavg: 3.26 3.47 3.74 4/244 39186
/proc/meminfo: memFree=123873272/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=355676 memory=324520 CPUtime=3392.64 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 66346 0 0 0 338256 1008 0 0 20 0 1 0 43376946 364212224 81130 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 88919 81130 1248 1200 0 87399 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 355676 KiB
Current children cumulated memory: 324520 KiB

[startup+3462.3 s]
/proc/loadavg: 3.20 3.41 3.70 4/245 39195
/proc/meminfo: memFree=123859796/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=355812 memory=324904 CPUtime=3452.45 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 66466 0 0 0 344217 1028 0 0 20 0 1 0 43376946 364351488 81226 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 88953 81226 1248 1200 0 87433 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 355812 KiB
Current children cumulated memory: 324904 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.35 3.66 4/244 39197
/proc/meminfo: memFree=123844452/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=356676 memory=325800 CPUtime=3512.25 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 66665 0 0 0 350179 1046 0 0 20 0 1 0 43376946 365236224 81450 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 89169 81450 1248 1200 0 87649 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 356676 KiB
Current children cumulated memory: 325800 KiB

[startup+3582.3 s]
/proc/loadavg: 3.16 3.31 3.63 4/244 39199
/proc/meminfo: memFree=123828828/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=357348 memory=326312 CPUtime=3572.06 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 66807 0 0 0 356143 1063 0 0 20 0 1 0 43376946 365924352 81578 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 89337 81578 1248 1200 0 87817 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 357348 KiB
Current children cumulated memory: 326312 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 3.10 3.28 3.61 4/244 39201
/proc/meminfo: memFree=123821268/131382120 swapFree=33010416/33010684
[pid=38762] ppid=38759 vsize=357348 memory=326312 CPUtime=3600.08 cores=1,3
/proc/38762/stat : 38762 (Exact) R 38759 38762 37559 0 -1 4194304 66821 0 0 0 358934 1074 0 0 20 0 1 0 43376946 365924352 81578 18446744073709551615 4198400 9112445 140723433390288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 14962688 140723433396519 140723433396717 140723433396717 140723433402319 0
/proc/38762/statm: 89337 81578 1248 1200 0 87817 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 357348 KiB
Current children cumulated memory: 326312 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.35 s, system=10.7488 s

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

Child status: 10

Real time (s): 3610.41
CPU time (s): 3600.1
CPU user time (s): 3589.35
CPU system time (s): 10.7488
CPU usage (%): 99.7143
Max. virtual memory (cumulated for all children) (KiB): 357348
Max. memory (cumulated for all children) (KiB): 326312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.35
system time used= 10.7488
maximum resident set size= 326440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66823
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= 60
involuntary context switches= 2227


# summary of solver processes directly reported to runsolver:
#   pid: 38762
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3589.35
#   total CPU system time (s): 10.7488

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3927 second user time and 35.0667 second system time

The end