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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499421-1751404626/watcher-4499421-1751404626 -o /tmp/evaluation-result-4499421-1751404626/solver-4499421-1751404626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751395941-51667 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4499421-1751404626.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=53176, runsolver pid=53173

[startup+0.100066 s]*
/proc/loadavg: 4.14 4.24 4.23 5/250 53177
/proc/meminfo: memFree=127647976/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=51716 memory=11136 CPUtime=0.09 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 1331 0 0 0 9 0 0 0 20 0 1 0 56141753 52957184 2784 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 12929 2784 1664 2271 0 7567 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51716 KiB
Current children cumulated memory: 11136 KiB

[startup+0.213074 s]*
/proc/loadavg: 4.14 4.24 4.23 5/250 53177
/proc/meminfo: memFree=127647976/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=53588 memory=15356 CPUtime=0.2 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 1866 0 0 0 19 1 0 0 20 0 1 0 56141753 54874112 3839 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 13397 3839 1696 2271 0 8035 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53588 KiB
Current children cumulated memory: 15356 KiB

[startup+0.313065 s]*
/proc/loadavg: 4.14 4.24 4.23 5/250 53177
/proc/meminfo: memFree=127647976/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=54380 memory=16124 CPUtime=0.3 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 2055 0 0 0 29 1 0 0 20 0 1 0 56141753 55685120 4031 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 13595 4031 1696 2271 0 8233 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54380 KiB
Current children cumulated memory: 16124 KiB

[startup+0.700271 s]
/proc/loadavg: 4.14 4.24 4.23 5/250 53177
/proc/meminfo: memFree=127627248/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=71720 memory=33768 CPUtime=0.68 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 7258 0 0 0 64 4 0 0 20 0 1 0 56141753 73441280 8442 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 17930 8442 1856 2271 0 12568 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71720 KiB
Current children cumulated memory: 33768 KiB

[startup+1.50035 s]
/proc/loadavg: 4.14 4.24 4.23 5/250 53177
/proc/meminfo: memFree=127571052/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=150676 memory=112232 CPUtime=1.47 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 25489 0 0 0 138 9 0 0 20 0 1 0 56141753 154292224 28058 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 37669 28058 3328 2271 0 32307 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 150676 KiB
Current children cumulated memory: 112232 KiB

[startup+3.11276 s]
/proc/loadavg: 4.14 4.24 4.23 5/250 53177
/proc/meminfo: memFree=127506292/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=189444 memory=149224 CPUtime=3.08 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 34719 0 0 0 298 10 0 0 20 0 1 0 56141753 193990656 37306 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 47361 37306 3392 2271 0 41999 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 189444 KiB
Current children cumulated memory: 149224 KiB

[startup+6.30034 s]
/proc/loadavg: 4.13 4.24 4.23 5/250 53177
/proc/meminfo: memFree=127506044/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=190808 memory=149992 CPUtime=6.25 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 34891 0 0 0 615 10 0 0 20 0 1 0 56141753 195387392 37498 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 47702 37498 3392 2271 0 42340 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 190808 KiB
Current children cumulated memory: 149992 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.23 4.23 5/250 53177
/proc/meminfo: memFree=127514112/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=207168 memory=160360 CPUtime=12.64 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 37503 0 0 0 1253 11 0 0 20 0 1 0 56141753 212140032 40090 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 51792 40090 3392 2271 0 46430 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 207168 KiB
Current children cumulated memory: 160360 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.22 4.22 5/250 53177
/proc/meminfo: memFree=127433580/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=246368 memory=186984 CPUtime=25.4 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 44157 0 0 0 2528 12 0 0 20 0 1 0 56141753 252280832 46746 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 61592 46746 3392 2271 0 56230 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 246368 KiB
Current children cumulated memory: 186984 KiB

[startup+51.1127 s]
/proc/loadavg: 4.12 4.22 4.22 5/250 53178
/proc/meminfo: memFree=127419444/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=296888 memory=207752 CPUtime=50.93 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 48813 0 0 0 5080 13 0 0 20 0 1 0 56141753 304013312 51938 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 74222 51938 3392 2271 0 68860 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 296888 KiB
Current children cumulated memory: 207752 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.20 4.21 5/250 53179
/proc/meminfo: memFree=127381076/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=322244 memory=232828 CPUtime=101.97 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 57085 0 0 0 10181 16 0 0 20 0 1 0 56141753 329977856 58207 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 80561 58207 3392 2271 0 75199 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 322244 KiB
Current children cumulated memory: 232828 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.19 4.21 5/250 53181
/proc/meminfo: memFree=127354968/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=327252 memory=233340 CPUtime=161.79 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 57226 0 0 0 16163 16 0 0 20 0 1 0 56141753 335106048 58335 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 81813 58335 3392 2271 0 76451 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 327252 KiB
Current children cumulated memory: 233340 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.17 4.20 5/252 53197
/proc/meminfo: memFree=127317716/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=364748 memory=259892 CPUtime=221.61 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 63345 0 0 0 22143 18 0 0 20 0 1 0 56141753 373501952 64973 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 91187 64973 3392 2271 0 85825 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 364748 KiB
Current children cumulated memory: 259892 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.15 4.18 5/252 53199
/proc/meminfo: memFree=127265088/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=380740 memory=276404 CPUtime=281.43 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 67504 0 0 0 28123 20 0 0 20 0 1 0 56141753 389877760 69101 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 95185 69101 3392 2271 0 89823 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 380740 KiB
Current children cumulated memory: 276404 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.14 4.18 5/252 53201
/proc/meminfo: memFree=127222648/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=382008 memory=277812 CPUtime=341.26 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 67886 0 0 0 34105 21 0 0 20 0 1 0 56141753 391176192 69453 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 95502 69453 3392 2271 0 90140 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 382008 KiB
Current children cumulated memory: 277812 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.17 5/252 53203
/proc/meminfo: memFree=127179392/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=425056 memory=277940 CPUtime=401.08 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 67912 0 0 0 40087 21 0 0 20 0 1 0 56141753 435257344 69485 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 106264 69485 3392 2271 0 100902 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 425056 KiB
Current children cumulated memory: 277940 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.16 5/251 53211
/proc/meminfo: memFree=127152616/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=505380 memory=282996 CPUtime=460.89 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 70068 0 0 0 46067 22 0 0 20 0 1 0 56141753 517509120 70749 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 126345 70749 3392 2271 0 120983 0
Current children cumulated CPU time: 460.89 s

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

/proc/loadavg: 4.11 4.12 4.16 5/251 53220
/proc/meminfo: memFree=127087176/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=617392 memory=302452 CPUtime=700.2 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 76604 0 0 0 69994 26 0 0 20 0 1 0 56141753 632209408 75613 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 154348 75613 3392 2271 0 148986 0
Current children cumulated CPU time: 700.2 s
Current children cumulated vsize: 617392 KiB
Current children cumulated memory: 302452 KiB

[startup+762.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/251 53222
/proc/meminfo: memFree=127090200/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=636976 memory=303732 CPUtime=760.02 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 76929 0 0 0 75976 26 0 0 20 0 1 0 56141753 652263424 75933 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 159244 75933 3392 2271 0 153882 0
Current children cumulated CPU time: 760.02 s
Current children cumulated vsize: 636976 KiB
Current children cumulated memory: 303732 KiB

[startup+822.3 s]
/proc/loadavg: 4.09 4.10 4.15 5/251 53225
/proc/meminfo: memFree=127083072/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=670604 memory=309060 CPUtime=819.85 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 77240 0 0 0 81957 28 0 0 20 0 1 0 56141753 686698496 77265 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 167651 77265 3392 2271 0 162289 0
Current children cumulated CPU time: 819.85 s
Current children cumulated vsize: 670604 KiB
Current children cumulated memory: 309060 KiB

[startup+882.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/250 53227
/proc/meminfo: memFree=127082688/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=688208 memory=309060 CPUtime=879.67 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 77268 0 0 0 87939 28 0 0 20 0 1 0 56141753 704724992 77265 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 172052 77265 3392 2271 0 166690 0
Current children cumulated CPU time: 879.67 s
Current children cumulated vsize: 688208 KiB
Current children cumulated memory: 309060 KiB

[startup+942.3 s]
/proc/loadavg: 4.15 4.11 4.14 5/250 53229
/proc/meminfo: memFree=127061608/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=693228 memory=309316 CPUtime=939.5 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 82105 0 0 0 93920 30 0 0 20 0 1 0 56141753 709865472 77329 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 173307 77329 3392 2271 0 167945 0
Current children cumulated CPU time: 939.5 s
Current children cumulated vsize: 693228 KiB
Current children cumulated memory: 309316 KiB

[startup+1002.3 s]
/proc/loadavg: 4.34 4.15 4.15 5/249 53231
/proc/meminfo: memFree=127071728/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=379920 memory=279916 CPUtime=999.33 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 82862 0 0 0 99889 44 0 0 20 0 1 0 56141753 389038080 69979 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 94980 69979 3392 2271 0 89618 0
Current children cumulated CPU time: 999.33 s
Current children cumulated vsize: 379920 KiB
Current children cumulated memory: 279916 KiB

[startup+1062.3 s]
/proc/loadavg: 4.58 4.27 4.20 5/249 53285
/proc/meminfo: memFree=127185204/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=379180 memory=283204 CPUtime=1059.15 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 82868 0 0 0 105184 731 0 0 20 0 1 0 56141753 388280320 70801 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 94795 70801 3392 2271 0 89433 0
Current children cumulated CPU time: 1059.15 s
Current children cumulated vsize: 379180 KiB
Current children cumulated memory: 283204 KiB

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

# cumulated CPU time of all completed processes:  user=1108.15 s, system=7.37162 s

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

[startup+1075.2 s]
/proc/loadavg: 4.56 4.28 4.20 5/249 53285
/proc/meminfo: memFree=127170636/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=379180 memory=285892 CPUtime=1072.01 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 82871 0 0 0 106469 732 0 0 20 0 1 0 56141753 388280320 71473 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 94795 71473 3392 2271 0 89433 0
Current children cumulated CPU time: 1072.01 s
Current children cumulated vsize: 379180 KiB
Current children cumulated memory: 285892 KiB

[startup+1100.8 s]
/proc/loadavg: 4.37 4.26 4.19 5/249 53286
/proc/meminfo: memFree=127158044/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=379180 memory=288840 CPUtime=1097.53 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 82880 0 0 0 109018 735 0 0 20 0 1 0 56141753 388280320 72210 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 94795 72210 3392 2271 0 89433 0
Current children cumulated CPU time: 1097.53 s
Current children cumulated vsize: 379180 KiB
Current children cumulated memory: 288840 KiB

[startup+1107.2 s]
/proc/loadavg: 4.31 4.25 4.19 5/249 53287
/proc/meminfo: memFree=127160224/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=379180 memory=288840 CPUtime=1103.91 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 82880 0 0 0 109656 735 0 0 20 0 1 0 56141753 388280320 72210 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 94795 72210 3392 2271 0 89433 0
Current children cumulated CPU time: 1103.91 s
Current children cumulated vsize: 379180 KiB
Current children cumulated memory: 288840 KiB

[startup+1113.6 s]
/proc/loadavg: 4.37 4.26 4.19 5/249 53287
/proc/meminfo: memFree=127169516/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=379180 memory=290504 CPUtime=1110.28 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 82883 0 0 0 110293 735 0 0 20 0 1 0 56141753 388280320 72626 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 94795 72626 3392 2271 0 89433 0
Current children cumulated CPU time: 1110.28 s
Current children cumulated vsize: 379180 KiB
Current children cumulated memory: 290504 KiB

[startup+1116.8 s]
/proc/loadavg: 4.34 4.26 4.19 5/249 53287
/proc/meminfo: memFree=127169772/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=379180 memory=290504 CPUtime=1113.48 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 82883 0 0 0 110612 736 0 0 20 0 1 0 56141753 388280320 72626 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 94795 72626 3392 2271 0 89433 0
Current children cumulated CPU time: 1113.48 s
Current children cumulated vsize: 379180 KiB
Current children cumulated memory: 290504 KiB

[startup+1117.6 s]
/proc/loadavg: 4.34 4.26 4.19 5/249 53287
/proc/meminfo: memFree=127169772/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=379180 memory=290504 CPUtime=1114.27 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 82883 0 0 0 110691 736 0 0 20 0 1 0 56141753 388280320 72626 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 94795 72626 3392 2271 0 89433 0
Current children cumulated CPU time: 1114.27 s
Current children cumulated vsize: 379180 KiB
Current children cumulated memory: 290504 KiB

[startup+1118.4 s]
/proc/loadavg: 4.34 4.26 4.19 5/249 53287
/proc/meminfo: memFree=127158304/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=379180 memory=292552 CPUtime=1115.07 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 82886 0 0 0 110771 736 0 0 20 0 1 0 56141753 388280320 73138 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 94795 73138 3392 2271 0 89433 0
Current children cumulated CPU time: 1115.07 s
Current children cumulated vsize: 379180 KiB
Current children cumulated memory: 292552 KiB

[startup+1118.8 s]
/proc/loadavg: 4.34 4.26 4.19 5/249 53287
/proc/meminfo: memFree=127158304/131382120 swapFree=33010160/33010684
[pid=53176] ppid=53173 vsize=379180 memory=292552 CPUtime=1115.47 cores=1,3
/proc/53176/stat : 53176 (ExactPR-S) R 53173 53176 51655 0 -1 4194304 82886 0 0 0 110811 736 0 0 20 0 1 0 56141753 388280320 73138 18446744073709551615 93835708096512 93835717396549 140732563086000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93835719182656 93835719221736 93835733229568 140732563089793 140732563089930 140732563089930 140732563095532 0
/proc/53176/statm: 94795 73138 3392 2271 0 89433 0
Current children cumulated CPU time: 1115.47 s
Current children cumulated vsize: 379180 KiB
Current children cumulated memory: 292552 KiB

Child status: 30

Real time (s): 1118.84
CPU time (s): 1115.52
CPU user time (s): 1108.15
CPU system time (s): 7.37162
CPU usage (%): 99.7031
Max. virtual memory (cumulated for all children) (KiB): 715840
Max. memory (cumulated for all children) (KiB): 309444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1108.15
system time used= 7.37162
maximum resident set size= 328388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82901
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= 128
involuntary context switches= 1139


# summary of solver processes directly reported to runsolver:
#   pid: 53176
#   total CPU time (s): 1115.52
#   total CPU user time (s): 1108.15
#   total CPU system time (s): 7.37162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88592 second user time and 10.246 second system time

The end