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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=815932, runsolver pid=815929

[startup+0.100101 s]*
/proc/loadavg: 4.15 4.15 4.17 5/242 815933
/proc/meminfo: memFree=125651284/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=44764 memory=24804 CPUtime=0.1 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 5717 0 0 0 9 1 0 0 20 0 1 0 159193810 45838336 6201 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 11191 6201 1044 1005 0 9954 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44764 KiB
Current children cumulated memory: 24804 KiB

[startup+0.212919 s]*
/proc/loadavg: 4.15 4.15 4.17 5/242 815933
/proc/meminfo: memFree=125648732/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=44764 memory=24804 CPUtime=0.22 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 5717 0 0 0 21 1 0 0 20 0 1 0 159193810 45838336 6201 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 11191 6201 1044 1005 0 9954 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 44764 KiB
Current children cumulated memory: 24804 KiB

[startup+0.312942 s]*
/proc/loadavg: 4.22 4.16 4.18 5/242 815933
/proc/meminfo: memFree=125648620/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=44764 memory=24804 CPUtime=0.32 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 5723 0 0 0 31 1 0 0 20 0 1 0 159193810 45838336 6201 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 11191 6201 1044 1005 0 9954 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 44764 KiB
Current children cumulated memory: 24804 KiB

[startup+0.700274 s]
/proc/loadavg: 4.22 4.16 4.18 5/242 815933
/proc/meminfo: memFree=125648144/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=44764 memory=24804 CPUtime=0.69 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 5723 0 0 0 68 1 0 0 20 0 1 0 159193810 45838336 6201 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 11191 6201 1044 1005 0 9954 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44764 KiB
Current children cumulated memory: 24804 KiB

[startup+1.50027 s]
/proc/loadavg: 4.22 4.16 4.18 6/242 815933
/proc/meminfo: memFree=125642552/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=45088 memory=29452 CPUtime=1.48 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 5808 0 0 0 147 1 0 0 20 0 1 0 159193810 46170112 7363 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 11272 7363 1124 1005 0 10035 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45088 KiB
Current children cumulated memory: 29452 KiB

[startup+3.11285 s]
/proc/loadavg: 4.22 4.16 4.18 6/242 815933
/proc/meminfo: memFree=125601304/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=50076 memory=40320 CPUtime=3.1 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 7027 0 0 0 308 2 0 0 20 0 1 0 159193810 51277824 10080 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 12519 10080 1124 1005 0 11282 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 50076 KiB
Current children cumulated memory: 40320 KiB

[startup+6.30027 s]
/proc/loadavg: 4.20 4.16 4.18 6/242 815933
/proc/meminfo: memFree=125545888/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=52244 memory=46344 CPUtime=6.27 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 7513 0 0 0 625 2 0 0 20 0 1 0 159193810 53497856 11586 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 13061 11586 1124 1005 0 11824 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52244 KiB
Current children cumulated memory: 46344 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.16 4.18 6/242 815934
/proc/meminfo: memFree=125444680/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=57092 memory=51396 CPUtime=12.65 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 8762 0 0 0 1263 2 0 0 20 0 1 0 159193810 58462208 12849 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 14273 12849 1140 1005 0 13036 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57092 KiB
Current children cumulated memory: 51396 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.15 4.17 6/242 815936
/proc/meminfo: memFree=125277556/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=71240 memory=56020 CPUtime=25.43 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 9689 0 0 0 2538 5 0 0 20 0 1 0 159193810 72949760 14005 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 17810 14005 1140 1005 0 16573 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 71240 KiB
Current children cumulated memory: 56020 KiB

[startup+51.1128 s]
/proc/loadavg: 4.09 4.14 4.17 6/242 815940
/proc/meminfo: memFree=124926336/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=74328 memory=59372 CPUtime=50.98 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 10508 0 0 0 5090 8 0 0 20 0 1 0 159193810 76111872 14843 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 18582 14843 1140 1005 0 17345 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 74328 KiB
Current children cumulated memory: 59372 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.16 6/242 815949
/proc/meminfo: memFree=124191592/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=80820 memory=67380 CPUtime=102.03 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 12034 0 0 0 10192 11 0 0 20 0 1 0 159193810 82759680 16845 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 20205 16845 1140 1005 0 18968 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 80820 KiB
Current children cumulated memory: 67380 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.16 6/242 815959
/proc/meminfo: memFree=123675016/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=83488 memory=72256 CPUtime=161.88 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 12761 0 0 0 16171 17 0 0 20 0 1 0 159193810 85491712 18064 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 20872 18064 1140 1005 0 19635 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 83488 KiB
Current children cumulated memory: 72256 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.16 6/242 815970
/proc/meminfo: memFree=123218148/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=85628 memory=76356 CPUtime=221.73 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 13306 0 0 0 22150 23 0 0 20 0 1 0 159193810 87683072 19089 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 21407 19089 1140 1005 0 20170 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 85628 KiB
Current children cumulated memory: 76356 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.11 4.15 6/244 815984
/proc/meminfo: memFree=123034828/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=86940 memory=77676 CPUtime=281.57 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 13651 0 0 0 28128 29 0 0 20 0 1 0 159193810 89026560 19419 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 21735 19419 1140 1005 0 20498 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 86940 KiB
Current children cumulated memory: 77676 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.15 6/243 815994
/proc/meminfo: memFree=122709608/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=91996 memory=81804 CPUtime=341.39 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 14686 0 0 0 34100 39 0 0 20 0 1 0 159193810 94203904 20451 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 22999 20451 1140 1005 0 21762 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 81804 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.15 6/243 816005
/proc/meminfo: memFree=122448096/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=92132 memory=82068 CPUtime=401.2 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 14772 0 0 0 40078 42 0 0 20 0 1 0 159193810 94343168 20517 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 23033 20517 1140 1005 0 21796 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 92132 KiB
Current children cumulated memory: 82068 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.15 6/243 816015
/proc/meminfo: memFree=122182752/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=94112 memory=84088 CPUtime=461.01 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 15295 0 0 0 46054 47 0 0 20 0 1 0 159193810 96370688 21022 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0

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

Current children cumulated memory: 107084 KiB

[startup+2922.3 s]
/proc/loadavg: 3.25 3.62 3.88 4/237 817103
/proc/meminfo: memFree=124695012/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=111676 memory=107084 CPUtime=2914.52 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 21093 0 0 0 291187 265 0 0 20 0 1 0 159193810 114356224 26771 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 27919 26771 1140 1005 0 26682 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 111676 KiB
Current children cumulated memory: 107084 KiB

[startup+2982.3 s]
/proc/loadavg: 3.22 3.54 3.83 4/237 817497
/proc/meminfo: memFree=124691120/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=112104 memory=107304 CPUtime=2974.36 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 21245 0 0 0 297167 269 0 0 20 0 1 0 159193810 114794496 26826 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 28026 26826 1140 1005 0 26789 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 112104 KiB
Current children cumulated memory: 107304 KiB

[startup+3042.3 s]
/proc/loadavg: 3.12 3.45 3.78 4/235 817507
/proc/meminfo: memFree=124691372/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=112104 memory=107512 CPUtime=3034.21 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 21296 0 0 0 303148 273 0 0 20 0 1 0 159193810 114794496 26878 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 28026 26878 1140 1005 0 26789 0
Current children cumulated CPU time: 3034.21 s
Current children cumulated vsize: 112104 KiB
Current children cumulated memory: 107512 KiB

[startup+3102.3 s]
/proc/loadavg: 3.07 3.38 3.74 4/234 817517
/proc/meminfo: memFree=124682400/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=135332 memory=112088 CPUtime=3094.06 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 21853 0 0 0 309127 279 0 0 20 0 1 0 159193810 138579968 28022 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 33833 28022 1140 1005 0 32596 0
Current children cumulated CPU time: 3094.06 s
Current children cumulated vsize: 135332 KiB
Current children cumulated memory: 112088 KiB

[startup+3162.3 s]
/proc/loadavg: 3.22 3.36 3.71 4/236 817697
/proc/meminfo: memFree=124680080/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=135500 memory=112256 CPUtime=3153.92 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 21956 0 0 0 315106 286 0 0 20 0 1 0 159193810 138752000 28064 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 33875 28064 1140 1005 0 32638 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 135500 KiB
Current children cumulated memory: 112256 KiB

[startup+3222.3 s]
/proc/loadavg: 3.19 3.32 3.67 4/236 817708
/proc/meminfo: memFree=124648088/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=135856 memory=112612 CPUtime=3213.77 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 22072 0 0 0 321086 291 0 0 20 0 1 0 159193810 139116544 28153 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 33964 28153 1140 1005 0 32727 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 135856 KiB
Current children cumulated memory: 112612 KiB

[startup+3282.3 s]
/proc/loadavg: 3.12 3.28 3.63 4/239 817723
/proc/meminfo: memFree=124595252/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=136212 memory=112968 CPUtime=3273.63 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 22207 0 0 0 327067 296 0 0 20 0 1 0 159193810 139481088 28242 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 34053 28242 1140 1005 0 32816 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 136212 KiB
Current children cumulated memory: 112968 KiB

[startup+3342.3 s]
/proc/loadavg: 3.12 3.24 3.60 4/239 817744
/proc/meminfo: memFree=124594388/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=136412 memory=112968 CPUtime=3333.48 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 22300 0 0 0 333047 301 0 0 20 0 1 0 159193810 139685888 28242 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 34103 28242 1140 1005 0 32866 0
Current children cumulated CPU time: 3333.48 s
Current children cumulated vsize: 136412 KiB
Current children cumulated memory: 112968 KiB

[startup+3402.3 s]
/proc/loadavg: 3.45 3.29 3.59 4/240 817756
/proc/meminfo: memFree=124585280/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=136412 memory=113168 CPUtime=3393.33 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 22346 0 0 0 339026 307 0 0 20 0 1 0 159193810 139685888 28292 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 34103 28292 1140 1005 0 32866 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 136412 KiB
Current children cumulated memory: 113168 KiB

[startup+3462.3 s]
/proc/loadavg: 3.56 3.37 3.60 4/240 817766
/proc/meminfo: memFree=124566948/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=136592 memory=113516 CPUtime=3453.19 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 22441 0 0 0 345006 313 0 0 20 0 1 0 159193810 139870208 28379 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 34148 28379 1198 1005 0 32911 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 136592 KiB
Current children cumulated memory: 113516 KiB

[startup+3522.3 s]
/proc/loadavg: 3.24 3.32 3.56 4/238 817777
/proc/meminfo: memFree=124551596/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=137016 memory=113948 CPUtime=3513.04 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 22592 0 0 0 350984 320 0 0 20 0 1 0 159193810 140304384 28487 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 34254 28487 1198 1005 0 33017 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 137016 KiB
Current children cumulated memory: 113948 KiB

[startup+3582.3 s]
/proc/loadavg: 2.78 3.19 3.51 2/223 817854
/proc/meminfo: memFree=126333348/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=137380 memory=114372 CPUtime=3572.89 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 22726 0 0 0 356964 325 0 0 20 0 1 0 159193810 140677120 28593 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 34345 28593 1198 1005 0 33108 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 137380 KiB
Current children cumulated memory: 114372 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 2.24 3.03 3.44 2/223 817859
/proc/meminfo: memFree=126333152/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=137824 memory=114568 CPUtime=3600.03 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 22838 0 0 0 359672 331 0 0 20 0 1 0 159193810 141131776 28642 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 34456 28642 1198 1005 0 33219 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 137824 KiB
Current children cumulated memory: 114568 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.73 s, system=3.32101 s

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

[startup+3609.5 s]
/proc/loadavg: 2.24 3.03 3.44 2/223 817859
/proc/meminfo: memFree=126333152/131655788 swapFree=131071996/131071996
[pid=815932] ppid=815929 vsize=137824 memory=114568 CPUtime=3600.03 cores=1,3
/proc/815932/stat : 815932 (Exact) R 815929 815932 811446 0 -1 4194304 22838 0 0 0 359672 331 0 0 20 0 1 0 159193810 141131776 28642 134679101440 4194304 8309489 140728203129696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32305152 140728203133886 140728203134056 140728203134056 140728203141071 0
/proc/815932/statm: 34456 28642 1198 1005 0 33219 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 137824 KiB
Current children cumulated memory: 114568 KiB

Child status: 10

Real time (s): 3609.5
CPU time (s): 3600.05
CPU user time (s): 3596.73
CPU system time (s): 3.32101
CPU usage (%): 99.7381
Max. virtual memory (cumulated for all children) (KiB): 137824
Max. memory (cumulated for all children) (KiB): 114568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.73
system time used= 3.32101
maximum resident set size= 140236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22838
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= 33
involuntary context switches= 1662


# summary of solver processes directly reported to runsolver:
#   pid: 815932
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3596.73
#   total CPU system time (s): 3.32101

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8817 second user time and 34.432 second system time

The end