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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425551-1720881965/watcher-4425551-1720881965 -o /tmp/evaluation-result-4425551-1720881965/solver-4425551-1720881965 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1720878365-714468 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=288776709 HOME/instance-4425551-1720881965.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100093 s]*
/proc/loadavg: 4.00 4.07 4.08 5/255 716618
/proc/meminfo: memFree=126388720/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=76024 memory=55908 CPUtime=0.09 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 14811 0 0 0 7 2 0 0 20 0 1 0 140364831 77848576 13977 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 19006 13977 755 746 0 18070 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76024 KiB
Current children cumulated memory: 55908 KiB

[startup+0.205487 s]*
/proc/loadavg: 4.00 4.07 4.08 5/255 716618
/proc/meminfo: memFree=126328684/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=125188 memory=106792 CPUtime=0.2 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 23426 0 0 0 16 4 0 0 20 0 1 0 140364831 128192512 26698 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 31297 26698 755 746 0 30361 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 125188 KiB
Current children cumulated memory: 106792 KiB

[startup+0.305643 s]*
/proc/loadavg: 4.00 4.07 4.08 5/255 716618
/proc/meminfo: memFree=126304112/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=156248 memory=136108 CPUtime=0.3 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 27970 0 0 0 25 5 0 0 20 0 1 0 140364831 159997952 34027 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 39062 34027 755 746 0 38126 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 156248 KiB
Current children cumulated memory: 136108 KiB

[startup+0.700223 s]
/proc/loadavg: 4.00 4.07 4.08 5/255 716618
/proc/meminfo: memFree=126199340/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=312132 memory=294028 CPUtime=0.69 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 48698 0 0 0 58 11 0 0 20 0 1 0 140364831 319623168 73507 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 78033 73507 755 746 0 77097 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 312132 KiB
Current children cumulated memory: 294028 KiB

[startup+1.50023 s]
/proc/loadavg: 4.00 4.07 4.08 5/255 716620
/proc/meminfo: memFree=126076224/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=504964 memory=481364 CPUtime=1.48 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 85182 0 0 0 131 17 0 0 20 0 1 0 140364831 517083136 120341 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 126274 120341 787 746 0 125338 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 504964 KiB
Current children cumulated memory: 481364 KiB

[startup+3.10539 s]
/proc/loadavg: 4.00 4.07 4.08 5/256 716621
/proc/meminfo: memFree=125828832/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=607152 memory=564472 CPUtime=3.08 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 100749 0 0 0 287 21 0 0 20 0 1 0 140364831 621723648 141118 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 151788 141118 851 746 0 150852 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 607152 KiB
Current children cumulated memory: 564472 KiB

[startup+6.30021 s]
/proc/loadavg: 4.00 4.07 4.08 5/256 716621
/proc/meminfo: memFree=125696732/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=654568 memory=640612 CPUtime=6.28 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 112698 0 0 0 604 24 0 0 20 0 1 0 140364831 670277632 160153 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 163642 160153 851 746 0 162706 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 654568 KiB
Current children cumulated memory: 640612 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 716622
/proc/meminfo: memFree=125505108/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=772744 memory=724144 CPUtime=12.65 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 125734 0 0 0 1237 28 0 0 20 0 1 0 140364831 791289856 181036 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 193186 181036 851 746 0 192250 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 772744 KiB
Current children cumulated memory: 724144 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/256 716624
/proc/meminfo: memFree=125273264/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=812752 memory=799068 CPUtime=25.42 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 135935 0 0 0 2512 30 0 0 20 0 1 0 140364831 832258048 199767 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 203188 199767 851 746 0 202252 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 812752 KiB
Current children cumulated memory: 799068 KiB

[startup+51.1055 s]
/proc/loadavg: 4.04 4.08 4.08 5/256 716628
/proc/meminfo: memFree=124822456/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=1011860 memory=922444 CPUtime=50.94 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 156371 0 0 0 5058 36 0 0 20 0 1 0 140364831 1036144640 230611 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 252965 230611 851 746 0 252029 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1011860 KiB
Current children cumulated memory: 922444 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/256 716638
/proc/meminfo: memFree=123616156/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=1407164 memory=1228208 CPUtime=101.98 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 203367 0 0 0 10148 50 0 0 20 0 1 0 140364831 1440935936 307052 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 351791 307052 851 746 0 350855 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1407164 KiB
Current children cumulated memory: 1228208 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/256 716649
/proc/meminfo: memFree=122853044/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=1706336 memory=1612232 CPUtime=161.8 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 265995 0 0 0 16117 63 0 0 20 0 1 0 140364831 1747288064 403058 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 426584 403058 851 746 0 425648 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1706336 KiB
Current children cumulated memory: 1612232 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 716659
/proc/meminfo: memFree=122356632/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=2092340 memory=1799896 CPUtime=221.61 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 281308 0 0 0 22084 77 0 0 20 0 1 0 140364831 2142556160 449974 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 523085 449974 851 746 0 522149 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 2092340 KiB
Current children cumulated memory: 1799896 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/258 716674
/proc/meminfo: memFree=121998596/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=2093396 memory=1934888 CPUtime=281.43 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 283648 0 0 0 28063 80 0 0 20 0 1 0 140364831 2143637504 483722 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 523349 483722 851 746 0 522413 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 2093396 KiB
Current children cumulated memory: 1934888 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/257 716684
/proc/meminfo: memFree=120879356/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=2695160 memory=2441320 CPUtime=341.25 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 384008 0 0 0 34029 96 0 0 20 0 1 0 140364831 2759843840 610330 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 673790 610330 851 746 0 672854 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 2695160 KiB
Current children cumulated memory: 2441320 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 716695
/proc/meminfo: memFree=119245932/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=3394460 memory=2653144 CPUtime=401.07 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 408812 0 0 0 39988 119 0 0 20 0 1 0 140364831 3475927040 663286 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 848615 663286 851 746 0 847679 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 3394460 KiB
Current children cumulated memory: 2653144 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 716706
/proc/meminfo: memFree=119056388/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=3394460 memory=2821716 CPUtime=460.89 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 423426 0 0 0 45964 125 0 0 20 0 1 0 140364831 3475927040 705429 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 848615 705429 851 746 0 847679 0
Current children cumulated CPU time: 460.89 s

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

/proc/meminfo: memFree=113031956/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10345340 memory=9029360 CPUtime=2913.8 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1341083 0 0 0 290889 491 0 0 20 0 1 0 140364831 10593628160 2257340 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2586335 2257340 851 746 0 2585399 0
Current children cumulated CPU time: 2913.8 s
Current children cumulated vsize: 10345340 KiB
Current children cumulated memory: 9029360 KiB

[startup+2982.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/255 718397
/proc/meminfo: memFree=112994588/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10361660 memory=9045732 CPUtime=2973.64 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1348832 0 0 0 296869 495 0 0 20 0 1 0 140364831 10610339840 2261433 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2590415 2261433 851 746 0 2589479 0
Current children cumulated CPU time: 2973.64 s
Current children cumulated vsize: 10361660 KiB
Current children cumulated memory: 9045732 KiB

[startup+3042.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/255 718407
/proc/meminfo: memFree=112993696/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10361660 memory=9045732 CPUtime=3033.47 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1349459 0 0 0 302848 499 0 0 20 0 1 0 140364831 10610339840 2261433 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2590415 2261433 851 746 0 2589479 0
Current children cumulated CPU time: 3033.47 s
Current children cumulated vsize: 10361660 KiB
Current children cumulated memory: 9045732 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 718419
/proc/meminfo: memFree=112992364/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10361660 memory=9045732 CPUtime=3093.31 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1350455 0 0 0 308827 504 0 0 20 0 1 0 140364831 10610339840 2261433 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2590415 2261433 851 746 0 2589479 0
Current children cumulated CPU time: 3093.31 s
Current children cumulated vsize: 10361660 KiB
Current children cumulated memory: 9045732 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/255 718429
/proc/meminfo: memFree=112970360/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10361660 memory=9045732 CPUtime=3153.13 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1351708 0 0 0 314805 508 0 0 20 0 1 0 140364831 10610339840 2261433 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2590415 2261433 851 746 0 2589479 0
Current children cumulated CPU time: 3153.13 s
Current children cumulated vsize: 10361660 KiB
Current children cumulated memory: 9045732 KiB

[startup+3222.3 s]
/proc/loadavg: 4.37 4.19 4.12 5/255 718439
/proc/meminfo: memFree=112962644/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10361660 memory=9045732 CPUtime=3212.96 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1352983 0 0 0 320784 512 0 0 20 0 1 0 140364831 10610339840 2261433 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2590415 2261433 851 746 0 2589479 0
Current children cumulated CPU time: 3212.96 s
Current children cumulated vsize: 10361660 KiB
Current children cumulated memory: 9045732 KiB

[startup+3282.3 s]
/proc/loadavg: 4.29 4.20 4.13 5/258 718455
/proc/meminfo: memFree=112943128/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10361660 memory=9045732 CPUtime=3272.78 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1354334 0 0 0 326762 516 0 0 20 0 1 0 140364831 10610339840 2261433 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2590415 2261433 851 746 0 2589479 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 10361660 KiB
Current children cumulated memory: 9045732 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/258 718465
/proc/meminfo: memFree=112905060/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10361660 memory=9045732 CPUtime=3332.62 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1355768 0 0 0 332741 521 0 0 20 0 1 0 140364831 10610339840 2261433 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2590415 2261433 851 746 0 2589479 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 10361660 KiB
Current children cumulated memory: 9045732 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/258 718476
/proc/meminfo: memFree=112867824/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10361660 memory=9045732 CPUtime=3392.45 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1357308 0 0 0 338720 525 0 0 20 0 1 0 140364831 10610339840 2261433 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2590415 2261433 851 746 0 2589479 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 10361660 KiB
Current children cumulated memory: 9045732 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.11 6/258 718489
/proc/meminfo: memFree=112832684/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10361660 memory=9045732 CPUtime=3452.28 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1359003 0 0 0 344699 529 0 0 20 0 1 0 140364831 10610339840 2261433 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2590415 2261433 851 746 0 2589479 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 10361660 KiB
Current children cumulated memory: 9045732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/258 718499
/proc/meminfo: memFree=112801328/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10361660 memory=9045732 CPUtime=3512.1 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1360564 0 0 0 350678 532 0 0 20 0 1 0 140364831 10610339840 2261433 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2590415 2261433 851 746 0 2589479 0
Current children cumulated CPU time: 3512.1 s
Current children cumulated vsize: 10361660 KiB
Current children cumulated memory: 9045732 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/255 718509
/proc/meminfo: memFree=112742944/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10361660 memory=9045732 CPUtime=3571.94 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1362160 0 0 0 356657 537 0 0 20 0 1 0 140364831 10610339840 2261433 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2590415 2261433 851 746 0 2589479 0
Current children cumulated CPU time: 3571.94 s
Current children cumulated vsize: 10361660 KiB
Current children cumulated memory: 9045732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 3.92 4.09 4.09 3/241 718574
/proc/meminfo: memFree=118529084/131524600 swapFree=131071996/131071996
[pid=716617] ppid=716614 vsize=10361660 memory=9045732 CPUtime=3600.05 cores=0,2
/proc/716617/stat : 716617 (Exact_nosoplex) R 716614 716617 711737 0 -1 4194304 1362967 0 0 0 359467 538 0 0 20 0 1 0 140364831 10610339840 2261433 134679101440 4194304 7248369 140722054218928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 13930496 140722054226835 140722054227013 140722054227013 140722054234054 0
/proc/716617/statm: 2590415 2261433 851 746 0 2589479 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 10361660 KiB
Current children cumulated memory: 9045732 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.95 s, system=5.56234 s

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

[startup+3610.8 s]*
/proc/loadavg: 3.92 4.09 4.09 3/241 718575
/proc/meminfo: memFree=123277076/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3610.91 s]
/proc/loadavg: 3.92 4.09 4.09 3/241 718575
/proc/meminfo: memFree=123277076/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3610.95
CPU time (s): 3600.51
CPU user time (s): 3594.95
CPU system time (s): 5.56234
CPU usage (%): 99.7109
Max. virtual memory (cumulated for all children) (KiB): 12874156
Max. memory (cumulated for all children) (KiB): 9716320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.95
system time used= 5.56234
maximum resident set size= 9816672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1363347
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= 2
involuntary context switches= 25231


# summary of solver processes directly reported to runsolver:
#   pid: 716617
#   total CPU time (s): 3600.51
#   total CPU user time (s): 3594.95
#   total CPU system time (s): 5.56234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05931 second user time and 17.1237 second system time

The end