runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62983 MiB free)
  memory of node 1: 64465 MiB (63919 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483627-1751579235/watcher-4483627-1751579235 -o /tmp/evaluation-result-4483627-1751579235/solver-4483627-1751579235 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751579235-81448 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1071170395 --ls=360 HOME/instance-4483627-1751579235.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
solver pid=81493, runsolver pid=81488
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 2.57 3.73 3.96 5/264 81506
/proc/meminfo: memFree=129931568/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=12252 CPUtime=0.1 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2559 0 0 0 10 0 0 0 20 0 1 0 73600101 36536320 3063 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3063 1024 1200 0 7400 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 12252 KiB

[startup+0.205486 s]*
/proc/loadavg: 2.57 3.73 3.96 6/264 81506
/proc/meminfo: memFree=129931744/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=12252 CPUtime=0.2 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2559 0 0 0 20 0 0 0 20 0 1 0 73600101 36536320 3063 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3063 1024 1200 0 7400 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 12252 KiB

[startup+0.305143 s]*
/proc/loadavg: 2.57 3.73 3.96 5/264 81506
/proc/meminfo: memFree=129931744/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=12252 CPUtime=0.3 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2559 0 0 0 30 0 0 0 20 0 1 0 73600101 36536320 3063 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3063 1024 1200 0 7400 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 12252 KiB

[startup+0.700113 s]
/proc/loadavg: 2.57 3.73 3.96 5/264 81506
/proc/meminfo: memFree=129931744/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=12252 CPUtime=0.69 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2559 0 0 0 69 0 0 0 20 0 1 0 73600101 36536320 3063 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3063 1024 1200 0 7400 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 12252 KiB

[startup+1.50011 s]
/proc/loadavg: 2.57 3.73 3.96 5/264 81506
/proc/meminfo: memFree=129931920/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=12252 CPUtime=1.49 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2559 0 0 0 149 0 0 0 20 0 1 0 73600101 36536320 3063 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3063 1024 1200 0 7400 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 12252 KiB

[startup+3.10478 s]
/proc/loadavg: 2.69 3.74 3.97 5/264 81506
/proc/meminfo: memFree=129932328/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=12252 CPUtime=3.09 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2559 0 0 0 309 0 0 0 20 0 1 0 73600101 36536320 3063 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3063 1024 1200 0 7400 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 12252 KiB

[startup+6.3001 s]
/proc/loadavg: 2.69 3.74 3.97 5/264 81506
/proc/meminfo: memFree=129932416/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=12252 CPUtime=6.27 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2559 0 0 0 627 0 0 0 20 0 1 0 73600101 36536320 3063 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3063 1024 1200 0 7400 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 12252 KiB

[startup+12.7001 s]
/proc/loadavg: 2.89 3.75 3.97 5/264 81507
/proc/meminfo: memFree=129932892/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=12252 CPUtime=12.65 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2559 0 0 0 1265 0 0 0 20 0 1 0 73600101 36536320 3063 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3063 1024 1200 0 7400 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 12252 KiB

[startup+25.5001 s]
/proc/loadavg: 3.06 3.76 3.97 5/264 81507
/proc/meminfo: memFree=129932748/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=12252 CPUtime=25.41 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2559 0 0 0 2541 0 0 0 20 0 1 0 73600101 36536320 3063 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3063 1024 1200 0 7400 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 12252 KiB

[startup+51.1048 s]
/proc/loadavg: 3.38 3.78 3.97 5/264 81507
/proc/meminfo: memFree=129932688/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=12252 CPUtime=50.93 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2559 0 0 0 5093 0 0 0 20 0 1 0 73600101 36536320 3063 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3063 1024 1200 0 7400 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 12252 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 3.83 3.98 5/265 81510
/proc/meminfo: memFree=129932716/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=13916 CPUtime=101.95 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2562 0 0 0 10195 0 0 0 20 0 1 0 73600101 36536320 3479 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3479 1024 1200 0 7400 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 13916 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.88 3.99 5/266 81513
/proc/meminfo: memFree=129924524/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=13916 CPUtime=161.77 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2568 0 0 0 16177 0 0 0 20 0 1 0 73600101 36536320 3479 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3479 1024 1200 0 7400 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 13916 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.94 4.00 5/266 81515
/proc/meminfo: memFree=129924124/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=13916 CPUtime=221.6 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2572 0 0 0 22159 1 0 0 20 0 1 0 73600101 36536320 3479 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3479 1024 1200 0 7400 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 13916 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 3.95 4.00 5/266 81517
/proc/meminfo: memFree=129924492/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=13916 CPUtime=281.43 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2574 0 0 0 28142 1 0 0 20 0 1 0 73600101 36536320 3479 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3479 1024 1200 0 7400 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 13916 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.99 4.01 5/265 81519
/proc/meminfo: memFree=129923880/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=35680 memory=13916 CPUtime=341.25 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 2576 0 0 0 34124 1 0 0 20 0 1 0 73600101 36536320 3479 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 8920 3479 1024 1200 0 7400 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 35680 KiB
Current children cumulated memory: 13916 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.02 4.01 5/264 81521
/proc/meminfo: memFree=128947320/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=332236 memory=294912 CPUtime=401.08 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 52890 0 0 0 40090 18 0 0 20 0 1 0 73600101 340209664 73728 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 83059 73728 1280 1200 0 81539 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 332236 KiB
Current children cumulated memory: 294912 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.03 4.01 5/262 81525
/proc/meminfo: memFree=128793244/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=508500 memory=410076 CPUtime=460.87 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 75671 0 0 0 46052 35 0 0 20 0 1 0 73600101 520704000 102519 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 127125 102519 1280 1200 0 125605 0
Current children cumulated CPU time: 460.87 s
Current children cumulated vsize: 508500 KiB

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

Current children cumulated memory: 759916 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 81899
/proc/meminfo: memFree=128128096/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=896160 memory=762092 CPUtime=2853.6 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 134318 0 0 0 284600 760 0 0 20 0 1 0 73600101 917667840 190523 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 224040 190523 1280 1200 0 222520 0
Current children cumulated CPU time: 2853.6 s
Current children cumulated vsize: 896160 KiB
Current children cumulated memory: 762092 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/265 81906
/proc/meminfo: memFree=128107700/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=903076 memory=766188 CPUtime=2913.4 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 135583 0 0 0 290564 776 0 0 20 0 1 0 73600101 924749824 191547 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 225769 191547 1280 1200 0 224249 0
Current children cumulated CPU time: 2913.4 s
Current children cumulated vsize: 903076 KiB
Current children cumulated memory: 766188 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 81908
/proc/meminfo: memFree=127934244/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=903468 memory=766572 CPUtime=2973.22 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 135681 0 0 0 296526 796 0 0 20 0 1 0 73600101 925151232 191643 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 225867 191643 1280 1200 0 224347 0
Current children cumulated CPU time: 2973.22 s
Current children cumulated vsize: 903468 KiB
Current children cumulated memory: 766572 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 81910
/proc/meminfo: memFree=127769660/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=904044 memory=767212 CPUtime=3033.03 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 136081 0 0 0 302487 816 0 0 20 0 1 0 73600101 925741056 191803 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 226011 191803 1280 1200 0 224491 0
Current children cumulated CPU time: 3033.03 s
Current children cumulated vsize: 904044 KiB
Current children cumulated memory: 767212 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 81912
/proc/meminfo: memFree=127685264/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=904428 memory=767596 CPUtime=3092.86 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 136236 0 0 0 308455 831 0 0 20 0 1 0 73600101 926134272 191899 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 226107 191899 1280 1200 0 224587 0
Current children cumulated CPU time: 3092.86 s
Current children cumulated vsize: 904428 KiB
Current children cumulated memory: 767596 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 81914
/proc/meminfo: memFree=127622952/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=906348 memory=769132 CPUtime=3152.68 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 136624 0 0 0 314416 852 0 0 20 0 1 0 73600101 928100352 192283 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 226587 192283 1280 1200 0 225067 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 906348 KiB
Current children cumulated memory: 769132 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 81917
/proc/meminfo: memFree=127604744/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=909612 memory=771820 CPUtime=3212.49 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 137600 0 0 0 320381 868 0 0 20 0 1 0 73600101 931442688 192955 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 227403 192955 1280 1200 0 225883 0
Current children cumulated CPU time: 3212.49 s
Current children cumulated vsize: 909612 KiB
Current children cumulated memory: 771820 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 81919
/proc/meminfo: memFree=127567816/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=911148 memory=773356 CPUtime=3272.32 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 137996 0 0 0 326344 888 0 0 20 0 1 0 73600101 933015552 193339 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 227787 193339 1280 1200 0 226267 0
Current children cumulated CPU time: 3272.32 s
Current children cumulated vsize: 911148 KiB
Current children cumulated memory: 773356 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 81921
/proc/meminfo: memFree=127541472/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=911916 memory=774124 CPUtime=3332.13 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 138316 0 0 0 332305 908 0 0 20 0 1 0 73600101 933801984 193531 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 227979 193531 1280 1200 0 226459 0
Current children cumulated CPU time: 3332.13 s
Current children cumulated vsize: 911916 KiB
Current children cumulated memory: 774124 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 81923
/proc/meminfo: memFree=127536068/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=912052 memory=774252 CPUtime=3391.95 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 138587 0 0 0 338269 926 0 0 20 0 1 0 73600101 933941248 193563 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 228013 193563 1280 1200 0 226493 0
Current children cumulated CPU time: 3391.95 s
Current children cumulated vsize: 912052 KiB
Current children cumulated memory: 774252 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 81928
/proc/meminfo: memFree=127515576/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=912408 memory=774636 CPUtime=3451.76 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 138677 0 0 0 344232 944 0 0 20 0 1 0 73600101 934305792 193659 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 228102 193659 1280 1200 0 226582 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 912408 KiB
Current children cumulated memory: 774636 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 81935
/proc/meminfo: memFree=127491060/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=916708 memory=777836 CPUtime=3511.58 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 139731 0 0 0 350198 960 0 0 20 0 1 0 73600101 938708992 194459 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 229177 194459 1280 1200 0 227657 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 916708 KiB
Current children cumulated memory: 777836 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 81937
/proc/meminfo: memFree=127460804/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=921260 memory=781164 CPUtime=3571.4 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 140635 0 0 0 356164 976 0 0 20 0 1 0 73600101 943370240 195291 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 230315 195291 1280 1200 0 228795 0
Current children cumulated CPU time: 3571.4 s
Current children cumulated vsize: 921260 KiB
Current children cumulated memory: 781164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.14 4.10 4.09 5/262 82021
/proc/meminfo: memFree=128563892/131250000 swapFree=33008356/33010684
[pid=81493] ppid=81488 vsize=921804 memory=781676 CPUtime=3600.02 cores=4,6
/proc/81493/stat : 81493 (Exact) R 81488 81493 81437 0 -1 4194304 140771 0 0 0 359015 987 0 0 20 0 1 0 73600101 943927296 195419 18446744073709551615 4198400 9112445 140725521055280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 35311616 140725521058106 140725521058285 140725521058285 140725521063887 0
/proc/81493/statm: 230451 195419 1280 1200 0 228931 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 921804 KiB
Current children cumulated memory: 781676 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.17 s, system=9.87457 s

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

Child status: 10

Real time (s): 3611.01
CPU time (s): 3600.04
CPU user time (s): 3590.17
CPU system time (s): 9.87457
CPU usage (%): 99.6961
Max. virtual memory (cumulated for all children) (KiB): 921804
Max. memory (cumulated for all children) (KiB): 781676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.17
system time used= 9.87458
maximum resident set size= 908428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140773
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= 133
involuntary context switches= 3572


# summary of solver processes directly reported to runsolver:
#   pid: 81493
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3590.17
#   total CPU system time (s): 9.87457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93919 second user time and 15.8058 second system time

The end