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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482663-1751469634/watcher-4482663-1751469634 -o /tmp/evaluation-result-4482663-1751469634/solver-4482663-1751469634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751464556-70956 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1961692312 --ls=360 HOME/instance-4482663-1751469634.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=72140, runsolver pid=72134

[startup+0.100059 s]*
/proc/loadavg: 4.10 4.16 4.14 5/264 72147
/proc/meminfo: memFree=121132488/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=9760 CPUtime=0.09 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1623 0 0 0 9 0 0 0 20 0 1 0 62641281 34136064 2440 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+0.20537 s]*
/proc/loadavg: 4.10 4.16 4.14 5/264 72147
/proc/meminfo: memFree=121117368/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=9760 CPUtime=0.2 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1623 0 0 0 20 0 0 0 20 0 1 0 62641281 34136064 2440 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+0.305111 s]*
/proc/loadavg: 4.10 4.16 4.14 5/264 72147
/proc/meminfo: memFree=121109304/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=9760 CPUtime=0.3 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1623 0 0 0 30 0 0 0 20 0 1 0 62641281 34136064 2440 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+0.700127 s]
/proc/loadavg: 4.10 4.16 4.14 5/264 72147
/proc/meminfo: memFree=121089648/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=9760 CPUtime=0.69 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1623 0 0 0 69 0 0 0 20 0 1 0 62641281 34136064 2440 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+1.50016 s]
/proc/loadavg: 4.10 4.16 4.14 5/264 72147
/proc/meminfo: memFree=121106580/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=9760 CPUtime=1.49 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1623 0 0 0 149 0 0 0 20 0 1 0 62641281 34136064 2440 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+3.1052 s]
/proc/loadavg: 4.09 4.15 4.14 4/260 72155
/proc/meminfo: memFree=121023668/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=9760 CPUtime=3.08 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1623 0 0 0 307 1 0 0 20 0 1 0 62641281 34136064 2440 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+6.3001 s]
/proc/loadavg: 4.09 4.15 4.14 5/264 72192
/proc/meminfo: memFree=121093760/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=9760 CPUtime=6.25 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1623 0 0 0 622 3 0 0 20 0 1 0 62641281 34136064 2440 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+12.7001 s]
/proc/loadavg: 4.16 4.17 4.15 5/264 72192
/proc/meminfo: memFree=121242380/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=9760 CPUtime=12.63 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1623 0 0 0 1260 3 0 0 20 0 1 0 62641281 34136064 2440 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+25.5001 s]
/proc/loadavg: 4.19 4.18 4.15 5/264 72192
/proc/meminfo: memFree=121489172/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=10784 CPUtime=25.4 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1626 0 0 0 2537 3 0 0 20 0 1 0 62641281 34136064 2696 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2696 1024 1200 0 6814 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 10784 KiB

[startup+51.1053 s]
/proc/loadavg: 4.13 4.16 4.14 5/264 72193
/proc/meminfo: memFree=121624356/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=10784 CPUtime=50.95 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1629 0 0 0 5092 3 0 0 20 0 1 0 62641281 34136064 2696 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2696 1024 1200 0 6814 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 10784 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.15 4.14 5/264 72194
/proc/meminfo: memFree=121630376/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=10784 CPUtime=102.03 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1633 0 0 0 10200 3 0 0 20 0 1 0 62641281 34136064 2696 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2696 1024 1200 0 6814 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 10784 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/265 72204
/proc/meminfo: memFree=121647808/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=10784 CPUtime=161.9 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1636 0 0 0 16187 3 0 0 20 0 1 0 62641281 34136064 2696 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2696 1024 1200 0 6814 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 10784 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/265 72206
/proc/meminfo: memFree=121648776/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=10784 CPUtime=221.76 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1639 0 0 0 22173 3 0 0 20 0 1 0 62641281 34136064 2696 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2696 1024 1200 0 6814 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 10784 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/265 72209
/proc/meminfo: memFree=121652524/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=10784 CPUtime=281.63 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1640 0 0 0 28160 3 0 0 20 0 1 0 62641281 34136064 2696 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2696 1024 1200 0 6814 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 10784 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/265 72211
/proc/meminfo: memFree=121651656/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=33336 memory=10784 CPUtime=341.49 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 1643 0 0 0 34146 3 0 0 20 0 1 0 62641281 34136064 2696 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 8334 2696 1024 1200 0 6814 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 10784 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/266 72214
/proc/meminfo: memFree=120686280/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=57736 memory=50256 CPUtime=401.34 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 10699 0 0 0 40114 20 0 0 20 0 1 0 62641281 59121664 12564 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 14434 12564 1248 1200 0 12914 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 57736 KiB
Current children cumulated memory: 50256 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/265 72217
/proc/meminfo: memFree=120157864/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=81800 memory=62672 CPUtime=461.18 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 14994 0 0 0 46080 38 0 0 20 0 1 0 62641281 83763200 15668 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 20450 15668 1248 1200 0 18930 0

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

Current children cumulated memory: 123672 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.17 4.12 6/263 72485
/proc/meminfo: memFree=117009824/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=130308 memory=124056 CPUtime=2914.47 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 27252 0 0 0 290772 675 0 0 20 0 1 0 62641281 133435392 31014 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 32577 31014 1248 1200 0 31057 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 130308 KiB
Current children cumulated memory: 124056 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.16 4.12 6/264 72488
/proc/meminfo: memFree=117008736/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=130780 memory=124568 CPUtime=2974.27 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 27370 0 0 0 296737 690 0 0 20 0 1 0 62641281 133918720 31142 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 32695 31142 1248 1200 0 31175 0
Current children cumulated CPU time: 2974.27 s
Current children cumulated vsize: 130780 KiB
Current children cumulated memory: 124568 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.14 4.11 6/264 72490
/proc/meminfo: memFree=117000616/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=132116 memory=125320 CPUtime=3034.08 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 27748 0 0 0 302699 709 0 0 20 0 1 0 62641281 135286784 31330 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 33029 31330 1248 1200 0 31509 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 132116 KiB
Current children cumulated memory: 125320 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.13 4.11 6/264 72493
/proc/meminfo: memFree=117000756/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=132116 memory=125320 CPUtime=3093.87 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 27748 0 0 0 308667 720 0 0 20 0 1 0 62641281 135286784 31330 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 33029 31330 1248 1200 0 31509 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 132116 KiB
Current children cumulated memory: 125320 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.10 6/264 72495
/proc/meminfo: memFree=117000900/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=135396 memory=128572 CPUtime=3153.67 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 28067 0 0 0 314632 735 0 0 20 0 1 0 62641281 138645504 32143 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 33849 32143 1248 1200 0 32329 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 135396 KiB
Current children cumulated memory: 128572 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.10 6/265 72504
/proc/meminfo: memFree=116981176/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=135396 memory=128572 CPUtime=3213.48 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 28067 0 0 0 320595 753 0 0 20 0 1 0 62641281 138645504 32143 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 33849 32143 1248 1200 0 32329 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 135396 KiB
Current children cumulated memory: 128572 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.09 6/265 72507
/proc/meminfo: memFree=115954660/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=135396 memory=128572 CPUtime=3273.28 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 28069 0 0 0 326562 766 0 0 20 0 1 0 62641281 138645504 32143 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 33849 32143 1248 1200 0 32329 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 135396 KiB
Current children cumulated memory: 128572 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/265 72509
/proc/meminfo: memFree=115636232/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=135396 memory=128572 CPUtime=3333.1 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 28069 0 0 0 332527 783 0 0 20 0 1 0 62641281 138645504 32143 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 33849 32143 1248 1200 0 32329 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 135396 KiB
Current children cumulated memory: 128572 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.09 6/266 72513
/proc/meminfo: memFree=114580724/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=135940 memory=129084 CPUtime=3392.9 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 28205 0 0 0 338495 795 0 0 20 0 1 0 62641281 139202560 32271 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 33985 32271 1248 1200 0 32465 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 135940 KiB
Current children cumulated memory: 129084 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/266 72515
/proc/meminfo: memFree=114547052/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=158996 memory=131520 CPUtime=3452.72 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 28687 0 0 0 344461 811 0 0 20 0 1 0 62641281 162811904 32880 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 39749 32880 1248 1200 0 38229 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 158996 KiB
Current children cumulated memory: 131520 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/265 72517
/proc/meminfo: memFree=114483324/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=159144 memory=131776 CPUtime=3512.53 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 28756 0 0 0 350427 826 0 0 20 0 1 0 62641281 162963456 32944 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 39786 32944 1248 1200 0 38266 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 159144 KiB
Current children cumulated memory: 131776 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/264 72519
/proc/meminfo: memFree=114205404/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=159308 memory=131904 CPUtime=3572.33 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 28780 0 0 0 356391 842 0 0 20 0 1 0 62641281 163131392 32976 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 39827 32976 1248 1200 0 38307 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 159308 KiB
Current children cumulated memory: 131904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.1 s]
/proc/loadavg: 4.05 4.08 4.09 6/264 72520
/proc/meminfo: memFree=114151936/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=159308 memory=131904 CPUtime=3600.05 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 28781 0 0 0 359159 846 0 0 20 0 1 0 62641281 163131392 32976 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 39827 32976 1248 1200 0 38307 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 159308 KiB
Current children cumulated memory: 131904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.59 s, system=8.46707 s

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

[startup+3610.1 s]
/proc/loadavg: 4.05 4.08 4.09 6/264 72520
/proc/meminfo: memFree=114151936/131249996 swapFree=33010684/33010684
[pid=72140] ppid=72134 vsize=159308 memory=131904 CPUtime=3600.05 cores=0,2
/proc/72140/stat : 72140 (Exact) R 72134 72140 70946 0 -1 4194304 28781 0 0 0 359159 846 0 0 20 0 1 0 62641281 163131392 32976 18446744073709551615 4198400 9112445 140735436574560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 15085568 140735436581178 140735436581357 140735436581357 140735436586959 0
/proc/72140/statm: 39827 32976 1248 1200 0 38307 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 159308 KiB
Current children cumulated memory: 131904 KiB

Child status: 10

Real time (s): 3610.11
CPU time (s): 3600.06
CPU user time (s): 3591.59
CPU system time (s): 8.46707
CPU usage (%): 99.7216
Max. virtual memory (cumulated for all children) (KiB): 159308
Max. memory (cumulated for all children) (KiB): 131904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.59
system time used= 8.46707
maximum resident set size= 161332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28783
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= 25
involuntary context switches= 8235


# summary of solver processes directly reported to runsolver:
#   pid: 72140
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3591.59
#   total CPU system time (s): 8.46707

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87903 second user time and 14.2104 second system time

The end