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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484699-1751286993/watcher-4484699-1751286993 -o /tmp/evaluation-result-4484699-1751286993/solver-4484699-1751286993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751279032-39118 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4484699-1751286993.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=40372, runsolver pid=40369
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.06 4.08 4.09 5/262 40373
/proc/meminfo: memFree=127557844/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=54768 memory=16300 CPUtime=0.08 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 2143 0 0 0 8 0 0 0 20 0 1 0 44379606 56082432 4075 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 13692 4075 1632 2271 0 8330 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54768 KiB
Current children cumulated memory: 16300 KiB

[startup+0.2055 s]*
/proc/loadavg: 4.06 4.08 4.09 6/262 40373
/proc/meminfo: memFree=127556080/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=59644 memory=25296 CPUtime=0.19 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 3426 0 0 0 19 0 0 0 20 0 1 0 44379606 61075456 6324 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 14911 6324 1632 2271 0 9549 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 59644 KiB
Current children cumulated memory: 25296 KiB

[startup+0.30541 s]*
/proc/loadavg: 4.06 4.08 4.09 5/262 40373
/proc/meminfo: memFree=127489672/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=116740 memory=81640 CPUtime=0.29 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 14582 0 0 0 27 2 0 0 20 0 1 0 44379606 119541760 20410 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 29185 20410 1760 2271 0 23823 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 116740 KiB
Current children cumulated memory: 81640 KiB

[startup+0.70019 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 40373
/proc/meminfo: memFree=127489672/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=158304 memory=117480 CPUtime=0.68 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 23433 0 0 0 64 4 0 0 20 0 1 0 44379606 162103296 29370 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 39576 29370 1888 2271 0 34214 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 117480 KiB

[startup+1.50019 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 40373
/proc/meminfo: memFree=127457668/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=158304 memory=118760 CPUtime=1.48 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 23758 0 0 0 142 6 0 0 20 0 1 0 44379606 162103296 29690 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 39576 29690 1888 2271 0 34214 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 118760 KiB

[startup+3.10536 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 40373
/proc/meminfo: memFree=127457692/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=158304 memory=118760 CPUtime=3.08 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 23758 0 0 0 299 9 0 0 20 0 1 0 44379606 162103296 29690 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 39576 29690 1888 2271 0 34214 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 118760 KiB

[startup+6.30019 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 40373
/proc/meminfo: memFree=127457692/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=158304 memory=118760 CPUtime=6.27 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 23758 0 0 0 612 15 0 0 20 0 1 0 44379606 162103296 29690 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 39576 29690 1888 2271 0 34214 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 118760 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 40374
/proc/meminfo: memFree=127449708/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=158304 memory=118760 CPUtime=12.65 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 23758 0 0 0 1239 26 0 0 20 0 1 0 44379606 162103296 29690 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 39576 29690 1888 2271 0 34214 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 118760 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 40374
/proc/meminfo: memFree=127449740/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=158304 memory=118760 CPUtime=25.43 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 23758 0 0 0 2497 46 0 0 20 0 1 0 44379606 162103296 29690 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 39576 29690 1888 2271 0 34214 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 118760 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 40374
/proc/meminfo: memFree=127425580/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=158304 memory=118760 CPUtime=50.96 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 23758 0 0 0 5011 85 0 0 20 0 1 0 44379606 162103296 29690 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 39576 29690 1888 2271 0 34214 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 158304 KiB
Current children cumulated memory: 118760 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/262 40376
/proc/meminfo: memFree=127290148/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=261044 memory=205948 CPUtime=102.03 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 29789 0 0 0 10100 103 0 0 20 0 1 0 44379606 267309056 51487 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 65261 51487 1888 2271 0 59899 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 261044 KiB
Current children cumulated memory: 205948 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 40386
/proc/meminfo: memFree=127200496/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=276036 memory=222584 CPUtime=161.88 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 33483 0 0 0 16084 104 0 0 20 0 1 0 44379606 282660864 55646 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 69009 55646 1888 2271 0 63647 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 276036 KiB
Current children cumulated memory: 222584 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 40388
/proc/meminfo: memFree=127170264/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=276036 memory=227056 CPUtime=221.73 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 33598 0 0 0 22067 106 0 0 20 0 1 0 44379606 282660864 56764 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 69009 56764 1888 2271 0 63647 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 276036 KiB
Current children cumulated memory: 227056 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 40390
/proc/meminfo: memFree=127168728/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=278164 memory=229104 CPUtime=281.57 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 34137 0 0 0 28050 107 0 0 20 0 1 0 44379606 284839936 57276 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 69541 57276 1888 2271 0 64179 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 278164 KiB
Current children cumulated memory: 229104 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 40392
/proc/meminfo: memFree=127149888/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=283636 memory=234640 CPUtime=341.42 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 35026 0 0 0 34034 108 0 0 20 0 1 0 44379606 290443264 58660 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 70909 58660 1888 2271 0 65547 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 283636 KiB
Current children cumulated memory: 234640 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 40394
/proc/meminfo: memFree=127107976/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=285300 memory=236432 CPUtime=401.26 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 35520 0 0 0 40017 109 0 0 20 0 1 0 44379606 292147200 59108 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 71325 59108 1888 2271 0 65963 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 285300 KiB
Current children cumulated memory: 236432 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 40396
/proc/meminfo: memFree=127057004/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=287812 memory=238992 CPUtime=461.07 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 36153 0 0 0 45997 110 0 0 20 0 1 0 44379606 294719488 59748 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 71953 59748 1888 2271 0 66591 0
Current children cumulated CPU time: 461.07 s

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

Current children cumulated memory: 314096 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/262 40564
/proc/meminfo: memFree=127434852/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=391332 memory=314352 CPUtime=2854.79 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 46119 0 0 0 285326 153 0 0 20 0 1 0 44379606 400723968 78588 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 97833 78588 1888 2271 0 92471 0
Current children cumulated CPU time: 2854.79 s
Current children cumulated vsize: 391332 KiB
Current children cumulated memory: 314352 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/262 40566
/proc/meminfo: memFree=127447292/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=392776 memory=315888 CPUtime=2914.64 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 46472 0 0 0 291311 153 0 0 20 0 1 0 44379606 402202624 78972 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 98194 78972 1888 2271 0 92832 0
Current children cumulated CPU time: 2914.64 s
Current children cumulated vsize: 392776 KiB
Current children cumulated memory: 315888 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 40568
/proc/meminfo: memFree=127417172/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=396808 memory=319856 CPUtime=2974.5 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 47480 0 0 0 297296 154 0 0 20 0 1 0 44379606 406331392 79964 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 99202 79964 1888 2271 0 93840 0
Current children cumulated CPU time: 2974.5 s
Current children cumulated vsize: 396808 KiB
Current children cumulated memory: 319856 KiB

[startup+3042.3 s]
/proc/loadavg: 3.56 3.96 4.04 3/250 40631
/proc/meminfo: memFree=129159520/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=398280 memory=321392 CPUtime=3034.34 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 47856 0 0 0 303279 155 0 0 20 0 1 0 44379606 407838720 80348 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 99570 80348 1888 2271 0 94208 0
Current children cumulated CPU time: 3034.34 s
Current children cumulated vsize: 398280 KiB
Current children cumulated memory: 321392 KiB

[startup+3102.3 s]
/proc/loadavg: 2.61 3.62 3.92 3/250 40633
/proc/meminfo: memFree=129156008/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=398280 memory=321392 CPUtime=3094.17 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 47856 0 0 0 309261 156 0 0 20 0 1 0 44379606 407838720 80348 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 99570 80348 1888 2271 0 94208 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 398280 KiB
Current children cumulated memory: 321392 KiB

[startup+3162.3 s]
/proc/loadavg: 2.33 3.35 3.80 3/251 40642
/proc/meminfo: memFree=129155612/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=398280 memory=321392 CPUtime=3154.01 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 47856 0 0 0 315244 157 0 0 20 0 1 0 44379606 407838720 80348 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 99570 80348 1888 2271 0 94208 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 398280 KiB
Current children cumulated memory: 321392 KiB

[startup+3222.3 s]
/proc/loadavg: 2.12 3.10 3.69 3/251 40644
/proc/meminfo: memFree=129163032/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=398564 memory=321648 CPUtime=3213.85 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 47919 0 0 0 321227 158 0 0 20 0 1 0 44379606 408129536 80412 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 99641 80412 1888 2271 0 94279 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 398564 KiB
Current children cumulated memory: 321648 KiB

[startup+3282.3 s]
/proc/loadavg: 2.16 2.93 3.59 3/251 40647
/proc/meminfo: memFree=129163472/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=400548 memory=323568 CPUtime=3273.7 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 48536 0 0 0 327211 159 0 0 20 0 1 0 44379606 410161152 80892 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 100137 80892 1888 2271 0 94775 0
Current children cumulated CPU time: 3273.7 s
Current children cumulated vsize: 400548 KiB
Current children cumulated memory: 323568 KiB

[startup+3342.3 s]
/proc/loadavg: 2.15 2.79 3.50 3/251 40649
/proc/meminfo: memFree=129158420/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=400548 memory=323568 CPUtime=3333.56 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 48539 0 0 0 333195 161 0 0 20 0 1 0 44379606 410161152 80892 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 100137 80892 1888 2271 0 94775 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 400548 KiB
Current children cumulated memory: 323568 KiB

[startup+3402.3 s]
/proc/loadavg: 2.10 2.66 3.41 3/251 40651
/proc/meminfo: memFree=129149920/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=402148 memory=325232 CPUtime=3393.41 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 48939 0 0 0 339179 162 0 0 20 0 1 0 44379606 411799552 81308 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 100537 81308 1888 2271 0 95175 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 402148 KiB
Current children cumulated memory: 325232 KiB

[startup+3462.3 s]
/proc/loadavg: 2.10 2.55 3.32 3/251 40653
/proc/meminfo: memFree=129148428/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=402148 memory=325232 CPUtime=3453.27 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 48939 0 0 0 345164 163 0 0 20 0 1 0 44379606 411799552 81308 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 100537 81308 1888 2271 0 95175 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 402148 KiB
Current children cumulated memory: 325232 KiB

[startup+3522.3 s]
/proc/loadavg: 2.09 2.46 3.24 3/250 40655
/proc/meminfo: memFree=129149328/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=403656 memory=326768 CPUtime=3513.13 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 49316 0 0 0 351149 164 0 0 20 0 1 0 44379606 413343744 81692 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 100914 81692 1888 2271 0 95552 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 403656 KiB
Current children cumulated memory: 326768 KiB

[startup+3582.3 s]
/proc/loadavg: 2.07 2.39 3.17 3/250 40657
/proc/meminfo: memFree=129147964/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=403656 memory=326768 CPUtime=3572.99 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 49316 0 0 0 357134 165 0 0 20 0 1 0 44379606 413343744 81692 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 100914 81692 1888 2271 0 95552 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 403656 KiB
Current children cumulated memory: 326768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 2.10 2.37 3.13 3/250 40657
/proc/meminfo: memFree=129148140/131250000 swapFree=33010684/33010684
[pid=40372] ppid=40369 vsize=405064 memory=328176 CPUtime=3600.03 cores=1,3
/proc/40372/stat : 40372 (ExactPR) R 40369 40372 39106 0 -1 4194304 49668 0 0 0 359837 166 0 0 20 0 1 0 44379606 414785536 82044 18446744073709551615 94254610186240 94254619486085 140730607677168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94254621272384 94254621311464 94254650867712 140730607683973 140730607684108 140730607684108 140730607689710 0
/proc/40372/statm: 101266 82044 1888 2271 0 95904 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 405064 KiB
Current children cumulated memory: 328176 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.38 s, system=1.66477 s

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

Child status: 10

Real time (s): 3609.41
CPU time (s): 3600.04
CPU user time (s): 3598.38
CPU system time (s): 1.66477
CPU usage (%): 99.7405
Max. virtual memory (cumulated for all children) (KiB): 405064
Max. memory (cumulated for all children) (KiB): 328176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.38
system time used= 1.66477
maximum resident set size= 354092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49683
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= 144
involuntary context switches= 5142


# summary of solver processes directly reported to runsolver:
#   pid: 40372
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.38
#   total CPU system time (s): 1.66477

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.464 second user time and 10.829 second system time

The end