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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488835-1751353148/watcher-4488835-1751353148 -o /tmp/evaluation-result-4488835-1751353148/solver-4488835-1751353148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751349536-50365 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1005255236 --ls=360 --inp-dombreaklim=0 HOME/instance-4488835-1751353148.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
LinuxStarting watchdog thread86_64 stack expansion will fa

LinuxStarting watchdog thread86_64 stack expansion will fa

solver pid=50739, runsolver pid=50727
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.11 4.11 4.09 5/245 50755
/proc/meminfo: memFree=126144372/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=0.11 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1350 0 0 0 10 1 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+0.217557 s]*
/proc/loadavg: 4.11 4.11 4.09 5/247 50764
/proc/meminfo: memFree=126144416/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=0.22 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1350 0 0 0 21 1 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+0.315388 s]*
/proc/loadavg: 4.11 4.11 4.09 6/246 50769
/proc/meminfo: memFree=126152232/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=0.31 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1350 0 0 0 30 1 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+0.700254 s]
/proc/loadavg: 4.11 4.11 4.09 7/253 50784
/proc/meminfo: memFree=126151588/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=0.67 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1350 0 0 0 66 1 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+1.50024 s]
/proc/loadavg: 4.11 4.11 4.09 6/253 50784
/proc/meminfo: memFree=126151588/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=1.47 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1350 0 0 0 146 1 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+3.11245 s]
/proc/loadavg: 4.10 4.11 4.09 6/253 50784
/proc/meminfo: memFree=126151716/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=3.08 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1350 0 0 0 307 1 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+6.30023 s]
/proc/loadavg: 4.10 4.11 4.09 6/253 50784
/proc/meminfo: memFree=126152576/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=6.25 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1350 0 0 0 624 1 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 6/253 50784
/proc/meminfo: memFree=126152648/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=12.64 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1350 0 0 0 1263 1 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 6/253 50784
/proc/meminfo: memFree=126152652/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=25.4 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1350 0 0 0 2539 1 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+51.1124 s]
/proc/loadavg: 4.10 4.11 4.09 6/253 50785
/proc/meminfo: memFree=126148564/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=50.94 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1352 0 0 0 5092 2 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.08 6/251 50787
/proc/meminfo: memFree=126151912/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=101.98 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1355 0 0 0 10195 3 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/251 50800
/proc/meminfo: memFree=126159772/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=161.8 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1357 0 0 0 16177 3 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/252 50805
/proc/meminfo: memFree=126159308/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=221.63 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1358 0 0 0 22159 4 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/252 50807
/proc/meminfo: memFree=126160020/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=281.45 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1359 0 0 0 28140 5 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/251 50809
/proc/meminfo: memFree=126159292/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=32064 memory=8776 CPUtime=341.29 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 1360 0 0 0 34123 6 0 0 20 0 1 0 50994000 32833536 2194 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 8016 2194 1024 1200 0 6496 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8776 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/251 50815
/proc/meminfo: memFree=125535936/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=266352 memory=201432 CPUtime=401.08 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 37014 0 0 0 40072 36 0 0 20 0 1 0 50994000 272744448 50358 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 66588 50358 1280 1200 0 65068 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 266352 KiB
Current children cumulated memory: 201432 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/250 50817
/proc/meminfo: memFree=125407476/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=299056 memory=227032 CPUtime=460.87 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 43427 0 0 0 46026 61 0 0 20 0 1 0 50994000 306233344 56758 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0

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

Current children cumulated memory: 404368 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.14 6/251 50935
/proc/meminfo: memFree=124713564/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=440724 memory=406672 CPUtime=2913.16 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 75412 0 0 0 290239 1077 0 0 20 0 1 0 50994000 451301376 101668 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 110181 101668 1280 1200 0 108661 0
Current children cumulated CPU time: 2913.16 s
Current children cumulated vsize: 440724 KiB
Current children cumulated memory: 406672 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.13 6/251 50937
/proc/meminfo: memFree=124691644/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=442036 memory=410512 CPUtime=2972.95 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 75868 0 0 0 296192 1103 0 0 20 0 1 0 50994000 452644864 102628 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 110509 102628 1280 1200 0 108989 0
Current children cumulated CPU time: 2972.95 s
Current children cumulated vsize: 442036 KiB
Current children cumulated memory: 410512 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.13 6/251 50939
/proc/meminfo: memFree=124665256/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=442996 memory=415632 CPUtime=3032.76 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 76173 0 0 0 302151 1125 0 0 20 0 1 0 50994000 453627904 103908 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 110749 103908 1280 1200 0 109229 0
Current children cumulated CPU time: 3032.76 s
Current children cumulated vsize: 442996 KiB
Current children cumulated memory: 415632 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.13 6/251 50941
/proc/meminfo: memFree=124685616/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=443628 memory=416272 CPUtime=3092.6 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 76333 0 0 0 308110 1150 0 0 20 0 1 0 50994000 454275072 104068 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 110907 104068 1280 1200 0 109387 0
Current children cumulated CPU time: 3092.6 s
Current children cumulated vsize: 443628 KiB
Current children cumulated memory: 416272 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.13 6/250 50943
/proc/meminfo: memFree=124687168/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=443628 memory=416272 CPUtime=3152.44 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 76466 0 0 0 314068 1176 0 0 20 0 1 0 50994000 454275072 104068 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 110907 104068 1280 1200 0 109387 0
Current children cumulated CPU time: 3152.44 s
Current children cumulated vsize: 443628 KiB
Current children cumulated memory: 416272 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.12 6/250 50947
/proc/meminfo: memFree=124687816/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=445548 memory=417680 CPUtime=3212.26 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 76896 0 0 0 320029 1197 0 0 20 0 1 0 50994000 456241152 104420 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 111387 104420 1280 1200 0 109867 0
Current children cumulated CPU time: 3212.26 s
Current children cumulated vsize: 445548 KiB
Current children cumulated memory: 417680 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.11 6/250 50950
/proc/meminfo: memFree=124669748/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=447308 memory=419216 CPUtime=3272.1 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 77260 0 0 0 325989 1221 0 0 20 0 1 0 50994000 458043392 104804 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 111827 104804 1280 1200 0 110307 0
Current children cumulated CPU time: 3272.1 s
Current children cumulated vsize: 447308 KiB
Current children cumulated memory: 419216 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.11 6/250 50951
/proc/meminfo: memFree=124682928/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=448236 memory=420112 CPUtime=3331.93 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 77620 0 0 0 331952 1241 0 0 20 0 1 0 50994000 458993664 105028 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 112059 105028 1280 1200 0 110539 0
Current children cumulated CPU time: 3331.93 s
Current children cumulated vsize: 448236 KiB
Current children cumulated memory: 420112 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.10 6/251 50958
/proc/meminfo: memFree=124676292/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=450572 memory=421776 CPUtime=3391.77 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 78108 0 0 0 337910 1267 0 0 20 0 1 0 50994000 461385728 105444 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 112643 105444 1280 1200 0 111123 0
Current children cumulated CPU time: 3391.77 s
Current children cumulated vsize: 450572 KiB
Current children cumulated memory: 421776 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.10 6/251 50960
/proc/meminfo: memFree=124668680/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=451532 memory=422800 CPUtime=3451.6 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 78353 0 0 0 343869 1291 0 0 20 0 1 0 50994000 462368768 105700 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 112883 105700 1280 1200 0 111363 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 451532 KiB
Current children cumulated memory: 422800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.10 6/251 50962
/proc/meminfo: memFree=124664004/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=453556 memory=424464 CPUtime=3511.44 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 78899 0 0 0 349827 1317 0 0 20 0 1 0 50994000 464441344 106116 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 113389 106116 1280 1200 0 111869 0
Current children cumulated CPU time: 3511.44 s
Current children cumulated vsize: 453556 KiB
Current children cumulated memory: 424464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.09 6/251 50965
/proc/meminfo: memFree=124665520/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=455316 memory=425744 CPUtime=3571.27 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 79279 0 0 0 355786 1341 0 0 20 0 1 0 50994000 466243584 106436 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 113829 106436 1280 1200 0 112309 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 455316 KiB
Current children cumulated memory: 425744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.08 4.09 4.09 2/239 50991
/proc/meminfo: memFree=125677840/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=456672 memory=426640 CPUtime=3600.01 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 79518 0 0 0 358648 1353 0 0 20 0 1 0 50994000 467632128 106660 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 114168 106660 1280 1200 0 112648 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 456672 KiB
Current children cumulated memory: 426640 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.49 s, system=13.5393 s

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

[startup+3611.11 s]
/proc/loadavg: 4.08 4.09 4.09 2/239 50991
/proc/meminfo: memFree=125677840/131382116 swapFree=33010160/33010684
[pid=50739] ppid=50727 vsize=456672 memory=426640 CPUtime=3600.01 cores=5,7
/proc/50739/stat : 50739 (Exact) R 50727 50739 50352 0 -1 4194304 79518 0 0 0 358648 1353 0 0 20 0 1 0 50994000 467632128 106660 18446744073709551615 4198400 9112445 140725489856016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17715200 140725489858854 140725489859053 140725489859053 140725489864655 0
/proc/50739/statm: 114168 106660 1280 1200 0 112648 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 456672 KiB
Current children cumulated memory: 426640 KiB

Child status: 10

Real time (s): 3611.12
CPU time (s): 3600.03
CPU user time (s): 3586.49
CPU system time (s): 13.5393
CPU usage (%): 99.6929
Max. virtual memory (cumulated for all children) (KiB): 456672
Max. memory (cumulated for all children) (KiB): 426640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.49
system time used= 13.5393
maximum resident set size= 426640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79520
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= 127
involuntary context switches= 2801


# summary of solver processes directly reported to runsolver:
#   pid: 50739
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3586.49
#   total CPU system time (s): 13.5393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5627 second user time and 33.4479 second system time

The end