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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (61668 MiB free)
  memory of node 1: 64465 MiB (63024 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499375-1751404561/watcher-4499375-1751404561 -o /tmp/evaluation-result-4499375-1751404561/solver-4499375-1751404561 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751395941-51665 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4499375-1751404561.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=53129, runsolver pid=53126

[startup+0.100071 s]*
/proc/loadavg: 4.12 4.27 4.24 5/250 53130
/proc/meminfo: memFree=127677820/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=51724 memory=11008 CPUtime=0.09 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 1362 0 0 0 8 1 0 0 20 0 1 0 56135279 52965376 2752 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 12931 2752 1600 2271 0 7569 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51724 KiB
Current children cumulated memory: 11008 KiB

[startup+0.214033 s]*
/proc/loadavg: 4.12 4.27 4.24 5/250 53130
/proc/meminfo: memFree=127677820/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=53836 memory=15240 CPUtime=0.2 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 1896 0 0 0 19 1 0 0 20 0 1 0 56135279 55128064 3810 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 13459 3810 1632 2271 0 8097 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53836 KiB
Current children cumulated memory: 15240 KiB

[startup+0.314033 s]*
/proc/loadavg: 4.12 4.27 4.24 5/250 53130
/proc/meminfo: memFree=127676056/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=54624 memory=16136 CPUtime=0.3 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 2112 0 0 0 29 1 0 0 20 0 1 0 56135279 55934976 4034 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 13656 4034 1632 2271 0 8294 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54624 KiB
Current children cumulated memory: 16136 KiB

[startup+0.700283 s]
/proc/loadavg: 4.12 4.27 4.24 5/250 53130
/proc/meminfo: memFree=127655392/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=73424 memory=34740 CPUtime=0.68 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 7559 0 0 0 64 4 0 0 20 0 1 0 56135279 75186176 8685 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 18356 8685 1824 2271 0 12994 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73424 KiB
Current children cumulated memory: 34740 KiB

[startup+1.50031 s]
/proc/loadavg: 4.12 4.27 4.24 5/250 53130
/proc/meminfo: memFree=127599196/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=153688 memory=114868 CPUtime=1.47 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 26228 0 0 0 139 8 0 0 20 0 1 0 56135279 157376512 28717 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 38422 28717 3296 2271 0 33060 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 153688 KiB
Current children cumulated memory: 114868 KiB

[startup+3.11344 s]
/proc/loadavg: 4.12 4.27 4.24 5/250 53130
/proc/meminfo: memFree=127550820/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=192396 memory=151284 CPUtime=3.08 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 34830 0 0 0 298 10 0 0 20 0 1 0 56135279 197013504 37821 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 48099 37821 3328 2271 0 42737 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 192396 KiB
Current children cumulated memory: 151284 KiB

[startup+6.30024 s]
/proc/loadavg: 4.11 4.26 4.24 5/250 53130
/proc/meminfo: memFree=127531180/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=207716 memory=162676 CPUtime=6.26 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 37661 0 0 0 615 11 0 0 20 0 1 0 56135279 212701184 40669 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 51929 40669 3328 2271 0 46567 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 207716 KiB
Current children cumulated memory: 162676 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.28 4.24 5/250 53130
/proc/meminfo: memFree=127531660/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=218144 memory=168308 CPUtime=12.64 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 39081 0 0 0 1253 11 0 0 20 0 1 0 56135279 223379456 42077 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 54536 42077 3328 2271 0 49174 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 218144 KiB
Current children cumulated memory: 168308 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.26 4.24 5/250 53130
/proc/meminfo: memFree=127511436/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=253188 memory=192628 CPUtime=25.4 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 45152 0 0 0 2528 12 0 0 20 0 1 0 56135279 259264512 48157 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 63297 48157 3328 2271 0 57935 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 253188 KiB
Current children cumulated memory: 192628 KiB

[startup+51.1136 s]
/proc/loadavg: 4.09 4.24 4.23 5/250 53131
/proc/meminfo: memFree=127459572/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=304936 memory=213964 CPUtime=50.94 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 49464 0 0 0 5081 13 0 0 20 0 1 0 56135279 312254464 53491 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 76234 53491 3328 2271 0 70872 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 304936 KiB
Current children cumulated memory: 213964 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.23 4.23 5/250 53177
/proc/meminfo: memFree=127416100/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=325984 memory=235680 CPUtime=101.98 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 57853 0 0 0 10184 14 0 0 20 0 1 0 56135279 333807616 58920 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 81496 58920 3328 2271 0 76134 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 325984 KiB
Current children cumulated memory: 235680 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.20 4.21 5/250 53179
/proc/meminfo: memFree=127373004/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=325984 memory=235936 CPUtime=161.81 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 57929 0 0 0 16167 14 0 0 20 0 1 0 56135279 333807616 58984 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 81496 58984 3328 2271 0 76134 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 325984 KiB
Current children cumulated memory: 235936 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.18 4.20 5/250 53181
/proc/meminfo: memFree=127354968/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=350544 memory=253060 CPUtime=221.63 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 69546 0 0 0 22147 16 0 0 20 0 1 0 56135279 358957056 63265 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 87636 63265 3328 2271 0 82274 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 350544 KiB
Current children cumulated memory: 253060 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.17 4.20 5/252 53197
/proc/meminfo: memFree=127317116/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=367952 memory=262404 CPUtime=281.47 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 71885 0 0 0 28130 17 0 0 20 0 1 0 56135279 376782848 65601 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 91988 65601 3328 2271 0 86626 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 367952 KiB
Current children cumulated memory: 262404 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.16 4.18 5/252 53199
/proc/meminfo: memFree=127277368/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=395324 memory=278464 CPUtime=341.29 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 77252 0 0 0 34111 18 0 0 20 0 1 0 56135279 404811776 69616 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 98831 69616 3328 2271 0 93469 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 395324 KiB
Current children cumulated memory: 278464 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.14 4.18 5/252 53201
/proc/meminfo: memFree=127223312/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=395324 memory=278464 CPUtime=401.11 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 77258 0 0 0 40093 18 0 0 20 0 1 0 56135279 404811776 69616 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 98831 69616 3328 2271 0 93469 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 395324 KiB
Current children cumulated memory: 278464 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.13 4.17 5/252 53203
/proc/meminfo: memFree=127179480/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=425556 memory=306880 CPUtime=460.94 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 84408 0 0 0 46074 20 0 0 20 0 1 0 56135279 435769344 76720 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 106389 76720 3328 2271 0 101027 0
Current children cumulated CPU time: 460.94 s

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

/proc/loadavg: 4.15 4.13 4.16 5/250 53217
/proc/meminfo: memFree=127094920/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=535528 memory=329668 CPUtime=700.26 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 92836 0 0 0 70004 22 0 0 20 0 1 0 56135279 548380672 82417 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 133882 82417 3328 2271 0 128520 0
Current children cumulated CPU time: 700.26 s
Current children cumulated vsize: 535528 KiB
Current children cumulated memory: 329668 KiB

[startup+762.3 s]
/proc/loadavg: 4.12 4.12 4.16 5/251 53220
/proc/meminfo: memFree=127086924/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=535528 memory=329668 CPUtime=760.09 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 92837 0 0 0 75987 22 0 0 20 0 1 0 56135279 548380672 82417 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 133882 82417 3328 2271 0 128520 0
Current children cumulated CPU time: 760.09 s
Current children cumulated vsize: 535528 KiB
Current children cumulated memory: 329668 KiB

[startup+822.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/251 53222
/proc/meminfo: memFree=127089696/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=535528 memory=329668 CPUtime=819.91 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 92838 0 0 0 81969 22 0 0 20 0 1 0 56135279 548380672 82417 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 133882 82417 3328 2271 0 128520 0
Current children cumulated CPU time: 819.91 s
Current children cumulated vsize: 535528 KiB
Current children cumulated memory: 329668 KiB

[startup+882.3 s]
/proc/loadavg: 4.10 4.10 4.15 5/251 53225
/proc/meminfo: memFree=127099204/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=576664 memory=337092 CPUtime=879.74 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 93050 0 0 0 87952 22 0 0 20 0 1 0 56135279 590503936 84273 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 144166 84273 3328 2271 0 138804 0
Current children cumulated CPU time: 879.74 s
Current children cumulated vsize: 576664 KiB
Current children cumulated memory: 337092 KiB

[startup+942.3 s]
/proc/loadavg: 4.09 4.10 4.14 5/250 53227
/proc/meminfo: memFree=127082436/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=590212 memory=350384 CPUtime=939.55 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 94053 0 0 0 93933 22 0 0 20 0 1 0 56135279 604377088 87596 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 147553 87596 3328 2271 0 142191 0
Current children cumulated CPU time: 939.55 s
Current children cumulated vsize: 590212 KiB
Current children cumulated memory: 350384 KiB

[startup+1002.3 s]
/proc/loadavg: 4.07 4.09 4.14 5/250 53229
/proc/meminfo: memFree=127061096/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=535492 memory=385624 CPUtime=999.39 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 94092 0 0 0 99902 37 0 0 20 0 1 0 56135279 548343808 96406 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 133873 96406 3328 2271 0 128511 0
Current children cumulated CPU time: 999.39 s
Current children cumulated vsize: 535492 KiB
Current children cumulated memory: 385624 KiB

[startup+1062.3 s]
/proc/loadavg: 4.28 4.14 4.15 5/249 53231
/proc/meminfo: memFree=127041236/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=534884 memory=410260 CPUtime=1059.25 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 94107 0 0 0 105134 791 0 0 20 0 1 0 56135279 547721216 102565 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 133721 102565 3328 2271 0 128359 0
Current children cumulated CPU time: 1059.25 s
Current children cumulated vsize: 534884 KiB
Current children cumulated memory: 410260 KiB

[startup+1104.41 s]
# the end of solver process 53129 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1093.3 s, system=7.94076 s

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

[startup+1075.2 s]
/proc/loadavg: 4.44 4.18 4.16 5/249 53231
/proc/meminfo: memFree=127063504/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=534884 memory=413332 CPUtime=1072.1 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 94125 0 0 0 106419 791 0 0 20 0 1 0 56135279 547721216 103333 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 133721 103333 3360 2271 0 128359 0
Current children cumulated CPU time: 1072.1 s
Current children cumulated vsize: 534884 KiB
Current children cumulated memory: 413332 KiB

[startup+1088 s]*
/proc/loadavg: 4.61 4.22 4.18 5/250 53239
/proc/meminfo: memFree=127054872/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=534884 memory=424212 CPUtime=1084.88 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 94130 0 0 0 107695 793 0 0 20 0 1 0 56135279 547721216 106053 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 133721 106053 3360 2271 0 128359 0
Current children cumulated CPU time: 1084.88 s
Current children cumulated vsize: 534884 KiB
Current children cumulated memory: 424212 KiB

[startup+1094.4 s]
/proc/loadavg: 4.64 4.24 4.18 5/250 53239
/proc/meminfo: memFree=127039340/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=534884 memory=438548 CPUtime=1091.25 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 94130 0 0 0 108332 793 0 0 20 0 1 0 56135279 547721216 109637 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 133721 109637 3360 2271 0 128359 0
Current children cumulated CPU time: 1091.25 s
Current children cumulated vsize: 534884 KiB
Current children cumulated memory: 438548 KiB

[startup+1100.8 s]
/proc/loadavg: 4.69 4.26 4.19 5/250 53240
/proc/meminfo: memFree=127042384/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=534884 memory=452940 CPUtime=1097.63 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 94131 0 0 0 108970 793 0 0 20 0 1 0 56135279 547721216 113235 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 133721 113235 3360 2271 0 128359 0
Current children cumulated CPU time: 1097.63 s
Current children cumulated vsize: 534884 KiB
Current children cumulated memory: 452940 KiB

[startup+1102.4 s]
/proc/loadavg: 4.69 4.26 4.19 5/250 53240
/proc/meminfo: memFree=127030348/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=534884 memory=452940 CPUtime=1099.23 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 94131 0 0 0 109130 793 0 0 20 0 1 0 56135279 547721216 113235 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 133721 113235 3360 2271 0 128359 0
Current children cumulated CPU time: 1099.23 s
Current children cumulated vsize: 534884 KiB
Current children cumulated memory: 452940 KiB

[startup+1103.2 s]
/proc/loadavg: 4.69 4.26 4.19 5/250 53240
/proc/meminfo: memFree=127030348/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=534884 memory=452940 CPUtime=1100.02 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 94131 0 0 0 109209 793 0 0 20 0 1 0 56135279 547721216 113235 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 133721 113235 3360 2271 0 128359 0
Current children cumulated CPU time: 1100.02 s
Current children cumulated vsize: 534884 KiB
Current children cumulated memory: 452940 KiB

[startup+1104 s]*
/proc/loadavg: 4.69 4.26 4.19 5/250 53240
/proc/meminfo: memFree=127030348/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=534884 memory=452940 CPUtime=1100.83 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 94131 0 0 0 109290 793 0 0 20 0 1 0 56135279 547721216 113235 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 133721 113235 3360 2271 0 128359 0
Current children cumulated CPU time: 1100.83 s
Current children cumulated vsize: 534884 KiB
Current children cumulated memory: 452940 KiB

[startup+1104.4 s]
/proc/loadavg: 4.69 4.26 4.19 5/250 53240
/proc/meminfo: memFree=127030348/131382120 swapFree=33010160/33010684
[pid=53129] ppid=53126 vsize=517628 memory=444388 CPUtime=1101.22 cores=0,2
/proc/53129/stat : 53129 (ExactPR-S) R 53126 53129 51655 0 -1 4194304 94140 0 0 0 109329 793 0 0 20 0 1 0 56135279 530051072 111097 18446744073709551615 94069919526912 94069928826949 140721869184864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94069930613056 94069930652136 94069969117184 140721869187457 140721869187594 140721869187594 140721869193196 0
/proc/53129/statm: 129407 111097 3488 2271 0 124045 0
Current children cumulated CPU time: 1101.22 s
Current children cumulated vsize: 517628 KiB
Current children cumulated memory: 444388 KiB

Child status: 30

Real time (s): 1104.41
CPU time (s): 1101.24
CPU user time (s): 1093.3
CPU system time (s): 7.94076
CPU usage (%): 99.7132
Max. virtual memory (cumulated for all children) (KiB): 608172
Max. memory (cumulated for all children) (KiB): 452940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1093.3
system time used= 7.94076
maximum resident set size= 453452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94147
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= 139
involuntary context switches= 2457


# summary of solver processes directly reported to runsolver:
#   pid: 53129
#   total CPU time (s): 1101.24
#   total CPU user time (s): 1093.3
#   total CPU system time (s): 7.94076

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63082 second user time and 10.9978 second system time

The end