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

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


[startup+0.100044 s]*
/proc/loadavg: 0.48 1.46 2.33 4/263 94829
/proc/meminfo: memFree=128962620/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=59400 memory=18720 CPUtime=0.05 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 3684 0 0 0 4 1 0 0 20 0 1 0 74070458 60825600 4680 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 14850 4680 1824 2271 0 9488 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 59400 KiB
Current children cumulated memory: 18720 KiB

[startup+0.205648 s]*
/proc/loadavg: 0.48 1.46 2.33 5/265 94834
/proc/meminfo: memFree=128789816/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=62936 memory=22176 CPUtime=0.15 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 4487 0 0 0 13 2 0 0 20 0 1 0 74070458 64446464 5544 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 15734 5544 1888 2271 0 10372 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 62936 KiB
Current children cumulated memory: 22176 KiB

[startup+0.305731 s]*
/proc/loadavg: 0.48 1.46 2.33 5/265 94834
/proc/meminfo: memFree=128577000/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=62936 memory=22176 CPUtime=0.26 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 4487 0 0 0 23 3 0 0 20 0 1 0 74070458 64446464 5544 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 15734 5544 1888 2271 0 10372 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 62936 KiB
Current children cumulated memory: 22176 KiB

[startup+0.700183 s]
/proc/loadavg: 0.48 1.46 2.33 5/265 94834
/proc/meminfo: memFree=128004452/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=62936 memory=22176 CPUtime=0.64 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 4487 0 0 0 57 7 0 0 20 0 1 0 74070458 64446464 5544 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 15734 5544 1888 2271 0 10372 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 62936 KiB
Current children cumulated memory: 22176 KiB

[startup+1.50017 s]
/proc/loadavg: 0.48 1.46 2.33 5/265 94834
/proc/meminfo: memFree=126886244/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=62936 memory=22176 CPUtime=1.44 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 4487 0 0 0 127 17 0 0 20 0 1 0 74070458 64446464 5544 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 15734 5544 1888 2271 0 10372 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 62936 KiB
Current children cumulated memory: 22176 KiB

[startup+3.10542 s]
/proc/loadavg: 0.48 1.46 2.33 5/265 94834
/proc/meminfo: memFree=124593928/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=62936 memory=22176 CPUtime=3.05 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 4487 0 0 0 267 38 0 0 20 0 1 0 74070458 64446464 5544 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 15734 5544 1888 2271 0 10372 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 62936 KiB
Current children cumulated memory: 22176 KiB

[startup+6.30015 s]
/proc/loadavg: 0.76 1.50 2.34 5/265 94834
/proc/meminfo: memFree=123477288/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=62936 memory=22176 CPUtime=6.23 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 4487 0 0 0 550 73 0 0 20 0 1 0 74070458 64446464 5544 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 15734 5544 1888 2271 0 10372 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 62936 KiB
Current children cumulated memory: 22176 KiB

[startup+12.7002 s]
/proc/loadavg: 1.02 1.54 2.35 5/265 94834
/proc/meminfo: memFree=121736108/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=62936 memory=22176 CPUtime=12.63 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 4487 0 0 0 1116 147 0 0 20 0 1 0 74070458 64446464 5544 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 15734 5544 1888 2271 0 10372 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 62936 KiB
Current children cumulated memory: 22176 KiB

[startup+25.5002 s]
/proc/loadavg: 1.68 1.67 2.38 5/265 94834
/proc/meminfo: memFree=117722404/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=62936 memory=22176 CPUtime=25.4 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 4487 0 0 0 2241 299 0 0 20 0 1 0 74070458 64446464 5544 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 15734 5544 1888 2271 0 10372 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 62936 KiB
Current children cumulated memory: 22176 KiB

[startup+51.1054 s]
/proc/loadavg: 2.54 1.87 2.43 5/265 94835
/proc/meminfo: memFree=109689740/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=62936 memory=22176 CPUtime=50.95 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 4487 0 0 0 4471 624 0 0 20 0 1 0 74070458 64446464 5544 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 15734 5544 1888 2271 0 10372 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 62936 KiB
Current children cumulated memory: 22176 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 2.22 2.52 5/265 94927
/proc/meminfo: memFree=120886496/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=249908 memory=207856 CPUtime=101.99 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 30740 0 0 0 9452 747 0 0 20 0 1 0 74070458 255905792 51964 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 62477 51964 1888 2271 0 57115 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 249908 KiB
Current children cumulated memory: 207856 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 2.56 2.62 5/265 94975
/proc/meminfo: memFree=121267308/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=309428 memory=277104 CPUtime=161.82 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 43923 0 0 0 15414 768 0 0 20 0 1 0 74070458 316854272 69276 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 77357 69276 1888 2271 0 71995 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 309428 KiB
Current children cumulated memory: 277104 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.84 2.71 5/267 94980
/proc/meminfo: memFree=121639380/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=323760 memory=295536 CPUtime=221.68 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 47204 0 0 0 21383 785 0 0 20 0 1 0 74070458 331530240 73884 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 80940 73884 1888 2271 0 75578 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 323760 KiB
Current children cumulated memory: 295536 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 3.07 2.80 5/267 94982
/proc/meminfo: memFree=121683488/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=333484 memory=304496 CPUtime=281.52 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 49448 0 0 0 27351 801 0 0 20 0 1 0 74070458 341487616 76124 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 83371 76124 1888 2271 0 78009 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 333484 KiB
Current children cumulated memory: 304496 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.27 2.89 5/266 94984
/proc/meminfo: memFree=121628956/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=347892 memory=317808 CPUtime=341.36 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 52810 0 0 0 33320 816 0 0 20 0 1 0 74070458 356241408 79452 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 86973 79452 1888 2271 0 81611 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 347892 KiB
Current children cumulated memory: 317808 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.42 2.97 5/266 94986
/proc/meminfo: memFree=121601136/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=355028 memory=324592 CPUtime=401.21 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 54520 0 0 0 39286 835 0 0 20 0 1 0 74070458 363548672 81148 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 88757 81148 1888 2271 0 83395 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 355028 KiB
Current children cumulated memory: 324592 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 3.53 3.04 5/265 94988
/proc/meminfo: memFree=121578460/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=363368 memory=332528 CPUtime=461.06 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 56523 0 0 0 45255 851 0 0 20 0 1 0 74070458 372088832 83132 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 90842 83132 1888 2271 0 85480 0
Current children cumulated CPU time: 461.06 s

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

Current children cumulated memory: 498056 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.13 4.05 5/264 95191
/proc/meminfo: memFree=126266448/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=556476 memory=499080 CPUtime=2854.88 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 85901 0 0 0 284049 1439 0 0 20 0 1 0 74070458 569831424 124770 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 139119 124770 1888 2271 0 133757 0
Current children cumulated CPU time: 2854.88 s
Current children cumulated vsize: 556476 KiB
Current children cumulated memory: 499080 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.14 4.06 5/265 95194
/proc/meminfo: memFree=126247648/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=560592 memory=504892 CPUtime=2914.73 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 86879 0 0 0 290018 1455 0 0 20 0 1 0 74070458 574046208 126223 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 140148 126223 1888 2271 0 134786 0
Current children cumulated CPU time: 2914.73 s
Current children cumulated vsize: 560592 KiB
Current children cumulated memory: 504892 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/265 95199
/proc/meminfo: memFree=126263548/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=560912 memory=505276 CPUtime=2974.56 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 86966 0 0 0 295987 1469 0 0 20 0 1 0 74070458 574373888 126319 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 140228 126319 1888 2271 0 134866 0
Current children cumulated CPU time: 2974.56 s
Current children cumulated vsize: 560912 KiB
Current children cumulated memory: 505276 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/265 95201
/proc/meminfo: memFree=126247312/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=561424 memory=505788 CPUtime=3034.37 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 87094 0 0 0 301956 1481 0 0 20 0 1 0 74070458 574898176 126447 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 140356 126447 1888 2271 0 134994 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 561424 KiB
Current children cumulated memory: 505788 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/265 95207
/proc/meminfo: memFree=126213248/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=561424 memory=505916 CPUtime=3094.17 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 87110 0 0 0 307925 1492 0 0 20 0 1 0 74070458 574898176 126479 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 140356 126479 1888 2271 0 134994 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 561424 KiB
Current children cumulated memory: 505916 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/265 95209
/proc/meminfo: memFree=126204684/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=562128 memory=506428 CPUtime=3153.98 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 87264 0 0 0 313888 1510 0 0 20 0 1 0 74070458 575619072 126607 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 140532 126607 1888 2271 0 135170 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 562128 KiB
Current children cumulated memory: 506428 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/264 95211
/proc/meminfo: memFree=126231940/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=562512 memory=506940 CPUtime=3213.78 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 87366 0 0 0 319851 1527 0 0 20 0 1 0 74070458 576012288 126735 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 140628 126735 1888 2271 0 135266 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 562512 KiB
Current children cumulated memory: 506940 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.06 5/264 95214
/proc/meminfo: memFree=126223256/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=562512 memory=506940 CPUtime=3273.58 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 87382 0 0 0 325815 1543 0 0 20 0 1 0 74070458 576012288 126735 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 140628 126735 1888 2271 0 135266 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 562512 KiB
Current children cumulated memory: 506940 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.07 5/264 95215
/proc/meminfo: memFree=126225340/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=562512 memory=506940 CPUtime=3333.39 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 87506 0 0 0 331777 1562 0 0 20 0 1 0 74070458 576012288 126735 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 140628 126735 1888 2271 0 135266 0
Current children cumulated CPU time: 3333.39 s
Current children cumulated vsize: 562512 KiB
Current children cumulated memory: 506940 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/264 95232
/proc/meminfo: memFree=126220248/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=562960 memory=507324 CPUtime=3393.18 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 87713 0 0 0 337743 1575 0 0 20 0 1 0 74070458 576471040 126831 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 140740 126831 1888 2271 0 135378 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 562960 KiB
Current children cumulated memory: 507324 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/264 95234
/proc/meminfo: memFree=126211116/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=574292 memory=515260 CPUtime=3452.99 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 89681 0 0 0 343708 1591 0 0 20 0 1 0 74070458 588075008 128815 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 143573 128815 1888 2271 0 138211 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 574292 KiB
Current children cumulated memory: 515260 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/264 95236
/proc/meminfo: memFree=126192372/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=574676 memory=515644 CPUtime=3512.79 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 89801 0 0 0 349675 1604 0 0 20 0 1 0 74070458 588468224 128911 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 143669 128911 1888 2271 0 138307 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 574676 KiB
Current children cumulated memory: 515644 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/265 95242
/proc/meminfo: memFree=126182832/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=582420 memory=521532 CPUtime=3572.6 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 91275 0 0 0 355641 1619 0 0 20 0 1 0 74070458 596398080 130383 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 145605 130383 1888 2271 0 140243 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 582420 KiB
Current children cumulated memory: 521532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.07 4.09 4.07 5/265 95244
/proc/meminfo: memFree=126182136/131249992 swapFree=33010160/33010684
[pid=94816] ppid=94811 vsize=582420 memory=521660 CPUtime=3600 cores=1,3
/proc/94816/stat : 94816 (ExactPR) R 94811 94816 94760 0 -1 4194304 91303 0 0 0 358375 1625 0 0 20 0 1 0 74070458 596398080 130415 18446744073709551615 94651084611584 94651093911429 140723676646688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94651095697728 94651095736808 94651132882944 140723676649861 140723676649996 140723676649996 140723676655598 0
/proc/94816/statm: 145605 130415 1888 2271 0 140243 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 582420 KiB
Current children cumulated memory: 521660 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.76 s, system=16.2624 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.02
CPU user time (s): 3583.76
CPU system time (s): 16.2624
CPU usage (%): 99.7289
Max. virtual memory (cumulated for all children) (KiB): 582420
Max. memory (cumulated for all children) (KiB): 521660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.76
system time used= 16.2624
maximum resident set size= 522300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91319
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= 253
involuntary context switches= 5696


# summary of solver processes directly reported to runsolver:
#   pid: 94816
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3583.76
#   total CPU system time (s): 16.2624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72759 second user time and 15.7972 second system time

The end