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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425561-1720890791/watcher-4425561-1720890791 -o /tmp/evaluation-result-4425561-1720890791/solver-4425561-1720890791 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720890802-722519 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1152617007 HOME/instance-4425561-1720890791.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=722812, runsolver pid=722809
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 0.09 0.10 0.09 4/255 722813
/proc/meminfo: memFree=129485300/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=77440 memory=53868 CPUtime=0.1 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 15449 0 0 0 8 2 0 0 20 0 1 0 141247205 79298560 13467 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 19360 13467 755 746 0 18424 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77440 KiB
Current children cumulated memory: 53868 KiB

[startup+0.205955 s]*
/proc/loadavg: 0.09 0.10 0.09 4/254 722827
/proc/meminfo: memFree=129453316/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=97580 memory=76896 CPUtime=0.2 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 21460 0 0 0 17 3 0 0 20 0 1 0 141247205 99921920 19224 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 24395 19224 803 746 0 23459 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97580 KiB
Current children cumulated memory: 76896 KiB

[startup+0.305505 s]*
/proc/loadavg: 0.09 0.10 0.09 4/251 722844
/proc/meminfo: memFree=129457476/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=97976 memory=77160 CPUtime=0.3 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 21556 0 0 0 27 3 0 0 20 0 1 0 141247205 100327424 19290 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 24494 19290 803 746 0 23558 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97976 KiB
Current children cumulated memory: 77160 KiB

[startup+0.700217 s]
/proc/loadavg: 0.48 0.18 0.12 5/257 722859
/proc/meminfo: memFree=129433716/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=108380 memory=86780 CPUtime=0.68 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 23347 0 0 0 65 3 0 0 20 0 1 0 141247205 110981120 21695 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 27095 21695 851 746 0 26159 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108380 KiB
Current children cumulated memory: 86780 KiB

[startup+1.50018 s]
/proc/loadavg: 0.48 0.18 0.12 5/257 722859
/proc/meminfo: memFree=129399544/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=111720 memory=98120 CPUtime=1.49 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 24173 0 0 0 145 4 0 0 20 0 1 0 141247205 114401280 24530 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 27930 24530 851 746 0 26994 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 111720 KiB
Current children cumulated memory: 98120 KiB

[startup+3.10559 s]
/proc/loadavg: 0.48 0.18 0.12 5/254 722895
/proc/meminfo: memFree=129171516/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=114248 memory=100712 CPUtime=3.09 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 24819 0 0 0 305 4 0 0 20 0 1 0 141247205 116989952 25178 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 28562 25178 851 746 0 27626 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 114248 KiB
Current children cumulated memory: 100712 KiB

[startup+6.30022 s]
/proc/loadavg: 0.85 0.26 0.14 5/258 722906
/proc/meminfo: memFree=128148392/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=130776 memory=110232 CPUtime=6.28 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 26429 0 0 0 623 5 0 0 20 0 1 0 141247205 133914624 27558 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 32694 27558 851 746 0 31758 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 130776 KiB
Current children cumulated memory: 110232 KiB

[startup+12.7002 s]
/proc/loadavg: 1.10 0.32 0.16 5/258 722908
/proc/meminfo: memFree=125686324/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=154860 memory=127684 CPUtime=12.66 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 27103 0 0 0 1260 6 0 0 20 0 1 0 141247205 158576640 31921 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 38715 31921 851 746 0 37779 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 154860 KiB
Current children cumulated memory: 127684 KiB

[startup+25.5002 s]
/proc/loadavg: 1.54 0.44 0.21 5/258 722956
/proc/meminfo: memFree=119216320/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=165496 memory=147772 CPUtime=25.42 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 29634 0 0 0 2535 7 0 0 20 0 1 0 141247205 169467904 36943 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 41374 36943 851 746 0 40438 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 165496 KiB
Current children cumulated memory: 147772 KiB

[startup+51.1056 s]
/proc/loadavg: 2.59 0.80 0.33 5/258 722960
/proc/meminfo: memFree=112784672/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=196932 memory=177784 CPUtime=50.95 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 36202 0 0 0 5086 9 0 0 20 0 1 0 141247205 201658368 44446 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 49233 44446 851 746 0 48297 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 196932 KiB
Current children cumulated memory: 177784 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 1.31 0.53 5/258 722969
/proc/meminfo: memFree=111685876/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=244740 memory=197100 CPUtime=101.99 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 38959 0 0 0 10188 11 0 0 20 0 1 0 141247205 250613760 49275 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 61185 49275 851 746 0 60249 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 244740 KiB
Current children cumulated memory: 197100 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.82 0.76 5/256 722981
/proc/meminfo: memFree=110980748/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=249024 memory=202536 CPUtime=161.8 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 40304 0 0 0 16169 11 0 0 20 0 1 0 141247205 255000576 50634 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 62256 50634 851 746 0 61320 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 249024 KiB
Current children cumulated memory: 202536 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.24 0.97 5/257 722992
/proc/meminfo: memFree=110854492/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=251928 memory=221436 CPUtime=221.64 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 41193 0 0 0 22152 12 0 0 20 0 1 0 141247205 257974272 55359 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 62982 55359 851 746 0 62046 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 251928 KiB
Current children cumulated memory: 221436 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.58 1.17 5/257 723003
/proc/meminfo: memFree=109884920/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=253664 memory=225272 CPUtime=281.49 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 41736 0 0 0 28137 12 0 0 20 0 1 0 141247205 259751936 56318 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 63416 56318 851 746 0 62480 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 253664 KiB
Current children cumulated memory: 225272 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 2.85 1.35 5/256 723014
/proc/meminfo: memFree=109607864/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=254852 memory=230516 CPUtime=341.33 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 42144 0 0 0 34121 12 0 0 20 0 1 0 141247205 260968448 57629 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 63713 57629 851 746 0 62777 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 254852 KiB
Current children cumulated memory: 230516 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 3.08 1.53 5/256 723024
/proc/meminfo: memFree=108348240/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=257252 memory=233004 CPUtime=401.17 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 42853 0 0 0 40105 12 0 0 20 0 1 0 141247205 263426048 58251 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 64313 58251 851 746 0 63377 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 257252 KiB
Current children cumulated memory: 233004 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.26 1.69 5/257 723038
/proc/meminfo: memFree=108132212/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=265972 memory=239408 CPUtime=461.02 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 44293 0 0 0 46090 12 0 0 20 0 1 0 141247205 272355328 59852 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 66493 59852 851 746 0 65557 0
Current children cumulated CPU time: 461.02 s

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

Current children cumulated memory: 309900 KiB

[startup+2922.3 s]
/proc/loadavg: 3.09 3.17 3.36 4/250 724710
/proc/meminfo: memFree=92563568/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=317612 memory=310212 CPUtime=2914.41 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 58802 0 0 0 291425 16 0 0 20 0 1 0 141247205 325234688 77553 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 79403 77553 851 746 0 78467 0
Current children cumulated CPU time: 2914.41 s
Current children cumulated vsize: 317612 KiB
Current children cumulated memory: 310212 KiB

[startup+2982.3 s]
/proc/loadavg: 3.28 3.20 3.36 4/250 724720
/proc/meminfo: memFree=92408804/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=403320 memory=326524 CPUtime=2974.24 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 62089 0 0 0 297405 19 0 0 20 0 1 0 141247205 412999680 81631 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 100830 81631 851 746 0 99894 0
Current children cumulated CPU time: 2974.24 s
Current children cumulated vsize: 403320 KiB
Current children cumulated memory: 326524 KiB

[startup+3042.3 s]
/proc/loadavg: 3.15 3.18 3.35 4/249 724732
/proc/meminfo: memFree=92321972/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=403320 memory=326532 CPUtime=3034.07 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 62195 0 0 0 303388 19 0 0 20 0 1 0 141247205 412999680 81633 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 100830 81633 851 746 0 99894 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 403320 KiB
Current children cumulated memory: 326532 KiB

[startup+3102.3 s]
/proc/loadavg: 3.48 3.26 3.36 4/249 724743
/proc/meminfo: memFree=92202464/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=403320 memory=326532 CPUtime=3093.9 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 62318 0 0 0 309371 19 0 0 20 0 1 0 141247205 412999680 81633 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 100830 81633 851 746 0 99894 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 403320 KiB
Current children cumulated memory: 326532 KiB

[startup+3162.3 s]
/proc/loadavg: 3.04 3.19 3.33 3/241 724784
/proc/meminfo: memFree=117485724/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=403320 memory=326536 CPUtime=3153.74 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 62465 0 0 0 315355 19 0 0 20 0 1 0 141247205 412999680 81634 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 100830 81634 851 746 0 99894 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 403320 KiB
Current children cumulated memory: 326536 KiB

[startup+3222.3 s]
/proc/loadavg: 2.43 2.98 3.25 3/241 724795
/proc/meminfo: memFree=117484340/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=403900 memory=326956 CPUtime=3213.58 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 62720 0 0 0 321339 19 0 0 20 0 1 0 141247205 413593600 81739 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 100975 81739 851 746 0 100039 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 403900 KiB
Current children cumulated memory: 326956 KiB

[startup+3282.3 s]
/proc/loadavg: 2.27 2.83 3.18 3/241 724806
/proc/meminfo: memFree=117483696/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=403900 memory=327124 CPUtime=3273.42 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 62843 0 0 0 327323 19 0 0 20 0 1 0 141247205 413593600 81781 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 100975 81781 851 746 0 100039 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 403900 KiB
Current children cumulated memory: 327124 KiB

[startup+3342.3 s]
/proc/loadavg: 2.15 2.70 3.11 3/241 724817
/proc/meminfo: memFree=117482920/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=403900 memory=327124 CPUtime=3333.27 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 62995 0 0 0 333308 19 0 0 20 0 1 0 141247205 413593600 81781 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 100975 81781 851 746 0 100039 0
Current children cumulated CPU time: 3333.27 s
Current children cumulated vsize: 403900 KiB
Current children cumulated memory: 327124 KiB

[startup+3402.3 s]
/proc/loadavg: 2.10 2.58 3.04 3/242 724828
/proc/meminfo: memFree=117479908/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=404156 memory=329428 CPUtime=3393.11 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 63139 0 0 0 339292 19 0 0 20 0 1 0 141247205 413855744 82357 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 101039 82357 851 746 0 100103 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 404156 KiB
Current children cumulated memory: 329428 KiB

[startup+3462.3 s]
/proc/loadavg: 2.16 2.52 2.99 3/245 724845
/proc/meminfo: memFree=117479004/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=404156 memory=329428 CPUtime=3452.95 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 63263 0 0 0 345276 19 0 0 20 0 1 0 141247205 413855744 82357 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 101039 82357 851 746 0 100103 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 404156 KiB
Current children cumulated memory: 329428 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.44 2.93 3/245 724856
/proc/meminfo: memFree=117477656/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=404640 memory=329916 CPUtime=3512.79 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 63509 0 0 0 351260 19 0 0 20 0 1 0 141247205 414351360 82479 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 101160 82479 851 746 0 100224 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 404640 KiB
Current children cumulated memory: 329916 KiB

[startup+3582.3 s]
/proc/loadavg: 2.16 2.39 2.88 3/245 724866
/proc/meminfo: memFree=117476084/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=405768 memory=330924 CPUtime=3572.63 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 63900 0 0 0 357244 19 0 0 20 0 1 0 141247205 415506432 82731 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 101442 82731 851 746 0 100506 0
Current children cumulated CPU time: 3572.63 s
Current children cumulated vsize: 405768 KiB
Current children cumulated memory: 330924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 2.10 2.35 2.86 3/245 724871
/proc/meminfo: memFree=117475496/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=405768 memory=331048 CPUtime=3600.06 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 64009 0 0 0 359987 19 0 0 20 0 1 0 141247205 415506432 82762 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 101442 82762 851 746 0 100506 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 405768 KiB
Current children cumulated memory: 331048 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.99 s, system=0.199223 s

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

[startup+3609.9 s]
/proc/loadavg: 2.10 2.35 2.86 3/245 724871
/proc/meminfo: memFree=117475496/131524600 swapFree=131071996/131071996
[pid=722812] ppid=722809 vsize=241472 memory=229148 CPUtime=3600.16 cores=4,6
/proc/722812/stat : 722812 (Exact_nosoplex) R 722809 722812 722508 0 -1 4194304 64035 0 0 0 359997 19 0 0 20 0 1 0 141247205 247267328 57287 134679101440 4194304 7248369 140728086115248 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 30986240 140728086119370 140728086119549 140728086119549 140728086126534 0
/proc/722812/statm: 60368 57287 851 746 0 59432 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 241472 KiB
Current children cumulated memory: 229148 KiB

Child status: 10

Real time (s): 3609.92
CPU time (s): 3600.19
CPU user time (s): 3599.99
CPU system time (s): 0.199223
CPU usage (%): 99.7306
Max. virtual memory (cumulated for all children) (KiB): 405768
Max. memory (cumulated for all children) (KiB): 331048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.99
system time used= 0.199223
maximum resident set size= 410612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64038
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= 41
involuntary context switches= 1688


# summary of solver processes directly reported to runsolver:
#   pid: 722812
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3599.99
#   total CPU system time (s): 0.199223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01147 second user time and 16.3913 second system time

The end