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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486309-1751310066/watcher-4486309-1751310066 -o /tmp/evaluation-result-4486309-1751310066/solver-4486309-1751310066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751301113-41621 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4486309-1751310066.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=42875, runsolver pid=42872

[startup+0.100066 s]*
/proc/loadavg: 4.08 4.08 4.09 5/265 42876
/proc/meminfo: memFree=127256388/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=54340 memory=15792 CPUtime=0.09 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 2014 0 0 0 9 0 0 0 20 0 1 0 46684518 55644160 3948 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 13585 3948 1632 2271 0 8223 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54340 KiB
Current children cumulated memory: 15792 KiB

[startup+0.205852 s]*
/proc/loadavg: 4.08 4.08 4.09 5/265 42876
/proc/meminfo: memFree=127238748/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=66452 memory=28620 CPUtime=0.19 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 6362 0 0 0 18 1 0 0 20 0 1 0 46684518 68046848 7155 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 16613 7155 1792 2271 0 11251 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 66452 KiB
Current children cumulated memory: 28620 KiB

[startup+0.305703 s]*
/proc/loadavg: 4.08 4.08 4.09 5/265 42876
/proc/meminfo: memFree=127238748/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=66452 memory=28620 CPUtime=0.29 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 6362 0 0 0 28 1 0 0 20 0 1 0 46684518 68046848 7155 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 16613 7155 1792 2271 0 11251 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 66452 KiB
Current children cumulated memory: 28620 KiB

[startup+0.700165 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 42876
/proc/meminfo: memFree=127238748/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=74904 memory=36428 CPUtime=0.68 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 8291 0 0 0 65 3 0 0 20 0 1 0 46684518 76701696 9107 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 18726 9107 1824 2271 0 13364 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74904 KiB
Current children cumulated memory: 36428 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 42876
/proc/meminfo: memFree=127238040/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=74904 memory=36428 CPUtime=1.48 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 8292 0 0 0 140 8 0 0 20 0 1 0 46684518 76701696 9107 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 18726 9107 1824 2271 0 13364 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74904 KiB
Current children cumulated memory: 36428 KiB

[startup+3.10558 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 42876
/proc/meminfo: memFree=127233944/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=74904 memory=36428 CPUtime=3.08 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 8292 0 0 0 290 18 0 0 20 0 1 0 46684518 76701696 9107 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 18726 9107 1824 2271 0 13364 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74904 KiB
Current children cumulated memory: 36428 KiB

[startup+6.30017 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 42876
/proc/meminfo: memFree=127225880/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=74904 memory=36428 CPUtime=6.26 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 8292 0 0 0 592 34 0 0 20 0 1 0 46684518 76701696 9107 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 18726 9107 1824 2271 0 13364 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 74904 KiB
Current children cumulated memory: 36428 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 42876
/proc/meminfo: memFree=127210128/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=74904 memory=36428 CPUtime=12.65 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 8292 0 0 0 1194 71 0 0 20 0 1 0 46684518 76701696 9107 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 18726 9107 1824 2271 0 13364 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 74904 KiB
Current children cumulated memory: 36428 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.07 4.08 5/265 42876
/proc/meminfo: memFree=127162180/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=74904 memory=36428 CPUtime=25.42 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 8292 0 0 0 2394 148 0 0 20 0 1 0 46684518 76701696 9107 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 18726 9107 1824 2271 0 13364 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 74904 KiB
Current children cumulated memory: 36428 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 42876
/proc/meminfo: memFree=127077976/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=74904 memory=36428 CPUtime=50.96 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 8292 0 0 0 4789 307 0 0 20 0 1 0 46684518 76701696 9107 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 18726 9107 1824 2271 0 13364 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 74904 KiB
Current children cumulated memory: 36428 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 42878
/proc/meminfo: memFree=126933920/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=107604 memory=70524 CPUtime=102.02 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 14273 0 0 0 9828 374 0 0 20 0 1 0 46684518 110186496 17631 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 26901 17631 1856 2271 0 21539 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 107604 KiB
Current children cumulated memory: 70524 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 42880
/proc/meminfo: memFree=126875284/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=115288 memory=77948 CPUtime=161.86 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 16138 0 0 0 15806 380 0 0 20 0 1 0 46684518 118054912 19487 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 28822 19487 1856 2271 0 23460 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 115288 KiB
Current children cumulated memory: 77948 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/263 42882
/proc/meminfo: memFree=126837368/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=118500 memory=81276 CPUtime=221.69 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 16975 0 0 0 21785 384 0 0 20 0 1 0 46684518 121344000 20319 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 29625 20319 1856 2271 0 24263 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 118500 KiB
Current children cumulated memory: 81276 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 42884
/proc/meminfo: memFree=126810488/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=121856 memory=86436 CPUtime=281.54 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 17778 0 0 0 27764 390 0 0 20 0 1 0 46684518 124780544 21609 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 30464 21609 1856 2271 0 25102 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 121856 KiB
Current children cumulated memory: 86436 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 42886
/proc/meminfo: memFree=126794532/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=124376 memory=90788 CPUtime=341.38 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 18365 0 0 0 33743 395 0 0 20 0 1 0 46684518 127361024 22697 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 31094 22697 1856 2271 0 25732 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 124376 KiB
Current children cumulated memory: 90788 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 42891
/proc/meminfo: memFree=126789512/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=126856 memory=92836 CPUtime=401.23 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 18868 0 0 0 39722 401 0 0 20 0 1 0 46684518 129900544 23209 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 31714 23209 1856 2271 0 26352 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 126856 KiB
Current children cumulated memory: 92836 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 42897
/proc/meminfo: memFree=126788388/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=126856 memory=92836 CPUtime=461.07 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 18880 0 0 0 45701 406 0 0 20 0 1 0 46684518 129900544 23209 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 31714 23209 1856 2271 0 26352 0

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

Current children cumulated memory: 119120 KiB

[startup+3042.3 s]
/proc/loadavg: 1.14 1.18 2.01 2/246 43111
/proc/meminfo: memFree=129974168/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3034.75 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22978 0 0 0 302847 628 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3034.75 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

[startup+3102.3 s]
/proc/loadavg: 1.11 1.16 1.95 2/246 43113
/proc/meminfo: memFree=129976040/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3094.62 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22978 0 0 0 308829 633 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3094.62 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

[startup+3162.3 s]
/proc/loadavg: 1.04 1.13 1.89 2/245 43115
/proc/meminfo: memFree=129975824/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3154.5 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22979 0 0 0 314811 639 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3154.5 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

[startup+3222.3 s]
/proc/loadavg: 1.11 1.13 1.84 2/244 43117
/proc/meminfo: memFree=129976752/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3214.38 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22979 0 0 0 320793 645 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3214.38 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

[startup+3282.3 s]
/proc/loadavg: 1.09 1.12 1.79 2/244 43119
/proc/meminfo: memFree=129977540/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3274.25 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22979 0 0 0 326774 651 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3274.25 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

[startup+3342.3 s]
/proc/loadavg: 1.07 1.11 1.74 2/244 43121
/proc/meminfo: memFree=129979636/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3334.12 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22979 0 0 0 332756 656 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3334.12 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.10 1.70 2/244 43125
/proc/meminfo: memFree=129978992/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3394 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22980 0 0 0 338737 663 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3394 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

[startup+3462.3 s]
/proc/loadavg: 1.07 1.10 1.66 2/246 43133
/proc/meminfo: memFree=129981772/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3453.87 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22981 0 0 0 344719 668 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.11 1.63 2/246 43135
/proc/meminfo: memFree=129981128/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3513.75 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22981 0 0 0 350701 674 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3513.75 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

[startup+3582.3 s]
/proc/loadavg: 1.05 1.09 1.58 2/246 43137
/proc/meminfo: memFree=129982804/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3573.63 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22981 0 0 0 356684 679 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3573.63 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 1.10 1.09 1.57 2/246 43148
/proc/meminfo: memFree=129990684/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3600.07 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22981 0 0 0 359327 680 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.04 s, system=6.81531 s

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

[startup+3609.2 s]
/proc/loadavg: 1.09 1.09 1.57 2/246 43148
/proc/meminfo: memFree=129990684/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3600.47 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22981 0 0 0 359367 680 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

[startup+3609.4 s]
/proc/loadavg: 1.09 1.09 1.57 2/246 43148
/proc/meminfo: memFree=129990684/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3600.68 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22981 0 0 0 359387 681 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3600.68 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

[startup+3609.5 s]
/proc/loadavg: 1.09 1.09 1.57 2/246 43148
/proc/meminfo: memFree=129990684/131249996 swapFree=33005272/33010684
[pid=42875] ppid=42872 vsize=142688 memory=119120 CPUtime=3600.77 cores=0,2
/proc/42875/stat : 42875 (ExactPR) R 42872 42875 41611 0 -1 4194304 22981 0 0 0 359396 681 0 0 20 0 1 0 46684518 146112512 29780 18446744073709551615 93924026933248 93924036233093 140735931386672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93924038019392 93924038058472 93924050837504 140735931394437 140735931394572 140735931394572 140735931400174 0
/proc/42875/statm: 35672 29780 1856 2271 0 30310 0
Current children cumulated CPU time: 3600.77 s
Current children cumulated vsize: 142688 KiB
Current children cumulated memory: 119120 KiB

Child status: 10

Real time (s): 3609.58
CPU time (s): 3600.86
CPU user time (s): 3594.04
CPU system time (s): 6.81531
CPU usage (%): 99.7584
Max. virtual memory (cumulated for all children) (KiB): 142688
Max. memory (cumulated for all children) (KiB): 119120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.04
system time used= 6.81531
maximum resident set size= 119632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22997
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= 139
involuntary context switches= 7981


# summary of solver processes directly reported to runsolver:
#   pid: 42875
#   total CPU time (s): 3600.86
#   total CPU user time (s): 3594.04
#   total CPU system time (s): 6.81531

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85718 second user time and 14.5385 second system time

The end