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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=40499, runsolver pid=40496
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.19 4.16 4.11 5/263 40500
/proc/meminfo: memFree=127845904/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=55160 memory=16944 CPUtime=0.09 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 2263 0 0 0 9 0 0 0 20 0 1 0 44526724 56483840 4236 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 13790 4236 1664 2271 0 8428 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55160 KiB
Current children cumulated memory: 16944 KiB

[startup+0.205513 s]*
/proc/loadavg: 4.19 4.16 4.11 5/263 40500
/proc/meminfo: memFree=127844140/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=60036 memory=25776 CPUtime=0.2 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 3538 0 0 0 19 1 0 0 20 0 1 0 44526724 61476864 6444 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 15009 6444 1664 2271 0 9647 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60036 KiB
Current children cumulated memory: 25776 KiB

[startup+0.305486 s]*
/proc/loadavg: 4.19 4.16 4.11 5/263 40500
/proc/meminfo: memFree=127769792/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=116364 memory=81860 CPUtime=0.29 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 14586 0 0 0 26 3 0 0 20 0 1 0 44526724 119156736 20465 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 29091 20465 1824 2271 0 23729 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 116364 KiB
Current children cumulated memory: 81860 KiB

[startup+0.700184 s]
/proc/loadavg: 4.19 4.16 4.11 5/263 40500
/proc/meminfo: memFree=127769792/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=157636 memory=118468 CPUtime=0.68 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 23628 0 0 0 63 5 0 0 20 0 1 0 44526724 161419264 29617 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 39409 29617 1920 2271 0 34047 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 157636 KiB
Current children cumulated memory: 118468 KiB

[startup+1.50019 s]
/proc/loadavg: 4.19 4.16 4.11 5/263 40500
/proc/meminfo: memFree=127738028/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=157636 memory=118468 CPUtime=1.48 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 23629 0 0 0 141 7 0 0 20 0 1 0 44526724 161419264 29617 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 39409 29617 1920 2271 0 34047 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 157636 KiB
Current children cumulated memory: 118468 KiB

[startup+3.1054 s]
/proc/loadavg: 4.17 4.16 4.11 5/263 40500
/proc/meminfo: memFree=127738232/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=157636 memory=118468 CPUtime=3.08 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 23630 0 0 0 299 9 0 0 20 0 1 0 44526724 161419264 29617 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 39409 29617 1920 2271 0 34047 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 157636 KiB
Current children cumulated memory: 118468 KiB

[startup+6.30018 s]
/proc/loadavg: 4.17 4.16 4.11 5/263 40500
/proc/meminfo: memFree=127738232/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=157636 memory=118468 CPUtime=6.26 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 23631 0 0 0 611 15 0 0 20 0 1 0 44526724 161419264 29617 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 39409 29617 1920 2271 0 34047 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 157636 KiB
Current children cumulated memory: 118468 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 40500
/proc/meminfo: memFree=127738232/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=157636 memory=118468 CPUtime=12.66 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 23632 0 0 0 1239 27 0 0 20 0 1 0 44526724 161419264 29617 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 39409 29617 1920 2271 0 34047 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 157636 KiB
Current children cumulated memory: 118468 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 40501
/proc/meminfo: memFree=127738392/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=157636 memory=118468 CPUtime=25.42 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 23632 0 0 0 2497 45 0 0 20 0 1 0 44526724 161419264 29617 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 39409 29617 1920 2271 0 34047 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 157636 KiB
Current children cumulated memory: 118468 KiB

[startup+51.1054 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 40501
/proc/meminfo: memFree=127730352/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=157636 memory=118468 CPUtime=50.97 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 23632 0 0 0 5009 88 0 0 20 0 1 0 44526724 161419264 29617 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 39409 29617 1920 2271 0 34047 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 157636 KiB
Current children cumulated memory: 118468 KiB

[startup+102.3 s]
/proc/loadavg: 4.46 4.23 4.14 5/263 40503
/proc/meminfo: memFree=127662136/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=259424 memory=197800 CPUtime=102.04 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 30748 0 0 0 10097 107 0 0 20 0 1 0 44526724 265650176 49450 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 64856 49450 1920 2271 0 59494 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 259424 KiB
Current children cumulated memory: 197800 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.20 4.13 5/263 40505
/proc/meminfo: memFree=127647104/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=268544 memory=212468 CPUtime=161.89 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 32919 0 0 0 16080 109 0 0 20 0 1 0 44526724 274989056 53117 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 67136 53117 1920 2271 0 61774 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 268544 KiB
Current children cumulated memory: 212468 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.20 4.13 5/262 40507
/proc/meminfo: memFree=127620928/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=277732 memory=224300 CPUtime=221.72 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 34885 0 0 0 22063 109 0 0 20 0 1 0 44526724 284397568 56075 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 69433 56075 1920 2271 0 64071 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 277732 KiB
Current children cumulated memory: 224300 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/262 40509
/proc/meminfo: memFree=127612984/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=280756 memory=227372 CPUtime=281.53 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 35628 0 0 0 28043 110 0 0 20 0 1 0 44526724 287494144 56843 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 70189 56843 1920 2271 0 64827 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 280756 KiB
Current children cumulated memory: 227372 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.15 4.12 5/262 40511
/proc/meminfo: memFree=127613232/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=281300 memory=228012 CPUtime=341.34 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 35826 0 0 0 34022 112 0 0 20 0 1 0 44526724 288051200 57003 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 70325 57003 1920 2271 0 64963 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 281300 KiB
Current children cumulated memory: 228012 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/262 40513
/proc/meminfo: memFree=127604824/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=282364 memory=229036 CPUtime=401.15 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 36090 0 0 0 40002 113 0 0 20 0 1 0 44526724 289140736 57259 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 70591 57259 1920 2271 0 65229 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 282364 KiB
Current children cumulated memory: 229036 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/263 40516
/proc/meminfo: memFree=127597100/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=283848 memory=230572 CPUtime=460.96 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 36464 0 0 0 45982 114 0 0 20 0 1 0 44526724 290660352 57643 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 70962 57643 1920 2271 0 65600 0
Current children cumulated CPU time: 460.96 s

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

Current children cumulated memory: 311848 KiB

[startup+2922.3 s]
/proc/loadavg: 1.07 1.17 1.95 2/246 40729
/proc/meminfo: memFree=129454908/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=394664 memory=314408 CPUtime=2914.47 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 48096 0 0 0 291289 158 0 0 20 0 1 0 44526724 404135936 78602 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 98666 78602 1920 2271 0 93304 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 394664 KiB
Current children cumulated memory: 314408 KiB

[startup+2982.3 s]
/proc/loadavg: 1.13 1.17 1.90 2/246 40731
/proc/meminfo: memFree=129447188/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=396428 memory=316072 CPUtime=2974.35 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 48537 0 0 0 297276 159 0 0 20 0 1 0 44526724 405942272 79018 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 99107 79018 1920 2271 0 93745 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 396428 KiB
Current children cumulated memory: 316072 KiB

[startup+3042.3 s]
/proc/loadavg: 1.05 1.14 1.84 2/245 40733
/proc/meminfo: memFree=129448164/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=397708 memory=317352 CPUtime=3034.21 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 48859 0 0 0 303262 159 0 0 20 0 1 0 44526724 407252992 79338 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 99427 79338 1920 2271 0 94065 0
Current children cumulated CPU time: 3034.21 s
Current children cumulated vsize: 397708 KiB
Current children cumulated memory: 317352 KiB

[startup+3102.3 s]
/proc/loadavg: 1.13 1.14 1.80 2/245 40735
/proc/meminfo: memFree=129448064/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=397900 memory=317608 CPUtime=3094.09 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 48907 0 0 0 309248 161 0 0 20 0 1 0 44526724 407449600 79402 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 99475 79402 1920 2271 0 94113 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 397900 KiB
Current children cumulated memory: 317608 KiB

[startup+3162.3 s]
/proc/loadavg: 1.11 1.13 1.75 2/245 40737
/proc/meminfo: memFree=129447840/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=399436 memory=319144 CPUtime=3153.97 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 49291 0 0 0 315234 163 0 0 20 0 1 0 44526724 409022464 79786 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 99859 79786 1920 2271 0 94497 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 399436 KiB
Current children cumulated memory: 319144 KiB

[startup+3222.3 s]
/proc/loadavg: 1.14 1.13 1.71 2/245 40739
/proc/meminfo: memFree=129447952/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=399884 memory=319528 CPUtime=3213.83 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 49403 0 0 0 321219 164 0 0 20 0 1 0 44526724 409481216 79882 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 99971 79882 1920 2271 0 94609 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 399884 KiB
Current children cumulated memory: 319528 KiB

[startup+3282.3 s]
/proc/loadavg: 1.16 1.14 1.67 2/245 40741
/proc/meminfo: memFree=129448048/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=401356 memory=321064 CPUtime=3273.71 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 49771 0 0 0 327206 165 0 0 20 0 1 0 44526724 410988544 80266 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 100339 80266 1920 2271 0 94977 0
Current children cumulated CPU time: 3273.71 s
Current children cumulated vsize: 401356 KiB
Current children cumulated memory: 321064 KiB

[startup+3342.3 s]
/proc/loadavg: 1.11 1.13 1.63 2/245 40743
/proc/meminfo: memFree=129441360/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=402412 memory=322088 CPUtime=3333.58 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 50037 0 0 0 333192 166 0 0 20 0 1 0 44526724 412069888 80522 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 100603 80522 1920 2271 0 95241 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 402412 KiB
Current children cumulated memory: 322088 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.12 1.60 2/245 40745
/proc/meminfo: memFree=129432556/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=404044 memory=323752 CPUtime=3393.45 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 50473 0 0 0 339178 167 0 0 20 0 1 0 44526724 413741056 80938 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 101011 80938 1920 2271 0 95649 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 404044 KiB
Current children cumulated memory: 323752 KiB

[startup+3462.3 s]
/proc/loadavg: 1.13 1.12 1.57 3/246 40747
/proc/meminfo: memFree=129432984/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=405292 memory=325032 CPUtime=3453.33 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 50801 0 0 0 345165 168 0 0 20 0 1 0 44526724 415019008 81258 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 101323 81258 1920 2271 0 95961 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 405292 KiB
Current children cumulated memory: 325032 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.11 1.54 2/245 40748
/proc/meminfo: memFree=129433284/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=405292 memory=325032 CPUtime=3513.2 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 50801 0 0 0 351151 169 0 0 20 0 1 0 44526724 415019008 81258 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 101323 81258 1920 2271 0 95961 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 405292 KiB
Current children cumulated memory: 325032 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 1.12 1.51 2/245 40757
/proc/meminfo: memFree=129433632/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=406508 memory=326184 CPUtime=3573.07 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 51107 0 0 0 357137 170 0 0 20 0 1 0 44526724 416264192 81546 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 101627 81546 1920 2271 0 96265 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 406508 KiB
Current children cumulated memory: 326184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 1.08 1.11 1.49 2/245 40769
/proc/meminfo: memFree=129433204/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=406508 memory=326184 CPUtime=3600.01 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 51107 0 0 0 359831 170 0 0 20 0 1 0 44526724 416264192 81546 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 101627 81546 1920 2271 0 96265 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 406508 KiB
Current children cumulated memory: 326184 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.32 s, system=1.71184 s

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

[startup+3609.3 s]
/proc/loadavg: 1.08 1.11 1.49 2/245 40769
/proc/meminfo: memFree=129433204/131250000 swapFree=33010684/33010684
[pid=40499] ppid=40496 vsize=406508 memory=326184 CPUtime=3600.01 cores=5,7
/proc/40499/stat : 40499 (ExactPR) R 40496 40499 39106 0 -1 4194304 51107 0 0 0 359831 170 0 0 20 0 1 0 44526724 416264192 81546 18446744073709551615 94262104154112 94262113453957 140725782785872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94262115240256 94262115279336 94262127316992 140725782788485 140725782788620 140725782788620 140725782794222 0
/proc/40499/statm: 101627 81546 1920 2271 0 96265 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 406508 KiB
Current children cumulated memory: 326184 KiB

Child status: 10

Real time (s): 3609.31
CPU time (s): 3600.04
CPU user time (s): 3598.32
CPU system time (s): 1.71184
CPU usage (%): 99.743
Max. virtual memory (cumulated for all children) (KiB): 456496
Max. memory (cumulated for all children) (KiB): 326184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.32
system time used= 1.71184
maximum resident set size= 356588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51123
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= 148
involuntary context switches= 1600


# summary of solver processes directly reported to runsolver:
#   pid: 40499
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.32
#   total CPU system time (s): 1.71184

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69893 second user time and 14.6496 second system time

The end