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: 63794 MiB (61584 MiB free)
  memory of node 1: 64507 MiB (52754 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502395-1751434338/watcher-4502395-1751434338 -o /tmp/evaluation-result-4502395-1751434338/solver-4502395-1751434338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751434335-64796 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4502395-1751434338.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100115 s]*
/proc/loadavg: 1.12 2.49 3.81 6/251 64897
/proc/meminfo: memFree=116968824/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=51424 memory=10624 CPUtime=0.09 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 1168 0 0 0 8 1 0 0 20 0 1 0 59113634 52658176 2656 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 12856 2656 1696 2271 0 7494 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 10624 KiB

[startup+0.213605 s]*
/proc/loadavg: 1.12 2.49 3.81 5/251 64897
/proc/meminfo: memFree=116956664/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=56148 memory=15588 CPUtime=0.2 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 2829 0 0 0 19 1 0 0 20 0 1 0 59113634 57495552 3897 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 14037 3897 1856 2271 0 8675 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56148 KiB
Current children cumulated memory: 15588 KiB

[startup+0.313466 s]*
/proc/loadavg: 1.12 2.49 3.81 5/251 64897
/proc/meminfo: memFree=116956664/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=56456 memory=15972 CPUtime=0.31 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 2934 0 0 0 29 2 0 0 20 0 1 0 59113634 57810944 3993 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 14114 3993 1856 2271 0 8752 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 56456 KiB
Current children cumulated memory: 15972 KiB

[startup+0.700352 s]
/proc/loadavg: 1.12 2.49 3.81 5/251 64897
/proc/meminfo: memFree=116948840/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=93336 memory=56548 CPUtime=0.67 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 11727 0 0 0 63 4 0 0 20 0 1 0 59113634 95576064 14137 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 23334 14137 3296 2271 0 17972 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 93336 KiB
Current children cumulated memory: 56548 KiB

[startup+1.5003 s]
/proc/loadavg: 1.12 2.49 3.81 5/251 64897
/proc/meminfo: memFree=116876516/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=116104 memory=75260 CPUtime=1.47 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 16723 0 0 0 142 5 0 0 20 0 1 0 59113634 118890496 18815 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 29026 18815 3360 2271 0 23664 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 116104 KiB
Current children cumulated memory: 75260 KiB

[startup+3.11303 s]
/proc/loadavg: 1.43 2.53 3.82 5/251 64897
/proc/meminfo: memFree=116771432/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=119016 memory=77692 CPUtime=3.08 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 17359 0 0 0 302 6 0 0 20 0 1 0 59113634 121872384 19423 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 29754 19423 3360 2271 0 24392 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 119016 KiB
Current children cumulated memory: 77692 KiB

[startup+6.30029 s]
/proc/loadavg: 1.43 2.53 3.82 5/250 64897
/proc/meminfo: memFree=116586216/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=119016 memory=77820 CPUtime=6.26 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 17364 0 0 0 620 6 0 0 20 0 1 0 59113634 121872384 19455 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 29754 19455 3360 2271 0 24392 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 119016 KiB
Current children cumulated memory: 77820 KiB

[startup+12.7003 s]
/proc/loadavg: 1.83 2.58 3.82 5/250 64898
/proc/meminfo: memFree=116151264/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=143240 memory=100860 CPUtime=12.63 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 26049 0 0 0 1255 8 0 0 20 0 1 0 59113634 146677760 25215 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 35810 25215 3392 2271 0 30448 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 143240 KiB
Current children cumulated memory: 100860 KiB

[startup+25.5003 s]
/proc/loadavg: 2.16 2.63 3.83 5/250 64898
/proc/meminfo: memFree=116079452/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=151940 memory=108840 CPUtime=25.37 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 28687 0 0 0 2529 8 0 0 20 0 1 0 59113634 155586560 27210 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 37985 27210 3392 2271 0 32623 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 151940 KiB
Current children cumulated memory: 108840 KiB

[startup+51.113 s]
/proc/loadavg: 2.94 2.77 3.84 5/249 64898
/proc/meminfo: memFree=116054364/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=170272 memory=127664 CPUtime=50.88 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 33742 0 0 0 5079 9 0 0 20 0 1 0 59113634 174358528 31916 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 42568 31916 3392 2271 0 37206 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 170272 KiB
Current children cumulated memory: 127664 KiB

[startup+102.3 s]
/proc/loadavg: 3.15 2.87 3.81 4/246 64940
/proc/meminfo: memFree=116717764/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=191688 memory=148144 CPUtime=101.87 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 38874 0 0 0 10176 11 0 0 20 0 1 0 59113634 196288512 37036 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 47922 37036 3392 2271 0 42560 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 191688 KiB
Current children cumulated memory: 148144 KiB

[startup+162.3 s]
/proc/loadavg: 3.10 2.91 3.76 4/245 64942
/proc/meminfo: memFree=116609676/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=205288 memory=162168 CPUtime=161.68 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 43216 0 0 0 16155 13 0 0 20 0 1 0 59113634 210214912 40542 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 51322 40542 3392 2271 0 45960 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 205288 KiB
Current children cumulated memory: 162168 KiB

[startup+222.3 s]
/proc/loadavg: 3.14 2.96 3.72 4/245 64948
/proc/meminfo: memFree=116487392/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=205288 memory=162168 CPUtime=221.49 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 43216 0 0 0 22136 13 0 0 20 0 1 0 59113634 210214912 40542 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 51322 40542 3392 2271 0 45960 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 205288 KiB
Current children cumulated memory: 162168 KiB

[startup+282.3 s]
/proc/loadavg: 2.62 2.86 3.64 3/240 64986
/proc/meminfo: memFree=117529444/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=207328 memory=165624 CPUtime=281.3 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 44193 0 0 0 28117 13 0 0 20 0 1 0 59113634 212303872 41406 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 51832 41406 3392 2271 0 46470 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 207328 KiB
Current children cumulated memory: 165624 KiB

[startup+342.3 s]
/proc/loadavg: 2.29 2.73 3.55 3/240 64989
/proc/meminfo: memFree=117443296/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=229232 memory=186488 CPUtime=341.12 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 49424 0 0 0 34098 14 0 0 20 0 1 0 59113634 234733568 46622 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 57308 46622 3392 2271 0 51946 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 229232 KiB
Current children cumulated memory: 186488 KiB

[startup+402.3 s]
/proc/loadavg: 2.69 2.75 3.50 3/240 64991
/proc/meminfo: memFree=117368876/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=229232 memory=186488 CPUtime=400.94 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 49425 0 0 0 40080 14 0 0 20 0 1 0 59113634 234733568 46622 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 57308 46622 3392 2271 0 51946 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 229232 KiB
Current children cumulated memory: 186488 KiB

[startup+462.3 s]
/proc/loadavg: 2.45 2.69 3.43 3/240 64993
/proc/meminfo: memFree=117284080/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=229232 memory=186616 CPUtime=460.75 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 49439 0 0 0 46061 14 0 0 20 0 1 0 59113634 234733568 46654 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 57308 46654 3392 2271 0 51946 0
Current children cumulated CPU time: 460.75 s

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

Current children cumulated memory: 234524 KiB

[startup+2862.3 s]
/proc/loadavg: 2.12 2.10 2.18 3/238 65112
/proc/meminfo: memFree=116707080/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=2854.84 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70103 0 0 0 284804 680 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 2854.84 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

[startup+2922.3 s]
/proc/loadavg: 2.09 2.09 2.17 3/238 65114
/proc/meminfo: memFree=116707600/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=2914.7 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70104 0 0 0 290776 694 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 2914.7 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

[startup+2982.3 s]
/proc/loadavg: 2.13 2.10 2.17 3/238 65116
/proc/meminfo: memFree=116708120/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=2974.56 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70104 0 0 0 296748 708 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 2974.56 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

[startup+3042.3 s]
/proc/loadavg: 2.10 2.10 2.17 3/238 65118
/proc/meminfo: memFree=116696368/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=3034.42 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70104 0 0 0 302722 720 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 3034.42 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

[startup+3102.3 s]
/proc/loadavg: 2.08 2.09 2.16 3/238 65122
/proc/meminfo: memFree=116697172/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=3094.29 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70104 0 0 0 308695 734 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 3094.29 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

[startup+3162.3 s]
/proc/loadavg: 2.12 2.10 2.16 3/237 65124
/proc/meminfo: memFree=116697928/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=3154.14 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70104 0 0 0 314668 746 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 3154.14 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

[startup+3222.3 s]
/proc/loadavg: 2.09 2.09 2.16 3/238 65131
/proc/meminfo: memFree=116698764/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=3214 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70104 0 0 0 320643 757 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 3214 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

[startup+3282.3 s]
/proc/loadavg: 2.14 2.10 2.16 3/238 65133
/proc/meminfo: memFree=116699300/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=3273.86 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70157 0 0 0 326615 771 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

[startup+3342.3 s]
/proc/loadavg: 2.11 2.10 2.15 3/240 65138
/proc/meminfo: memFree=116676756/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=3333.72 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70164 0 0 0 332589 783 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 3333.72 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

[startup+3402.3 s]
/proc/loadavg: 2.16 2.11 2.15 3/240 65140
/proc/meminfo: memFree=116678048/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=3393.58 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70165 0 0 0 338561 797 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

[startup+3462.3 s]
/proc/loadavg: 2.12 2.10 2.14 3/241 65143
/proc/meminfo: memFree=116679056/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=3453.44 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70165 0 0 0 344536 808 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

[startup+3522.3 s]
/proc/loadavg: 2.09 2.10 2.14 3/240 65145
/proc/meminfo: memFree=116680600/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=3513.3 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70167 0 0 0 350509 821 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.11 2.14 3/240 65147
/proc/meminfo: memFree=116682128/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=3573.16 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70167 0 0 0 356484 832 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 2.07 2.10 2.13 2/236 65155
/proc/meminfo: memFree=118015440/131382112 swapFree=33010160/33010684
[pid=64896] ppid=64893 vsize=249692 memory=234524 CPUtime=3600 cores=5,7
/proc/64896/stat : 64896 (ExactPR-S) R 64893 64896 64097 0 -1 4194304 70167 0 0 0 359164 836 0 0 20 0 1 0 59113634 255684608 58631 18446744073709551615 94521509240832 94521518540869 140731561353680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94521520326976 94521520366056 94521537232896 140731561359745 140731561359882 140731561359882 140731561365484 0
/proc/64896/statm: 62423 58631 3392 2271 0 57061 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 249692 KiB
Current children cumulated memory: 234524 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.66 s, system=8.36124 s

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

Child status: 10

Real time (s): 3609.22
CPU time (s): 3600.02
CPU user time (s): 3591.66
CPU system time (s): 8.36124
CPU usage (%): 99.7452
Max. virtual memory (cumulated for all children) (KiB): 291824
Max. memory (cumulated for all children) (KiB): 257792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.66
system time used= 8.36124
maximum resident set size= 257792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70183
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= 138
involuntary context switches= 1147


# summary of solver processes directly reported to runsolver:
#   pid: 64896
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3591.66
#   total CPU system time (s): 8.36124

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6595 second user time and 31.6377 second system time

The end