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

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


[startup+0.10006 s]*
/proc/loadavg: 0.97 2.46 3.45 5/268 41680
/proc/meminfo: memFree=130196704/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=54504 memory=16132 CPUtime=0.08 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 2096 0 0 0 8 0 0 0 20 0 1 0 45789219 55812096 4033 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 13626 4033 1664 2271 0 8264 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54504 KiB
Current children cumulated memory: 16132 KiB

[startup+0.205476 s]*
/proc/loadavg: 0.97 2.46 3.45 5/268 41680
/proc/meminfo: memFree=130128012/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=59512 memory=23048 CPUtime=0.18 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 3400 0 0 0 18 0 0 0 20 0 1 0 45789219 60940288 5762 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 14878 5762 1664 2271 0 9516 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 59512 KiB
Current children cumulated memory: 23048 KiB

[startup+0.305805 s]*
/proc/loadavg: 0.97 2.46 3.45 5/268 41680
/proc/meminfo: memFree=129956196/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=109952 memory=69976 CPUtime=0.29 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 12171 0 0 0 27 2 0 0 20 0 1 0 45789219 112590848 17494 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 27488 17494 1824 2271 0 22126 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 109952 KiB
Current children cumulated memory: 69976 KiB

[startup+0.700183 s]
/proc/loadavg: 0.97 2.46 3.45 5/268 41680
/proc/meminfo: memFree=129956196/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=144408 memory=100696 CPUtime=0.67 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 19763 0 0 0 64 3 0 0 20 0 1 0 45789219 147873792 25174 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 36102 25174 1920 2271 0 30740 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 144408 KiB
Current children cumulated memory: 100696 KiB

[startup+1.50016 s]
/proc/loadavg: 0.97 2.46 3.45 5/268 41680
/proc/meminfo: memFree=129844308/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=144408 memory=100696 CPUtime=1.47 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 19764 0 0 0 142 5 0 0 20 0 1 0 45789219 147873792 25174 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 36102 25174 1920 2271 0 30740 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 144408 KiB
Current children cumulated memory: 100696 KiB

[startup+3.10544 s]
/proc/loadavg: 0.97 2.46 3.45 5/268 41680
/proc/meminfo: memFree=129845488/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=144408 memory=100696 CPUtime=3.07 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 19765 0 0 0 299 8 0 0 20 0 1 0 45789219 147873792 25174 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 36102 25174 1920 2271 0 30740 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 144408 KiB
Current children cumulated memory: 100696 KiB

[startup+6.30016 s]
/proc/loadavg: 1.21 2.49 3.46 5/268 41680
/proc/meminfo: memFree=129845728/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=144408 memory=100696 CPUtime=6.26 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 19766 0 0 0 614 12 0 0 20 0 1 0 45789219 147873792 25174 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 36102 25174 1920 2271 0 30740 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 144408 KiB
Current children cumulated memory: 100696 KiB

[startup+12.7002 s]
/proc/loadavg: 1.51 2.53 3.47 5/268 41680
/proc/meminfo: memFree=129845816/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=144408 memory=100696 CPUtime=12.64 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 19767 0 0 0 1242 22 0 0 20 0 1 0 45789219 147873792 25174 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 36102 25174 1920 2271 0 30740 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 144408 KiB
Current children cumulated memory: 100696 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 2.60 3.47 5/268 41680
/proc/meminfo: memFree=129845944/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=144408 memory=100696 CPUtime=25.41 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 19767 0 0 0 2498 43 0 0 20 0 1 0 45789219 147873792 25174 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 36102 25174 1920 2271 0 30740 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 144408 KiB
Current children cumulated memory: 100696 KiB

[startup+51.1054 s]
/proc/loadavg: 2.78 2.73 3.50 5/268 41681
/proc/meminfo: memFree=129845936/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=144408 memory=100696 CPUtime=50.95 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 19767 0 0 0 5012 83 0 0 20 0 1 0 45789219 147873792 25174 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 36102 25174 1920 2271 0 30740 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 144408 KiB
Current children cumulated memory: 100696 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.94 3.53 5/268 41682
/proc/meminfo: memFree=129551504/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=246356 memory=176372 CPUtime=102.02 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 27496 0 0 0 10099 103 0 0 20 0 1 0 45789219 252268544 44093 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 61589 44093 1920 2271 0 56227 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 246356 KiB
Current children cumulated memory: 176372 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 3.17 3.57 5/268 41684
/proc/meminfo: memFree=129468780/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=252092 memory=187644 CPUtime=161.86 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 28800 0 0 0 16081 105 0 0 20 0 1 0 45789219 258142208 46911 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 63023 46911 1920 2271 0 57661 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 252092 KiB
Current children cumulated memory: 187644 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.34 3.61 5/265 41689
/proc/meminfo: memFree=129456440/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=260832 memory=195836 CPUtime=221.7 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 30870 0 0 0 22064 106 0 0 20 0 1 0 45789219 267091968 48959 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 65208 48959 1920 2271 0 59846 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 260832 KiB
Current children cumulated memory: 195836 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.48 3.64 5/264 41696
/proc/meminfo: memFree=129387220/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=264036 memory=198908 CPUtime=281.5 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 31666 0 0 0 28043 107 0 0 20 0 1 0 45789219 270372864 49727 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 66009 49727 1920 2271 0 60647 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 264036 KiB
Current children cumulated memory: 198908 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 3.59 3.67 5/264 41698
/proc/meminfo: memFree=129380428/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=265624 memory=200572 CPUtime=341.29 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 32104 0 0 0 34021 108 0 0 20 0 1 0 45789219 271998976 50143 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 66406 50143 1920 2271 0 61044 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 265624 KiB
Current children cumulated memory: 200572 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.68 3.70 5/264 41700
/proc/meminfo: memFree=129353540/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=266496 memory=204540 CPUtime=401.1 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 32351 0 0 0 40001 109 0 0 20 0 1 0 45789219 272891904 51135 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 66624 51135 1920 2271 0 61262 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 266496 KiB
Current children cumulated memory: 204540 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.77 3.73 5/264 41702
/proc/meminfo: memFree=129363856/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=268552 memory=212220 CPUtime=460.94 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 32961 0 0 0 45984 110 0 0 20 0 1 0 45789219 274997248 53055 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 67138 53055 1920 2271 0 61776 0

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

Current children cumulated memory: 354108 KiB

[startup+2862.3 s]
/proc/loadavg: 4.57 4.33 4.14 5/265 41834
/proc/meminfo: memFree=128994116/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=424356 memory=354108 CPUtime=2854.54 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 54645 0 0 0 285275 179 0 0 20 0 1 0 45789219 434540544 88527 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 106089 88527 1920 2271 0 100727 0
Current children cumulated CPU time: 2854.54 s
Current children cumulated vsize: 424356 KiB
Current children cumulated memory: 354108 KiB

[startup+2922.3 s]
/proc/loadavg: 4.32 4.30 4.14 5/265 41836
/proc/meminfo: memFree=128981764/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=424900 memory=354620 CPUtime=2914.35 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 54783 0 0 0 291255 180 0 0 20 0 1 0 45789219 435097600 88655 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 106225 88655 1920 2271 0 100863 0
Current children cumulated CPU time: 2914.35 s
Current children cumulated vsize: 424900 KiB
Current children cumulated memory: 354620 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.26 4.13 5/264 41838
/proc/meminfo: memFree=128973788/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=426752 memory=356412 CPUtime=2974.15 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 55246 0 0 0 297233 182 0 0 20 0 1 0 45789219 436994048 89103 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 106688 89103 1920 2271 0 101326 0
Current children cumulated CPU time: 2974.15 s
Current children cumulated vsize: 426752 KiB
Current children cumulated memory: 356412 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.24 4.13 5/264 41840
/proc/meminfo: memFree=128966932/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=429624 memory=359228 CPUtime=3033.96 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 55929 0 0 0 303212 184 0 0 20 0 1 0 45789219 439934976 89807 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 107406 89807 1920 2271 0 102044 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 429624 KiB
Current children cumulated memory: 359228 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.21 4.12 5/264 41842
/proc/meminfo: memFree=128961712/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=430108 memory=359740 CPUtime=3093.79 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 56049 0 0 0 309194 185 0 0 20 0 1 0 45789219 440430592 89935 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 107527 89935 1920 2271 0 102165 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 430108 KiB
Current children cumulated memory: 359740 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.18 4.12 5/264 41844
/proc/meminfo: memFree=128957016/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=431900 memory=361788 CPUtime=3153.64 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 56538 0 0 0 315177 187 0 0 20 0 1 0 45789219 442265600 90447 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 107975 90447 1920 2271 0 102613 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 431900 KiB
Current children cumulated memory: 361788 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/265 41849
/proc/meminfo: memFree=128963208/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=431900 memory=361788 CPUtime=3213.49 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 56538 0 0 0 321160 189 0 0 20 0 1 0 45789219 442265600 90447 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 107975 90447 1920 2271 0 102613 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 431900 KiB
Current children cumulated memory: 361788 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/265 41856
/proc/meminfo: memFree=128962572/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=432136 memory=361788 CPUtime=3273.34 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 56588 0 0 0 327143 191 0 0 20 0 1 0 45789219 442507264 90447 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 108034 90447 1920 2271 0 102672 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 432136 KiB
Current children cumulated memory: 361788 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/265 41858
/proc/meminfo: memFree=128950464/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=433000 memory=361916 CPUtime=3333.19 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 56609 0 0 0 333126 193 0 0 20 0 1 0 45789219 443392000 90479 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 108250 90479 1920 2271 0 102888 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 433000 KiB
Current children cumulated memory: 361916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/264 41860
/proc/meminfo: memFree=128927736/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=437652 memory=373576 CPUtime=3393.05 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 58133 0 0 0 339109 196 0 0 20 0 1 0 45789219 448155648 93394 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 109413 93394 1920 2271 0 104051 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 437652 KiB
Current children cumulated memory: 373576 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 41862
/proc/meminfo: memFree=128919620/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=442844 memory=378568 CPUtime=3452.9 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 59405 0 0 0 345092 198 0 0 20 0 1 0 45789219 453472256 94642 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 110711 94642 1920 2271 0 105349 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 442844 KiB
Current children cumulated memory: 378568 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 41864
/proc/meminfo: memFree=128912108/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=442844 memory=378696 CPUtime=3512.74 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 59439 0 0 0 351075 199 0 0 20 0 1 0 45789219 453472256 94674 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 110711 94674 1920 2271 0 105349 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 442844 KiB
Current children cumulated memory: 378696 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 41867
/proc/meminfo: memFree=128911792/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=448936 memory=383944 CPUtime=3572.59 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 60735 0 0 0 357058 201 0 0 20 0 1 0 45789219 459710464 95986 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 112234 95986 1920 2271 0 106872 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 448936 KiB
Current children cumulated memory: 383944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 41869
/proc/meminfo: memFree=128911492/131249996 swapFree=33005272/33010684
[pid=41675] ppid=41663 vsize=448936 memory=383944 CPUtime=3600.02 cores=1,3
/proc/41675/stat : 41675 (ExactPR) R 41663 41675 41611 0 -1 4194304 60735 0 0 0 359800 202 0 0 20 0 1 0 45789219 459710464 95986 18446744073709551615 94140277256192 94140286556037 140732996818400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94140288342336 94140288381416 94140309626880 140732996827525 140732996827660 140732996827660 140732996833262 0
/proc/41675/statm: 112234 95986 1920 2271 0 106872 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 448936 KiB
Current children cumulated memory: 383944 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.01 s, system=2.03083 s

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

Child status: 10

Real time (s): 3609.81
CPU time (s): 3600.04
CPU user time (s): 3598.01
CPU system time (s): 2.03083
CPU usage (%): 99.7294
Max. virtual memory (cumulated for all children) (KiB): 466328
Max. memory (cumulated for all children) (KiB): 383944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.01
system time used= 2.03083
maximum resident set size= 384328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60749
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= 207
involuntary context switches= 4554


# summary of solver processes directly reported to runsolver:
#   pid: 41675
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.01
#   total CPU system time (s): 2.03083

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59299 second user time and 15.4294 second system time

The end