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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481921-1751322263/watcher-4481921-1751322263 -o /tmp/evaluation-result-4481921-1751322263/solver-4481921-1751322263 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751313594-40597 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1055697705 --ls=360 HOME/instance-4481921-1751322263.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=42161, runsolver pid=42158

[startup+0.100058 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130196424/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=0.09 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1349 0 0 0 9 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+0.205041 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130196424/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=0.19 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1349 0 0 0 19 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+0.304567 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130196808/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=0.29 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1349 0 0 0 29 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+0.700094 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130196808/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=0.68 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1349 0 0 0 68 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+1.5001 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130196808/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=1.48 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1349 0 0 0 148 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+3.10442 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130196048/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=3.08 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1349 0 0 0 308 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+6.30009 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130195056/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=6.27 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1349 0 0 0 627 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+12.7001 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 42162
/proc/meminfo: memFree=130192300/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=12.66 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1349 0 0 0 1266 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+25.5001 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 42207
/proc/meminfo: memFree=130184984/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=25.43 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1349 0 0 0 2543 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+51.1045 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 42209
/proc/meminfo: memFree=130179572/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=50.97 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1349 0 0 0 5097 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 42211
/proc/meminfo: memFree=130149240/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=102.04 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1349 0 0 0 10204 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 42213
/proc/meminfo: memFree=130178148/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=161.89 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1353 0 0 0 16189 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 42215
/proc/meminfo: memFree=130171188/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=221.74 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1355 0 0 0 22174 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 42217
/proc/meminfo: memFree=130159288/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=281.6 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1357 0 0 0 28160 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 42219
/proc/meminfo: memFree=130162216/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=32060 memory=8660 CPUtime=341.45 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 1358 0 0 0 34145 0 0 0 20 0 1 0 47903853 32829440 2165 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 8015 2165 1024 1200 0 6495 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 32060 KiB
Current children cumulated memory: 8660 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 42226
/proc/meminfo: memFree=129688084/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=199128 memory=166504 CPUtime=401.29 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 31488 0 0 0 40103 26 0 0 20 0 1 0 47903853 203907072 41626 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 49782 41626 1248 1200 0 48262 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 199128 KiB
Current children cumulated memory: 166504 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 42232
/proc/meminfo: memFree=129593800/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=232796 memory=196200 CPUtime=461.13 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 38919 0 0 0 46058 55 0 0 20 0 1 0 47903853 238383104 49050 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 58199 49050 1248 1200 0 56679 0
Current children cumulated CPU time: 461.13 s

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

Current children cumulated memory: 398236 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 42364
/proc/meminfo: memFree=129011304/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=431148 memory=399772 CPUtime=2854.35 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 73125 0 0 0 284431 1004 0 0 20 0 1 0 47903853 441495552 99943 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 107787 99943 1248 1200 0 106267 0
Current children cumulated CPU time: 2854.35 s
Current children cumulated vsize: 431148 KiB
Current children cumulated memory: 399772 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 42368
/proc/meminfo: memFree=129005444/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=435376 memory=402588 CPUtime=2914.18 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 73848 0 0 0 290392 1026 0 0 20 0 1 0 47903853 445825024 100647 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 108844 100647 1248 1200 0 107324 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 435376 KiB
Current children cumulated memory: 402588 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 42370
/proc/meminfo: memFree=129015424/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=436528 memory=403484 CPUtime=2974.03 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 74197 0 0 0 296351 1052 0 0 20 0 1 0 47903853 447004672 100871 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 109132 100871 1248 1200 0 107612 0
Current children cumulated CPU time: 2974.03 s
Current children cumulated vsize: 436528 KiB
Current children cumulated memory: 403484 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 42372
/proc/meminfo: memFree=129011340/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=438992 memory=405660 CPUtime=3033.87 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 74799 0 0 0 302308 1079 0 0 20 0 1 0 47903853 449527808 101415 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 109748 101415 1248 1200 0 108228 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 438992 KiB
Current children cumulated memory: 405660 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 42373
/proc/meminfo: memFree=128972380/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=442480 memory=407836 CPUtime=3093.72 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 75346 0 0 0 308269 1103 0 0 20 0 1 0 47903853 453099520 101959 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 110620 101959 1248 1200 0 109100 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 442480 KiB
Current children cumulated memory: 407836 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 42375
/proc/meminfo: memFree=128974144/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=444784 memory=409756 CPUtime=3153.56 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 75957 0 0 0 314233 1123 0 0 20 0 1 0 47903853 455458816 102439 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 111196 102439 1248 1200 0 109676 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 444784 KiB
Current children cumulated memory: 409756 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 42378
/proc/meminfo: memFree=128996696/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=446320 memory=411036 CPUtime=3213.4 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 76324 0 0 0 320197 1143 0 0 20 0 1 0 47903853 457031680 102759 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 111580 102759 1248 1200 0 110060 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 446320 KiB
Current children cumulated memory: 411036 KiB

[startup+3282.3 s]
/proc/loadavg: 3.67 3.98 4.05 4/257 42410
/proc/meminfo: memFree=129048900/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=448208 memory=412828 CPUtime=3273.23 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 76773 0 0 0 326152 1171 0 0 20 0 1 0 47903853 458964992 103207 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 112052 103207 1248 1200 0 110532 0
Current children cumulated CPU time: 3273.23 s
Current children cumulated vsize: 448208 KiB
Current children cumulated memory: 412828 KiB

[startup+3342.3 s]
/proc/loadavg: 3.35 3.83 3.99 4/257 42412
/proc/meminfo: memFree=129022844/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=448208 memory=418716 CPUtime=3333.07 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 76911 0 0 0 332115 1192 0 0 20 0 1 0 47903853 458964992 104679 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 112052 104679 1248 1200 0 110532 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 448208 KiB
Current children cumulated memory: 418716 KiB

[startup+3402.3 s]
/proc/loadavg: 3.53 3.78 3.96 4/257 42414
/proc/meminfo: memFree=129031292/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=448784 memory=419356 CPUtime=3392.91 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 77115 0 0 0 338076 1215 0 0 20 0 1 0 47903853 459554816 104839 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 112196 104839 1248 1200 0 110676 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 448784 KiB
Current children cumulated memory: 419356 KiB

[startup+3462.3 s]
/proc/loadavg: 3.27 3.65 3.91 4/258 42419
/proc/meminfo: memFree=129023568/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=449936 memory=420508 CPUtime=3452.76 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 77403 0 0 0 344036 1240 0 0 20 0 1 0 47903853 460734464 105127 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 112484 105127 1248 1200 0 110964 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 449936 KiB
Current children cumulated memory: 420508 KiB

[startup+3522.3 s]
/proc/loadavg: 3.16 3.55 3.85 4/259 42426
/proc/meminfo: memFree=129024192/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=451088 memory=421532 CPUtime=3512.6 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 77799 0 0 0 349998 1262 0 0 20 0 1 0 47903853 461914112 105383 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 112772 105383 1248 1200 0 111252 0
Current children cumulated CPU time: 3512.6 s
Current children cumulated vsize: 451088 KiB
Current children cumulated memory: 421532 KiB

[startup+3582.3 s]
/proc/loadavg: 3.11 3.46 3.80 4/258 42428
/proc/meminfo: memFree=129017392/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=453392 memory=423580 CPUtime=3572.45 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 78373 0 0 0 355961 1284 0 0 20 0 1 0 47903853 464273408 105895 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 113348 105895 1248 1200 0 111828 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 453392 KiB
Current children cumulated memory: 423580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 3.47 3.51 3.81 4/258 42430
/proc/meminfo: memFree=129005688/131250000 swapFree=33007332/33010684
[pid=42161] ppid=42158 vsize=453968 memory=424220 CPUtime=3600.07 cores=5,7
/proc/42161/stat : 42161 (Exact) R 42158 42161 40584 0 -1 4194304 78517 0 0 0 358709 1298 0 0 20 0 1 0 47903853 464863232 106055 18446744073709551615 4198400 9112445 140736204426272 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 22028288 140736204433722 140736204433901 140736204433901 140736204439503 0
/proc/42161/statm: 113492 106055 1248 1200 0 111972 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 453968 KiB
Current children cumulated memory: 424220 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.1 s, system=12.9889 s

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

Child status: 10

Real time (s): 3610.01
CPU time (s): 3600.09
CPU user time (s): 3587.1
CPU system time (s): 12.9889
CPU usage (%): 99.7252
Max. virtual memory (cumulated for all children) (KiB): 453968
Max. memory (cumulated for all children) (KiB): 424220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.1
system time used= 12.9889
maximum resident set size= 424348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78519
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= 132
involuntary context switches= 4281


# summary of solver processes directly reported to runsolver:
#   pid: 42161
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3587.1
#   total CPU system time (s): 12.9889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45041 second user time and 14.6718 second system time

The end