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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425838-1720890791/watcher-4425838-1720890791 -o /tmp/evaluation-result-4425838-1720890791/solver-4425838-1720890791 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1720890802-713417 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1186498392 HOME/instance-4425838-1720890791.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=713741, runsolver pid=713738

[startup+0.100646 s]*
/proc/loadavg: 0.14 0.10 0.09 5/257 713757
/proc/meminfo: memFree=128146844/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=72520 memory=49040 CPUtime=0.09 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 14120 0 0 0 7 2 0 0 20 0 1 0 141244011 74260480 12260 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 18130 12260 884 1005 0 16893 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72520 KiB
Current children cumulated memory: 49040 KiB

[startup+0.205813 s]*
/proc/loadavg: 0.14 0.10 0.09 5/257 713757
/proc/meminfo: memFree=128092300/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=98800 memory=78128 CPUtime=0.2 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 21629 0 0 0 17 3 0 0 20 0 1 0 141244011 101171200 19532 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 24700 19532 916 1005 0 23463 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 98800 KiB
Current children cumulated memory: 78128 KiB

[startup+0.305558 s]*
/proc/loadavg: 0.14 0.10 0.09 5/257 713757
/proc/meminfo: memFree=128087936/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=99196 memory=78392 CPUtime=0.29 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 21723 0 0 0 26 3 0 0 20 0 1 0 141244011 101576704 19598 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 24799 19598 916 1005 0 23562 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 99196 KiB
Current children cumulated memory: 78392 KiB

[startup+0.70025 s]
/proc/loadavg: 0.14 0.10 0.09 5/257 713757
/proc/meminfo: memFree=128010136/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=149516 memory=127100 CPUtime=0.68 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 32472 0 0 0 63 5 0 0 20 0 1 0 141244011 153104384 31775 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 37379 31775 1076 1005 0 36142 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 149516 KiB
Current children cumulated memory: 127100 KiB

[startup+1.50018 s]
/proc/loadavg: 0.14 0.10 0.09 5/257 713757
/proc/meminfo: memFree=127772572/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=160612 memory=145420 CPUtime=1.48 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 34497 0 0 0 142 6 0 0 20 0 1 0 141244011 164466688 36355 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 40153 36355 1124 1005 0 38916 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 160612 KiB
Current children cumulated memory: 145420 KiB

[startup+3.10584 s]
/proc/loadavg: 0.45 0.17 0.11 5/257 713757
/proc/meminfo: memFree=127719536/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=162000 memory=149004 CPUtime=3.08 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 34851 0 0 0 302 6 0 0 20 0 1 0 141244011 165888000 37251 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 40500 37251 1124 1005 0 39263 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 162000 KiB
Current children cumulated memory: 149004 KiB

[startup+6.30021 s]
/proc/loadavg: 0.45 0.17 0.11 5/257 713757
/proc/meminfo: memFree=127614648/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=180072 memory=159308 CPUtime=6.27 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 36699 0 0 0 620 7 0 0 20 0 1 0 141244011 184393728 39827 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 45018 39827 1124 1005 0 43781 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 180072 KiB
Current children cumulated memory: 159308 KiB

[startup+12.7002 s]
/proc/loadavg: 0.73 0.23 0.13 5/257 713758
/proc/meminfo: memFree=127535072/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=201452 memory=182144 CPUtime=12.65 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 41867 0 0 0 1257 8 0 0 20 0 1 0 141244011 206286848 45536 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 50363 45536 1140 1005 0 49126 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 201452 KiB
Current children cumulated memory: 182144 KiB

[startup+25.5003 s]
/proc/loadavg: 1.46 0.42 0.20 5/257 713760
/proc/meminfo: memFree=127453108/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=211004 memory=194528 CPUtime=25.42 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 43999 0 0 0 2533 9 0 0 20 0 1 0 141244011 216068096 48632 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 52751 48632 1140 1005 0 51514 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 211004 KiB
Current children cumulated memory: 194528 KiB

[startup+51.1056 s]
/proc/loadavg: 2.38 0.72 0.31 5/257 713764
/proc/meminfo: memFree=127199300/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=255172 memory=229648 CPUtime=50.96 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 49146 0 0 0 5085 11 0 0 20 0 1 0 141244011 261296128 57412 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 63793 57412 1140 1005 0 62556 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 255172 KiB
Current children cumulated memory: 229648 KiB

[startup+102.3 s]
/proc/loadavg: 3.35 1.25 0.51 5/258 713774
/proc/meminfo: memFree=126883272/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=302804 memory=246712 CPUtime=102.02 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 51857 0 0 0 10186 16 0 0 20 0 1 0 141244011 310071296 61678 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 75701 61678 1140 1005 0 74464 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 302804 KiB
Current children cumulated memory: 246712 KiB

[startup+162.3 s]
/proc/loadavg: 3.81 1.76 0.73 5/256 713785
/proc/meminfo: memFree=126404936/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=307500 memory=258196 CPUtime=161.87 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 53224 0 0 0 16166 21 0 0 20 0 1 0 141244011 314880000 64549 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 76875 64549 1140 1005 0 75638 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 307500 KiB
Current children cumulated memory: 258196 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.20 0.95 5/256 713795
/proc/meminfo: memFree=126174304/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=310916 memory=266032 CPUtime=221.72 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 54261 0 0 0 22148 24 0 0 20 0 1 0 141244011 318377984 66508 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 77729 66508 1140 1005 0 76492 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 310916 KiB
Current children cumulated memory: 266032 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.56 1.15 5/256 713805
/proc/meminfo: memFree=126062716/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=313524 memory=270952 CPUtime=281.57 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 54980 0 0 0 28130 27 0 0 20 0 1 0 141244011 321048576 67738 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 78381 67738 1140 1005 0 77144 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 313524 KiB
Current children cumulated memory: 270952 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 2.86 1.35 5/255 713816
/proc/meminfo: memFree=125972956/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=316144 memory=275500 CPUtime=341.42 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 55640 0 0 0 34111 31 0 0 20 0 1 0 141244011 323731456 68875 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 79036 68875 1140 1005 0 77799 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 316144 KiB
Current children cumulated memory: 275500 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.08 1.52 5/257 713830
/proc/meminfo: memFree=125937956/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=316772 memory=281008 CPUtime=401.27 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 56032 0 0 0 40094 33 0 0 20 0 1 0 141244011 324374528 70252 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 79193 70252 1140 1005 0 77956 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 316772 KiB
Current children cumulated memory: 281008 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.27 1.68 5/257 713840
/proc/meminfo: memFree=125563444/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=319364 memory=283492 CPUtime=461.11 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 56704 0 0 0 46075 36 0 0 20 0 1 0 141244011 327028736 70873 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 79841 70873 1140 1005 0 78604 0
Current children cumulated CPU time: 461.11 s

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

Current children cumulated memory: 331996 KiB

[startup+2922.3 s]
/proc/loadavg: 4.20 4.15 4.01 5/258 715465
/proc/meminfo: memFree=117753808/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=352576 memory=332328 CPUtime=2914.42 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 67854 0 0 0 291256 186 0 0 20 0 1 0 141244011 361037824 83082 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 88144 83082 1140 1005 0 86907 0
Current children cumulated CPU time: 2914.42 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 332328 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.01 5/258 715475
/proc/meminfo: memFree=117698512/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=352576 memory=332360 CPUtime=2974.25 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 67913 0 0 0 297234 191 0 0 20 0 1 0 141244011 361037824 83090 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 88144 83090 1140 1005 0 86907 0
Current children cumulated CPU time: 2974.25 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 332360 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.02 5/256 715487
/proc/meminfo: memFree=117697916/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=352576 memory=332360 CPUtime=3034.07 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 67962 0 0 0 303211 196 0 0 20 0 1 0 141244011 361037824 83090 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 88144 83090 1140 1005 0 86907 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 352576 KiB
Current children cumulated memory: 332360 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.03 5/256 715497
/proc/meminfo: memFree=117669292/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=377976 memory=358760 CPUtime=3093.9 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 73591 0 0 0 309189 201 0 0 20 0 1 0 141244011 387047424 89690 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 94494 89690 1140 1005 0 93257 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 377976 KiB
Current children cumulated memory: 358760 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.03 5/255 715507
/proc/meminfo: memFree=117668704/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=377976 memory=358920 CPUtime=3153.72 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 73665 0 0 0 315166 206 0 0 20 0 1 0 141244011 387047424 89730 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 94494 89730 1140 1005 0 93257 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 377976 KiB
Current children cumulated memory: 358920 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.03 5/254 715517
/proc/meminfo: memFree=117665708/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=377976 memory=358932 CPUtime=3213.55 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 73716 0 0 0 321144 211 0 0 20 0 1 0 141244011 387047424 89733 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 94494 89733 1140 1005 0 93257 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 377976 KiB
Current children cumulated memory: 358932 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.04 5/254 715528
/proc/meminfo: memFree=117664716/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=378208 memory=358964 CPUtime=3273.38 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 73811 0 0 0 327124 214 0 0 20 0 1 0 141244011 387284992 89741 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 94552 89741 1140 1005 0 93315 0
Current children cumulated CPU time: 3273.38 s
Current children cumulated vsize: 378208 KiB
Current children cumulated memory: 358964 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.04 5/254 715539
/proc/meminfo: memFree=117661980/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=380660 memory=361416 CPUtime=3333.21 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 74448 0 0 0 333102 219 0 0 20 0 1 0 141244011 389795840 90354 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 95165 90354 1140 1005 0 93928 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 380660 KiB
Current children cumulated memory: 361416 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.05 5/256 715553
/proc/meminfo: memFree=117661180/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=380660 memory=361492 CPUtime=3393.03 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 74507 0 0 0 339081 222 0 0 20 0 1 0 141244011 389795840 90373 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 95165 90373 1140 1005 0 93928 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 380660 KiB
Current children cumulated memory: 361492 KiB

[startup+3462.3 s]
/proc/loadavg: 4.41 4.22 4.08 5/256 715564
/proc/meminfo: memFree=117660040/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=380660 memory=361492 CPUtime=3452.86 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 74555 0 0 0 345060 226 0 0 20 0 1 0 141244011 389795840 90373 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 95165 90373 1140 1005 0 93928 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 380660 KiB
Current children cumulated memory: 361492 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.21 4.09 5/258 715578
/proc/meminfo: memFree=117628356/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=380660 memory=361496 CPUtime=3512.68 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 74581 0 0 0 351038 230 0 0 20 0 1 0 141244011 389795840 90374 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 95165 90374 1140 1005 0 93928 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 380660 KiB
Current children cumulated memory: 361496 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.19 4.09 5/258 715588
/proc/meminfo: memFree=117596208/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=380660 memory=361504 CPUtime=3572.51 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 74638 0 0 0 357016 235 0 0 20 0 1 0 141244011 389795840 90376 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 95165 90376 1140 1005 0 93928 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 380660 KiB
Current children cumulated memory: 361504 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.09 4.17 4.09 4/251 715624
/proc/meminfo: memFree=121425832/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=381340 memory=361948 CPUtime=3600.02 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 74829 0 0 0 359766 236 0 0 20 0 1 0 141244011 390492160 90487 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 95335 90487 1140 1005 0 94098 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 381340 KiB
Current children cumulated memory: 361948 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.71 s, system=2.37968 s

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

[startup+3609.9 s]
/proc/loadavg: 4.09 4.17 4.09 4/251 715624
/proc/meminfo: memFree=121425832/131524600 swapFree=131071996/131071996
[pid=713741] ppid=713738 vsize=381340 memory=361948 CPUtime=3600.02 cores=1,3
/proc/713741/stat : 713741 (Exact) R 713738 713741 713405 0 -1 4194304 74829 0 0 0 359766 236 0 0 20 0 1 0 141244011 390492160 90487 134679101440 4194304 8309489 140730893679920 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26722304 140730893681628 140730893681798 140730893681798 140730893688783 0
/proc/713741/statm: 95335 90487 1140 1005 0 94098 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 381340 KiB
Current children cumulated memory: 361948 KiB

Child status: 10

Real time (s): 3609.95
CPU time (s): 3600.09
CPU user time (s): 3597.71
CPU system time (s): 2.37968
CPU usage (%): 99.7268
Max. virtual memory (cumulated for all children) (KiB): 381340
Max. memory (cumulated for all children) (KiB): 361948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.71
system time used= 2.37968
maximum resident set size= 361948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74834
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= 1
involuntary context switches= 2170


# summary of solver processes directly reported to runsolver:
#   pid: 713741
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3597.71
#   total CPU system time (s): 2.37968

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8829 second user time and 18.2184 second system time

The end