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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481823-1751318786/watcher-4481823-1751318786 -o /tmp/evaluation-result-4481823-1751318786/solver-4481823-1751318786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751313655-46050 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1452173536 --ls=360 HOME/instance-4481823-1751318786.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=46665, runsolver pid=46662

[startup+0.100025 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 46666
/proc/meminfo: memFree=121067916/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=46292 memory=24992 CPUtime=0.09 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 5733 0 0 0 9 0 0 0 20 0 1 0 47556315 47403008 6248 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 11573 6248 1024 1200 0 10053 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46292 KiB
Current children cumulated memory: 24992 KiB

[startup+0.205541 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 46666
/proc/meminfo: memFree=121043660/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=61360 memory=40456 CPUtime=0.19 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 8958 0 0 0 19 0 0 0 20 0 1 0 47556315 62832640 10114 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 15340 10114 1024 1200 0 13820 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61360 KiB
Current children cumulated memory: 40456 KiB

[startup+0.305498 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 46666
/proc/meminfo: memFree=121043660/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=0.28 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9710 0 0 0 28 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+0.700173 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 46666
/proc/meminfo: memFree=121043660/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=0.67 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9710 0 0 0 67 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+1.50016 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 46666
/proc/meminfo: memFree=121043660/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=1.47 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9710 0 0 0 147 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+3.10541 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 46666
/proc/meminfo: memFree=121043996/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=3.07 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9712 0 0 0 307 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+6.30016 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 46666
/proc/meminfo: memFree=121042436/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=6.25 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9714 0 0 0 625 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 46666
/proc/meminfo: memFree=121042436/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=12.64 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9716 0 0 0 1264 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 46666
/proc/meminfo: memFree=121042408/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=25.4 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9716 0 0 0 2540 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+51.1054 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 46666
/proc/meminfo: memFree=121019796/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=50.95 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9720 0 0 0 5095 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 46668
/proc/meminfo: memFree=121002212/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=102.01 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9722 0 0 0 10201 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 46670
/proc/meminfo: memFree=120993380/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=161.86 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9724 0 0 0 16186 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 46672
/proc/meminfo: memFree=120932856/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=221.71 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9728 0 0 0 22171 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 46674
/proc/meminfo: memFree=120858548/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=281.56 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9728 0 0 0 28156 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 46676
/proc/meminfo: memFree=120795112/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=65376 memory=43400 CPUtime=341.4 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 9730 0 0 0 34140 0 0 0 20 0 1 0 47556315 66945024 10850 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 16344 10850 1024 1200 0 14824 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 65376 KiB
Current children cumulated memory: 43400 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 46678
/proc/meminfo: memFree=120693672/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=160800 memory=148956 CPUtime=401.25 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 28471 0 0 0 40119 6 0 0 20 0 1 0 47556315 164659200 37239 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 40200 37239 1248 1200 0 38680 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 160800 KiB
Current children cumulated memory: 148956 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 46681
/proc/meminfo: memFree=120637040/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=177136 memory=165212 CPUtime=461.1 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 32560 0 0 0 46101 9 0 0 20 0 1 0 47556315 181387264 41303 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 44284 41303 1248 1200 0 42764 0
Current children cumulated CPU time: 461.1 s

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

Current children cumulated memory: 289688 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 47139
/proc/meminfo: memFree=126341216/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=305764 memory=290072 CPUtime=2914.74 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 58795 0 0 0 291373 101 0 0 20 0 1 0 47556315 313102336 72518 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 76441 72518 1248 1200 0 74921 0
Current children cumulated CPU time: 2914.74 s
Current children cumulated vsize: 305764 KiB
Current children cumulated memory: 290072 KiB

[startup+2982.3 s]
/proc/loadavg: 4.44 4.18 4.12 5/263 47144
/proc/meminfo: memFree=126338116/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=316876 memory=301076 CPUtime=2974.53 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 60503 0 0 0 297346 107 0 0 20 0 1 0 47556315 324481024 75269 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 79219 75269 1248 1200 0 77699 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 316876 KiB
Current children cumulated memory: 301076 KiB

[startup+3042.3 s]
/proc/loadavg: 4.25 4.18 4.12 5/263 47150
/proc/meminfo: memFree=126348124/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=316876 memory=303124 CPUtime=3034.33 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 60507 0 0 0 303324 109 0 0 20 0 1 0 47556315 324481024 75781 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 79219 75781 1248 1200 0 77699 0
Current children cumulated CPU time: 3034.33 s
Current children cumulated vsize: 316876 KiB
Current children cumulated memory: 303124 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/263 47152
/proc/meminfo: memFree=126333904/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=316876 memory=303124 CPUtime=3094.17 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 60628 0 0 0 309308 109 0 0 20 0 1 0 47556315 324481024 75781 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 79219 75781 1248 1200 0 77699 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 316876 KiB
Current children cumulated memory: 303124 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/264 47155
/proc/meminfo: memFree=126321676/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=317964 memory=304148 CPUtime=3154.01 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 60907 0 0 0 315292 109 0 0 20 0 1 0 47556315 325595136 76037 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 79491 76037 1248 1200 0 77971 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 317964 KiB
Current children cumulated memory: 304148 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 47202
/proc/meminfo: memFree=125077024/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=317964 memory=304148 CPUtime=3213.83 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 60914 0 0 0 321270 113 0 0 20 0 1 0 47556315 325595136 76037 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 79491 76037 1248 1200 0 77971 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 317964 KiB
Current children cumulated memory: 304148 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 47204
/proc/meminfo: memFree=125038036/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=319300 memory=305428 CPUtime=3273.63 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 61365 0 0 0 327249 114 0 0 20 0 1 0 47556315 326963200 76357 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 79825 76357 1248 1200 0 78305 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 319300 KiB
Current children cumulated memory: 305428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 47206
/proc/meminfo: memFree=125020500/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=321864 memory=307988 CPUtime=3333.43 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 62018 0 0 0 333228 115 0 0 20 0 1 0 47556315 329588736 76997 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 80466 76997 1248 1200 0 78946 0
Current children cumulated CPU time: 3333.43 s
Current children cumulated vsize: 321864 KiB
Current children cumulated memory: 307988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 47208
/proc/meminfo: memFree=124977756/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=322132 memory=308372 CPUtime=3393.23 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 62086 0 0 0 339199 124 0 0 20 0 1 0 47556315 329863168 77093 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 80533 77093 1248 1200 0 79013 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 322132 KiB
Current children cumulated memory: 308372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 47210
/proc/meminfo: memFree=124950976/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=322852 memory=309012 CPUtime=3453.02 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 62381 0 0 0 345178 124 0 0 20 0 1 0 47556315 330600448 77253 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 80713 77253 1248 1200 0 79193 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 322852 KiB
Current children cumulated memory: 309012 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/263 47212
/proc/meminfo: memFree=124817508/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=323260 memory=309396 CPUtime=3512.83 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 62493 0 0 0 351158 125 0 0 20 0 1 0 47556315 331018240 77349 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 80815 77349 1248 1200 0 79295 0
Current children cumulated CPU time: 3512.83 s
Current children cumulated vsize: 323260 KiB
Current children cumulated memory: 309396 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 47216
/proc/meminfo: memFree=124471644/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=324732 memory=310932 CPUtime=3572.64 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 62861 0 0 0 357139 125 0 0 20 0 1 0 47556315 332525568 77733 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 81183 77733 1248 1200 0 79663 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 324732 KiB
Current children cumulated memory: 310932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 47222
/proc/meminfo: memFree=124478932/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=325160 memory=311316 CPUtime=3600.06 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 62968 0 0 0 359881 125 0 0 20 0 1 0 47556315 332963840 77829 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 81290 77829 1248 1200 0 79770 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 325160 KiB
Current children cumulated memory: 311316 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.94 s, system=1.25705 s

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

[startup+3609.9 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 47222
/proc/meminfo: memFree=124478932/131249996 swapFree=33010684/33010684
[pid=46665] ppid=46662 vsize=325160 memory=311316 CPUtime=3600.16 cores=4,6
/proc/46665/stat : 46665 (Exact) R 46662 46665 46039 0 -1 4194304 62968 0 0 0 359891 125 0 0 20 0 1 0 47556315 332963840 77829 18446744073709551615 4198400 9112445 140726610149168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19648512 140726610155834 140726610156013 140726610156013 140726610161615 0
/proc/46665/statm: 81290 77829 1248 1200 0 79770 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 325160 KiB
Current children cumulated memory: 311316 KiB

Child status: 10

Real time (s): 3609.93
CPU time (s): 3600.2
CPU user time (s): 3598.94
CPU system time (s): 1.25705
CPU usage (%): 99.7304
Max. virtual memory (cumulated for all children) (KiB): 325160
Max. memory (cumulated for all children) (KiB): 311316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.94
system time used= 1.25705
maximum resident set size= 311444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62977
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= 77
involuntary context switches= 1822


# summary of solver processes directly reported to runsolver:
#   pid: 46665
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3598.94
#   total CPU system time (s): 1.25705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80946 second user time and 15.2464 second system time

The end