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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486265-1751282891/watcher-4486265-1751282891 -o /tmp/evaluation-result-4486265-1751282891/solver-4486265-1751282891 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751279092-34368 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4486265-1751282891.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=35148, runsolver pid=35145
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.14 4.10 4.09 5/265 35149
/proc/meminfo: memFree=123016960/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=54680 memory=16876 CPUtime=0.09 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 2117 0 0 0 9 0 0 0 20 0 1 0 43968654 55992320 4219 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 13670 4219 1792 2271 0 8308 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54680 KiB
Current children cumulated memory: 16876 KiB

[startup+0.205598 s]*
/proc/loadavg: 4.14 4.10 4.09 5/265 35149
/proc/meminfo: memFree=122988924/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=66452 memory=28948 CPUtime=0.2 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 6365 0 0 0 19 1 0 0 20 0 1 0 43968654 68046848 7237 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 16613 7237 1856 2271 0 11251 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66452 KiB
Current children cumulated memory: 28948 KiB

[startup+0.305495 s]*
/proc/loadavg: 4.14 4.10 4.09 5/265 35149
/proc/meminfo: memFree=122990952/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=66452 memory=28948 CPUtime=0.3 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 6365 0 0 0 29 1 0 0 20 0 1 0 43968654 68046848 7237 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 16613 7237 1856 2271 0 11251 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66452 KiB
Current children cumulated memory: 28948 KiB

[startup+0.700177 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 35149
/proc/meminfo: memFree=122990952/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=92932 memory=58388 CPUtime=0.68 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 12461 0 0 0 66 2 0 0 20 0 1 0 43968654 95162368 14597 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 23233 14597 3232 2271 0 17871 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 92932 KiB
Current children cumulated memory: 58388 KiB

[startup+1.50017 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 35149
/proc/meminfo: memFree=122930976/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=229012 memory=180788 CPUtime=1.48 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 37109 0 0 0 142 6 0 0 20 0 1 0 43968654 234508288 45197 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 57253 45197 3360 2271 0 51891 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 229012 KiB
Current children cumulated memory: 180788 KiB

[startup+3.10537 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 35149
/proc/meminfo: memFree=122848580/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=232172 memory=184500 CPUtime=3.08 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 38164 0 0 0 302 6 0 0 20 0 1 0 43968654 237744128 46125 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 58043 46125 3392 2271 0 52681 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 232172 KiB
Current children cumulated memory: 184500 KiB

[startup+6.30016 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 35150
/proc/meminfo: memFree=122848908/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=232172 memory=184500 CPUtime=6.26 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 38165 0 0 0 620 6 0 0 20 0 1 0 43968654 237744128 46125 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 58043 46125 3392 2271 0 52681 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 232172 KiB
Current children cumulated memory: 184500 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 35150
/proc/meminfo: memFree=122827936/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=239104 memory=188852 CPUtime=12.65 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 39247 0 0 0 1259 6 0 0 20 0 1 0 43968654 244842496 47213 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 59776 47213 3392 2271 0 54414 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 239104 KiB
Current children cumulated memory: 188852 KiB

[startup+25.5001 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 35150
/proc/meminfo: memFree=122800520/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=250960 memory=193588 CPUtime=25.42 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 40434 0 0 0 2535 7 0 0 20 0 1 0 43968654 256983040 48397 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 62740 48397 3392 2271 0 57378 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 250960 KiB
Current children cumulated memory: 193588 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 35195
/proc/meminfo: memFree=122583672/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=256820 memory=193588 CPUtime=50.96 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 40440 0 0 0 5089 7 0 0 20 0 1 0 43968654 262983680 48397 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 64205 48397 3392 2271 0 58843 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 256820 KiB
Current children cumulated memory: 193588 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 35196
/proc/meminfo: memFree=122451884/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=280852 memory=217652 CPUtime=102.02 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 46475 0 0 0 10194 8 0 0 20 0 1 0 43968654 287592448 54413 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 70213 54413 3392 2271 0 64851 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 280852 KiB
Current children cumulated memory: 217652 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 35199
/proc/meminfo: memFree=122398004/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=280852 memory=217780 CPUtime=161.86 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 46501 0 0 0 16178 8 0 0 20 0 1 0 43968654 287592448 54445 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 70213 54445 3392 2271 0 64851 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 280852 KiB
Current children cumulated memory: 217780 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 35201
/proc/meminfo: memFree=122419448/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=280852 memory=217780 CPUtime=221.71 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 46503 0 0 0 22163 8 0 0 20 0 1 0 43968654 287592448 54445 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 70213 54445 3392 2271 0 64851 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 280852 KiB
Current children cumulated memory: 217780 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/264 35204
/proc/meminfo: memFree=122320444/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=333928 memory=269168 CPUtime=281.55 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 95548 0 0 0 28137 18 0 0 20 0 1 0 43968654 341942272 67292 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 83482 67292 3392 2271 0 78120 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 333928 KiB
Current children cumulated memory: 269168 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 35206
/proc/meminfo: memFree=122188688/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=333928 memory=269296 CPUtime=341.4 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 95591 0 0 0 34122 18 0 0 20 0 1 0 43968654 341942272 67324 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 83482 67324 3392 2271 0 78120 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 333928 KiB
Current children cumulated memory: 269296 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 35208
/proc/meminfo: memFree=122137376/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=333928 memory=269296 CPUtime=401.25 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 95599 0 0 0 40107 18 0 0 20 0 1 0 43968654 341942272 67324 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 83482 67324 3392 2271 0 78120 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 333928 KiB
Current children cumulated memory: 269296 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 35217
/proc/meminfo: memFree=122106208/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=333928 memory=269296 CPUtime=461.1 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 95600 0 0 0 46092 18 0 0 20 0 1 0 43968654 341942272 67324 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 83482 67324 3392 2271 0 78120 0
Current children cumulated CPU time: 461.1 s

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

Current children cumulated memory: 285056 KiB

[startup+2862.3 s]
/proc/loadavg: 4.26 4.17 4.11 5/263 35345
/proc/meminfo: memFree=120280440/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=285056 CPUtime=2855.08 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106154 0 0 0 284990 518 0 0 20 0 1 0 43968654 352010240 71264 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 71264 3392 2271 0 80578 0
Current children cumulated CPU time: 2855.08 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 285056 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 35347
/proc/meminfo: memFree=120267284/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=285056 CPUtime=2914.93 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106154 0 0 0 290973 520 0 0 20 0 1 0 43968654 352010240 71264 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 71264 3392 2271 0 80578 0
Current children cumulated CPU time: 2914.93 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 285056 KiB

[startup+2982.3 s]
/proc/loadavg: 4.43 4.22 4.13 5/263 35349
/proc/meminfo: memFree=120272764/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=285056 CPUtime=2974.78 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106155 0 0 0 296954 524 0 0 20 0 1 0 43968654 352010240 71264 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 71264 3392 2271 0 80578 0
Current children cumulated CPU time: 2974.78 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 285056 KiB

[startup+3042.3 s]
/proc/loadavg: 4.24 4.20 4.13 5/264 35352
/proc/meminfo: memFree=120272068/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=285056 CPUtime=3034.62 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106155 0 0 0 302933 529 0 0 20 0 1 0 43968654 352010240 71264 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 71264 3392 2271 0 80578 0
Current children cumulated CPU time: 3034.62 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 285056 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.20 4.13 5/264 35354
/proc/meminfo: memFree=120272292/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=285056 CPUtime=3094.47 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106155 0 0 0 308916 531 0 0 20 0 1 0 43968654 352010240 71264 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 71264 3392 2271 0 80578 0
Current children cumulated CPU time: 3094.47 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 285056 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/263 35356
/proc/meminfo: memFree=120273368/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=285056 CPUtime=3154.31 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106166 0 0 0 314897 534 0 0 20 0 1 0 43968654 352010240 71264 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 71264 3392 2271 0 80578 0
Current children cumulated CPU time: 3154.31 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 285056 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.14 4.11 5/263 35358
/proc/meminfo: memFree=120272264/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=285056 CPUtime=3214.16 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106166 0 0 0 320878 538 0 0 20 0 1 0 43968654 352010240 71264 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 71264 3392 2271 0 80578 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 285056 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 35360
/proc/meminfo: memFree=120271848/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=285056 CPUtime=3274.01 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106166 0 0 0 326857 544 0 0 20 0 1 0 43968654 352010240 71264 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 71264 3392 2271 0 80578 0
Current children cumulated CPU time: 3274.01 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 285056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/262 35362
/proc/meminfo: memFree=120268508/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=285056 CPUtime=3333.85 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106166 0 0 0 332839 546 0 0 20 0 1 0 43968654 352010240 71264 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 71264 3392 2271 0 80578 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 285056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/263 35365
/proc/meminfo: memFree=120249632/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=285056 CPUtime=3393.7 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106166 0 0 0 338821 549 0 0 20 0 1 0 43968654 352010240 71264 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 71264 3392 2271 0 80578 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 285056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.03 4.10 4.09 5/264 35554
/proc/meminfo: memFree=127489128/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=287744 CPUtime=3453.54 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106178 0 0 0 344801 553 0 0 20 0 1 0 43968654 352010240 71936 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 71936 3392 2271 0 80578 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 287744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 35556
/proc/meminfo: memFree=127407056/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=299364 CPUtime=3513.38 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106202 0 0 0 350778 560 0 0 20 0 1 0 43968654 352010240 74841 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 74841 3392 2271 0 80578 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 299364 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 35603
/proc/meminfo: memFree=127419544/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=309860 CPUtime=3573.22 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106211 0 0 0 356760 562 0 0 20 0 1 0 43968654 352010240 77465 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 77465 3392 2271 0 80578 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 309860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 35604
/proc/meminfo: memFree=127408444/131249996 swapFree=33010416/33010684
[pid=35148] ppid=35145 vsize=343760 memory=324580 CPUtime=3600.04 cores=5,7
/proc/35148/stat : 35148 (ExactPR-S) R 35145 35148 34355 0 -1 4194304 106219 0 0 0 359440 564 0 0 20 0 1 0 43968654 352010240 81145 18446744073709551615 94885791551488 94885800851525 140722250690768 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94885802637632 94885802676712 94885812121600 140722250692993 140722250693130 140722250693130 140722250698732 0
/proc/35148/statm: 85940 81145 3392 2271 0 80578 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 343760 KiB
Current children cumulated memory: 324580 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.41 s, system=5.65291 s

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

Child status: 10

Real time (s): 3609.2
CPU time (s): 3600.06
CPU user time (s): 3594.41
CPU system time (s): 5.65291
CPU usage (%): 99.7467
Max. virtual memory (cumulated for all children) (KiB): 487736
Max. memory (cumulated for all children) (KiB): 413748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.41
system time used= 5.65291
maximum resident set size= 413748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106233
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= 162
involuntary context switches= 1177


# summary of solver processes directly reported to runsolver:
#   pid: 35148
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3594.41
#   total CPU system time (s): 5.65291

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81095 second user time and 15.0201 second system time

The end