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: 63968 MiB (63094 MiB free)
  memory of node 1: 64473 MiB (62757 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425714-1720890789/watcher-4425714-1720890789 -o /tmp/evaluation-result-4425714-1720890789/solver-4425714-1720890789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1720890801-718018 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=153657947 HOME/instance-4425714-1720890789.wbo 

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=718072, runsolver pid=718067
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 0.09 0.09 0.12 3/252 718080
/proc/meminfo: memFree=128819852/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=82284 memory=57588 CPUtime=0.09 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 15176 0 0 0 7 2 0 0 20 0 1 0 141242698 84258816 14397 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 20571 14397 884 1005 0 19334 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82284 KiB
Current children cumulated memory: 57588 KiB

[startup+0.205025 s]*
/proc/loadavg: 0.09 0.09 0.12 3/247 718116
/proc/meminfo: memFree=128785484/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=111860 memory=92136 CPUtime=0.2 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 23038 0 0 0 17 3 0 0 20 0 1 0 141242698 114544640 23034 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 27965 23034 884 1005 0 26728 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111860 KiB
Current children cumulated memory: 92136 KiB

[startup+0.305704 s]*
/proc/loadavg: 0.09 0.09 0.12 6/246 718147
/proc/meminfo: memFree=128741152/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=153196 memory=135524 CPUtime=0.3 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 31831 0 0 0 26 4 0 0 20 0 1 0 141242698 156872704 33881 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 38299 33881 1076 1005 0 37062 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 153196 KiB
Current children cumulated memory: 135524 KiB

[startup+0.70016 s]
/proc/loadavg: 0.16 0.10 0.13 2/240 718173
/proc/meminfo: memFree=128735396/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=184620 memory=160792 CPUtime=0.69 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 37103 0 0 0 64 5 0 0 20 0 1 0 141242698 189050880 40198 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 46155 40198 1092 1005 0 44918 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 184620 KiB
Current children cumulated memory: 160792 KiB

[startup+1.5002 s]
/proc/loadavg: 0.16 0.10 0.13 4/256 718219
/proc/meminfo: memFree=128574340/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=190176 memory=168440 CPUtime=1.48 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 38462 0 0 0 143 5 0 0 20 0 1 0 141242698 194740224 42110 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 47544 42110 1108 1005 0 46307 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 190176 KiB
Current children cumulated memory: 168440 KiB

[startup+3.10551 s]
/proc/loadavg: 0.16 0.10 0.13 5/258 718449
/proc/meminfo: memFree=128665196/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=194292 memory=173716 CPUtime=3.09 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 39243 0 0 0 303 6 0 0 20 0 1 0 141242698 198955008 43429 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 48573 43429 1124 1005 0 47336 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 194292 KiB
Current children cumulated memory: 173716 KiB

[startup+6.30022 s]
/proc/loadavg: 0.55 0.18 0.15 5/258 718543
/proc/meminfo: memFree=127822032/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=194292 memory=177648 CPUtime=6.27 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 40259 0 0 0 621 6 0 0 20 0 1 0 141242698 198955008 44412 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 48573 44412 1140 1005 0 47336 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 194292 KiB
Current children cumulated memory: 177648 KiB

[startup+12.7002 s]
/proc/loadavg: 0.83 0.25 0.18 4/255 718589
/proc/meminfo: memFree=125983720/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=227432 memory=206724 CPUtime=12.65 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 45184 0 0 0 1258 7 0 0 20 0 1 0 141242698 232890368 51681 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 56858 51681 1140 1005 0 55621 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 227432 KiB
Current children cumulated memory: 206724 KiB

[startup+25.5002 s]
/proc/loadavg: 1.39 0.39 0.22 5/258 718684
/proc/meminfo: memFree=119252944/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=233976 memory=217344 CPUtime=25.41 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 47344 0 0 0 2533 8 0 0 20 0 1 0 141242698 239591424 54336 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 58494 54336 1140 1005 0 57257 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 233976 KiB
Current children cumulated memory: 217344 KiB

[startup+51.1057 s]
/proc/loadavg: 2.42 0.73 0.34 5/258 718733
/proc/meminfo: memFree=113575276/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=268152 memory=237964 CPUtime=50.94 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 49878 0 0 0 5085 9 0 0 20 0 1 0 141242698 274587648 59491 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 67038 59491 1140 1005 0 65801 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 268152 KiB
Current children cumulated memory: 237964 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.25 0.54 5/258 718741
/proc/meminfo: memFree=110332252/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=281028 memory=258440 CPUtime=102 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 53523 0 0 0 10189 11 0 0 20 0 1 0 141242698 287772672 64610 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 70257 64610 1140 1005 0 69020 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 281028 KiB
Current children cumulated memory: 258440 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 1.77 0.77 5/255 718752
/proc/meminfo: memFree=108942604/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=419768 memory=402096 CPUtime=161.81 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 78223 0 0 0 16162 19 0 0 20 0 1 0 141242698 429842432 100524 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 104942 100524 1140 1005 0 103705 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 419768 KiB
Current children cumulated memory: 402096 KiB

[startup+222.3 s]
/proc/loadavg: 4.46 2.31 1.02 5/255 718762
/proc/meminfo: memFree=106963488/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=425416 memory=410356 CPUtime=221.61 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 80056 0 0 0 22140 21 0 0 20 0 1 0 141242698 435625984 102589 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 106354 102589 1140 1005 0 105117 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 425416 KiB
Current children cumulated memory: 410356 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 2.63 1.21 5/255 718773
/proc/meminfo: memFree=105992604/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=428428 memory=417148 CPUtime=281.41 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 81066 0 0 0 28117 24 0 0 20 0 1 0 141242698 438710272 104287 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 107107 104287 1140 1005 0 105870 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 428428 KiB
Current children cumulated memory: 417148 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 2.90 1.39 5/254 718784
/proc/meminfo: memFree=104367696/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=429864 memory=421760 CPUtime=341.24 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 81640 0 0 0 34097 27 0 0 20 0 1 0 141242698 440180736 105440 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 107466 105440 1140 1005 0 106229 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 429864 KiB
Current children cumulated memory: 421760 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 3.13 1.57 5/254 718794
/proc/meminfo: memFree=103967304/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=431376 memory=424808 CPUtime=401.08 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 81836 0 0 0 40079 29 0 0 20 0 1 0 141242698 441729024 106202 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 107844 106202 1140 1005 0 106607 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 431376 KiB
Current children cumulated memory: 424808 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.31 1.73 5/256 718808
/proc/meminfo: memFree=102313692/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=432092 memory=424848 CPUtime=460.9 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 81984 0 0 0 46060 30 0 0 20 0 1 0 141242698 442462208 106212 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 108023 106212 1140 1005 0 106786 0
Current children cumulated CPU time: 460.9 s

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

/proc/loadavg: 4.07 3.86 2.50 5/259 719262
/proc/meminfo: memFree=99619968/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=435824 memory=427972 CPUtime=819.71 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 83605 0 0 0 81930 41 0 0 20 0 1 0 141242698 446283776 106993 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 108956 106993 1140 1005 0 107719 0
Current children cumulated CPU time: 819.71 s
Current children cumulated vsize: 435824 KiB
Current children cumulated memory: 427972 KiB

[startup+882.3 s]
/proc/loadavg: 4.13 3.92 2.61 5/259 719273
/proc/meminfo: memFree=99159224/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=435996 memory=428248 CPUtime=879.52 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 83833 0 0 0 87909 43 0 0 20 0 1 0 141242698 446459904 107062 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 108999 107062 1140 1005 0 107762 0
Current children cumulated CPU time: 879.52 s
Current children cumulated vsize: 435996 KiB
Current children cumulated memory: 428248 KiB

[startup+942.3 s]
/proc/loadavg: 4.05 3.94 2.70 5/258 719451
/proc/meminfo: memFree=91539804/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=436260 memory=428460 CPUtime=939.32 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84022 0 0 0 93887 45 0 0 20 0 1 0 141242698 446730240 107115 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109065 107115 1140 1005 0 107828 0
Current children cumulated CPU time: 939.32 s
Current children cumulated vsize: 436260 KiB
Current children cumulated memory: 428460 KiB

[startup+1002.3 s]
/proc/loadavg: 4.13 3.98 2.79 5/257 719461
/proc/meminfo: memFree=88255972/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=436260 memory=428800 CPUtime=999.13 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84229 0 0 0 99865 48 0 0 20 0 1 0 141242698 446730240 107200 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109065 107200 1140 1005 0 107828 0
Current children cumulated CPU time: 999.13 s
Current children cumulated vsize: 436260 KiB
Current children cumulated memory: 428800 KiB

[startup+1062.3 s]
/proc/loadavg: 4.11 4.00 2.87 5/258 719532
/proc/meminfo: memFree=87031844/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=436260 memory=428840 CPUtime=1058.92 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84377 0 0 0 105842 50 0 0 20 0 1 0 141242698 446730240 107210 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109065 107210 1140 1005 0 107828 0
Current children cumulated CPU time: 1058.92 s
Current children cumulated vsize: 436260 KiB
Current children cumulated memory: 428840 KiB

[startup+1122.3 s]
/proc/loadavg: 4.09 4.01 2.95 5/259 719543
/proc/meminfo: memFree=86516008/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=436432 memory=428924 CPUtime=1118.73 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84540 0 0 0 111821 52 0 0 20 0 1 0 141242698 446906368 107231 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109108 107231 1140 1005 0 107871 0
Current children cumulated CPU time: 1118.73 s
Current children cumulated vsize: 436432 KiB
Current children cumulated memory: 428924 KiB

[startup+1182.3 s]
/proc/loadavg: 4.10 4.03 3.03 5/259 719553
/proc/meminfo: memFree=86353916/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=436432 memory=429012 CPUtime=1178.52 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84703 0 0 0 117799 53 0 0 20 0 1 0 141242698 446906368 107253 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109108 107253 1140 1005 0 107871 0
Current children cumulated CPU time: 1178.52 s
Current children cumulated vsize: 436432 KiB
Current children cumulated memory: 429012 KiB

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

# cumulated CPU time of all completed processes:  user=1219.32 s, system=0.560237 s

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

[startup+1203.2 s]
/proc/loadavg: 4.14 4.04 3.05 5/259 719559
/proc/meminfo: memFree=86273620/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=436684 memory=429048 CPUtime=1199.35 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84815 0 0 0 119881 54 0 0 20 0 1 0 141242698 447164416 107262 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109171 107262 1140 1005 0 107934 0
Current children cumulated CPU time: 1199.35 s
Current children cumulated vsize: 436684 KiB
Current children cumulated memory: 429048 KiB

[startup+1216 s]*
/proc/loadavg: 4.19 4.05 3.08 5/259 719562
/proc/meminfo: memFree=86221944/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=436684 memory=429048 CPUtime=1212.12 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84827 0 0 0 121157 55 0 0 20 0 1 0 141242698 447164416 107262 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109171 107262 1140 1005 0 107934 0
Current children cumulated CPU time: 1212.12 s
Current children cumulated vsize: 436684 KiB
Current children cumulated memory: 429048 KiB

[startup+1219.2 s]
/proc/loadavg: 4.19 4.05 3.08 5/259 719562
/proc/meminfo: memFree=86217508/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=436684 memory=429048 CPUtime=1215.3 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84829 0 0 0 121475 55 0 0 20 0 1 0 141242698 447164416 107262 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109171 107262 1140 1005 0 107934 0
Current children cumulated CPU time: 1215.3 s
Current children cumulated vsize: 436684 KiB
Current children cumulated memory: 429048 KiB

[startup+1220.8 s]
/proc/loadavg: 4.19 4.05 3.08 5/259 719562
/proc/meminfo: memFree=86215460/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=436684 memory=429048 CPUtime=1216.89 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84829 0 0 0 121634 55 0 0 20 0 1 0 141242698 447164416 107262 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109171 107262 1140 1005 0 107934 0
Current children cumulated CPU time: 1216.89 s
Current children cumulated vsize: 436684 KiB
Current children cumulated memory: 429048 KiB

[startup+1222.4 s]
/proc/loadavg: 4.18 4.05 3.08 5/259 719562
/proc/meminfo: memFree=86213552/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=436684 memory=429048 CPUtime=1218.49 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84829 0 0 0 121794 55 0 0 20 0 1 0 141242698 447164416 107262 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109171 107262 1140 1005 0 107934 0
Current children cumulated CPU time: 1218.49 s
Current children cumulated vsize: 436684 KiB
Current children cumulated memory: 429048 KiB

[startup+1223.2 s]
/proc/loadavg: 4.18 4.05 3.08 5/259 719562
/proc/meminfo: memFree=86213552/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=436684 memory=429048 CPUtime=1219.29 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84830 0 0 0 121874 55 0 0 20 0 1 0 141242698 447164416 107262 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109171 107262 1140 1005 0 107934 0
Current children cumulated CPU time: 1219.29 s
Current children cumulated vsize: 436684 KiB
Current children cumulated memory: 429048 KiB

[startup+1223.6 s]
/proc/loadavg: 4.18 4.05 3.08 5/259 719562
/proc/meminfo: memFree=86213552/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=436684 memory=429048 CPUtime=1219.69 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84831 0 0 0 121914 55 0 0 20 0 1 0 141242698 447164416 107262 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109171 107262 1140 1005 0 107934 0
Current children cumulated CPU time: 1219.69 s
Current children cumulated vsize: 436684 KiB
Current children cumulated memory: 429048 KiB

[startup+1223.7 s]
/proc/loadavg: 4.18 4.05 3.08 5/259 719562
/proc/meminfo: memFree=86213552/131524600 swapFree=131071996/131071996
[pid=718072] ppid=718067 vsize=437372 memory=429048 CPUtime=1219.78 cores=1,3
/proc/718072/stat : 718072 (Exact) R 718067 718072 718006 0 -1 4194304 84846 0 0 0 121923 55 0 0 20 0 1 0 141242698 447868928 107262 134679101440 4194304 8309489 140732222792064 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 28024832 140732222796765 140732222796934 140732222796934 140732222803919 0
/proc/718072/statm: 109343 107262 1140 1005 0 108106 0
Current children cumulated CPU time: 1219.78 s
Current children cumulated vsize: 437372 KiB
Current children cumulated memory: 429048 KiB

Child status: 30

Real time (s): 1223.79
CPU time (s): 1219.88
CPU user time (s): 1219.32
CPU system time (s): 0.560237
CPU usage (%): 99.6811
Max. virtual memory (cumulated for all children) (KiB): 437372
Max. memory (cumulated for all children) (KiB): 429048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1219.32
system time used= 0.560237
maximum resident set size= 429048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84871
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= 77
involuntary context switches= 1474


# summary of solver processes directly reported to runsolver:
#   pid: 718072
#   total CPU time (s): 1219.88
#   total CPU user time (s): 1219.32
#   total CPU system time (s): 0.560237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.48745 second user time and 5.61865 second system time

The end