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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481929-1751322505/watcher-4481929-1751322505 -o /tmp/evaluation-result-4481929-1751322505/solver-4481929-1751322505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751313834-40856 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=310512594 --ls=360 HOME/instance-4481929-1751322505.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=42357, runsolver pid=42351
Current StackSize limit: 8192 KiB


[startup+0.100056 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 42369
/proc/meminfo: memFree=129909888/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=0.1 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1352 0 0 0 10 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+0.205207 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 42369
/proc/meminfo: memFree=129909888/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=0.2 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1352 0 0 0 20 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+0.304372 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 42369
/proc/meminfo: memFree=129909888/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=0.3 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1352 0 0 0 30 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+0.700099 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 42369
/proc/meminfo: memFree=129909888/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=0.69 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1352 0 0 0 69 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+1.50009 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 42369
/proc/meminfo: memFree=129910040/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=1.49 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1352 0 0 0 149 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+3.10444 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 42369
/proc/meminfo: memFree=129910060/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=3.09 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1352 0 0 0 309 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+6.30009 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 42369
/proc/meminfo: memFree=129910252/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=6.27 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1352 0 0 0 627 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 42369
/proc/meminfo: memFree=129910268/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=12.66 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1352 0 0 0 1266 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+25.5001 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 42369
/proc/meminfo: memFree=129910268/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=25.43 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1352 0 0 0 2543 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+51.1045 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 42370
/proc/meminfo: memFree=129910284/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=50.97 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1352 0 0 0 5097 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 42372
/proc/meminfo: memFree=129907308/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=102.03 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1355 0 0 0 10203 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 42375
/proc/meminfo: memFree=129821408/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=161.88 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1358 0 0 0 16188 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.13 4.10 5/265 42378
/proc/meminfo: memFree=129751316/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=221.73 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1359 0 0 0 22173 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/265 42380
/proc/meminfo: memFree=129722992/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=281.56 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1361 0 0 0 28156 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+342.3 s]
/proc/loadavg: 4.42 4.22 4.13 5/265 42382
/proc/meminfo: memFree=129694968/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=32056 memory=8656 CPUtime=341.38 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 1361 0 0 0 34138 0 0 0 20 0 1 0 47872984 32825344 2164 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 8014 2164 1024 1200 0 6494 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 8656 KiB

[startup+402.3 s]
/proc/loadavg: 4.27 4.21 4.13 5/264 42384
/proc/meminfo: memFree=129171864/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=188864 memory=152768 CPUtime=401.19 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 29522 0 0 0 40089 30 0 0 20 0 1 0 47872984 193396736 38192 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 47216 38192 1280 1200 0 45696 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 188864 KiB
Current children cumulated memory: 152768 KiB

[startup+462.3 s]
/proc/loadavg: 4.34 4.24 4.15 5/264 42386
/proc/meminfo: memFree=129054748/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=231700 memory=210604 CPUtime=460.99 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 38363 0 0 0 46041 58 0 0 20 0 1 0 47872984 237260800 52651 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 57925 52651 1280 1200 0 56405 0
Current children cumulated CPU time: 460.99 s

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

Current children cumulated memory: 377124 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 42517
/proc/meminfo: memFree=128426664/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=416092 memory=378788 CPUtime=2854.36 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 67858 0 0 0 284406 1030 0 0 20 0 1 0 47872984 426078208 94697 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 104023 94697 1280 1200 0 102503 0
Current children cumulated CPU time: 2854.36 s
Current children cumulated vsize: 416092 KiB
Current children cumulated memory: 378788 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 42522
/proc/meminfo: memFree=128405864/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=416860 memory=379556 CPUtime=2914.19 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 68054 0 0 0 290365 1054 0 0 20 0 1 0 47872984 426864640 94889 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 104215 94889 1280 1200 0 102695 0
Current children cumulated CPU time: 2914.19 s
Current children cumulated vsize: 416860 KiB
Current children cumulated memory: 379556 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 42529
/proc/meminfo: memFree=128400236/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=417436 memory=380196 CPUtime=2974.03 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 68199 0 0 0 296320 1083 0 0 20 0 1 0 47872984 427454464 95049 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 104359 95049 1280 1200 0 102839 0
Current children cumulated CPU time: 2974.03 s
Current children cumulated vsize: 417436 KiB
Current children cumulated memory: 380196 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 42531
/proc/meminfo: memFree=128393324/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=418204 memory=380964 CPUtime=3033.87 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 68556 0 0 0 302282 1105 0 0 20 0 1 0 47872984 428240896 95241 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 104551 95241 1280 1200 0 103031 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 418204 KiB
Current children cumulated memory: 380964 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 42533
/proc/meminfo: memFree=128395472/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=419876 memory=382372 CPUtime=3093.7 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 68937 0 0 0 308233 1137 0 0 20 0 1 0 47872984 429953024 95593 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 104969 95593 1280 1200 0 103449 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 419876 KiB
Current children cumulated memory: 382372 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 42535
/proc/meminfo: memFree=128388276/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=422948 memory=385060 CPUtime=3153.54 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 69598 0 0 0 314193 1161 0 0 20 0 1 0 47872984 433098752 96265 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 105737 96265 1280 1200 0 104217 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 422948 KiB
Current children cumulated memory: 385060 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 42537
/proc/meminfo: memFree=128370064/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=425636 memory=387492 CPUtime=3213.38 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 70336 0 0 0 320152 1186 0 0 20 0 1 0 47872984 435851264 96873 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 106409 96873 1280 1200 0 104889 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 425636 KiB
Current children cumulated memory: 387492 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 42539
/proc/meminfo: memFree=128335096/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=427036 memory=388900 CPUtime=3273.22 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 70724 0 0 0 326113 1209 0 0 20 0 1 0 47872984 437284864 97225 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 106759 97225 1280 1200 0 105239 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 427036 KiB
Current children cumulated memory: 388900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 42541
/proc/meminfo: memFree=128344052/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=429124 memory=390308 CPUtime=3333.06 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 71089 0 0 0 332070 1236 0 0 20 0 1 0 47872984 439422976 97577 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 107281 97577 1280 1200 0 105761 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 429124 KiB
Current children cumulated memory: 390308 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 42543
/proc/meminfo: memFree=128344924/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=430276 memory=391460 CPUtime=3392.89 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 71484 0 0 0 338030 1259 0 0 20 0 1 0 47872984 440602624 97865 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 107569 97865 1280 1200 0 106049 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 430276 KiB
Current children cumulated memory: 391460 KiB

[startup+3462.3 s]
/proc/loadavg: 3.54 3.94 4.03 4/257 42575
/proc/meminfo: memFree=128742620/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=431972 memory=392996 CPUtime=3452.73 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 71925 0 0 0 343987 1286 0 0 20 0 1 0 47872984 442339328 98249 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 107993 98249 1280 1200 0 106473 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 431972 KiB
Current children cumulated memory: 392996 KiB

[startup+3522.3 s]
/proc/loadavg: 3.20 3.77 3.97 4/257 42577
/proc/meminfo: memFree=128714504/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=432740 memory=397604 CPUtime=3512.56 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 72128 0 0 0 349945 1311 0 0 20 0 1 0 47872984 443125760 99401 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 108185 99401 1280 1200 0 106665 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 432740 KiB
Current children cumulated memory: 397604 KiB

[startup+3582.3 s]
/proc/loadavg: 3.19 3.66 3.91 4/257 42582
/proc/meminfo: memFree=128701148/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=434660 memory=399524 CPUtime=3572.4 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 72736 0 0 0 355910 1330 0 0 20 0 1 0 47872984 445091840 99881 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 108665 99881 1280 1200 0 107145 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 434660 KiB
Current children cumulated memory: 399524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 3.12 3.60 3.89 3/253 42595
/proc/meminfo: memFree=129078904/131250000 swapFree=33010684/33010684
[pid=42357] ppid=42351 vsize=435044 memory=399908 CPUtime=3600.03 cores=0,2
/proc/42357/stat : 42357 (Exact) R 42351 42357 40846 0 -1 4194304 72883 0 0 0 358659 1344 0 0 20 0 1 0 47872984 445485056 99977 18446744073709551615 4198400 9112445 140725715479440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 31240192 140725715482939 140725715483117 140725715483117 140725715488719 0
/proc/42357/statm: 108761 99977 1280 1200 0 107241 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 435044 KiB
Current children cumulated memory: 399908 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.6 s, system=13.4466 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.05
CPU user time (s): 3586.6
CPU system time (s): 13.4466
CPU usage (%): 99.7241
Max. virtual memory (cumulated for all children) (KiB): 435044
Max. memory (cumulated for all children) (KiB): 399908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.6
system time used= 13.4466
maximum resident set size= 399908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72885
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= 121
involuntary context switches= 5243


# summary of solver processes directly reported to runsolver:
#   pid: 42357
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3586.6
#   total CPU system time (s): 13.4466

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67636 second user time and 14.8401 second system time

The end