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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=47640, runsolver pid=47634

[startup+0.100059 s]*
/proc/loadavg: 1.25 1.42 2.31 5/266 47653
/proc/meminfo: memFree=126789940/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=55884 memory=17472 CPUtime=0.07 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 2405 0 0 0 7 0 0 0 20 0 1 0 48279188 57225216 4368 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 13971 4368 1664 2271 0 8609 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 55884 KiB
Current children cumulated memory: 17472 KiB

[startup+0.205639 s]*
/proc/loadavg: 1.25 1.42 2.31 5/266 47653
/proc/meminfo: memFree=126784100/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=61416 memory=25068 CPUtime=0.18 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 3805 0 0 0 17 1 0 0 20 0 1 0 48279188 62889984 6267 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 15354 6267 1664 2271 0 9992 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 61416 KiB
Current children cumulated memory: 25068 KiB

[startup+0.3052 s]*
/proc/loadavg: 1.25 1.42 2.31 5/266 47653
/proc/meminfo: memFree=126753920/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=110752 memory=69592 CPUtime=0.28 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 12254 0 0 0 25 3 0 0 20 0 1 0 48279188 113410048 17398 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 27688 17398 1792 2271 0 22326 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 110752 KiB
Current children cumulated memory: 69592 KiB

[startup+0.700109 s]
/proc/loadavg: 1.25 1.42 2.31 5/266 47653
/proc/meminfo: memFree=126733696/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=97892 memory=61312 CPUtime=0.67 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 13145 0 0 0 64 3 0 0 20 0 1 0 48279188 100241408 15328 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 24473 15328 1824 2271 0 19111 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 97892 KiB
Current children cumulated memory: 61312 KiB

[startup+1.50016 s]
/proc/loadavg: 1.25 1.42 2.31 5/266 47653
/proc/meminfo: memFree=126733696/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=123356 memory=84864 CPUtime=1.46 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 19019 0 0 0 140 6 0 0 20 0 1 0 48279188 126316544 21216 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 30839 21216 1856 2271 0 25477 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 123356 KiB
Current children cumulated memory: 84864 KiB

[startup+3.10546 s]
/proc/loadavg: 1.25 1.42 2.31 5/266 47653
/proc/meminfo: memFree=126718880/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=123356 memory=84864 CPUtime=3.07 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 19019 0 0 0 294 13 0 0 20 0 1 0 48279188 126316544 21216 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 30839 21216 1856 2271 0 25477 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 123356 KiB
Current children cumulated memory: 84864 KiB

[startup+6.30015 s]
/proc/loadavg: 1.56 1.48 2.33 5/266 47653
/proc/meminfo: memFree=126719528/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=123356 memory=84864 CPUtime=6.25 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 19019 0 0 0 600 25 0 0 20 0 1 0 48279188 126316544 21216 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 30839 21216 1856 2271 0 25477 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 123356 KiB
Current children cumulated memory: 84864 KiB

[startup+12.7001 s]
/proc/loadavg: 1.75 1.52 2.34 5/266 47653
/proc/meminfo: memFree=126719300/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=123356 memory=84864 CPUtime=12.63 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 19019 0 0 0 1216 47 0 0 20 0 1 0 48279188 126316544 21216 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 30839 21216 1856 2271 0 25477 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 123356 KiB
Current children cumulated memory: 84864 KiB

[startup+25.5002 s]
/proc/loadavg: 2.25 1.64 2.36 5/266 47654
/proc/meminfo: memFree=126719332/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=123356 memory=84864 CPUtime=25.4 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 19019 0 0 0 2441 99 0 0 20 0 1 0 48279188 126316544 21216 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 30839 21216 1856 2271 0 25477 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 123356 KiB
Current children cumulated memory: 84864 KiB

[startup+51.1055 s]
/proc/loadavg: 2.93 1.85 2.41 5/266 47654
/proc/meminfo: memFree=126719468/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=123356 memory=84864 CPUtime=50.93 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 19019 0 0 0 4895 198 0 0 20 0 1 0 48279188 126316544 21216 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 30839 21216 1856 2271 0 25477 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 123356 KiB
Current children cumulated memory: 84864 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 2.20 2.50 5/266 47705
/proc/meminfo: memFree=126620440/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=169216 memory=143792 CPUtime=101.97 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 27832 0 0 0 9957 240 0 0 20 0 1 0 48279188 173277184 35948 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 42304 35948 1888 2271 0 36942 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 169216 KiB
Current children cumulated memory: 143792 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.55 2.61 5/266 47707
/proc/meminfo: memFree=126534852/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=207780 memory=169040 CPUtime=161.8 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 31838 0 0 0 15936 244 0 0 20 0 1 0 48279188 212766720 42260 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 51945 42260 1888 2271 0 46583 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 207780 KiB
Current children cumulated memory: 169040 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.83 2.70 5/266 47712
/proc/meminfo: memFree=126555172/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=210400 memory=174540 CPUtime=221.65 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 32537 0 0 0 21920 245 0 0 20 0 1 0 48279188 215449600 43635 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 52600 43635 1888 2271 0 47238 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 210400 KiB
Current children cumulated memory: 174540 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.06 2.79 5/266 47714
/proc/meminfo: memFree=126541460/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=216248 memory=179148 CPUtime=281.51 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 33700 0 0 0 27903 248 0 0 20 0 1 0 48279188 221437952 44787 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 54062 44787 1888 2271 0 48700 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 216248 KiB
Current children cumulated memory: 179148 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.25 2.87 5/264 47716
/proc/meminfo: memFree=126518988/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=222664 memory=187384 CPUtime=341.37 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 35250 0 0 0 33885 252 0 0 20 0 1 0 48279188 228007936 46846 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 55666 46846 1888 2271 0 50304 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 222664 KiB
Current children cumulated memory: 187384 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.42 2.96 5/264 47718
/proc/meminfo: memFree=126531136/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=223480 memory=188408 CPUtime=401.23 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 35527 0 0 0 39868 255 0 0 20 0 1 0 48279188 228843520 47102 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 55870 47102 1888 2271 0 50508 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 223480 KiB
Current children cumulated memory: 188408 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.53 3.03 5/264 47720
/proc/meminfo: memFree=126539144/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=224840 memory=189816 CPUtime=461.09 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 35889 0 0 0 45854 255 0 0 20 0 1 0 48279188 230236160 47454 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 56210 47454 1888 2271 0 50848 0

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

Current children cumulated memory: 222596 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/264 47851
/proc/meminfo: memFree=126487744/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=252392 memory=222596 CPUtime=2854.96 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 41852 0 0 0 285161 335 0 0 20 0 1 0 48279188 258449408 55649 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 63098 55649 1888 2271 0 57736 0
Current children cumulated CPU time: 2854.96 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 222596 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/264 47853
/proc/meminfo: memFree=126487784/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=252392 memory=224660 CPUtime=2914.82 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 41862 0 0 0 291144 338 0 0 20 0 1 0 48279188 258449408 56165 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 63098 56165 1888 2271 0 57736 0
Current children cumulated CPU time: 2914.82 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 224660 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.03 5/264 47855
/proc/meminfo: memFree=126487636/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=252392 memory=224660 CPUtime=2974.67 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 41881 0 0 0 297127 340 0 0 20 0 1 0 48279188 258449408 56165 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 63098 56165 1888 2271 0 57736 0
Current children cumulated CPU time: 2974.67 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 224660 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/264 47859
/proc/meminfo: memFree=126488100/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=252392 memory=224660 CPUtime=3034.52 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 41883 0 0 0 303112 340 0 0 20 0 1 0 48279188 258449408 56165 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 63098 56165 1888 2271 0 57736 0
Current children cumulated CPU time: 3034.52 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 224660 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.08 4.03 5/264 47866
/proc/meminfo: memFree=126487800/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=252392 memory=224660 CPUtime=3094.38 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 41888 0 0 0 309095 343 0 0 20 0 1 0 48279188 258449408 56165 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 63098 56165 1888 2271 0 57736 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 224660 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/263 47868
/proc/meminfo: memFree=126488012/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=252392 memory=224660 CPUtime=3154.23 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 41888 0 0 0 315077 346 0 0 20 0 1 0 48279188 258449408 56165 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 63098 56165 1888 2271 0 57736 0
Current children cumulated CPU time: 3154.23 s
Current children cumulated vsize: 252392 KiB
Current children cumulated memory: 224660 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/264 47871
/proc/meminfo: memFree=126483788/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=254600 memory=226708 CPUtime=3214.08 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 42407 0 0 0 321060 348 0 0 20 0 1 0 48279188 260710400 56677 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 63650 56677 1888 2271 0 58288 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 254600 KiB
Current children cumulated memory: 226708 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/264 47873
/proc/meminfo: memFree=126487104/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=254600 memory=226708 CPUtime=3273.94 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 42407 0 0 0 327044 350 0 0 20 0 1 0 48279188 260710400 56677 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 63650 56677 1888 2271 0 58288 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 254600 KiB
Current children cumulated memory: 226708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 47875
/proc/meminfo: memFree=126487036/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=254804 memory=227092 CPUtime=3333.79 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 42506 0 0 0 333029 350 0 0 20 0 1 0 48279188 260919296 56773 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 63701 56773 1888 2271 0 58339 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 254804 KiB
Current children cumulated memory: 227092 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/263 47877
/proc/meminfo: memFree=126486988/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=255192 memory=227476 CPUtime=3393.64 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 42603 0 0 0 339010 354 0 0 20 0 1 0 48279188 261316608 56869 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 63798 56869 1888 2271 0 58436 0
Current children cumulated CPU time: 3393.64 s
Current children cumulated vsize: 255192 KiB
Current children cumulated memory: 227476 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/263 47879
/proc/meminfo: memFree=126487608/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=257756 memory=227860 CPUtime=3453.5 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 42694 0 0 0 344993 357 0 0 20 0 1 0 48279188 263942144 56965 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 64439 56965 1888 2271 0 59077 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 257756 KiB
Current children cumulated memory: 227860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.03 5/262 47881
/proc/meminfo: memFree=126487784/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=257756 memory=228884 CPUtime=3513.35 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 42951 0 0 0 350977 358 0 0 20 0 1 0 48279188 263942144 57221 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 64439 57221 1888 2271 0 59077 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 257756 KiB
Current children cumulated memory: 228884 KiB

[startup+3582.3 s]
/proc/loadavg: 4.45 4.17 4.07 5/262 47883
/proc/meminfo: memFree=126487644/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=257756 memory=228884 CPUtime=3573.21 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 42951 0 0 0 356961 360 0 0 20 0 1 0 48279188 263942144 57221 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 64439 57221 1888 2271 0 59077 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 257756 KiB
Current children cumulated memory: 228884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.30 4.16 4.07 5/263 47887
/proc/meminfo: memFree=126487352/131249996 swapFree=33010684/33010684
[pid=47640] ppid=47634 vsize=257756 memory=228884 CPUtime=3600.04 cores=4,6
/proc/47640/stat : 47640 (ExactPR) R 47634 47640 47583 0 -1 4194304 42951 0 0 0 359644 360 0 0 20 0 1 0 48279188 263942144 57221 18446744073709551615 94196537630720 94196546930565 140723564505408 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94196548716864 94196548755944 94196562890752 140723564509573 140723564509708 140723564509708 140723564515310 0
/proc/47640/statm: 64439 57221 1888 2271 0 59077 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 257756 KiB
Current children cumulated memory: 228884 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.45 s, system=3.60879 s

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

Child status: 10

Real time (s): 3609.21
CPU time (s): 3600.06
CPU user time (s): 3596.45
CPU system time (s): 3.60879
CPU usage (%): 99.7466
Max. virtual memory (cumulated for all children) (KiB): 257756
Max. memory (cumulated for all children) (KiB): 228884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.45
system time used= 3.60879
maximum resident set size= 229268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42966
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= 233
involuntary context switches= 1369


# summary of solver processes directly reported to runsolver:
#   pid: 47640
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3596.45
#   total CPU system time (s): 3.60879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69743 second user time and 15.041 second system time

The end