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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509125-1751516887/watcher-4509125-1751516887 -o /tmp/evaluation-result-4509125-1751516887/solver-4509125-1751516887 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751516821-70541 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4509125-1751516887.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=70646, runsolver pid=70643
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 3.24 1.90 2.32 5/252 70647
/proc/meminfo: memFree=129115400/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=53756 memory=12928 CPUtime=0.08 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 1901 0 0 0 7 1 0 0 20 0 1 0 67367521 55046144 3232 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 13439 3232 1664 2271 0 8077 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 53756 KiB
Current children cumulated memory: 12928 KiB

[startup+0.213087 s]*
/proc/loadavg: 3.24 1.90 2.32 5/252 70647
/proc/meminfo: memFree=129107840/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=62428 memory=21356 CPUtime=0.2 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 4144 0 0 0 17 3 0 0 20 0 1 0 67367521 63926272 5339 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 15607 5339 1888 2271 0 10245 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62428 KiB
Current children cumulated memory: 21356 KiB

[startup+0.312917 s]*
/proc/loadavg: 3.24 1.90 2.32 5/252 70647
/proc/meminfo: memFree=129107840/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=62428 memory=21356 CPUtime=0.3 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 4144 0 0 0 26 4 0 0 20 0 1 0 67367521 63926272 5339 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 15607 5339 1888 2271 0 10245 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62428 KiB
Current children cumulated memory: 21356 KiB

[startup+0.700249 s]
/proc/loadavg: 3.24 1.90 2.32 5/252 70647
/proc/meminfo: memFree=129107840/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=62428 memory=21356 CPUtime=0.67 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 4144 0 0 0 57 10 0 0 20 0 1 0 67367521 63926272 5339 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 15607 5339 1888 2271 0 10245 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62428 KiB
Current children cumulated memory: 21356 KiB

[startup+1.50025 s]
/proc/loadavg: 3.24 1.90 2.32 5/252 70647
/proc/meminfo: memFree=129107840/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=62428 memory=21356 CPUtime=1.47 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 4144 0 0 0 124 23 0 0 20 0 1 0 67367521 63926272 5339 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 15607 5339 1888 2271 0 10245 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 62428 KiB
Current children cumulated memory: 21356 KiB

[startup+3.11227 s]
/proc/loadavg: 3.24 1.90 2.32 4/248 70679
/proc/meminfo: memFree=129097656/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=62428 memory=21356 CPUtime=3.07 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 4144 0 0 0 259 48 0 0 20 0 1 0 67367521 63926272 5339 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 15607 5339 1888 2271 0 10245 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 62428 KiB
Current children cumulated memory: 21356 KiB

[startup+6.3003 s]
/proc/loadavg: 3.30 1.94 2.33 5/252 70692
/proc/meminfo: memFree=128625424/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=62428 memory=21356 CPUtime=6.25 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 4144 0 0 0 528 97 0 0 20 0 1 0 67367521 63926272 5339 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 15607 5339 1888 2271 0 10245 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 62428 KiB
Current children cumulated memory: 21356 KiB

[startup+12.7003 s]
/proc/loadavg: 3.36 1.97 2.34 5/252 70692
/proc/meminfo: memFree=127658764/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=62428 memory=21356 CPUtime=12.63 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 4144 0 0 0 1060 203 0 0 20 0 1 0 67367521 63926272 5339 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 15607 5339 1888 2271 0 10245 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 62428 KiB
Current children cumulated memory: 21356 KiB

[startup+25.5003 s]
/proc/loadavg: 3.50 2.07 2.37 5/252 70692
/proc/meminfo: memFree=125720472/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=62428 memory=21356 CPUtime=25.39 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 4144 0 0 0 2121 418 0 0 20 0 1 0 67367521 63926272 5339 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 15607 5339 1888 2271 0 10245 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 62428 KiB
Current children cumulated memory: 21356 KiB

[startup+51.1138 s]
/proc/loadavg: 3.75 2.24 2.42 5/252 70693
/proc/meminfo: memFree=125616708/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=62428 memory=21356 CPUtime=50.93 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 4144 0 0 0 4235 858 0 0 20 0 1 0 67367521 63926272 5339 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 15607 5339 1888 2271 0 10245 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 62428 KiB
Current children cumulated memory: 21356 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 2.53 2.51 5/252 70697
/proc/meminfo: memFree=125201184/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=103400 memory=67480 CPUtime=101.93 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 11301 0 0 0 9165 1028 0 0 20 0 1 0 67367521 105881600 16870 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 25850 16870 1888 2271 0 20488 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 103400 KiB
Current children cumulated memory: 67480 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 2.81 2.61 5/252 70702
/proc/meminfo: memFree=123296368/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=113040 memory=80992 CPUtime=161.7 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 13684 0 0 0 15121 1049 0 0 20 0 1 0 67367521 115752960 20248 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 28260 20248 1888 2271 0 22898 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 113040 KiB
Current children cumulated memory: 80992 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 3.06 2.71 5/252 70704
/proc/meminfo: memFree=121825020/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=117368 memory=87416 CPUtime=221.48 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 14784 0 0 0 21076 1072 0 0 20 0 1 0 67367521 120184832 21854 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 29342 21854 1888 2271 0 23980 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 117368 KiB
Current children cumulated memory: 87416 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.25 2.80 5/250 70706
/proc/meminfo: memFree=121390732/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=119944 memory=90104 CPUtime=281.26 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 15479 0 0 0 27030 1096 0 0 20 0 1 0 67367521 122822656 22526 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 29986 22526 1888 2271 0 24624 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 119944 KiB
Current children cumulated memory: 90104 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 3.42 2.89 5/249 70708
/proc/meminfo: memFree=119763444/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=122752 memory=92792 CPUtime=341.03 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 16145 0 0 0 32987 1116 0 0 20 0 1 0 67367521 125698048 23198 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 30688 23198 1888 2271 0 25326 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 122752 KiB
Current children cumulated memory: 92792 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.55 2.96 5/250 70711
/proc/meminfo: memFree=118858540/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=124276 memory=94456 CPUtime=400.81 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 16554 0 0 0 38944 1137 0 0 20 0 1 0 67367521 127258624 23614 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 31069 23614 1888 2271 0 25707 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 124276 KiB
Current children cumulated memory: 94456 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 3.66 3.04 5/250 70713
/proc/meminfo: memFree=118829172/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=127296 memory=97272 CPUtime=460.58 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 17297 0 0 0 44902 1156 0 0 20 0 1 0 67367521 130351104 24318 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 31824 24318 1888 2271 0 26462 0
Current children cumulated CPU time: 460.58 s

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

Current children cumulated memory: 139536 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/249 70836
/proc/meminfo: memFree=113745716/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=182848 memory=140048 CPUtime=2911.41 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 25898 0 0 0 289147 1994 0 0 20 0 1 0 67367521 187236352 35012 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 45712 35012 1888 2271 0 40350 0
Current children cumulated CPU time: 2911.41 s
Current children cumulated vsize: 182848 KiB
Current children cumulated memory: 140048 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/249 70838
/proc/meminfo: memFree=113749768/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=183304 memory=140560 CPUtime=2971.18 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26012 0 0 0 295105 2013 0 0 20 0 1 0 67367521 187703296 35140 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 45826 35140 1888 2271 0 40464 0
Current children cumulated CPU time: 2971.18 s
Current children cumulated vsize: 183304 KiB
Current children cumulated memory: 140560 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.18 4.13 5/249 70840
/proc/meminfo: memFree=113749784/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=183304 memory=140688 CPUtime=3030.96 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26057 0 0 0 301061 2035 0 0 20 0 1 0 67367521 187703296 35172 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 45826 35172 1888 2271 0 40464 0
Current children cumulated CPU time: 3030.96 s
Current children cumulated vsize: 183304 KiB
Current children cumulated memory: 140688 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/250 70845
/proc/meminfo: memFree=113750840/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=183928 memory=141200 CPUtime=3090.74 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26183 0 0 0 307018 2056 0 0 20 0 1 0 67367521 188342272 35300 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 45982 35300 1888 2271 0 40620 0
Current children cumulated CPU time: 3090.74 s
Current children cumulated vsize: 183928 KiB
Current children cumulated memory: 141200 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/250 70851
/proc/meminfo: memFree=113733852/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=184088 memory=141456 CPUtime=3150.51 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26253 0 0 0 312974 2077 0 0 20 0 1 0 67367521 188506112 35364 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 46022 35364 1888 2271 0 40660 0
Current children cumulated CPU time: 3150.51 s
Current children cumulated vsize: 184088 KiB
Current children cumulated memory: 141456 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/250 70853
/proc/meminfo: memFree=113721452/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=184244 memory=141456 CPUtime=3210.28 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26268 0 0 0 318933 2095 0 0 20 0 1 0 67367521 188665856 35364 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 46061 35364 1888 2271 0 40699 0
Current children cumulated CPU time: 3210.28 s
Current children cumulated vsize: 184244 KiB
Current children cumulated memory: 141456 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/251 70856
/proc/meminfo: memFree=113678340/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=184588 memory=141840 CPUtime=3270.06 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26345 0 0 0 324890 2116 0 0 20 0 1 0 67367521 189018112 35460 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 46147 35460 1888 2271 0 40785 0
Current children cumulated CPU time: 3270.06 s
Current children cumulated vsize: 184588 KiB
Current children cumulated memory: 141840 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/251 70858
/proc/meminfo: memFree=113652068/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=185072 memory=142224 CPUtime=3329.83 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26461 0 0 0 330846 2137 0 0 20 0 1 0 67367521 189513728 35556 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 46268 35556 1888 2271 0 40906 0
Current children cumulated CPU time: 3329.83 s
Current children cumulated vsize: 185072 KiB
Current children cumulated memory: 142224 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/251 70860
/proc/meminfo: memFree=113596896/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=185408 memory=142608 CPUtime=3389.6 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26555 0 0 0 336803 2157 0 0 20 0 1 0 67367521 189857792 35652 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 46352 35652 1888 2271 0 40990 0
Current children cumulated CPU time: 3389.6 s
Current children cumulated vsize: 185408 KiB
Current children cumulated memory: 142608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.13 4.11 5/251 70862
/proc/meminfo: memFree=113599356/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=185408 memory=142608 CPUtime=3449.39 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26557 0 0 0 342761 2178 0 0 20 0 1 0 67367521 189857792 35652 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 46352 35652 1888 2271 0 40990 0
Current children cumulated CPU time: 3449.39 s
Current children cumulated vsize: 185408 KiB
Current children cumulated memory: 142608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/251 70864
/proc/meminfo: memFree=113595856/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=185976 memory=143248 CPUtime=3509.17 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26697 0 0 0 348719 2198 0 0 20 0 1 0 67367521 190439424 35812 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 46494 35812 1888 2271 0 41132 0
Current children cumulated CPU time: 3509.17 s
Current children cumulated vsize: 185976 KiB
Current children cumulated memory: 143248 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/250 70955
/proc/meminfo: memFree=121737568/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=186436 memory=146704 CPUtime=3568.95 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26827 0 0 0 354677 2218 0 0 20 0 1 0 67367521 190910464 36676 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 46609 36676 1888 2271 0 41247 0
Current children cumulated CPU time: 3568.95 s
Current children cumulated vsize: 186436 KiB
Current children cumulated memory: 146704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.5 s]
/proc/loadavg: 4.24 4.15 4.11 5/250 71002
/proc/meminfo: memFree=121695852/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=186436 memory=146960 CPUtime=3600.03 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26851 0 0 0 357776 2227 0 0 20 0 1 0 67367521 190910464 36740 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 46609 36740 1888 2271 0 41247 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 186436 KiB
Current children cumulated memory: 146960 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.79 s, system=22.2751 s

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

[startup+3613.5 s]
/proc/loadavg: 4.24 4.15 4.11 5/250 71002
/proc/meminfo: memFree=121695852/131382120 swapFree=33010416/33010684
[pid=70646] ppid=70643 vsize=186436 memory=146960 CPUtime=3600.03 cores=1,3
/proc/70646/stat : 70646 (ExactPR) R 70643 70646 70529 0 -1 4194304 26851 0 0 0 357776 2227 0 0 20 0 1 0 67367521 190910464 36740 18446744073709551615 94861743919104 94861753218949 140736833081872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861755005248 94861755044328 94861793996800 140736833087877 140736833088012 140736833088012 140736833093614 0
/proc/70646/statm: 46609 36740 1888 2271 0 41247 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 186436 KiB
Current children cumulated memory: 146960 KiB

Child status: 10

Real time (s): 3613.52
CPU time (s): 3600.06
CPU user time (s): 3577.79
CPU system time (s): 22.2751
CPU usage (%): 99.6275
Max. virtual memory (cumulated for all children) (KiB): 186436
Max. memory (cumulated for all children) (KiB): 146960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.79
system time used= 22.2751
maximum resident set size= 150728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26865
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= 147
involuntary context switches= 2032


# summary of solver processes directly reported to runsolver:
#   pid: 70646
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3577.79
#   total CPU system time (s): 22.2751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7964 second user time and 34.4692 second system time

The end