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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433228-1721123453/watcher-4433228-1721123453 -o /tmp/evaluation-result-4433228-1721123453/solver-4433228-1721123453 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721116151-843242 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1748629346 HOME/instance-4433228-1721123453.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=848540, runsolver pid=848537

[startup+0.100095 s]*
/proc/loadavg: 4.19 4.13 4.14 5/243 848541
/proc/meminfo: memFree=115709308/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=34136 memory=15472 CPUtime=0.1 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 2112 0 0 0 10 0 0 0 20 0 1 0 164504125 34955264 3868 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 8534 3868 884 1005 0 7297 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34136 KiB
Current children cumulated memory: 15472 KiB

[startup+0.213231 s]*
/proc/loadavg: 4.19 4.13 4.14 5/243 848541
/proc/meminfo: memFree=115701912/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=38360 memory=21800 CPUtime=0.22 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 3167 0 0 0 21 1 0 0 20 0 1 0 164504125 39280640 5450 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 9590 5450 900 1005 0 8353 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38360 KiB
Current children cumulated memory: 21800 KiB

[startup+0.31325 s]*
/proc/loadavg: 4.19 4.13 4.14 5/243 848541
/proc/meminfo: memFree=115678120/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=70780 memory=54184 CPUtime=0.32 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 9453 0 0 0 30 2 0 0 20 0 1 0 164504125 72478720 13546 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 17695 13546 1044 1005 0 16458 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 70780 KiB
Current children cumulated memory: 54184 KiB

[startup+0.700317 s]
/proc/loadavg: 4.19 4.13 4.14 5/243 848541
/proc/meminfo: memFree=115665992/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=72832 memory=56748 CPUtime=0.69 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 12561 0 0 0 65 4 0 0 20 0 1 0 164504125 74579968 14187 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 18208 14187 1060 1005 0 16971 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 72832 KiB
Current children cumulated memory: 56748 KiB

[startup+1.50029 s]
/proc/loadavg: 4.19 4.13 4.14 5/243 848541
/proc/meminfo: memFree=115660388/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=73880 memory=57804 CPUtime=1.48 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 12843 0 0 0 144 4 0 0 20 0 1 0 164504125 75653120 14451 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 18470 14451 1060 1005 0 17233 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73880 KiB
Current children cumulated memory: 57804 KiB

[startup+3.11323 s]
/proc/loadavg: 4.17 4.13 4.14 5/243 848541
/proc/meminfo: memFree=115626996/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=73880 memory=64436 CPUtime=3.09 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 12897 0 0 0 305 4 0 0 20 0 1 0 164504125 75653120 16109 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 18470 16109 1124 1005 0 17233 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 73880 KiB
Current children cumulated memory: 64436 KiB

[startup+6.30028 s]
/proc/loadavg: 4.17 4.13 4.14 5/243 848542
/proc/meminfo: memFree=115590248/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=89164 memory=74328 CPUtime=6.27 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 14062 0 0 0 622 5 0 0 20 0 1 0 164504125 91303936 18582 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 22291 18582 1124 1005 0 21054 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 89164 KiB
Current children cumulated memory: 74328 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.12 4.14 5/243 848542
/proc/meminfo: memFree=115514088/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=90464 memory=81700 CPUtime=12.65 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 14417 0 0 0 1260 5 0 0 20 0 1 0 164504125 92635136 20425 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 22616 20425 1124 1005 0 21379 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 90464 KiB
Current children cumulated memory: 81700 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.14 5/243 848544
/proc/meminfo: memFree=115400876/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=116936 memory=96848 CPUtime=25.42 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 16989 0 0 0 2535 7 0 0 20 0 1 0 164504125 119742464 24212 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 29234 24212 1124 1005 0 27997 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 116936 KiB
Current children cumulated memory: 96848 KiB

[startup+51.1129 s]
/proc/loadavg: 4.15 4.12 4.14 5/243 848548
/proc/meminfo: memFree=115235036/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=120628 memory=101012 CPUtime=50.97 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 18122 0 0 0 5088 9 0 0 20 0 1 0 164504125 123523072 25253 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 30157 25253 1140 1005 0 28920 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 120628 KiB
Current children cumulated memory: 101012 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/243 848558
/proc/meminfo: memFree=115144036/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=129916 memory=112072 CPUtime=102.02 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 20437 0 0 0 10190 12 0 0 20 0 1 0 164504125 133033984 28018 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 32479 28018 1140 1005 0 31242 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 129916 KiB
Current children cumulated memory: 112072 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/243 848568
/proc/meminfo: memFree=115075444/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=132188 memory=116348 CPUtime=161.86 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 21044 0 0 0 16174 12 0 0 20 0 1 0 164504125 135360512 29087 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 33047 29087 1140 1005 0 31810 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 132188 KiB
Current children cumulated memory: 116348 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/243 848579
/proc/meminfo: memFree=114594236/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=134632 memory=118880 CPUtime=221.71 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 21679 0 0 0 22155 16 0 0 20 0 1 0 164504125 137863168 29720 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 33658 29720 1140 1005 0 32421 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 134632 KiB
Current children cumulated memory: 118880 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/245 848974
/proc/meminfo: memFree=114169896/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=136416 memory=120636 CPUtime=281.55 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 22149 0 0 0 28139 16 0 0 20 0 1 0 164504125 139689984 30159 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 34104 30159 1140 1005 0 32867 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 136416 KiB
Current children cumulated memory: 120636 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/244 848984
/proc/meminfo: memFree=114024488/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=138536 memory=128876 CPUtime=341.4 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 22704 0 0 0 34121 19 0 0 20 0 1 0 164504125 141860864 32219 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 34634 32219 1140 1005 0 33397 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 138536 KiB
Current children cumulated memory: 128876 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/244 848994
/proc/meminfo: memFree=114021580/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=139164 memory=129572 CPUtime=401.24 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 22919 0 0 0 40101 23 0 0 20 0 1 0 164504125 142503936 32393 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 34791 32393 1140 1005 0 33554 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 139164 KiB
Current children cumulated memory: 129572 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/246 849175
/proc/meminfo: memFree=114020268/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=139564 memory=129932 CPUtime=461.08 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 23008 0 0 0 46085 23 0 0 20 0 1 0 164504125 142913536 32483 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 34891 32483 1140 1005 0 33654 0

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

Current children cumulated memory: 207096 KiB

[startup+2922.3 s]
/proc/loadavg: 3.19 3.74 4.00 4/234 850360
/proc/meminfo: memFree=121250876/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=254360 memory=207412 CPUtime=2913.95 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 40318 0 0 0 291289 106 0 0 20 0 1 0 164504125 260464640 51853 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 63590 51853 1140 1005 0 62353 0
Current children cumulated CPU time: 2913.95 s
Current children cumulated vsize: 254360 KiB
Current children cumulated memory: 207412 KiB

[startup+2982.3 s]
/proc/loadavg: 3.18 3.64 3.95 4/237 850375
/proc/meminfo: memFree=121144592/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=254360 memory=213556 CPUtime=2973.77 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 40354 0 0 0 297271 106 0 0 20 0 1 0 164504125 260464640 53389 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 63590 53389 1140 1005 0 62353 0
Current children cumulated CPU time: 2973.77 s
Current children cumulated vsize: 254360 KiB
Current children cumulated memory: 213556 KiB

[startup+3042.3 s]
/proc/loadavg: 3.06 3.52 3.89 4/237 850385
/proc/meminfo: memFree=121132656/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=254360 memory=213556 CPUtime=3033.6 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 40381 0 0 0 303253 107 0 0 20 0 1 0 164504125 260464640 53389 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 63590 53389 1140 1005 0 62353 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 254360 KiB
Current children cumulated memory: 213556 KiB

[startup+3102.3 s]
/proc/loadavg: 3.14 3.45 3.84 4/237 850396
/proc/meminfo: memFree=121083240/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=254360 memory=213556 CPUtime=3093.41 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 40404 0 0 0 309233 108 0 0 20 0 1 0 164504125 260464640 53389 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 63590 53389 1140 1005 0 62353 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 254360 KiB
Current children cumulated memory: 213556 KiB

[startup+3162.3 s]
/proc/loadavg: 3.11 3.38 3.79 4/237 850406
/proc/meminfo: memFree=121034552/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=254360 memory=213556 CPUtime=3153.24 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 40432 0 0 0 315212 112 0 0 20 0 1 0 164504125 260464640 53389 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 63590 53389 1140 1005 0 62353 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 254360 KiB
Current children cumulated memory: 213556 KiB

[startup+3222.3 s]
/proc/loadavg: 3.09 3.33 3.74 4/237 850417
/proc/meminfo: memFree=121052228/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=254360 memory=213556 CPUtime=3213.05 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 40459 0 0 0 321193 112 0 0 20 0 1 0 164504125 260464640 53389 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 63590 53389 1140 1005 0 62353 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 254360 KiB
Current children cumulated memory: 213556 KiB

[startup+3282.3 s]
/proc/loadavg: 3.10 3.28 3.70 4/237 850428
/proc/meminfo: memFree=121016684/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=254360 memory=213556 CPUtime=3272.87 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 40490 0 0 0 327173 114 0 0 20 0 1 0 164504125 260464640 53389 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 63590 53389 1140 1005 0 62353 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 254360 KiB
Current children cumulated memory: 213556 KiB

[startup+3342.3 s]
/proc/loadavg: 3.69 3.42 3.72 4/234 850438
/proc/meminfo: memFree=120933580/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=254360 memory=213556 CPUtime=3332.68 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 40519 0 0 0 333150 118 0 0 20 0 1 0 164504125 260464640 53389 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 63590 53389 1140 1005 0 62353 0
Current children cumulated CPU time: 3332.68 s
Current children cumulated vsize: 254360 KiB
Current children cumulated memory: 213556 KiB

[startup+3402.3 s]
/proc/loadavg: 3.36 3.38 3.69 4/234 850448
/proc/meminfo: memFree=120846116/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=254360 memory=213556 CPUtime=3392.5 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 40542 0 0 0 339131 119 0 0 20 0 1 0 164504125 260464640 53389 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 63590 53389 1140 1005 0 62353 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 254360 KiB
Current children cumulated memory: 213556 KiB

[startup+3462.3 s]
/proc/loadavg: 3.16 3.32 3.65 4/234 850458
/proc/meminfo: memFree=120759448/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=254900 memory=214048 CPUtime=3452.32 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 40702 0 0 0 345108 124 0 0 20 0 1 0 164504125 261017600 53512 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 63725 53512 1140 1005 0 62488 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 254900 KiB
Current children cumulated memory: 214048 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.28 3.61 4/234 850469
/proc/meminfo: memFree=120718324/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=255444 memory=214452 CPUtime=3512.15 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 40886 0 0 0 351090 125 0 0 20 0 1 0 164504125 261574656 53613 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 63861 53613 1140 1005 0 62624 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 255444 KiB
Current children cumulated memory: 214452 KiB

[startup+3582.3 s]
/proc/loadavg: 2.54 3.09 3.53 3/230 850514
/proc/meminfo: memFree=123354080/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=255780 memory=216560 CPUtime=3571.96 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 41057 0 0 0 357070 126 0 0 20 0 1 0 164504125 261918720 54140 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 63945 54140 1140 1005 0 62708 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 255780 KiB
Current children cumulated memory: 216560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 2.33 2.98 3.48 3/230 850520
/proc/meminfo: memFree=123344260/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=256100 memory=225948 CPUtime=3600.08 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 41149 0 0 0 359882 126 0 0 20 0 1 0 164504125 262246400 56487 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 64025 56487 1140 1005 0 62788 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 256100 KiB
Current children cumulated memory: 225948 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.89 s, system=1.26785 s

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

[startup+3610.5 s]
/proc/loadavg: 2.33 2.98 3.48 3/230 850520
/proc/meminfo: memFree=123344260/131655788 swapFree=131071996/131071996
[pid=848540] ppid=848537 vsize=256100 memory=225948 CPUtime=3600.08 cores=4,6
/proc/848540/stat : 848540 (Exact) R 848537 848540 843231 0 -1 4194304 41149 0 0 0 359882 126 0 0 20 0 1 0 164504125 262246400 56487 134679101440 4194304 8309489 140720627437488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 45293568 140720627446718 140720627446888 140720627446888 140720627453903 0
/proc/848540/statm: 64025 56487 1140 1005 0 62788 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 256100 KiB
Current children cumulated memory: 225948 KiB

Child status: 10

Real time (s): 3610.57
CPU time (s): 3600.16
CPU user time (s): 3598.89
CPU system time (s): 1.26785
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 256100
Max. memory (cumulated for all children) (KiB): 225948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.89
system time used= 1.26785
maximum resident set size= 225948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41151
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= 51
involuntary context switches= 2540


# summary of solver processes directly reported to runsolver:
#   pid: 848540
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3598.89
#   total CPU system time (s): 1.26785

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3262 second user time and 35.1688 second system time

The end