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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=37391, runsolver pid=37388
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.10 4.14 4.11 5/265 37392
/proc/meminfo: memFree=108281696/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=74800 memory=37976 CPUtime=0.09 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 6767 0 0 0 8 1 0 0 20 0 1 0 44322717 76595200 9494 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 18700 9494 3264 2271 0 13338 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74800 KiB
Current children cumulated memory: 37976 KiB

[startup+0.205452 s]*
/proc/loadavg: 4.10 4.14 4.11 5/265 37392
/proc/meminfo: memFree=108233312/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=86076 memory=45912 CPUtime=0.2 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 8698 0 0 0 19 1 0 0 20 0 1 0 44322717 88141824 11478 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 21519 11478 3328 2271 0 16157 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86076 KiB
Current children cumulated memory: 45912 KiB

[startup+0.305366 s]*
/proc/loadavg: 4.10 4.14 4.11 5/265 37392
/proc/meminfo: memFree=108176864/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=86076 memory=45912 CPUtime=0.29 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 8699 0 0 0 28 1 0 0 20 0 1 0 44322717 88141824 11478 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 21519 11478 3328 2271 0 16157 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 86076 KiB
Current children cumulated memory: 45912 KiB

[startup+0.700102 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 37392
/proc/meminfo: memFree=108080096/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=90932 memory=50008 CPUtime=0.68 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 9752 0 0 0 67 1 0 0 20 0 1 0 44322717 93114368 12502 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 22733 12502 3328 2271 0 17371 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90932 KiB
Current children cumulated memory: 50008 KiB

[startup+1.50012 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 37392
/proc/meminfo: memFree=107845984/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=93324 memory=51800 CPUtime=1.48 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 10197 0 0 0 147 1 0 0 20 0 1 0 44322717 95563776 12950 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 23331 12950 3328 2271 0 17969 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 93324 KiB
Current children cumulated memory: 51800 KiB

[startup+3.10433 s]
/proc/loadavg: 4.09 4.14 4.11 5/265 37392
/proc/meminfo: memFree=106869508/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=120400 memory=77784 CPUtime=3.07 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 16704 0 0 0 306 1 0 0 20 0 1 0 44322717 123289600 19446 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 30100 19446 3328 2271 0 24738 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 120400 KiB
Current children cumulated memory: 77784 KiB

[startup+6.30011 s]
/proc/loadavg: 4.09 4.14 4.11 5/265 37392
/proc/meminfo: memFree=105378964/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=160256 memory=116568 CPUtime=6.26 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 26400 0 0 0 623 3 0 0 20 0 1 0 44322717 164102144 29142 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 40064 29142 3328 2271 0 34702 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 160256 KiB
Current children cumulated memory: 116568 KiB

[startup+12.7001 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 37392
/proc/meminfo: memFree=102431452/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=195424 memory=149040 CPUtime=12.65 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 35306 0 0 0 1260 5 0 0 20 0 1 0 44322717 200114176 37260 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 48856 37260 3328 2271 0 43494 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 195424 KiB
Current children cumulated memory: 149040 KiB

[startup+25.5001 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 37392
/proc/meminfo: memFree=96040796/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=198488 memory=152112 CPUtime=25.41 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 36061 0 0 0 2536 5 0 0 20 0 1 0 44322717 203251712 38028 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 49622 38028 3328 2271 0 44260 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 198488 KiB
Current children cumulated memory: 152112 KiB

[startup+51.1044 s]
/proc/loadavg: 4.17 4.15 4.11 5/267 37440
/proc/meminfo: memFree=122102640/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=255844 memory=204208 CPUtime=50.95 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 49099 0 0 0 5087 8 0 0 20 0 1 0 44322717 261984256 51052 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 63961 51052 3328 2271 0 58599 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 255844 KiB
Current children cumulated memory: 204208 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/267 37442
/proc/meminfo: memFree=122957148/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=255036 memory=204456 CPUtime=102.01 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 51847 0 0 0 10192 9 0 0 20 0 1 0 44322717 261156864 51114 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 63759 51114 3328 2271 0 58397 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 255036 KiB
Current children cumulated memory: 204456 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/267 37444
/proc/meminfo: memFree=123729812/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=293468 memory=242624 CPUtime=161.85 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 65744 0 0 0 16174 11 0 0 20 0 1 0 44322717 300511232 60656 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 73367 60656 3328 2271 0 68005 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 293468 KiB
Current children cumulated memory: 242624 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 37447
/proc/meminfo: memFree=124297700/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=319652 memory=268536 CPUtime=221.7 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 72807 0 0 0 22157 13 0 0 20 0 1 0 44322717 327323648 67134 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 79913 67134 3328 2271 0 74551 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 319652 KiB
Current children cumulated memory: 268536 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 37449
/proc/meminfo: memFree=124178884/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=333432 memory=282360 CPUtime=281.54 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 76311 0 0 0 28141 13 0 0 20 0 1 0 44322717 341434368 70590 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 83358 70590 3328 2271 0 77996 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 333432 KiB
Current children cumulated memory: 282360 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 37452
/proc/meminfo: memFree=123851904/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=337912 memory=285384 CPUtime=341.38 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 77297 0 0 0 34125 13 0 0 20 0 1 0 44322717 346021888 71346 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84478 71346 3328 2271 0 79116 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 337912 KiB
Current children cumulated memory: 285384 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/263 37454
/proc/meminfo: memFree=123774868/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=389436 memory=333708 CPUtime=401.23 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 89662 0 0 0 40108 15 0 0 20 0 1 0 44322717 398782464 83427 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 97359 83427 3328 2271 0 91997 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 389436 KiB
Current children cumulated memory: 333708 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/263 37456
/proc/meminfo: memFree=123634500/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=392604 memory=337548 CPUtime=461.08 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 90610 0 0 0 46092 16 0 0 20 0 1 0 44322717 402026496 84387 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 98151 84387 3328 2271 0 92789 0
Current children cumulated CPU time: 461.08 s

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

Current children cumulated memory: 318188 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 37583
/proc/meminfo: memFree=122014132/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=2914.8 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98611 0 0 0 289756 1724 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 2914.8 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 37585
/proc/meminfo: memFree=121997836/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=2974.64 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98611 0 0 0 295715 1749 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 2974.64 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 37587
/proc/meminfo: memFree=121989076/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=3034.49 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98611 0 0 0 301676 1773 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 3034.49 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 37589
/proc/meminfo: memFree=121988980/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=3094.35 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98615 0 0 0 307641 1794 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 37591
/proc/meminfo: memFree=121988236/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=3154.19 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98615 0 0 0 313605 1814 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 37593
/proc/meminfo: memFree=122013148/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=3214.04 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98615 0 0 0 319569 1835 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 37594
/proc/meminfo: memFree=121985832/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=3273.88 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98615 0 0 0 325531 1857 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 3273.88 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 37596
/proc/meminfo: memFree=121997864/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=3333.72 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98615 0 0 0 331492 1880 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 3333.72 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/261 37597
/proc/meminfo: memFree=121971664/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=3393.57 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98635 0 0 0 337454 1903 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

[startup+3462.3 s]
/proc/loadavg: 4.39 4.18 4.11 5/261 37599
/proc/meminfo: memFree=121961956/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=3453.42 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98636 0 0 0 343417 1925 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.20 4.12 5/262 37602
/proc/meminfo: memFree=121988620/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=3513.27 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98636 0 0 0 349380 1947 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

[startup+3582.3 s]
/proc/loadavg: 3.44 3.99 4.06 3/251 37673
/proc/meminfo: memFree=128566108/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=3573.11 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98636 0 0 0 355344 1967 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 2.87 3.80 3.99 3/251 37674
/proc/meminfo: memFree=128566132/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=3600.05 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98636 0 0 0 358031 1974 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.32 s, system=19.7506 s

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

[startup+3609.3 s]
/proc/loadavg: 2.87 3.80 3.99 3/251 37674
/proc/meminfo: memFree=128566132/131250000 swapFree=33010684/33010684
[pid=37391] ppid=37388 vsize=336248 memory=318188 CPUtime=3600.05 cores=0,2
/proc/37391/stat : 37391 (ExactPR-S) R 37388 37391 35027 0 -1 4194304 98636 0 0 0 358031 1974 0 0 20 0 1 0 44322717 344317952 79547 18446744073709551615 94087561404416 94087570704453 140722953531696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94087572490560 94087572529640 94087590780928 140722953533825 140722953533962 140722953533962 140722953539564 0
/proc/37391/statm: 84062 79547 3360 2271 0 78700 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 336248 KiB
Current children cumulated memory: 318188 KiB

Child status: 10

Real time (s): 3609.31
CPU time (s): 3600.07
CPU user time (s): 3580.32
CPU system time (s): 19.7506
CPU usage (%): 99.744
Max. virtual memory (cumulated for all children) (KiB): 414200
Max. memory (cumulated for all children) (KiB): 355116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.32
system time used= 19.7506
maximum resident set size= 355116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98654
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= 155
involuntary context switches= 7895


# summary of solver processes directly reported to runsolver:
#   pid: 37391
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3580.32
#   total CPU system time (s): 19.7506

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.3647 second user time and 14.501 second system time

The end