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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100058 s]*
/proc/loadavg: 2.75 2.98 3.05 5/266 38990
/proc/meminfo: memFree=128809244/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=55000 memory=16616 CPUtime=0.09 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 2270 0 0 0 9 0 0 0 20 0 1 0 43589167 56320000 4154 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 13750 4154 1600 2271 0 8388 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55000 KiB
Current children cumulated memory: 16616 KiB

[startup+0.20549 s]*
/proc/loadavg: 2.75 2.98 3.05 5/266 38990
/proc/meminfo: memFree=128792408/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=98832 memory=55284 CPUtime=0.2 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 8698 0 0 0 18 2 0 0 20 0 1 0 43589167 101203968 13821 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 24708 13821 1728 2271 0 19346 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 55284 KiB

[startup+0.305738 s]*
/proc/loadavg: 2.75 2.98 3.05 5/266 38990
/proc/meminfo: memFree=128787556/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=103464 memory=60964 CPUtime=0.29 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 12064 0 0 0 27 2 0 0 20 0 1 0 43589167 105947136 15241 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 25866 15241 1792 2271 0 20504 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 103464 KiB
Current children cumulated memory: 60964 KiB

[startup+0.700185 s]
/proc/loadavg: 2.75 2.98 3.05 5/266 38990
/proc/meminfo: memFree=128778736/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=238488 memory=188708 CPUtime=0.68 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 42615 0 0 0 62 6 0 0 20 0 1 0 43589167 244211712 47177 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 59622 47177 3264 2271 0 54260 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 238488 KiB
Current children cumulated memory: 188708 KiB

[startup+1.50017 s]
/proc/loadavg: 2.85 3.00 3.06 5/266 38990
/proc/meminfo: memFree=128617456/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=412992 memory=335544 CPUtime=1.48 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 60602 0 0 0 138 10 0 0 20 0 1 0 43589167 422903808 83886 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 103248 83886 3328 2271 0 97886 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 412992 KiB
Current children cumulated memory: 335544 KiB

[startup+3.10478 s]
/proc/loadavg: 2.85 3.00 3.06 5/266 38990
/proc/meminfo: memFree=128329196/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=582560 memory=500896 CPUtime=3.08 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 85706 0 0 0 294 14 0 0 20 0 1 0 43589167 596541440 125224 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 145640 125224 3392 2271 0 140278 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 582560 KiB
Current children cumulated memory: 500896 KiB

[startup+6.3001 s]
/proc/loadavg: 2.94 3.02 3.06 5/266 38990
/proc/meminfo: memFree=128297080/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=639720 memory=528828 CPUtime=6.26 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 89649 0 0 0 611 15 0 0 20 0 1 0 43589167 655073280 132207 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 159930 132207 3392 2271 0 154568 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 639720 KiB
Current children cumulated memory: 528828 KiB

[startup+12.7002 s]
/proc/loadavg: 3.03 3.03 3.07 5/266 38990
/proc/meminfo: memFree=128281204/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=684144 memory=535740 CPUtime=12.65 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 91388 0 0 0 1249 16 0 0 20 0 1 0 43589167 700563456 133935 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 171036 133935 3392 2271 0 165674 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 684144 KiB
Current children cumulated memory: 535740 KiB

[startup+25.5002 s]
/proc/loadavg: 3.26 3.08 3.09 5/266 38990
/proc/meminfo: memFree=128232820/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=872864 memory=644072 CPUtime=25.41 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 117934 0 0 0 2522 19 0 0 20 0 1 0 43589167 893812736 161018 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 218216 161018 3392 2271 0 212854 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 872864 KiB
Current children cumulated memory: 644072 KiB

[startup+51.106 s]
/proc/loadavg: 3.61 3.19 3.12 5/267 38992
/proc/meminfo: memFree=128011060/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=878120 memory=651880 CPUtime=50.94 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 119922 0 0 0 5074 20 0 0 20 0 1 0 43589167 899194880 162970 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 219530 162970 3392 2271 0 214168 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 878120 KiB
Current children cumulated memory: 651880 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 3.31 3.17 5/266 39038
/proc/meminfo: memFree=127941308/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=961684 memory=718952 CPUtime=101.96 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 136693 0 0 0 10172 24 0 0 20 0 1 0 43589167 984764416 179738 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 240421 179738 3392 2271 0 235059 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 961684 KiB
Current children cumulated memory: 718952 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.46 3.23 5/268 39042
/proc/meminfo: memFree=127777544/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=992852 memory=749544 CPUtime=161.72 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 144359 0 0 0 16147 25 0 0 20 0 1 0 43589167 1016680448 187386 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 248213 187386 3392 2271 0 242851 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 992852 KiB
Current children cumulated memory: 749544 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.57 3.29 5/268 39044
/proc/meminfo: memFree=127525480/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1021560 memory=779116 CPUtime=221.5 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 157985 0 0 0 22123 27 0 0 20 0 1 0 43589167 1046077440 194779 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 255390 194779 3392 2271 0 250028 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 1021560 KiB
Current children cumulated memory: 779116 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.67 3.34 5/267 39090
/proc/meminfo: memFree=127725972/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1164184 memory=783292 CPUtime=281.28 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 158045 0 0 0 28101 27 0 0 20 0 1 0 43589167 1192124416 195823 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 291046 195823 3392 2271 0 285684 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 1164184 KiB
Current children cumulated memory: 783292 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.75 3.39 4/261 39100
/proc/meminfo: memFree=127666736/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1271868 memory=827592 CPUtime=341.1 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 160488 0 0 0 34081 29 0 0 20 0 1 0 43589167 1302392832 206898 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 317967 206898 3392 2271 0 312605 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 1271868 KiB
Current children cumulated memory: 827592 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.81 3.43 5/264 39138
/proc/meminfo: memFree=112243988/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1304064 memory=860892 CPUtime=400.88 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 162777 0 0 0 40059 29 0 0 20 0 1 0 43589167 1335361536 215223 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 326016 215223 3392 2271 0 320654 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 1304064 KiB
Current children cumulated memory: 860892 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.88 3.48 5/262 39140
/proc/meminfo: memFree=112069792/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1368620 memory=922864 CPUtime=460.67 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 177763 0 0 0 46035 32 0 0 20 0 1 0 43589167 1401466880 230716 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 342155 230716 3392 2271 0 336793 0
Current children cumulated CPU time: 460.67 s

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

Current children cumulated memory: 1093964 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 39262
/proc/meminfo: memFree=103091416/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=2913.65 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 256681 0 0 0 291162 203 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 2913.65 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.10 4.08 5/262 39264
/proc/meminfo: memFree=103107888/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=2973.48 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 256682 0 0 0 297144 204 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 2973.48 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 39273
/proc/meminfo: memFree=103105072/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=3033.34 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 256682 0 0 0 303128 206 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 3033.34 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 39275
/proc/meminfo: memFree=103108588/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=3093.18 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 256828 0 0 0 309111 207 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 39277
/proc/meminfo: memFree=103106016/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=3153.03 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 256836 0 0 0 315095 208 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 3153.03 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 39279
/proc/meminfo: memFree=103090972/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=3212.88 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 256836 0 0 0 321078 210 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 3212.88 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 39281
/proc/meminfo: memFree=103095712/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=3272.72 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 256836 0 0 0 327061 211 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 3272.72 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 39283
/proc/meminfo: memFree=103108980/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=3332.56 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 256950 0 0 0 333044 212 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 39285
/proc/meminfo: memFree=103122532/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=3392.41 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 256991 0 0 0 339027 214 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 39287
/proc/meminfo: memFree=103108916/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=3452.26 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 256992 0 0 0 345010 216 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/262 39289
/proc/meminfo: memFree=103101688/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=3512.11 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 256992 0 0 0 350993 218 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/262 39291
/proc/meminfo: memFree=103119724/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=3571.95 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 257031 0 0 0 356975 220 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 3571.95 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.38 4.16 4.11 5/263 39344
/proc/meminfo: memFree=102887060/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=3600.08 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 257110 0 0 0 359787 221 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.88 s, system=2.21518 s

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

[startup+3610.5 s]
/proc/loadavg: 4.38 4.16 4.11 5/263 39344
/proc/meminfo: memFree=102887060/131249996 swapFree=33010684/33010684
[pid=38989] ppid=38986 vsize=1303460 memory=1093964 CPUtime=3600.08 cores=0,2
/proc/38989/stat : 38989 (ExactPR-S) R 38986 38989 38738 0 -1 4194304 257110 0 0 0 359787 221 0 0 20 0 1 0 43589167 1334743040 273491 18446744073709551615 94501060464640 94501069764677 140721999827744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94501071550784 94501071589864 94501100924928 140721999829377 140721999829514 140721999829514 140721999835116 0
/proc/38989/statm: 325865 273491 3488 2271 0 320503 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1303460 KiB
Current children cumulated memory: 1093964 KiB

Child status: 10

Real time (s): 3610.51
CPU time (s): 3600.1
CPU user time (s): 3597.88
CPU system time (s): 2.21518
CPU usage (%): 99.7117
Max. virtual memory (cumulated for all children) (KiB): 1632252
Max. memory (cumulated for all children) (KiB): 1146332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.88
system time used= 2.21518
maximum resident set size= 1146332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257124
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= 182
involuntary context switches= 7927


# summary of solver processes directly reported to runsolver:
#   pid: 38989
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.88
#   total CPU system time (s): 2.21518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98234 second user time and 15.8065 second system time

The end