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: 64059 MiB (54711 MiB free)
  memory of node 1: 64510 MiB (49250 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433326-1721158528/watcher-4433326-1721158528 -o /tmp/evaluation-result-4433326-1721158528/solver-4433326-1721158528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721151296-855060 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1309134005 HOME/instance-4433326-1721158528.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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=859669, runsolver pid=859666
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 4.06 4.10 4.12 5/243 859670
/proc/meminfo: memFree=106452756/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=29496 memory=7040 CPUtime=0.1 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 1018 0 0 0 10 0 0 0 20 0 1 0 168009779 30203904 1760 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 7374 1760 884 1005 0 6137 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29496 KiB
Current children cumulated memory: 7040 KiB

[startup+0.212649 s]*
/proc/loadavg: 4.06 4.10 4.12 5/243 859670
/proc/meminfo: memFree=106449528/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=32464 memory=10536 CPUtime=0.21 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 1925 0 0 0 20 1 0 0 20 0 1 0 168009779 33243136 2634 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 8116 2634 1044 1005 0 6879 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32464 KiB
Current children cumulated memory: 10536 KiB

[startup+0.31221 s]*
/proc/loadavg: 4.06 4.10 4.12 5/243 859670
/proc/meminfo: memFree=106449388/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=32628 memory=10536 CPUtime=0.31 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 1957 0 0 0 30 1 0 0 20 0 1 0 168009779 33411072 2634 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 8157 2634 1044 1005 0 6920 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32628 KiB
Current children cumulated memory: 10536 KiB

[startup+0.700253 s]
/proc/loadavg: 4.06 4.10 4.12 5/243 859670
/proc/meminfo: memFree=106447460/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=34756 memory=16108 CPUtime=0.68 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 2710 0 0 0 66 2 0 0 20 0 1 0 168009779 35590144 4027 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 8689 4027 1140 1005 0 7452 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34756 KiB
Current children cumulated memory: 16108 KiB

[startup+1.50026 s]
/proc/loadavg: 4.06 4.10 4.12 5/243 859670
/proc/meminfo: memFree=106436672/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=36920 memory=24356 CPUtime=1.48 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 3241 0 0 0 145 3 0 0 20 0 1 0 168009779 37806080 6089 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 9230 6089 1140 1005 0 7993 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36920 KiB
Current children cumulated memory: 24356 KiB

[startup+3.11247 s]
/proc/loadavg: 4.06 4.10 4.12 5/243 859670
/proc/meminfo: memFree=106394368/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=53604 memory=41248 CPUtime=3.09 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 4801 0 0 0 304 5 0 0 20 0 1 0 168009779 54890496 10312 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 13401 10312 1140 1005 0 12164 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53604 KiB
Current children cumulated memory: 41248 KiB

[startup+6.30029 s]
/proc/loadavg: 4.05 4.09 4.12 5/243 859670
/proc/meminfo: memFree=106372704/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=58160 memory=45428 CPUtime=6.26 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 5826 0 0 0 620 6 0 0 20 0 1 0 168009779 59555840 11357 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 14540 11357 1140 1005 0 13303 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 58160 KiB
Current children cumulated memory: 45428 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.12 5/243 859671
/proc/meminfo: memFree=106264348/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=61476 memory=55980 CPUtime=12.65 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 6969 0 0 0 1255 10 0 0 20 0 1 0 168009779 62951424 13995 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 15369 13995 1140 1005 0 14132 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 61476 KiB
Current children cumulated memory: 55980 KiB

[startup+25.5003 s]
/proc/loadavg: 4.04 4.09 4.12 5/241 859673
/proc/meminfo: memFree=105836000/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=65228 memory=59856 CPUtime=25.4 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 7945 0 0 0 2525 15 0 0 20 0 1 0 168009779 66793472 14964 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 16307 14964 1140 1005 0 15070 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 65228 KiB
Current children cumulated memory: 59856 KiB

[startup+51.1122 s]
/proc/loadavg: 4.08 4.09 4.12 5/241 859677
/proc/meminfo: memFree=104798888/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=94344 memory=78952 CPUtime=50.93 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 10079 0 0 0 5064 29 0 0 20 0 1 0 168009779 96608256 19738 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 23586 19738 1140 1005 0 22349 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 94344 KiB
Current children cumulated memory: 78952 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/241 859686
/proc/meminfo: memFree=103872608/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=98784 memory=85020 CPUtime=101.95 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 11154 0 0 0 10137 58 0 0 20 0 1 0 168009779 101154816 21255 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 24696 21255 1140 1005 0 23459 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 98784 KiB
Current children cumulated memory: 85020 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/241 859697
/proc/meminfo: memFree=103313280/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=102256 memory=92636 CPUtime=161.76 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 12082 0 0 0 16086 90 0 0 20 0 1 0 168009779 104710144 23159 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 25564 23159 1140 1005 0 24327 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 102256 KiB
Current children cumulated memory: 92636 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/241 859798
/proc/meminfo: memFree=109414388/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=104188 memory=94672 CPUtime=221.56 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 12594 0 0 0 22035 121 0 0 20 0 1 0 168009779 106688512 23668 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 26047 23668 1140 1005 0 24810 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 104188 KiB
Current children cumulated memory: 94672 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/241 859809
/proc/meminfo: memFree=109133424/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=104844 memory=95356 CPUtime=281.36 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 12794 0 0 0 27985 151 0 0 20 0 1 0 168009779 107360256 23839 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 26211 23839 1140 1005 0 24974 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 104844 KiB
Current children cumulated memory: 95356 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/243 859824
/proc/meminfo: memFree=107386520/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=106604 memory=99508 CPUtime=341.17 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 13326 0 0 0 33936 181 0 0 20 0 1 0 168009779 109162496 24877 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 26651 24877 1140 1005 0 25414 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 106604 KiB
Current children cumulated memory: 99508 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/243 859834
/proc/meminfo: memFree=106201396/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=148356 memory=105704 CPUtime=400.98 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 14860 0 0 0 39883 215 0 0 20 0 1 0 168009779 151916544 26426 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 37089 26426 1140 1005 0 35852 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 148356 KiB
Current children cumulated memory: 105704 KiB

[startup+462.3 s]
/proc/loadavg: 4.27 4.14 4.11 5/243 859844
/proc/meminfo: memFree=106109772/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=152132 memory=109568 CPUtime=460.78 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 15836 0 0 0 45835 243 0 0 20 0 1 0 168009779 155783168 27392 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 38033 27392 1140 1005 0 36796 0

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

Current children cumulated memory: 167300 KiB

[startup+2862.3 s]
/proc/loadavg: 3.21 3.77 4.00 4/236 860918
/proc/meminfo: memFree=125739464/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=193124 memory=167388 CPUtime=2852.91 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 27621 0 0 0 283977 1314 0 0 20 0 1 0 168009779 197758976 41847 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 48281 41847 1140 1005 0 47044 0
Current children cumulated CPU time: 2852.91 s
Current children cumulated vsize: 193124 KiB
Current children cumulated memory: 167388 KiB

[startup+2922.3 s]
/proc/loadavg: 3.19 3.66 3.95 4/236 860930
/proc/meminfo: memFree=125733708/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=194188 memory=168196 CPUtime=2912.72 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 27953 0 0 0 289930 1342 0 0 20 0 1 0 168009779 198848512 42049 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 48547 42049 1140 1005 0 47310 0
Current children cumulated CPU time: 2912.72 s
Current children cumulated vsize: 194188 KiB
Current children cumulated memory: 168196 KiB

[startup+2982.3 s]
/proc/loadavg: 3.13 3.55 3.89 4/236 860941
/proc/meminfo: memFree=125729960/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=194356 memory=168544 CPUtime=2972.54 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 28050 0 0 0 295886 1368 0 0 20 0 1 0 168009779 199020544 42136 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 48589 42136 1140 1005 0 47352 0
Current children cumulated CPU time: 2972.54 s
Current children cumulated vsize: 194356 KiB
Current children cumulated memory: 168544 KiB

[startup+3042.3 s]
/proc/loadavg: 3.10 3.47 3.84 4/237 861335
/proc/meminfo: memFree=125725376/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=194528 memory=168716 CPUtime=3032.35 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 28211 0 0 0 301834 1401 0 0 20 0 1 0 168009779 199196672 42179 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 48632 42179 1140 1005 0 47395 0
Current children cumulated CPU time: 3032.35 s
Current children cumulated vsize: 194528 KiB
Current children cumulated memory: 168716 KiB

[startup+3102.3 s]
/proc/loadavg: 3.10 3.40 3.79 4/237 861345
/proc/meminfo: memFree=125723560/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=194892 memory=168908 CPUtime=3092.16 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 28332 0 0 0 307787 1429 0 0 20 0 1 0 168009779 199569408 42227 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 48723 42227 1140 1005 0 47486 0
Current children cumulated CPU time: 3092.16 s
Current children cumulated vsize: 194892 KiB
Current children cumulated memory: 168908 KiB

[startup+3162.3 s]
/proc/loadavg: 3.09 3.34 3.74 4/238 861359
/proc/meminfo: memFree=125721408/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=195088 memory=169280 CPUtime=3151.97 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 28477 0 0 0 313738 1459 0 0 20 0 1 0 168009779 199770112 42320 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 48772 42320 1140 1005 0 47535 0
Current children cumulated CPU time: 3151.97 s
Current children cumulated vsize: 195088 KiB
Current children cumulated memory: 169280 KiB

[startup+3222.3 s]
/proc/loadavg: 3.12 3.30 3.70 4/238 861537
/proc/meminfo: memFree=125718820/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=195316 memory=169332 CPUtime=3211.8 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 28595 0 0 0 319696 1484 0 0 20 0 1 0 168009779 200003584 42333 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 48829 42333 1140 1005 0 47592 0
Current children cumulated CPU time: 3211.8 s
Current children cumulated vsize: 195316 KiB
Current children cumulated memory: 169332 KiB

[startup+3282.3 s]
/proc/loadavg: 3.12 3.27 3.67 4/238 861547
/proc/meminfo: memFree=125711020/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=195964 memory=176676 CPUtime=3271.6 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 28825 0 0 0 325647 1513 0 0 20 0 1 0 168009779 200667136 44169 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 48991 44169 1140 1005 0 47754 0
Current children cumulated CPU time: 3271.6 s
Current children cumulated vsize: 195964 KiB
Current children cumulated memory: 176676 KiB

[startup+3342.3 s]
/proc/loadavg: 3.14 3.25 3.63 4/236 861614
/proc/meminfo: memFree=125709756/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=196108 memory=176768 CPUtime=3331.4 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 28960 0 0 0 331592 1548 0 0 20 0 1 0 168009779 200814592 44192 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 49027 44192 1140 1005 0 47790 0
Current children cumulated CPU time: 3331.4 s
Current children cumulated vsize: 196108 KiB
Current children cumulated memory: 176768 KiB

[startup+3402.3 s]
/proc/loadavg: 3.16 3.24 3.61 4/236 861624
/proc/meminfo: memFree=125708096/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=196108 memory=176820 CPUtime=3391.18 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 29039 0 0 0 337539 1579 0 0 20 0 1 0 168009779 200814592 44205 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 49027 44205 1140 1005 0 47790 0
Current children cumulated CPU time: 3391.18 s
Current children cumulated vsize: 196108 KiB
Current children cumulated memory: 176820 KiB

[startup+3462.3 s]
/proc/loadavg: 3.11 3.20 3.57 4/235 861634
/proc/meminfo: memFree=125705892/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=197628 memory=178340 CPUtime=3450.95 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 29479 0 0 0 343491 1604 0 0 20 0 1 0 168009779 202371072 44585 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 49407 44585 1140 1005 0 48170 0
Current children cumulated CPU time: 3450.95 s
Current children cumulated vsize: 197628 KiB
Current children cumulated memory: 178340 KiB

[startup+3522.3 s]
/proc/loadavg: 3.46 3.26 3.56 4/235 861645
/proc/meminfo: memFree=125699452/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=197628 memory=178464 CPUtime=3510.73 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 29594 0 0 0 349438 1635 0 0 20 0 1 0 168009779 202371072 44616 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 49407 44616 1140 1005 0 48170 0
Current children cumulated CPU time: 3510.73 s
Current children cumulated vsize: 197628 KiB
Current children cumulated memory: 178464 KiB

[startup+3582.3 s]
/proc/loadavg: 3.52 3.33 3.57 4/235 861656
/proc/meminfo: memFree=125697240/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=198616 memory=179328 CPUtime=3570.5 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 29884 0 0 0 355389 1661 0 0 20 0 1 0 168009779 203382784 44832 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 49654 44832 1140 1005 0 48417 0
Current children cumulated CPU time: 3570.5 s
Current children cumulated vsize: 198616 KiB
Current children cumulated memory: 179328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 3.11 3.25 3.53 3/228 861692
/proc/meminfo: memFree=125955968/131655788 swapFree=131071996/131071996
[pid=859669] ppid=859666 vsize=198616 memory=179328 CPUtime=3600.1 cores=0,2
/proc/859669/stat : 859669 (Exact) R 859666 859669 855050 0 -1 4194304 29889 0 0 0 358337 1673 0 0 20 0 1 0 168009779 203382784 44832 134679101440 4194304 8309489 140722527742944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 20525056 140722527749054 140722527749224 140722527749224 140722527756239 0
/proc/859669/statm: 49654 44832 1140 1005 0 48417 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 198616 KiB
Current children cumulated memory: 179328 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.38 s, system=16.7396 s

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

Child status: 10

Real time (s): 3612.02
CPU time (s): 3600.12
CPU user time (s): 3583.38
CPU system time (s): 16.7396
CPU usage (%): 99.6706
Max. virtual memory (cumulated for all children) (KiB): 198616
Max. memory (cumulated for all children) (KiB): 179328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.38
system time used= 16.7396
maximum resident set size= 179328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29891
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= 39
involuntary context switches= 24659


# summary of solver processes directly reported to runsolver:
#   pid: 859669
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3583.38
#   total CPU system time (s): 16.7396

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.604 second user time and 33.7442 second system time

The end