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: 63708 MiB (49660 MiB free)
  memory of node 1: 64465 MiB (55301 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522338-1751591545/watcher-4522338-1751591545 -o /tmp/evaluation-result-4522338-1751591545/solver-4522338-1751591545 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751591540-83145 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2019882854 --ls=0 --inp-dombreaklim=0 HOME/instance-4522338-1751591545.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=83246, runsolver pid=83243

[startup+0.100061 s]*
/proc/loadavg: 0.98 1.73 2.93 5/265 83247
/proc/meminfo: memFree=107460276/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=41596 memory=21336 CPUtime=0.09 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 4281 0 0 0 9 0 0 0 20 0 1 0 74833044 42594304 5334 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 10399 5334 1024 1200 0 8879 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 21336 KiB

[startup+0.205409 s]*
/proc/loadavg: 0.98 1.73 2.93 5/265 83247
/proc/meminfo: memFree=107432492/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=55552 memory=36016 CPUtime=0.19 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 8604 0 0 0 18 1 0 0 20 0 1 0 74833044 56885248 9004 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 13888 9004 1184 1200 0 12368 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55552 KiB
Current children cumulated memory: 36016 KiB

[startup+0.305358 s]*
/proc/loadavg: 0.98 1.73 2.93 5/265 83247
/proc/meminfo: memFree=107380012/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=57736 memory=37936 CPUtime=0.3 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 9096 0 0 0 28 2 0 0 20 0 1 0 74833044 59121664 9484 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 14434 9484 1184 1200 0 12914 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57736 KiB
Current children cumulated memory: 37936 KiB

[startup+0.700174 s]
/proc/loadavg: 0.98 1.73 2.93 5/265 83247
/proc/meminfo: memFree=107352008/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=66988 memory=51112 CPUtime=0.69 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 11481 0 0 0 66 3 0 0 20 0 1 0 74833044 68595712 12778 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 16747 12778 1216 1200 0 15227 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66988 KiB
Current children cumulated memory: 51112 KiB

[startup+1.50013 s]
/proc/loadavg: 0.98 1.73 2.93 5/265 83247
/proc/meminfo: memFree=107352008/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=68452 memory=56648 CPUtime=1.48 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 11838 0 0 0 145 3 0 0 20 0 1 0 74833044 70094848 14162 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 17113 14162 1216 1200 0 15593 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68452 KiB
Current children cumulated memory: 56648 KiB

[startup+3.10522 s]
/proc/loadavg: 0.98 1.73 2.93 5/265 83247
/proc/meminfo: memFree=107110900/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=85112 memory=69140 CPUtime=3.08 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 13632 0 0 0 305 3 0 0 20 0 1 0 74833044 87154688 17285 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 21278 17285 1248 1200 0 19758 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 85112 KiB
Current children cumulated memory: 69140 KiB

[startup+6.30016 s]
/proc/loadavg: 1.22 1.77 2.94 5/265 83247
/proc/meminfo: memFree=106536744/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=126148 memory=116384 CPUtime=6.26 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 18694 0 0 0 620 6 0 0 20 0 1 0 74833044 129175552 29096 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 31537 29096 1248 1200 0 30017 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 126148 KiB
Current children cumulated memory: 116384 KiB

[startup+12.7002 s]
/proc/loadavg: 1.45 1.80 2.94 5/265 83247
/proc/meminfo: memFree=106476840/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=174792 memory=141696 CPUtime=12.65 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 21418 0 0 0 1255 10 0 0 20 0 1 0 74833044 178987008 35424 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 43698 35424 1248 1200 0 42178 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 174792 KiB
Current children cumulated memory: 141696 KiB

[startup+25.5002 s]
/proc/loadavg: 2.15 1.94 2.97 5/265 83247
/proc/meminfo: memFree=105884372/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=226644 memory=210332 CPUtime=25.41 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 32462 0 0 0 2528 13 0 0 20 0 1 0 74833044 232083456 52583 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 56661 52583 1248 1200 0 55141 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 226644 KiB
Current children cumulated memory: 210332 KiB

[startup+51.1053 s]
/proc/loadavg: 2.78 2.11 3.00 5/265 83248
/proc/meminfo: memFree=104350908/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=325228 memory=261856 CPUtime=50.94 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 40015 0 0 0 5076 18 0 0 20 0 1 0 74833044 333033472 65464 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 81307 65464 1248 1200 0 79787 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 325228 KiB
Current children cumulated memory: 261856 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.42 3.06 5/265 83254
/proc/meminfo: memFree=101115856/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=348484 memory=309504 CPUtime=101.98 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 44875 0 0 0 10174 24 0 0 20 0 1 0 74833044 356847616 77376 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 87121 77376 1248 1200 0 85601 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 348484 KiB
Current children cumulated memory: 309504 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.73 3.13 5/265 83256
/proc/meminfo: memFree=98102332/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=367432 memory=327936 CPUtime=161.81 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 49675 0 0 0 16151 30 0 0 20 0 1 0 74833044 376250368 81984 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 91858 81984 1248 1200 0 90338 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 367432 KiB
Current children cumulated memory: 327936 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.98 3.19 5/265 83258
/proc/meminfo: memFree=96024800/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=379212 memory=339072 CPUtime=221.63 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 52513 0 0 0 22125 38 0 0 20 0 1 0 74833044 388313088 84768 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 94803 84768 1248 1200 0 93283 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 379212 KiB
Current children cumulated memory: 339072 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 3.18 3.25 5/265 83260
/proc/meminfo: memFree=93003188/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=386552 memory=346624 CPUtime=281.45 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 54438 0 0 0 28101 44 0 0 20 0 1 0 74833044 395829248 86656 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 96638 86656 1248 1200 0 95118 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 386552 KiB
Current children cumulated memory: 346624 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.35 3.30 5/264 83262
/proc/meminfo: memFree=91156776/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=396040 memory=355432 CPUtime=341.27 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 56208 0 0 0 34075 52 0 0 20 0 1 0 74833044 405544960 88858 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 99010 88858 1248 1200 0 97490 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 396040 KiB
Current children cumulated memory: 355432 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.50 3.36 5/264 83264
/proc/meminfo: memFree=89371144/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=407780 memory=366312 CPUtime=401.09 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 58954 0 0 0 40051 58 0 0 20 0 1 0 74833044 417566720 91578 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 101945 91578 1248 1200 0 100425 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 407780 KiB
Current children cumulated memory: 366312 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.61 3.41 5/263 83268
/proc/meminfo: memFree=88105228/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=415932 memory=373480 CPUtime=460.91 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 60751 0 0 0 46029 62 0 0 20 0 1 0 74833044 425914368 93370 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 103983 93370 1248 1200 0 102463 0

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

Current children cumulated memory: 478664 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.17 4.09 5/263 83421
/proc/meminfo: memFree=100082056/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=505868 memory=478792 CPUtime=2853.71 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 80698 0 0 0 285063 308 0 0 20 0 1 0 74833044 518008832 119698 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 126467 119698 1248 1200 0 124947 0
Current children cumulated CPU time: 2853.71 s
Current children cumulated vsize: 505868 KiB
Current children cumulated memory: 478792 KiB

[startup+2922.3 s]
/proc/loadavg: 4.05 4.14 4.09 5/262 83436
/proc/meminfo: memFree=100042916/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=505868 memory=478792 CPUtime=2913.53 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 80750 0 0 0 291040 313 0 0 20 0 1 0 74833044 518008832 119698 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 126467 119698 1248 1200 0 124947 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 505868 KiB
Current children cumulated memory: 478792 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/262 83438
/proc/meminfo: memFree=100017204/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=505868 memory=478792 CPUtime=2973.36 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 80750 0 0 0 297018 318 0 0 20 0 1 0 74833044 518008832 119698 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 126467 119698 1248 1200 0 124947 0
Current children cumulated CPU time: 2973.36 s
Current children cumulated vsize: 505868 KiB
Current children cumulated memory: 478792 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/262 83440
/proc/meminfo: memFree=100018540/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=505868 memory=478792 CPUtime=3033.17 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 80924 0 0 0 302994 323 0 0 20 0 1 0 74833044 518008832 119698 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 126467 119698 1248 1200 0 124947 0
Current children cumulated CPU time: 3033.17 s
Current children cumulated vsize: 505868 KiB
Current children cumulated memory: 478792 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/262 83441
/proc/meminfo: memFree=99984832/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=505868 memory=478792 CPUtime=3093 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 80927 0 0 0 308969 331 0 0 20 0 1 0 74833044 518008832 119698 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 126467 119698 1248 1200 0 124947 0
Current children cumulated CPU time: 3093 s
Current children cumulated vsize: 505868 KiB
Current children cumulated memory: 478792 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 83448
/proc/meminfo: memFree=99928044/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=506088 memory=478920 CPUtime=3152.83 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 81110 0 0 0 314947 336 0 0 20 0 1 0 74833044 518234112 119730 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 126522 119730 1248 1200 0 125002 0
Current children cumulated CPU time: 3152.83 s
Current children cumulated vsize: 506088 KiB
Current children cumulated memory: 478920 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 83450
/proc/meminfo: memFree=99912052/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=506088 memory=478920 CPUtime=3212.65 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 81164 0 0 0 320925 340 0 0 20 0 1 0 74833044 518234112 119730 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 126522 119730 1248 1200 0 125002 0
Current children cumulated CPU time: 3212.65 s
Current children cumulated vsize: 506088 KiB
Current children cumulated memory: 478920 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 83452
/proc/meminfo: memFree=99903876/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=508184 memory=481096 CPUtime=3272.47 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 81702 0 0 0 326900 347 0 0 20 0 1 0 74833044 520380416 120274 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 127046 120274 1248 1200 0 125526 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 508184 KiB
Current children cumulated memory: 481096 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 83456
/proc/meminfo: memFree=99910252/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=508184 memory=481096 CPUtime=3332.3 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 81871 0 0 0 332874 356 0 0 20 0 1 0 74833044 520380416 120274 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 127046 120274 1248 1200 0 125526 0
Current children cumulated CPU time: 3332.3 s
Current children cumulated vsize: 508184 KiB
Current children cumulated memory: 481096 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 83458
/proc/meminfo: memFree=99913796/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=512936 memory=485832 CPUtime=3392.12 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 83064 0 0 0 338852 360 0 0 20 0 1 0 74833044 525246464 121458 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 128234 121458 1248 1200 0 126714 0
Current children cumulated CPU time: 3392.12 s
Current children cumulated vsize: 512936 KiB
Current children cumulated memory: 485832 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 83460
/proc/meminfo: memFree=99880644/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=512936 memory=485832 CPUtime=3451.94 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 83189 0 0 0 344831 363 0 0 20 0 1 0 74833044 525246464 121458 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 128234 121458 1248 1200 0 126714 0
Current children cumulated CPU time: 3451.94 s
Current children cumulated vsize: 512936 KiB
Current children cumulated memory: 485832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/264 83465
/proc/meminfo: memFree=99880308/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=514024 memory=486856 CPUtime=3511.76 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 83517 0 0 0 350808 368 0 0 20 0 1 0 74833044 526360576 121714 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 128506 121714 1248 1200 0 126986 0
Current children cumulated CPU time: 3511.76 s
Current children cumulated vsize: 514024 KiB
Current children cumulated memory: 486856 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 83467
/proc/meminfo: memFree=99873128/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=514024 memory=486856 CPUtime=3571.59 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 83518 0 0 0 356783 376 0 0 20 0 1 0 74833044 526360576 121714 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 128506 121714 1248 1200 0 126986 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 514024 KiB
Current children cumulated memory: 486856 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 83560
/proc/meminfo: memFree=101734640/131249988 swapFree=33010416/33010684
[pid=83246] ppid=83243 vsize=514024 memory=486856 CPUtime=3600 cores=5,7
/proc/83246/stat : 83246 (Exact) R 83243 83246 83132 0 -1 4194304 83644 0 0 0 359620 380 0 0 20 0 1 0 74833044 526360576 121714 18446744073709551615 4198400 9112445 140733782865072 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14925824 140733782874408 140733782874605 140733782874605 140733782880207 0
/proc/83246/statm: 128506 121714 1248 1200 0 126986 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 514024 KiB
Current children cumulated memory: 486856 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.25 s, system=3.8122 s

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

Child status: 10

Real time (s): 3610.84
CPU time (s): 3600.06
CPU user time (s): 3596.25
CPU system time (s): 3.8122
CPU usage (%): 99.7014
Max. virtual memory (cumulated for all children) (KiB): 514024
Max. memory (cumulated for all children) (KiB): 486856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.25
system time used= 3.8122
maximum resident set size= 486984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83650
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= 78
involuntary context switches= 20570


# summary of solver processes directly reported to runsolver:
#   pid: 83246
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3596.25
#   total CPU system time (s): 3.8122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49534 second user time and 15.3985 second system time

The end