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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433018-1721070314/watcher-4433018-1721070314 -o /tmp/evaluation-result-4433018-1721070314/solver-4433018-1721070314 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721063098-811459 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1183213578 HOME/instance-4433018-1721070314.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=815879, runsolver pid=815876

[startup+0.100362 s]*
/proc/loadavg: 4.04 4.13 4.17 6/244 815880
/proc/meminfo: memFree=126052816/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=29484 memory=9636 CPUtime=0.1 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 1133 0 0 0 10 0 0 0 20 0 1 0 159190199 30191616 2409 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 7371 2409 884 1005 0 6134 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29484 KiB
Current children cumulated memory: 9636 KiB

[startup+0.2131 s]*
/proc/loadavg: 4.04 4.13 4.17 5/244 815880
/proc/meminfo: memFree=126046552/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=38308 memory=18744 CPUtime=0.21 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 3242 0 0 0 20 1 0 0 20 0 1 0 159190199 39227392 4686 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 9577 4686 1044 1005 0 8340 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38308 KiB
Current children cumulated memory: 18744 KiB

[startup+0.31336 s]*
/proc/loadavg: 4.04 4.13 4.17 5/244 815880
/proc/meminfo: memFree=126031888/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=44756 memory=25444 CPUtime=0.31 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 5877 0 0 0 29 2 0 0 20 0 1 0 159190199 45830144 6361 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 11189 6361 1044 1005 0 9952 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44756 KiB
Current children cumulated memory: 25444 KiB

[startup+0.700285 s]
/proc/loadavg: 4.04 4.13 4.17 5/244 815880
/proc/meminfo: memFree=126024604/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=44756 memory=25444 CPUtime=0.68 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 5877 0 0 0 66 2 0 0 20 0 1 0 159190199 45830144 6361 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 11189 6361 1044 1005 0 9952 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44756 KiB
Current children cumulated memory: 25444 KiB

[startup+1.50028 s]
/proc/loadavg: 4.04 4.13 4.17 5/244 815880
/proc/meminfo: memFree=126012032/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=44756 memory=25444 CPUtime=1.48 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 5892 0 0 0 145 3 0 0 20 0 1 0 159190199 45830144 6361 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 11189 6361 1044 1005 0 9952 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44756 KiB
Current children cumulated memory: 25444 KiB

[startup+3.11268 s]
/proc/loadavg: 4.04 4.13 4.17 5/244 815880
/proc/meminfo: memFree=125951936/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=45896 memory=30816 CPUtime=3.09 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 6176 0 0 0 306 3 0 0 20 0 1 0 159190199 46997504 7704 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 11474 7704 1108 1005 0 10237 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45896 KiB
Current children cumulated memory: 30816 KiB

[startup+6.30032 s]
/proc/loadavg: 4.04 4.13 4.17 5/242 815881
/proc/meminfo: memFree=125887492/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=47440 memory=38512 CPUtime=6.26 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 6573 0 0 0 623 3 0 0 20 0 1 0 159190199 48578560 9628 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 11860 9628 1108 1005 0 10623 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47440 KiB
Current children cumulated memory: 38512 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.14 4.17 6/242 815881
/proc/meminfo: memFree=125815512/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=50284 memory=44160 CPUtime=12.65 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 7494 0 0 0 1261 4 0 0 20 0 1 0 159190199 51490816 11040 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 12571 11040 1124 1005 0 11334 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50284 KiB
Current children cumulated memory: 44160 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.14 4.17 5/242 815885
/proc/meminfo: memFree=125697060/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=51468 memory=45984 CPUtime=25.42 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 7953 0 0 0 2537 5 0 0 20 0 1 0 159190199 52703232 11496 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 12867 11496 1140 1005 0 11630 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 51468 KiB
Current children cumulated memory: 45984 KiB

[startup+51.1124 s]
/proc/loadavg: 4.18 4.16 4.18 5/242 815934
/proc/meminfo: memFree=125430008/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=65848 memory=53764 CPUtime=50.96 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 8643 0 0 0 5089 7 0 0 20 0 1 0 159190199 67428352 13441 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 16462 13441 1140 1005 0 15225 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 65848 KiB
Current children cumulated memory: 53764 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/242 815943
/proc/meminfo: memFree=124643884/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=67664 memory=55752 CPUtime=102.02 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 9111 0 0 0 10191 11 0 0 20 0 1 0 159190199 69287936 13938 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 16916 13938 1140 1005 0 15679 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 67664 KiB
Current children cumulated memory: 55752 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/242 815953
/proc/meminfo: memFree=123990196/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=68568 memory=56504 CPUtime=161.86 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 9364 0 0 0 16171 15 0 0 20 0 1 0 159190199 70213632 14126 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 17142 14126 1140 1005 0 15905 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 68568 KiB
Current children cumulated memory: 56504 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/242 815964
/proc/meminfo: memFree=123393540/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=69980 memory=58044 CPUtime=221.71 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 9713 0 0 0 22151 20 0 0 20 0 1 0 159190199 71659520 14511 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 17495 14511 1140 1005 0 16258 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 69980 KiB
Current children cumulated memory: 58044 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/242 815974
/proc/meminfo: memFree=123113840/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=71112 memory=59056 CPUtime=281.56 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 9992 0 0 0 28130 26 0 0 20 0 1 0 159190199 72818688 14764 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 17778 14764 1140 1005 0 16541 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 71112 KiB
Current children cumulated memory: 59056 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/244 815988
/proc/meminfo: memFree=122894628/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=71908 memory=61808 CPUtime=341.41 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 10186 0 0 0 34110 31 0 0 20 0 1 0 159190199 73633792 15452 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 17977 15452 1140 1005 0 16740 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 71908 KiB
Current children cumulated memory: 61808 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/243 815998
/proc/meminfo: memFree=122591524/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=72844 memory=62812 CPUtime=401.25 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 10432 0 0 0 40090 35 0 0 20 0 1 0 159190199 74592256 15703 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 18211 15703 1140 1005 0 16974 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 72844 KiB
Current children cumulated memory: 62812 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.15 4.16 6/243 816009
/proc/meminfo: memFree=122375544/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=73760 memory=63816 CPUtime=461.1 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 10704 0 0 0 46071 39 0 0 20 0 1 0 159190199 75530240 15954 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 18440 15954 1140 1005 0 17203 0

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

Current children cumulated memory: 83712 KiB

[startup+2922.3 s]
/proc/loadavg: 3.33 3.68 3.91 4/237 817095
/proc/meminfo: memFree=124695652/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=92672 memory=87240 CPUtime=2914.09 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 16228 0 0 0 291171 238 0 0 20 0 1 0 159190199 94896128 21810 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23168 21810 1140 1005 0 21931 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 92672 KiB
Current children cumulated memory: 87240 KiB

[startup+2982.3 s]
/proc/loadavg: 3.16 3.57 3.86 4/237 817106
/proc/meminfo: memFree=124694548/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=93220 memory=87900 CPUtime=2973.91 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 16398 0 0 0 297149 242 0 0 20 0 1 0 159190199 95457280 21975 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23305 21975 1140 1005 0 22068 0
Current children cumulated CPU time: 2973.91 s
Current children cumulated vsize: 93220 KiB
Current children cumulated memory: 87900 KiB

[startup+3042.3 s]
/proc/loadavg: 3.22 3.51 3.81 4/235 817500
/proc/meminfo: memFree=124691292/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=93788 memory=88576 CPUtime=3033.73 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 16572 0 0 0 303123 250 0 0 20 0 1 0 159190199 96038912 22144 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23447 22144 1140 1005 0 22210 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 93788 KiB
Current children cumulated memory: 88576 KiB

[startup+3102.3 s]
/proc/loadavg: 3.13 3.43 3.77 4/234 817510
/proc/meminfo: memFree=124688980/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=93788 memory=88576 CPUtime=3093.55 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 16604 0 0 0 309102 253 0 0 20 0 1 0 159190199 96038912 22144 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23447 22144 1140 1005 0 22210 0
Current children cumulated CPU time: 3093.55 s
Current children cumulated vsize: 93788 KiB
Current children cumulated memory: 88576 KiB

[startup+3162.3 s]
/proc/loadavg: 3.13 3.37 3.72 4/234 817520
/proc/meminfo: memFree=124682332/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=93788 memory=88600 CPUtime=3153.37 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 16637 0 0 0 315078 259 0 0 20 0 1 0 159190199 96038912 22150 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23447 22150 1140 1005 0 22210 0
Current children cumulated CPU time: 3153.37 s
Current children cumulated vsize: 93788 KiB
Current children cumulated memory: 88600 KiB

[startup+3222.3 s]
/proc/loadavg: 3.21 3.34 3.69 4/236 817701
/proc/meminfo: memFree=124675640/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=93788 memory=88600 CPUtime=3213.19 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 16670 0 0 0 321056 263 0 0 20 0 1 0 159190199 96038912 22150 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23447 22150 1140 1005 0 22210 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 93788 KiB
Current children cumulated memory: 88600 KiB

[startup+3282.3 s]
/proc/loadavg: 3.12 3.29 3.65 4/236 817711
/proc/meminfo: memFree=124613576/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=94876 memory=89688 CPUtime=3273.02 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 16975 0 0 0 327030 272 0 0 20 0 1 0 159190199 97153024 22422 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23719 22422 1140 1005 0 22482 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 94876 KiB
Current children cumulated memory: 89688 KiB

[startup+3342.3 s]
/proc/loadavg: 3.08 3.25 3.61 6/239 817737
/proc/meminfo: memFree=124594752/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=94876 memory=89688 CPUtime=3332.84 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 17007 0 0 0 333010 274 0 0 20 0 1 0 159190199 97153024 22422 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23719 22422 1140 1005 0 22482 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 94876 KiB
Current children cumulated memory: 89688 KiB

[startup+3402.3 s]
/proc/loadavg: 3.09 3.22 3.58 4/239 817747
/proc/meminfo: memFree=124591680/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=94876 memory=89688 CPUtime=3392.66 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 17040 0 0 0 338988 278 0 0 20 0 1 0 159190199 97153024 22422 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23719 22422 1140 1005 0 22482 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 94876 KiB
Current children cumulated memory: 89688 KiB

[startup+3462.3 s]
/proc/loadavg: 3.61 3.34 3.60 4/240 817759
/proc/meminfo: memFree=124582388/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=94876 memory=89688 CPUtime=3452.48 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 17072 0 0 0 344966 282 0 0 20 0 1 0 159190199 97153024 22422 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23719 22422 1140 1005 0 22482 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 94876 KiB
Current children cumulated memory: 89688 KiB

[startup+3522.3 s]
/proc/loadavg: 3.48 3.36 3.59 5/238 817769
/proc/meminfo: memFree=124562688/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=94876 memory=89688 CPUtime=3512.3 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 17107 0 0 0 350943 287 0 0 20 0 1 0 159190199 97153024 22422 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23719 22422 1140 1005 0 22482 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 94876 KiB
Current children cumulated memory: 89688 KiB

[startup+3582.3 s]
/proc/loadavg: 3.17 3.30 3.55 4/238 817780
/proc/meminfo: memFree=124545848/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=95072 memory=89756 CPUtime=3572.12 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 17189 0 0 0 356917 295 0 0 20 0 1 0 159190199 97353728 22439 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23768 22439 1140 1005 0 22531 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 95072 KiB
Current children cumulated memory: 89756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 3.01 3.25 3.53 3/228 817817
/proc/meminfo: memFree=126238584/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=95208 memory=90016 CPUtime=3600.04 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 17226 0 0 0 359709 295 0 0 20 0 1 0 159190199 97492992 22504 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23802 22504 1140 1005 0 22565 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 95208 KiB
Current children cumulated memory: 90016 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.1 s, system=2.95812 s

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

[startup+3610.3 s]
/proc/loadavg: 3.01 3.25 3.53 3/228 817817
/proc/meminfo: memFree=126238584/131655788 swapFree=131071996/131071996
[pid=815879] ppid=815876 vsize=95208 memory=90016 CPUtime=3600.04 cores=5,7
/proc/815879/stat : 815879 (Exact) R 815876 815879 811446 0 -1 4194304 17226 0 0 0 359709 295 0 0 20 0 1 0 159190199 97492992 22504 134679101440 4194304 8309489 140735050063760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42573824 140735050068926 140735050069096 140735050069096 140735050076111 0
/proc/815879/statm: 23802 22504 1140 1005 0 22565 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 95208 KiB
Current children cumulated memory: 90016 KiB

Child status: 10

Real time (s): 3610.3
CPU time (s): 3600.05
CPU user time (s): 3597.1
CPU system time (s): 2.95812
CPU usage (%): 99.7161
Max. virtual memory (cumulated for all children) (KiB): 95208
Max. memory (cumulated for all children) (KiB): 90016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.1
system time used= 2.95812
maximum resident set size= 90016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17228
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= 21
involuntary context switches= 1715


# summary of solver processes directly reported to runsolver:
#   pid: 815879
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3597.1
#   total CPU system time (s): 2.95812

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0055 second user time and 34.2413 second system time

The end