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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481723-1751313534/watcher-4481723-1751313534 -o /tmp/evaluation-result-4481723-1751313534/solver-4481723-1751313534 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751313534-44106 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1399519747 --ls=360 HOME/instance-4481723-1751313534.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
Current StackSize limit: 8192 KiB

solver pid=44161, runsolver pid=44149

[startup+0.100069 s]*
/proc/loadavg: 0.78 1.10 2.00 6/250 44166
/proc/meminfo: memFree=123233460/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=0.1 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2275 0 0 0 10 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+0.212586 s]*
/proc/loadavg: 0.78 1.10 2.00 6/250 44166
/proc/meminfo: memFree=123233220/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=0.21 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2275 0 0 0 21 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+0.312302 s]*
/proc/loadavg: 0.78 1.10 2.00 6/250 44166
/proc/meminfo: memFree=123233220/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=0.31 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2275 0 0 0 31 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+0.700218 s]
/proc/loadavg: 0.78 1.10 2.00 6/250 44166
/proc/meminfo: memFree=123233220/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=0.68 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2275 0 0 0 68 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+1.50021 s]
/proc/loadavg: 0.78 1.10 2.00 6/250 44166
/proc/meminfo: memFree=123233760/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=1.48 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2275 0 0 0 148 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+3.11171 s]
/proc/loadavg: 1.04 1.14 2.01 6/250 44166
/proc/meminfo: memFree=123234196/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=3.09 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2275 0 0 0 309 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+6.30021 s]
/proc/loadavg: 1.04 1.14 2.01 6/250 44166
/proc/meminfo: memFree=123234788/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=6.27 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2275 0 0 0 627 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+12.7002 s]
/proc/loadavg: 1.35 1.21 2.03 6/250 44166
/proc/meminfo: memFree=123235852/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=12.65 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2275 0 0 0 1265 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+25.5002 s]
/proc/loadavg: 1.94 1.35 2.06 6/250 44167
/proc/meminfo: memFree=123237052/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=25.42 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2275 0 0 0 2542 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+51.1117 s]
/proc/loadavg: 2.71 1.58 2.12 6/250 44167
/proc/meminfo: memFree=123238752/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=50.97 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2275 0 0 0 5097 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.98 2.23 6/250 44169
/proc/meminfo: memFree=123251832/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=102.03 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2275 0 0 0 10203 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 2.35 2.34 6/250 44182
/proc/meminfo: memFree=123258420/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=161.88 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2280 0 0 0 16188 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.69 2.46 6/250 44184
/proc/meminfo: memFree=123260044/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=221.73 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2282 0 0 0 22173 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 2.96 2.57 6/251 44193
/proc/meminfo: memFree=123279388/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=281.59 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2283 0 0 0 28159 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.16 2.67 6/250 44195
/proc/meminfo: memFree=123278928/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=35440 memory=13964 CPUtime=341.44 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 2284 0 0 0 34144 0 0 0 20 0 1 0 47033209 36290560 3491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 8860 3491 1024 1200 0 7340 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 13964 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.33 2.76 5/250 44332
/proc/meminfo: memFree=122979372/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=195252 memory=168844 CPUtime=401.25 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 30611 0 0 0 40101 24 0 0 20 0 1 0 47033209 199938048 42211 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 48813 42211 1280 1200 0 47293 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 195252 KiB
Current children cumulated memory: 168844 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 3.49 2.85 5/251 44335
/proc/meminfo: memFree=122965284/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=206728 memory=193676 CPUtime=461.07 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 33371 0 0 0 46064 43 0 0 20 0 1 0 47033209 211689472 48419 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 51682 48419 1280 1200 0 50162 0
Current children cumulated CPU time: 461.07 s

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

Current children cumulated memory: 328332 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/251 44448
/proc/meminfo: memFree=121964892/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=345960 memory=330508 CPUtime=2854.1 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 62967 0 0 0 284546 864 0 0 20 0 1 0 47033209 354263040 82627 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 86490 82627 1280 1200 0 84970 0
Current children cumulated CPU time: 2854.1 s
Current children cumulated vsize: 345960 KiB
Current children cumulated memory: 330508 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.15 4.09 5/250 44450
/proc/meminfo: memFree=121964892/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=346152 memory=330636 CPUtime=2913.93 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 63038 0 0 0 290513 880 0 0 20 0 1 0 47033209 354459648 82659 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 86538 82659 1280 1200 0 85018 0
Current children cumulated CPU time: 2913.93 s
Current children cumulated vsize: 346152 KiB
Current children cumulated memory: 330636 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/249 44452
/proc/meminfo: memFree=121952740/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=351144 memory=333452 CPUtime=2973.76 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 63741 0 0 0 296479 897 0 0 20 0 1 0 47033209 359571456 83363 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 87786 83363 1280 1200 0 86266 0
Current children cumulated CPU time: 2973.76 s
Current children cumulated vsize: 351144 KiB
Current children cumulated memory: 333452 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/249 44454
/proc/meminfo: memFree=121944780/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=351720 memory=333964 CPUtime=3033.6 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 63850 0 0 0 302445 915 0 0 20 0 1 0 47033209 360161280 83491 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 87930 83491 1280 1200 0 86410 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 351720 KiB
Current children cumulated memory: 333964 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/249 44456
/proc/meminfo: memFree=121943688/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=353832 memory=335244 CPUtime=3093.42 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 64188 0 0 0 308410 932 0 0 20 0 1 0 47033209 362323968 83811 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 88458 83811 1280 1200 0 86938 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 353832 KiB
Current children cumulated memory: 335244 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/249 44458
/proc/meminfo: memFree=121944160/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=353832 memory=335244 CPUtime=3153.25 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 64188 0 0 0 314374 951 0 0 20 0 1 0 47033209 362323968 83811 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 88458 83811 1280 1200 0 86938 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 353832 KiB
Current children cumulated memory: 335244 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 44460
/proc/meminfo: memFree=121944452/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=355216 memory=336268 CPUtime=3213.08 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 64453 0 0 0 320336 972 0 0 20 0 1 0 47033209 363741184 84067 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 88804 84067 1280 1200 0 87284 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 355216 KiB
Current children cumulated memory: 336268 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 44469
/proc/meminfo: memFree=121921416/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=356080 memory=337164 CPUtime=3272.92 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 64797 0 0 0 326302 990 0 0 20 0 1 0 47033209 364625920 84291 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 89020 84291 1280 1200 0 87500 0
Current children cumulated CPU time: 3272.92 s
Current children cumulated vsize: 356080 KiB
Current children cumulated memory: 337164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 44470
/proc/meminfo: memFree=121936244/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=359608 memory=339596 CPUtime=3332.74 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 65428 0 0 0 332263 1011 0 0 20 0 1 0 47033209 368238592 84899 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 89902 84899 1280 1200 0 88382 0
Current children cumulated CPU time: 3332.74 s
Current children cumulated vsize: 359608 KiB
Current children cumulated memory: 339596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 44472
/proc/meminfo: memFree=121936448/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=360208 memory=340108 CPUtime=3392.56 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 65574 0 0 0 338228 1028 0 0 20 0 1 0 47033209 368852992 85027 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 90052 85027 1280 1200 0 88532 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 360208 KiB
Current children cumulated memory: 340108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 44475
/proc/meminfo: memFree=121935264/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=361268 memory=340876 CPUtime=3452.4 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 65881 0 0 0 344199 1041 0 0 20 0 1 0 47033209 369938432 85219 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 90317 85219 1280 1200 0 88797 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 361268 KiB
Current children cumulated memory: 340876 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 44477
/proc/meminfo: memFree=121927776/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=361556 memory=341132 CPUtime=3512.23 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 65977 0 0 0 350158 1065 0 0 20 0 1 0 47033209 370233344 85283 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 90389 85283 1280 1200 0 88869 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 361556 KiB
Current children cumulated memory: 341132 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 44479
/proc/meminfo: memFree=121927032/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=362324 memory=341900 CPUtime=3572.05 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 66160 0 0 0 356116 1089 0 0 20 0 1 0 47033209 371019776 85475 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 90581 85475 1280 1200 0 89061 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 362324 KiB
Current children cumulated memory: 341900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 44481
/proc/meminfo: memFree=121923168/131382112 swapFree=33010684/33010684
[pid=44161] ppid=44149 vsize=363188 memory=343180 CPUtime=3600.06 cores=0,2
/proc/44161/stat : 44161 (Exact) R 44149 44161 44096 0 -1 4194304 66466 0 0 0 358907 1099 0 0 20 0 1 0 47033209 371904512 85795 18446744073709551615 4198400 9112445 140726373262768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 23265280 140726373271866 140726373272045 140726373272045 140726373277647 0
/proc/44161/statm: 90797 85795 1280 1200 0 89277 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 363188 KiB
Current children cumulated memory: 343180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.09 s, system=11.0008 s

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

Child status: 10

Real time (s): 3610.41
CPU time (s): 3600.09
CPU user time (s): 3589.09
CPU system time (s): 11.0008
CPU usage (%): 99.7141
Max. virtual memory (cumulated for all children) (KiB): 363188
Max. memory (cumulated for all children) (KiB): 343180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.09
system time used= 11.0008
maximum resident set size= 343180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66468
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= 94
involuntary context switches= 8125


# summary of solver processes directly reported to runsolver:
#   pid: 44161
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3589.09
#   total CPU system time (s): 11.0008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7292 second user time and 33.0776 second system time

The end