runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (57435 MiB free)
  memory of node 1: 64465 MiB (62183 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=80048, runsolver pid=80045

[startup+0.100059 s]*
/proc/loadavg: 4.08 4.09 4.09 5/263 80049
/proc/meminfo: memFree=122489244/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=0.09 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 9 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+0.205448 s]*
/proc/loadavg: 4.08 4.09 4.09 5/263 80049
/proc/meminfo: memFree=122489244/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=0.2 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 20 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+0.304674 s]*
/proc/loadavg: 4.08 4.09 4.09 5/263 80049
/proc/meminfo: memFree=122489244/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=0.3 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 30 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+0.700113 s]
/proc/loadavg: 4.08 4.09 4.09 6/263 80049
/proc/meminfo: memFree=122494512/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=0.69 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 69 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+1.50012 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 80049
/proc/meminfo: memFree=122494512/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=1.48 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 148 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+3.10516 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 80049
/proc/meminfo: memFree=122511636/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=3.09 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 309 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+6.30011 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 80049
/proc/meminfo: memFree=122520644/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=6.27 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 627 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+12.7001 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 80049
/proc/meminfo: memFree=122451572/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=12.66 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 1266 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+25.5001 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 80049
/proc/meminfo: memFree=122435908/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=25.43 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 2543 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 80050
/proc/meminfo: memFree=122412048/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=50.97 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 5097 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+102.3 s]
/proc/loadavg: 4.34 4.14 4.11 5/263 80096
/proc/meminfo: memFree=126473228/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=102.05 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 10205 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/263 80098
/proc/meminfo: memFree=126449940/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=161.91 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 16191 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+222.3 s]
/proc/loadavg: 4.35 4.22 4.14 5/264 80105
/proc/meminfo: memFree=126428652/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=221.77 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 22177 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.19 4.13 5/264 80107
/proc/meminfo: memFree=126420120/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=281.63 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 28163 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/264 80110
/proc/meminfo: memFree=126397124/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=34788 memory=11156 CPUtime=341.5 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 2229 0 0 0 34150 0 0 0 20 0 1 0 73177741 35622912 2789 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 8697 2789 1024 1200 0 7177 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 34788 KiB
Current children cumulated memory: 11156 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/264 80112
/proc/meminfo: memFree=126164256/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=280388 memory=223872 CPUtime=401.34 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 41138 0 0 0 40108 26 0 0 20 0 1 0 73177741 287117312 55968 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 70097 55968 1248 1200 0 68577 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 280388 KiB
Current children cumulated memory: 223872 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 4.21 4.14 5/264 80116
/proc/meminfo: memFree=126118324/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=309632 memory=247552 CPUtime=461.19 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 47125 0 0 0 46067 52 0 0 20 0 1 0 73177741 317063168 61888 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 77408 61888 1248 1200 0 75888 0

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

Current children cumulated memory: 469352 KiB

[startup+2922.3 s]
/proc/loadavg: 2.06 2.16 2.69 3/254 80318
/proc/meminfo: memFree=126119632/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=483888 memory=470120 CPUtime=2914.68 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 84191 0 0 0 290585 883 0 0 20 0 1 0 73177741 495501312 117530 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 120972 117530 1248 1200 0 119452 0
Current children cumulated CPU time: 2914.68 s
Current children cumulated vsize: 483888 KiB
Current children cumulated memory: 470120 KiB

[startup+2982.3 s]
/proc/loadavg: 2.13 2.16 2.66 3/254 80320
/proc/meminfo: memFree=126111784/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=488784 memory=473832 CPUtime=2974.52 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 85269 0 0 0 296553 899 0 0 20 0 1 0 73177741 500514816 118458 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 122196 118458 1248 1200 0 120676 0
Current children cumulated CPU time: 2974.52 s
Current children cumulated vsize: 488784 KiB
Current children cumulated memory: 473832 KiB

[startup+3042.3 s]
/proc/loadavg: 2.10 2.14 2.62 3/253 80322
/proc/meminfo: memFree=126110232/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=488976 memory=473960 CPUtime=3034.36 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 85394 0 0 0 302512 924 0 0 20 0 1 0 73177741 500711424 118490 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 122244 118490 1248 1200 0 120724 0
Current children cumulated CPU time: 3034.36 s
Current children cumulated vsize: 488976 KiB
Current children cumulated memory: 473960 KiB

[startup+3102.3 s]
/proc/loadavg: 2.12 2.13 2.59 2/247 80355
/proc/meminfo: memFree=126806748/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=489648 memory=474728 CPUtime=3094.2 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 85573 0 0 0 308477 943 0 0 20 0 1 0 73177741 501399552 118682 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 122412 118682 1248 1200 0 120892 0
Current children cumulated CPU time: 3094.2 s
Current children cumulated vsize: 489648 KiB
Current children cumulated memory: 474728 KiB

[startup+3162.3 s]
/proc/loadavg: 1.47 1.94 2.49 2/246 80357
/proc/meminfo: memFree=126808632/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=492628 memory=477544 CPUtime=3154.06 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 86492 0 0 0 314443 963 0 0 20 0 1 0 73177741 504451072 119386 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 123157 119386 1248 1200 0 121637 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 492628 KiB
Current children cumulated memory: 477544 KiB

[startup+3222.3 s]
/proc/loadavg: 1.22 1.78 2.40 2/246 80360
/proc/meminfo: memFree=126809472/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=492820 memory=477800 CPUtime=3213.92 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 86567 0 0 0 320406 986 0 0 20 0 1 0 73177741 504647680 119450 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 123205 119450 1248 1200 0 121685 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 492820 KiB
Current children cumulated memory: 477800 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.65 2.31 2/247 80367
/proc/meminfo: memFree=126809340/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=495604 memory=480232 CPUtime=3273.78 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 87312 0 0 0 326371 1007 0 0 20 0 1 0 73177741 507498496 120058 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 123901 120058 1248 1200 0 122381 0
Current children cumulated CPU time: 3273.78 s
Current children cumulated vsize: 495604 KiB
Current children cumulated memory: 480232 KiB

[startup+3342.3 s]
/proc/loadavg: 1.09 1.55 2.23 2/247 80369
/proc/meminfo: memFree=126810996/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=495604 memory=480360 CPUtime=3333.63 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 87421 0 0 0 332335 1028 0 0 20 0 1 0 73177741 507498496 120090 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 123901 120090 1248 1200 0 122381 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 495604 KiB
Current children cumulated memory: 480360 KiB

[startup+3402.3 s]
/proc/loadavg: 1.07 1.46 2.16 2/246 80371
/proc/meminfo: memFree=126785324/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=496596 memory=482792 CPUtime=3393.5 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 87656 0 0 0 338299 1051 0 0 20 0 1 0 73177741 508514304 120698 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 124149 120698 1248 1200 0 122629 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 496596 KiB
Current children cumulated memory: 482792 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.40 2.09 2/247 80374
/proc/meminfo: memFree=126785244/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=498708 memory=484840 CPUtime=3453.35 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 88406 0 0 0 344268 1067 0 0 20 0 1 0 73177741 510676992 121210 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 124677 121210 1248 1200 0 123157 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 498708 KiB
Current children cumulated memory: 484840 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.34 2.03 2/247 80379
/proc/meminfo: memFree=126786696/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=499668 memory=485864 CPUtime=3513.21 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 88646 0 0 0 350236 1085 0 0 20 0 1 0 73177741 511660032 121466 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 124917 121466 1248 1200 0 123397 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 499668 KiB
Current children cumulated memory: 485864 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 1.31 1.97 2/247 80381
/proc/meminfo: memFree=126785228/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=500052 memory=486376 CPUtime=3573.07 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 88894 0 0 0 356205 1102 0 0 20 0 1 0 73177741 512053248 121594 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 125013 121594 1248 1200 0 123493 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 500052 KiB
Current children cumulated memory: 486376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 1.09 1.28 1.94 2/246 80382
/proc/meminfo: memFree=126762584/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=570272 memory=499496 CPUtime=3600.01 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 89834 0 0 0 358886 1115 0 0 20 0 1 0 73177741 583958528 124874 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 142568 124874 1248 1200 0 141048 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 570272 KiB
Current children cumulated memory: 499496 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.87 s, system=11.1562 s

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

[startup+3609.3 s]
/proc/loadavg: 1.09 1.28 1.94 2/246 80382
/proc/meminfo: memFree=126762584/131250000 swapFree=33010672/33010684
[pid=80048] ppid=80045 vsize=570272 memory=499496 CPUtime=3600.01 cores=5,7
/proc/80048/stat : 80048 (Exact) R 80045 80048 78865 0 -1 4194304 89834 0 0 0 358886 1115 0 0 20 0 1 0 73177741 583958528 124874 18446744073709551615 4198400 9112445 140723553449088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 35155968 140723553458491 140723553458669 140723553458669 140723553464271 0
/proc/80048/statm: 142568 124874 1248 1200 0 141048 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 570272 KiB
Current children cumulated memory: 499496 KiB

Child status: 10

Real time (s): 3609.31
CPU time (s): 3600.03
CPU user time (s): 3588.87
CPU system time (s): 11.1562
CPU usage (%): 99.7429
Max. virtual memory (cumulated for all children) (KiB): 570272
Max. memory (cumulated for all children) (KiB): 499496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.87
system time used= 11.1562
maximum resident set size= 587104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89836
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= 129
involuntary context switches= 2794


# summary of solver processes directly reported to runsolver:
#   pid: 80048
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3588.87
#   total CPU system time (s): 11.1562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90836 second user time and 14.237 second system time

The end