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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502389-1751478061/watcher-4502389-1751478061 -o /tmp/evaluation-result-4502389-1751478061/solver-4502389-1751478061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751477336-73056 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=218608045 --ls=360 --inp-dombreaklim=0 HOME/instance-4502389-1751478061.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

solver pid=73460, runsolver pid=73457
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 4.12 3.90 3.41 5/265 73461
/proc/meminfo: memFree=121930532/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=0.1 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 10 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+0.20569 s]*
/proc/loadavg: 4.12 3.90 3.41 5/265 73461
/proc/meminfo: memFree=121930976/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=0.2 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 20 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/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.305595 s]*
/proc/loadavg: 4.12 3.90 3.41 5/265 73461
/proc/meminfo: memFree=121930976/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=0.3 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 30 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/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.700179 s]
/proc/loadavg: 4.12 3.90 3.41 5/265 73461
/proc/meminfo: memFree=121872572/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=0.69 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 69 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/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.50017 s]
/proc/loadavg: 4.12 3.90 3.41 5/265 73461
/proc/meminfo: memFree=121868792/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=1.49 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 149 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/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.10536 s]
/proc/loadavg: 4.11 3.90 3.41 4/263 73478
/proc/meminfo: memFree=121794148/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=3.09 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 309 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+6.30015 s]
/proc/loadavg: 4.11 3.90 3.41 5/265 73506
/proc/meminfo: memFree=121735692/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=6.28 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 628 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 3.91 3.41 5/265 73506
/proc/meminfo: memFree=121324520/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=12.66 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 1266 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 3.93 3.43 5/266 73508
/proc/meminfo: memFree=121152896/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=25.43 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 2543 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 3.94 3.45 5/265 73509
/proc/meminfo: memFree=121034920/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=50.98 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 5098 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 3.96 3.48 5/264 73510
/proc/meminfo: memFree=120308120/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=102.06 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 10206 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.00 3.53 5/264 73512
/proc/meminfo: memFree=120127756/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=161.93 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 16193 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.01 3.57 5/264 73515
/proc/meminfo: memFree=120100616/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=221.79 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 22179 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.04 3.61 5/264 73517
/proc/meminfo: memFree=120095788/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=281.65 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 28165 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.05 3.64 5/262 73519
/proc/meminfo: memFree=120098444/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=33336 memory=9760 CPUtime=341.52 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 1624 0 0 0 34152 0 0 0 20 0 1 0 63483962 34136064 2440 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 8334 2440 1024 1200 0 6814 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 33336 KiB
Current children cumulated memory: 9760 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.05 3.67 5/264 73574
/proc/meminfo: memFree=119527744/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=60904 memory=50660 CPUtime=401.37 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 11190 0 0 0 40120 17 0 0 20 0 1 0 63483962 62365696 12665 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 15226 12665 1280 1200 0 13706 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 60904 KiB
Current children cumulated memory: 50660 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.09 3.71 5/265 73577
/proc/meminfo: memFree=119421180/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=70268 memory=62164 CPUtime=461.21 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 15002 0 0 0 46088 33 0 0 20 0 1 0 63483962 71954432 15541 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 17567 15541 1280 1200 0 16047 0
Current children cumulated CPU time: 461.21 s

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

Current children cumulated memory: 125028 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.11 4.03 5/265 73710
/proc/meminfo: memFree=115807524/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=153420 memory=126052 CPUtime=2915.04 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 27906 0 0 0 290835 669 0 0 20 0 1 0 63483962 157102080 31513 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 38355 31513 1280 1200 0 36835 0
Current children cumulated CPU time: 2915.04 s
Current children cumulated vsize: 153420 KiB
Current children cumulated memory: 126052 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/265 73712
/proc/meminfo: memFree=115802260/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=153420 memory=126052 CPUtime=2974.89 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 27917 0 0 0 296804 685 0 0 20 0 1 0 63483962 157102080 31513 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 38355 31513 1280 1200 0 36835 0
Current children cumulated CPU time: 2974.89 s
Current children cumulated vsize: 153420 KiB
Current children cumulated memory: 126052 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/265 73715
/proc/meminfo: memFree=115800128/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=153564 memory=126180 CPUtime=3034.74 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 27950 0 0 0 302774 700 0 0 20 0 1 0 63483962 157249536 31545 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 38391 31545 1280 1200 0 36871 0
Current children cumulated CPU time: 3034.74 s
Current children cumulated vsize: 153564 KiB
Current children cumulated memory: 126180 KiB

[startup+3102.3 s]
/proc/loadavg: 4.43 4.17 4.06 5/264 73717
/proc/meminfo: memFree=115762428/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=156644 memory=129252 CPUtime=3094.59 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 28748 0 0 0 308746 713 0 0 20 0 1 0 63483962 160403456 32313 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 39161 32313 1280 1200 0 37641 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 156644 KiB
Current children cumulated memory: 129252 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.15 4.06 5/263 73720
/proc/meminfo: memFree=115744792/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=156644 memory=129252 CPUtime=3154.44 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 28754 0 0 0 314719 725 0 0 20 0 1 0 63483962 160403456 32313 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 39161 32313 1280 1200 0 37641 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 156644 KiB
Current children cumulated memory: 129252 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.06 5/263 73722
/proc/meminfo: memFree=115711744/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=157188 memory=129764 CPUtime=3214.29 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 28893 0 0 0 320689 740 0 0 20 0 1 0 63483962 160960512 32441 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 39297 32441 1280 1200 0 37777 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 157188 KiB
Current children cumulated memory: 129764 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.07 5/264 73815
/proc/meminfo: memFree=114128420/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=157188 memory=129764 CPUtime=3274.12 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 28893 0 0 0 326655 757 0 0 20 0 1 0 63483962 160960512 32441 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 39297 32441 1280 1200 0 37777 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 157188 KiB
Current children cumulated memory: 129764 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.07 5/264 73817
/proc/meminfo: memFree=112358472/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=158248 memory=130404 CPUtime=3333.93 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 29034 0 0 0 332621 772 0 0 20 0 1 0 63483962 162045952 32601 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 39562 32601 1280 1200 0 38042 0
Current children cumulated CPU time: 3333.93 s
Current children cumulated vsize: 158248 KiB
Current children cumulated memory: 130404 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.07 5/266 73827
/proc/meminfo: memFree=112308304/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=159020 memory=131172 CPUtime=3393.73 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 29246 0 0 0 338588 785 0 0 20 0 1 0 63483962 162836480 32793 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 39755 32793 1280 1200 0 38235 0
Current children cumulated CPU time: 3393.73 s
Current children cumulated vsize: 159020 KiB
Current children cumulated memory: 131172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.08 5/266 73829
/proc/meminfo: memFree=112294088/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=159400 memory=131556 CPUtime=3453.54 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 29327 0 0 0 344552 802 0 0 20 0 1 0 63483962 163225600 32889 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 39850 32889 1280 1200 0 38330 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 159400 KiB
Current children cumulated memory: 131556 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/266 73832
/proc/meminfo: memFree=112280132/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=159536 memory=131684 CPUtime=3513.35 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 29361 0 0 0 350520 815 0 0 20 0 1 0 63483962 163364864 32921 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 39884 32921 1280 1200 0 38364 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 159536 KiB
Current children cumulated memory: 131684 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/266 73834
/proc/meminfo: memFree=112281204/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=159988 memory=132068 CPUtime=3573.15 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 29519 0 0 0 356487 828 0 0 20 0 1 0 63483962 163827712 33017 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 39997 33017 1280 1200 0 38477 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 159988 KiB
Current children cumulated memory: 132068 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/267 73836
/proc/meminfo: memFree=112257888/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=160372 memory=132452 CPUtime=3600.07 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 29616 0 0 0 359172 835 0 0 20 0 1 0 63483962 164220928 33113 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 40093 33113 1280 1200 0 38573 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 160372 KiB
Current children cumulated memory: 132452 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.73 s, system=8.3514 s

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

[startup+3609.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/267 73836
/proc/meminfo: memFree=112257888/131249996 swapFree=33010684/33010684
[pid=73460] ppid=73457 vsize=160372 memory=132452 CPUtime=3600.07 cores=5,7
/proc/73460/stat : 73460 (Exact) R 73457 73460 73043 0 -1 4194304 29616 0 0 0 359172 835 0 0 20 0 1 0 63483962 164220928 33113 18446744073709551615 4198400 9112445 140733855276992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 43094016 140733855283495 140733855283693 140733855283693 140733855289295 0
/proc/73460/statm: 40093 33113 1280 1200 0 38573 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 160372 KiB
Current children cumulated memory: 132452 KiB

Child status: 10

Real time (s): 3609.31
CPU time (s): 3600.08
CPU user time (s): 3591.73
CPU system time (s): 8.3514
CPU usage (%): 99.7444
Max. virtual memory (cumulated for all children) (KiB): 160372
Max. memory (cumulated for all children) (KiB): 132452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.73
system time used= 8.3514
maximum resident set size= 149208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29618
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= 38
involuntary context switches= 2068


# summary of solver processes directly reported to runsolver:
#   pid: 73460
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3591.73
#   total CPU system time (s): 8.3514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74901 second user time and 15.5559 second system time

The end