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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481753-1751313896/watcher-4481753-1751313896 -o /tmp/evaluation-result-4481753-1751313896/solver-4481753-1751313896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751313534-44107 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1969349560 --ls=360 HOME/instance-4481753-1751313896.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=44285, runsolver pid=44278
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 4.07 3.22 2.70 6/250 44286
/proc/meminfo: memFree=123117720/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=38356 memory=15500 CPUtime=0.1 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 3328 0 0 0 10 0 0 0 20 0 1 0 47069405 39276544 3875 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 9589 3875 1024 1200 0 8069 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38356 KiB
Current children cumulated memory: 15500 KiB

[startup+0.213504 s]*
/proc/loadavg: 4.06 3.23 2.70 5/250 44286
/proc/meminfo: memFree=123104048/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=46824 memory=22324 CPUtime=0.22 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 4916 0 0 0 21 1 0 0 20 0 1 0 47069405 47947776 5581 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 11706 5581 1024 1200 0 10186 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 22324 KiB

[startup+0.313513 s]*
/proc/loadavg: 4.06 3.23 2.70 6/250 44286
/proc/meminfo: memFree=123099952/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=48936 memory=28724 CPUtime=0.32 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 5480 0 0 0 31 1 0 0 20 0 1 0 47069405 50110464 7181 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 12234 7181 1024 1200 0 10714 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 48936 KiB
Current children cumulated memory: 28724 KiB

[startup+0.700316 s]
/proc/loadavg: 4.06 3.23 2.70 5/250 44286
/proc/meminfo: memFree=123056856/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=72880 memory=51168 CPUtime=0.69 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 8795 0 0 0 67 2 0 0 20 0 1 0 47069405 74629120 12792 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 18220 12792 1024 1200 0 16700 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 51168 KiB

[startup+1.50034 s]
/proc/loadavg: 4.06 3.23 2.70 6/250 44286
/proc/meminfo: memFree=123049596/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=72880 memory=51168 CPUtime=1.49 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 8795 0 0 0 147 2 0 0 20 0 1 0 47069405 74629120 12792 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 18220 12792 1024 1200 0 16700 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 51168 KiB

[startup+3.11343 s]
/proc/loadavg: 4.06 3.23 2.70 6/250 44331
/proc/meminfo: memFree=123018752/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=72880 memory=51168 CPUtime=3.09 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 8802 0 0 0 307 2 0 0 20 0 1 0 47069405 74629120 12792 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 18220 12792 1024 1200 0 16700 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 51168 KiB

[startup+6.30032 s]
/proc/loadavg: 4.06 3.25 2.71 6/250 44331
/proc/meminfo: memFree=123002720/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=72880 memory=51168 CPUtime=6.27 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 8809 0 0 0 625 2 0 0 20 0 1 0 47069405 74629120 12792 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 18220 12792 1024 1200 0 16700 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 51168 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 3.26 2.72 6/250 44331
/proc/meminfo: memFree=122999040/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=72880 memory=51168 CPUtime=12.65 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 8816 0 0 0 1263 2 0 0 20 0 1 0 47069405 74629120 12792 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 18220 12792 1024 1200 0 16700 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 51168 KiB

[startup+25.5004 s]
/proc/loadavg: 4.04 3.28 2.73 6/250 44331
/proc/meminfo: memFree=122976456/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=72880 memory=51424 CPUtime=25.41 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 8894 0 0 0 2539 2 0 0 20 0 1 0 47069405 74629120 12856 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 18220 12856 1024 1200 0 16700 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 51424 KiB

[startup+51.1133 s]
/proc/loadavg: 4.08 3.37 2.78 6/250 44332
/proc/meminfo: memFree=122963176/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=72880 memory=51424 CPUtime=50.93 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 8907 0 0 0 5091 2 0 0 20 0 1 0 47069405 74629120 12856 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 18220 12856 1024 1200 0 16700 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 51424 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 3.50 2.86 6/251 44335
/proc/meminfo: memFree=122965284/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=72880 memory=51424 CPUtime=101.94 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 8921 0 0 0 10192 2 0 0 20 0 1 0 47069405 74629120 12856 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 18220 12856 1024 1200 0 16700 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 51424 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 3.61 2.93 6/252 44338
/proc/meminfo: memFree=122940480/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=72880 memory=51424 CPUtime=161.74 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 8928 0 0 0 16172 2 0 0 20 0 1 0 47069405 74629120 12856 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 18220 12856 1024 1200 0 16700 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 51424 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.71 3.02 6/251 44340
/proc/meminfo: memFree=122903932/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=72880 memory=53600 CPUtime=221.55 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 8949 0 0 0 22153 2 0 0 20 0 1 0 47069405 74629120 13400 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 18220 13400 1024 1200 0 16700 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 53600 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.78 3.08 6/251 44342
/proc/meminfo: memFree=122881336/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=72880 memory=53600 CPUtime=281.42 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 8969 0 0 0 28140 2 0 0 20 0 1 0 47069405 74629120 13400 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 18220 13400 1024 1200 0 16700 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 53600 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 3.87 3.16 6/251 44344
/proc/meminfo: memFree=122893276/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=72880 memory=53600 CPUtime=341.28 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 8969 0 0 0 34126 2 0 0 20 0 1 0 47069405 74629120 13400 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 18220 13400 1024 1200 0 16700 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 53600 KiB

[startup+402.3 s]
/proc/loadavg: 4.21 3.93 3.23 6/250 44346
/proc/meminfo: memFree=122382184/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=276472 memory=248112 CPUtime=401.12 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 28973 0 0 0 40102 10 0 0 20 0 1 0 47069405 283107328 62028 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 69118 62028 1280 1200 0 67598 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 276472 KiB
Current children cumulated memory: 248112 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 3.98 3.29 6/249 44348
/proc/meminfo: memFree=122330800/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=291044 memory=263344 CPUtime=460.97 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 32785 0 0 0 46084 13 0 0 20 0 1 0 47069405 298029056 65836 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 72761 65836 1280 1200 0 71241 0

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

Current children cumulated memory: 345908 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/250 44469
/proc/meminfo: memFree=121921416/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=415640 memory=346420 CPUtime=2914.47 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 48203 0 0 0 291362 85 0 0 20 0 1 0 47069405 425615360 86605 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 103910 86605 1280 1200 0 102390 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 415640 KiB
Current children cumulated memory: 346420 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/250 44471
/proc/meminfo: memFree=121936508/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=416480 memory=347316 CPUtime=2974.28 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 48428 0 0 0 297342 86 0 0 20 0 1 0 47069405 426475520 86829 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 104120 86829 1280 1200 0 102600 0
Current children cumulated CPU time: 2974.28 s
Current children cumulated vsize: 416480 KiB
Current children cumulated memory: 347316 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/250 44472
/proc/meminfo: memFree=121936200/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=418696 memory=348852 CPUtime=3034.08 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 48828 0 0 0 303319 89 0 0 20 0 1 0 47069405 428744704 87213 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 104674 87213 1280 1200 0 103154 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 418696 KiB
Current children cumulated memory: 348852 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/251 44475
/proc/meminfo: memFree=121935264/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=420320 memory=351156 CPUtime=3093.88 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 49521 0 0 0 309297 91 0 0 20 0 1 0 47069405 430407680 87789 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 105080 87789 1280 1200 0 103560 0
Current children cumulated CPU time: 3093.88 s
Current children cumulated vsize: 420320 KiB
Current children cumulated memory: 351156 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/251 44477
/proc/meminfo: memFree=121927776/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=421176 memory=351924 CPUtime=3153.69 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 49736 0 0 0 315276 93 0 0 20 0 1 0 47069405 431284224 87981 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 105294 87981 1280 1200 0 103774 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 421176 KiB
Current children cumulated memory: 351924 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/250 44479
/proc/meminfo: memFree=121927032/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=421496 memory=352308 CPUtime=3213.48 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 49817 0 0 0 321254 94 0 0 20 0 1 0 47069405 431611904 88077 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 105374 88077 1280 1200 0 103854 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 421496 KiB
Current children cumulated memory: 352308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/250 44526
/proc/meminfo: memFree=122054640/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=422028 memory=352820 CPUtime=3273.28 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 50082 0 0 0 327232 96 0 0 20 0 1 0 47069405 432156672 88205 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 105507 88205 1280 1200 0 103987 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 422028 KiB
Current children cumulated memory: 352820 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/250 44528
/proc/meminfo: memFree=122036764/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=422968 memory=353716 CPUtime=3333.09 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 50317 0 0 0 333211 98 0 0 20 0 1 0 47069405 433119232 88429 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 105742 88429 1280 1200 0 104222 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 422968 KiB
Current children cumulated memory: 353716 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/249 44541
/proc/meminfo: memFree=122032540/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=423280 memory=354100 CPUtime=3392.89 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 50395 0 0 0 339190 99 0 0 20 0 1 0 47069405 433438720 88525 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 105820 88525 1280 1200 0 104300 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 354100 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/249 44543
/proc/meminfo: memFree=122029584/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=423280 memory=354100 CPUtime=3452.7 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 50524 0 0 0 345170 100 0 0 20 0 1 0 47069405 433438720 88525 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 105820 88525 1280 1200 0 104300 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 423280 KiB
Current children cumulated memory: 354100 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/250 44552
/proc/meminfo: memFree=122026096/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=423828 memory=354612 CPUtime=3512.51 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 50664 0 0 0 351149 102 0 0 20 0 1 0 47069405 433999872 88653 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 105957 88653 1280 1200 0 104437 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 423828 KiB
Current children cumulated memory: 354612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/250 44554
/proc/meminfo: memFree=122024768/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=424684 memory=355508 CPUtime=3572.32 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 50879 0 0 0 357127 105 0 0 20 0 1 0 47069405 434876416 88877 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 106171 88877 1280 1200 0 104651 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 424684 KiB
Current children cumulated memory: 355508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.14 4.10 4.09 6/250 44555
/proc/meminfo: memFree=122024912/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=425112 memory=355892 CPUtime=3600.04 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 51103 0 0 0 359899 105 0 0 20 0 1 0 47069405 435314688 88973 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 106278 88973 1280 1200 0 104758 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 425112 KiB
Current children cumulated memory: 355892 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599 s, system=1.05911 s

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

[startup+3610.11 s]
/proc/loadavg: 4.14 4.10 4.09 6/250 44555
/proc/meminfo: memFree=122024912/131382112 swapFree=33010684/33010684
[pid=44285] ppid=44278 vsize=425112 memory=355892 CPUtime=3600.04 cores=4,6
/proc/44285/stat : 44285 (Exact) R 44278 44285 44096 0 -1 4194304 51103 0 0 0 359899 105 0 0 20 0 1 0 47069405 435314688 88973 18446744073709551615 4198400 9112445 140733549301872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35241984 140733549308218 140733549308397 140733549308397 140733549313999 0
/proc/44285/statm: 106278 88973 1280 1200 0 104758 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 425112 KiB
Current children cumulated memory: 355892 KiB

Child status: 10

Real time (s): 3610.13
CPU time (s): 3600.06
CPU user time (s): 3599
CPU system time (s): 1.05911
CPU usage (%): 99.7212
Max. virtual memory (cumulated for all children) (KiB): 425112
Max. memory (cumulated for all children) (KiB): 355892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599
system time used= 1.05911
maximum resident set size= 418668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51114
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= 52
involuntary context switches= 2338


# summary of solver processes directly reported to runsolver:
#   pid: 44285
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599
#   total CPU system time (s): 1.05911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5933 second user time and 36.441 second system time

The end