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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459353-1721896902/watcher-4459353-1721896902 -o /tmp/evaluation-result-4459353-1721896902/solver-4459353-1721896902 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721889676-283154 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=893640014 HOME/instance-4459353-1721896902.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=287404, runsolver pid=287401
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 4.10 4.14 4.10 5/256 287405
/proc/meminfo: memFree=108880680/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=55756 memory=36508 CPUtime=0.1 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 7131 0 0 0 9 1 0 0 20 0 1 0 26219592 57094144 9127 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 13939 9127 1044 1005 0 12702 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55756 KiB
Current children cumulated memory: 36508 KiB

[startup+0.205685 s]*
/proc/loadavg: 4.10 4.14 4.10 5/256 287405
/proc/meminfo: memFree=108879856/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=55756 memory=36508 CPUtime=0.2 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 7149 0 0 0 19 1 0 0 20 0 1 0 26219592 57094144 9127 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 13939 9127 1044 1005 0 12702 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55756 KiB
Current children cumulated memory: 36508 KiB

[startup+0.30552 s]*
/proc/loadavg: 4.10 4.14 4.10 5/256 287405
/proc/meminfo: memFree=108875284/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=55756 memory=39180 CPUtime=0.3 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 7151 0 0 0 29 1 0 0 20 0 1 0 26219592 57094144 9795 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 13939 9795 1140 1005 0 12702 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55756 KiB
Current children cumulated memory: 39180 KiB

[startup+0.700222 s]
/proc/loadavg: 4.10 4.14 4.10 5/256 287405
/proc/meminfo: memFree=108868804/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=59504 memory=44920 CPUtime=0.69 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 8089 0 0 0 68 1 0 0 20 0 1 0 26219592 60932096 11230 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 14876 11230 1140 1005 0 13639 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59504 KiB
Current children cumulated memory: 44920 KiB

[startup+1.50023 s]
/proc/loadavg: 4.10 4.14 4.10 5/256 287405
/proc/meminfo: memFree=108858884/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=61948 memory=51076 CPUtime=1.48 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 8655 0 0 0 147 1 0 0 20 0 1 0 26219592 63434752 12769 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 15487 12769 1140 1005 0 14250 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61948 KiB
Current children cumulated memory: 51076 KiB

[startup+3.10555 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 287405
/proc/meminfo: memFree=108826428/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=68640 memory=62252 CPUtime=3.08 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 10439 0 0 0 306 2 0 0 20 0 1 0 26219592 70287360 15563 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 17160 15563 1140 1005 0 15923 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 68640 KiB
Current children cumulated memory: 62252 KiB

[startup+6.30023 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 287405
/proc/meminfo: memFree=108754732/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=94604 memory=86996 CPUtime=6.27 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 13763 0 0 0 623 4 0 0 20 0 1 0 26219592 96874496 21749 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 23651 21749 1140 1005 0 22414 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 94604 KiB
Current children cumulated memory: 86996 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.13 4.10 5/256 287406
/proc/meminfo: memFree=108590600/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=120060 memory=93736 CPUtime=12.64 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 14889 0 0 0 1259 5 0 0 20 0 1 0 26219592 122941440 23434 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 30015 23434 1140 1005 0 28778 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 120060 KiB
Current children cumulated memory: 93736 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.10 5/256 287409
/proc/meminfo: memFree=108333784/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=129624 memory=104884 CPUtime=25.39 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 17276 0 0 0 2531 8 0 0 20 0 1 0 26219592 132734976 26221 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 32406 26221 1140 1005 0 31169 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 129624 KiB
Current children cumulated memory: 104884 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 287414
/proc/meminfo: memFree=108213372/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=141152 memory=117540 CPUtime=50.9 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 19962 0 0 0 5079 11 0 0 20 0 1 0 26219592 144539648 29385 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 35288 29385 1140 1005 0 34051 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 141152 KiB
Current children cumulated memory: 117540 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 287422
/proc/meminfo: memFree=107783772/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=154916 memory=132896 CPUtime=101.9 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 23293 0 0 0 10172 18 0 0 20 0 1 0 26219592 158633984 33224 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 38729 33224 1140 1005 0 37492 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 154916 KiB
Current children cumulated memory: 132896 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 287435
/proc/meminfo: memFree=107661376/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=163912 memory=146052 CPUtime=161.68 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 25621 0 0 0 16143 25 0 0 20 0 1 0 26219592 167845888 36513 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 40978 36513 1140 1005 0 39741 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 163912 KiB
Current children cumulated memory: 146052 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 287446
/proc/meminfo: memFree=106699140/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=169464 memory=151244 CPUtime=221.44 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 26945 0 0 0 22112 32 0 0 20 0 1 0 26219592 173531136 37811 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 42366 37811 1140 1005 0 41129 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 169464 KiB
Current children cumulated memory: 151244 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/256 287456
/proc/meminfo: memFree=106527720/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=175052 memory=161312 CPUtime=281.22 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 28446 0 0 0 28083 39 0 0 20 0 1 0 26219592 179253248 40328 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 43763 40328 1140 1005 0 42526 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 175052 KiB
Current children cumulated memory: 161312 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 287467
/proc/meminfo: memFree=106429068/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=179264 memory=165708 CPUtime=341 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 29564 0 0 0 34054 46 0 0 20 0 1 0 26219592 183566336 41427 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 44816 41427 1140 1005 0 43579 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 179264 KiB
Current children cumulated memory: 165708 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 287477
/proc/meminfo: memFree=106381780/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=183320 memory=169312 CPUtime=400.78 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 30499 0 0 0 40026 52 0 0 20 0 1 0 26219592 187719680 42328 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 45830 42328 1140 1005 0 44593 0
Current children cumulated CPU time: 400.78 s
Current children cumulated vsize: 183320 KiB
Current children cumulated memory: 169312 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 287487
/proc/meminfo: memFree=106339200/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=186220 memory=174428 CPUtime=460.55 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 31305 0 0 0 45997 58 0 0 20 0 1 0 26219592 190689280 43607 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 46555 43607 1140 1005 0 45318 0

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

Current children cumulated memory: 233368 KiB

[startup+2922.3 s]
/proc/loadavg: 3.12 3.50 3.83 4/251 289313
/proc/meminfo: memFree=104700548/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=269476 memory=235812 CPUtime=2912.5 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 45725 0 0 0 290936 314 0 0 20 0 1 0 26219592 275943424 58953 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 67369 58953 1140 1005 0 66132 0
Current children cumulated CPU time: 2912.5 s
Current children cumulated vsize: 269476 KiB
Current children cumulated memory: 235812 KiB

[startup+2982.3 s]
/proc/loadavg: 3.09 3.42 3.78 4/253 289384
/proc/meminfo: memFree=104687640/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=269476 memory=235924 CPUtime=2972.31 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 45834 0 0 0 296910 321 0 0 20 0 1 0 26219592 275943424 58981 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 67369 58981 1140 1005 0 66132 0
Current children cumulated CPU time: 2972.31 s
Current children cumulated vsize: 269476 KiB
Current children cumulated memory: 235924 KiB

[startup+3042.3 s]
/proc/loadavg: 3.26 3.41 3.75 4/253 289396
/proc/meminfo: memFree=104682432/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=269476 memory=235924 CPUtime=3032.12 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 45929 0 0 0 302884 328 0 0 20 0 1 0 26219592 275943424 58981 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 67369 58981 1140 1005 0 66132 0
Current children cumulated CPU time: 3032.12 s
Current children cumulated vsize: 269476 KiB
Current children cumulated memory: 235924 KiB

[startup+3102.3 s]
/proc/loadavg: 3.15 3.35 3.71 4/253 289406
/proc/meminfo: memFree=104681552/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=269476 memory=235924 CPUtime=3091.92 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 46023 0 0 0 308858 334 0 0 20 0 1 0 26219592 275943424 58981 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 67369 58981 1140 1005 0 66132 0
Current children cumulated CPU time: 3091.92 s
Current children cumulated vsize: 269476 KiB
Current children cumulated memory: 235924 KiB

[startup+3162.3 s]
/proc/loadavg: 3.09 3.30 3.67 4/252 289417
/proc/meminfo: memFree=104675580/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=269476 memory=235924 CPUtime=3151.72 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 46114 0 0 0 314833 339 0 0 20 0 1 0 26219592 275943424 58981 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 67369 58981 1140 1005 0 66132 0
Current children cumulated CPU time: 3151.72 s
Current children cumulated vsize: 269476 KiB
Current children cumulated memory: 235924 KiB

[startup+3222.3 s]
/proc/loadavg: 3.12 3.27 3.63 4/252 289428
/proc/meminfo: memFree=104673360/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=271132 memory=237512 CPUtime=3211.52 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 46602 0 0 0 320808 344 0 0 20 0 1 0 26219592 277639168 59378 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 67783 59378 1198 1005 0 66546 0
Current children cumulated CPU time: 3211.52 s
Current children cumulated vsize: 271132 KiB
Current children cumulated memory: 237512 KiB

[startup+3282.3 s]
/proc/loadavg: 3.19 3.26 3.61 4/249 289440
/proc/meminfo: memFree=104668076/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=271640 memory=238220 CPUtime=3271.33 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 46849 0 0 0 326782 351 0 0 20 0 1 0 26219592 278159360 59555 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 67910 59555 1198 1005 0 66673 0
Current children cumulated CPU time: 3271.33 s
Current children cumulated vsize: 271640 KiB
Current children cumulated memory: 238220 KiB

[startup+3342.3 s]
/proc/loadavg: 3.18 3.24 3.58 4/251 289455
/proc/meminfo: memFree=104666044/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=271640 memory=238332 CPUtime=3331.13 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 46934 0 0 0 332756 357 0 0 20 0 1 0 26219592 278159360 59583 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 67910 59583 1198 1005 0 66673 0
Current children cumulated CPU time: 3331.13 s
Current children cumulated vsize: 271640 KiB
Current children cumulated memory: 238332 KiB

[startup+3402.3 s]
/proc/loadavg: 3.12 3.21 3.55 4/251 289465
/proc/meminfo: memFree=104656440/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=271640 memory=238332 CPUtime=3390.94 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 47030 0 0 0 338732 362 0 0 20 0 1 0 26219592 278159360 59583 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 67910 59583 1198 1005 0 66673 0
Current children cumulated CPU time: 3390.94 s
Current children cumulated vsize: 271640 KiB
Current children cumulated memory: 238332 KiB

[startup+3462.3 s]
/proc/loadavg: 3.16 3.20 3.52 4/250 289475
/proc/meminfo: memFree=104647388/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=271888 memory=238588 CPUtime=3450.75 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 47186 0 0 0 344708 367 0 0 20 0 1 0 26219592 278413312 59647 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 67972 59647 1198 1005 0 66735 0
Current children cumulated CPU time: 3450.75 s
Current children cumulated vsize: 271888 KiB
Current children cumulated memory: 238588 KiB

[startup+3522.3 s]
/proc/loadavg: 3.12 3.18 3.49 4/250 289486
/proc/meminfo: memFree=104643028/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=271888 memory=238588 CPUtime=3510.55 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 47279 0 0 0 350682 373 0 0 20 0 1 0 26219592 278413312 59647 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 67972 59647 1198 1005 0 66735 0
Current children cumulated CPU time: 3510.55 s
Current children cumulated vsize: 271888 KiB
Current children cumulated memory: 238588 KiB

[startup+3582.3 s]
/proc/loadavg: 3.09 3.16 3.46 4/251 289499
/proc/meminfo: memFree=104640048/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=271888 memory=238588 CPUtime=3570.35 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 47370 0 0 0 356656 379 0 0 20 0 1 0 26219592 278413312 59647 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 67972 59647 1198 1005 0 66735 0
Current children cumulated CPU time: 3570.35 s
Current children cumulated vsize: 271888 KiB
Current children cumulated memory: 238588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 3.04 3.14 3.45 3/241 289536
/proc/meminfo: memFree=108580624/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=273036 memory=243604 CPUtime=3600.06 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 47639 0 0 0 359624 382 0 0 20 0 1 0 26219592 279588864 60901 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 68259 60901 1198 1005 0 67022 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 273036 KiB
Current children cumulated memory: 243604 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.25 s, system=3.82828 s

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

[startup+3612.11 s]
/proc/loadavg: 3.04 3.14 3.45 3/241 289536
/proc/meminfo: memFree=108580624/131524600 swapFree=131071728/131071996
[pid=287404] ppid=287401 vsize=273036 memory=243604 CPUtime=3600.06 cores=0,2
/proc/287404/stat : 287404 (Exact) R 287401 287404 283144 0 -1 4194304 47639 0 0 0 359624 382 0 0 20 0 1 0 26219592 279588864 60901 134679101440 4194304 8309489 140733201695488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 34807808 140733201699775 140733201699944 140733201699944 140733201706959 0
/proc/287404/statm: 68259 60901 1198 1005 0 67022 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 273036 KiB
Current children cumulated memory: 243604 KiB

Child status: 10

Real time (s): 3612.11
CPU time (s): 3600.08
CPU user time (s): 3596.25
CPU system time (s): 3.82828
CPU usage (%): 99.6669
Max. virtual memory (cumulated for all children) (KiB): 273036
Max. memory (cumulated for all children) (KiB): 243604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.25
system time used= 3.82828
maximum resident set size= 249188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47639
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= 43
involuntary context switches= 25221


# summary of solver processes directly reported to runsolver:
#   pid: 287404
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3596.25
#   total CPU system time (s): 3.82828

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23361 second user time and 16.5607 second system time

The end