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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521051-1751573486/watcher-4521051-1751573486 -o /tmp/evaluation-result-4521051-1751573486/solver-4521051-1751573486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751569512-80915 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1028441656 --ls=360 --inp-dombreaklim=0 HOME/instance-4521051-1751573486.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
Starting watchdog thread
solver pid=81450, runsolver pid=81447
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 4.09 4.11 4.15 5/251 81451
/proc/meminfo: memFree=127864680/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=38232 memory=17020 CPUtime=0.11 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 3365 0 0 0 10 1 0 0 20 0 1 0 73028036 39149568 4255 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 9558 4255 1024 1200 0 8038 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 38232 KiB
Current children cumulated memory: 17020 KiB

[startup+0.214485 s]*
/proc/loadavg: 4.09 4.11 4.15 5/251 81451
/proc/meminfo: memFree=127851072/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=43864 memory=22384 CPUtime=0.21 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 4663 0 0 0 20 1 0 0 20 0 1 0 73028036 44916736 5596 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 10966 5596 1024 1200 0 9446 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43864 KiB
Current children cumulated memory: 22384 KiB

[startup+0.313933 s]*
/proc/loadavg: 4.09 4.11 4.15 5/251 81451
/proc/meminfo: memFree=127835384/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=51804 memory=28968 CPUtime=0.31 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 6157 0 0 0 30 1 0 0 20 0 1 0 73028036 53047296 7242 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 12951 7242 1024 1200 0 11431 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51804 KiB
Current children cumulated memory: 28968 KiB

[startup+0.700277 s]
/proc/loadavg: 4.09 4.11 4.15 5/251 81451
/proc/meminfo: memFree=127754736/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=71120 memory=49316 CPUtime=0.69 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 9973 0 0 0 66 3 0 0 20 0 1 0 73028036 72826880 12329 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 17780 12329 1024 1200 0 16260 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71120 KiB
Current children cumulated memory: 49316 KiB

[startup+1.50032 s]
/proc/loadavg: 4.16 4.13 4.15 5/251 81451
/proc/meminfo: memFree=127347556/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=213908 memory=173592 CPUtime=1.49 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 28807 0 0 0 139 10 0 0 20 0 1 0 73028036 219041792 43398 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 53477 43398 1024 1200 0 51957 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 213908 KiB
Current children cumulated memory: 173592 KiB

[startup+3.1137 s]
/proc/loadavg: 4.16 4.13 4.15 5/251 81451
/proc/meminfo: memFree=127226496/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=236444 memory=202324 CPUtime=3.09 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 33247 0 0 0 297 12 0 0 20 0 1 0 73028036 242118656 50581 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 59111 50581 1024 1200 0 57591 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 202324 KiB

[startup+6.30032 s]
/proc/loadavg: 4.15 4.13 4.15 5/251 81451
/proc/meminfo: memFree=127237668/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=236444 memory=202324 CPUtime=6.27 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 33276 0 0 0 615 12 0 0 20 0 1 0 73028036 242118656 50581 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 59111 50581 1024 1200 0 57591 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 202324 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.12 4.15 5/251 81451
/proc/meminfo: memFree=127191400/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=236444 memory=203220 CPUtime=12.65 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 33523 0 0 0 1253 12 0 0 20 0 1 0 73028036 242118656 50805 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 59111 50805 1024 1200 0 57591 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 203220 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.12 4.15 5/251 81451
/proc/meminfo: memFree=127187304/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=236444 memory=203220 CPUtime=25.41 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 33529 0 0 0 2529 12 0 0 20 0 1 0 73028036 242118656 50805 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 59111 50805 1024 1200 0 57591 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 203220 KiB

[startup+51.1136 s]
/proc/loadavg: 4.14 4.12 4.15 5/250 81452
/proc/meminfo: memFree=127179240/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=236444 memory=203220 CPUtime=50.94 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 33581 0 0 0 5082 12 0 0 20 0 1 0 73028036 242118656 50805 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 59111 50805 1024 1200 0 57591 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 203220 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/249 81454
/proc/meminfo: memFree=127149420/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=236444 memory=203220 CPUtime=101.97 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 33610 0 0 0 10185 12 0 0 20 0 1 0 73028036 242118656 50805 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 59111 50805 1024 1200 0 57591 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 203220 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/249 81456
/proc/meminfo: memFree=127106224/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=236444 memory=203220 CPUtime=161.77 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 33645 0 0 0 16165 12 0 0 20 0 1 0 73028036 242118656 50805 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 59111 50805 1024 1200 0 57591 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 203220 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/250 81459
/proc/meminfo: memFree=127107600/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=236444 memory=203220 CPUtime=221.59 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 33697 0 0 0 22147 12 0 0 20 0 1 0 73028036 242118656 50805 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 59111 50805 1024 1200 0 57591 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 203220 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/251 81466
/proc/meminfo: memFree=127093460/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=236444 memory=203220 CPUtime=281.4 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 33697 0 0 0 28128 12 0 0 20 0 1 0 73028036 242118656 50805 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 59111 50805 1024 1200 0 57591 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 203220 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.13 5/251 81468
/proc/meminfo: memFree=127060572/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=236444 memory=203220 CPUtime=341.19 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 33726 0 0 0 34107 12 0 0 20 0 1 0 73028036 242118656 50805 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 59111 50805 1024 1200 0 57591 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 203220 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/251 81472
/proc/meminfo: memFree=126575572/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=539672 memory=515072 CPUtime=400.98 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 61119 0 0 0 40074 24 0 0 20 0 1 0 73028036 552624128 128768 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 134918 128768 1280 1200 0 133398 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 539672 KiB
Current children cumulated memory: 515072 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/251 81474
/proc/meminfo: memFree=126495124/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=614520 memory=554796 CPUtime=460.79 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 62847 0 0 0 46052 27 0 0 20 0 1 0 73028036 629268480 138699 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 153630 138699 1280 1200 0 152110 0
Current children cumulated CPU time: 460.79 s

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

Current children cumulated memory: 759892 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.10 4.10 5/251 81590
/proc/meminfo: memFree=126093032/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=2852.63 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 74491 0 0 0 285139 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 2852.63 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 81593
/proc/meminfo: memFree=126093776/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=2912.46 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 74496 0 0 0 291122 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 2912.46 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 81606
/proc/meminfo: memFree=126090508/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=2972.28 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 74617 0 0 0 297104 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 2972.28 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 81608
/proc/meminfo: memFree=126092460/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=3032.1 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 74634 0 0 0 303086 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 3032.1 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 81610
/proc/meminfo: memFree=126092224/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=3091.93 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 74749 0 0 0 309069 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 3091.93 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/251 81611
/proc/meminfo: memFree=126094704/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=3151.75 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 74771 0 0 0 315051 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 3151.75 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 81613
/proc/meminfo: memFree=126094976/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=3211.57 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 74842 0 0 0 321033 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 3211.57 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/251 81710
/proc/meminfo: memFree=126886016/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=3271.39 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 74908 0 0 0 327015 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 3271.39 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/255 81717
/proc/meminfo: memFree=126856268/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=3331.21 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 74909 0 0 0 332997 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 3331.21 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.11 4.09 5/255 81722
/proc/meminfo: memFree=126858316/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=3391.02 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 75037 0 0 0 338978 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 3391.02 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 81724
/proc/meminfo: memFree=126857996/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=3450.84 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 75046 0 0 0 344960 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 3450.84 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 81726
/proc/meminfo: memFree=126855664/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=3510.66 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 75173 0 0 0 350942 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 3510.66 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/254 81728
/proc/meminfo: memFree=126858444/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=3570.47 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 75187 0 0 0 356923 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 3570.47 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 4.08 4.09 4.09 5/252 81774
/proc/meminfo: memFree=127265136/131382120 swapFree=33010416/33010684
[pid=81450] ppid=81447 vsize=828320 memory=759892 CPUtime=3600.09 cores=4,6
/proc/81450/stat : 81450 (Exact) R 81447 81450 80904 0 -1 4194304 75187 0 0 0 359885 124 0 0 20 0 1 0 73028036 848199680 189973 18446744073709551615 4198400 9112445 140724420677584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16109568 140724420684070 140724420684269 140724420684269 140724420689871 0
/proc/81450/statm: 207080 189973 1280 1200 0 205560 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 828320 KiB
Current children cumulated memory: 759892 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.91 s, system=1.25275 s

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

Child status: 10

Real time (s): 3612.07
CPU time (s): 3600.16
CPU user time (s): 3598.91
CPU system time (s): 1.25275
CPU usage (%): 99.6704
Max. virtual memory (cumulated for all children) (KiB): 841724
Max. memory (cumulated for all children) (KiB): 759892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.91
system time used= 1.25275
maximum resident set size= 759892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75248
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= 64
involuntary context switches= 18412


# summary of solver processes directly reported to runsolver:
#   pid: 81450
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3598.91
#   total CPU system time (s): 1.25275

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9878 second user time and 34.975 second system time

The end