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 (62725 MiB free)
  memory of node 1: 64465 MiB (63737 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482463-1751268600/watcher-4482463-1751268600 -o /tmp/evaluation-result-4482463-1751268600/solver-4482463-1751268600 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751268232-36117 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1449179163 --ls=360 HOME/instance-4482463-1751268600.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=36315, runsolver pid=36310

[startup+0.100052 s]*
/proc/loadavg: 4.09 2.96 1.43 5/263 36324
/proc/meminfo: memFree=129454212/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=69636 memory=45796 CPUtime=0.08 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 11611 0 0 0 7 1 0 0 20 0 1 0 42537559 71307264 11449 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 17409 11449 1024 1200 0 15889 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 69636 KiB
Current children cumulated memory: 45796 KiB

[startup+0.205502 s]*
/proc/loadavg: 4.09 2.96 1.43 5/263 36324
/proc/meminfo: memFree=129414316/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=106380 memory=80288 CPUtime=0.19 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 18963 0 0 0 17 2 0 0 20 0 1 0 42537559 108933120 20072 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 26595 20072 1024 1200 0 25075 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106380 KiB
Current children cumulated memory: 80288 KiB

[startup+0.305386 s]*
/proc/loadavg: 4.09 2.96 1.43 5/263 36324
/proc/meminfo: memFree=129373992/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=144000 memory=121488 CPUtime=0.29 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 24152 0 0 0 25 4 0 0 20 0 1 0 42537559 147456000 30372 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 36000 30372 1024 1200 0 34480 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 144000 KiB
Current children cumulated memory: 121488 KiB

[startup+0.700189 s]
/proc/loadavg: 4.09 2.96 1.43 5/263 36324
/proc/meminfo: memFree=129321508/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=264860 memory=239152 CPUtime=0.68 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 40793 0 0 0 60 8 0 0 20 0 1 0 42537559 271216640 59788 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 66215 59788 1024 1200 0 64695 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 264860 KiB
Current children cumulated memory: 239152 KiB

[startup+1.50019 s]
/proc/loadavg: 4.09 2.96 1.43 5/263 36324
/proc/meminfo: memFree=129228068/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=291476 memory=263804 CPUtime=1.47 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 44408 0 0 0 139 8 0 0 20 0 1 0 42537559 298471424 65951 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 72869 65951 1024 1200 0 71349 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 263804 KiB

[startup+3.10537 s]
/proc/loadavg: 4.09 2.96 1.43 5/263 36324
/proc/meminfo: memFree=129228520/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=291476 memory=263804 CPUtime=3.07 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 44937 0 0 0 299 8 0 0 20 0 1 0 42537559 298471424 65951 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 72869 65951 1024 1200 0 71349 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 263804 KiB

[startup+6.30017 s]
/proc/loadavg: 4.08 2.98 1.44 5/263 36324
/proc/meminfo: memFree=129220896/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=291476 memory=263804 CPUtime=6.27 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 44982 0 0 0 618 9 0 0 20 0 1 0 42537559 298471424 65951 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 72869 65951 1024 1200 0 71349 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 263804 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 3.01 1.46 5/263 36324
/proc/meminfo: memFree=129212888/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=291476 memory=263804 CPUtime=12.65 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 45025 0 0 0 1256 9 0 0 20 0 1 0 42537559 298471424 65951 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 72869 65951 1024 1200 0 71349 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 263804 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 3.06 1.51 5/263 36324
/proc/meminfo: memFree=129212808/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=291476 memory=263804 CPUtime=25.41 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 45047 0 0 0 2532 9 0 0 20 0 1 0 42537559 298471424 65951 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 72869 65951 1024 1200 0 71349 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 263804 KiB

[startup+51.1054 s]
/proc/loadavg: 4.08 3.14 1.57 5/263 36324
/proc/meminfo: memFree=129212840/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=291476 memory=263804 CPUtime=50.94 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 45080 0 0 0 5085 9 0 0 20 0 1 0 42537559 298471424 65951 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 72869 65951 1024 1200 0 71349 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 263804 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 3.30 1.71 5/263 36326
/proc/meminfo: memFree=129186692/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=291476 memory=263804 CPUtime=101.98 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 45131 0 0 0 10188 10 0 0 20 0 1 0 42537559 298471424 65951 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 72869 65951 1024 1200 0 71349 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 263804 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.45 1.86 5/263 36329
/proc/meminfo: memFree=129173624/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=291476 memory=263804 CPUtime=161.77 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 45186 0 0 0 16167 10 0 0 20 0 1 0 42537559 298471424 65951 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 72869 65951 1024 1200 0 71349 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 263804 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.57 2.01 5/263 36331
/proc/meminfo: memFree=129169412/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=291476 memory=266364 CPUtime=221.56 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 45270 0 0 0 22146 10 0 0 20 0 1 0 42537559 298471424 66591 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 72869 66591 1024 1200 0 71349 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 266364 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.68 2.14 5/264 36340
/proc/meminfo: memFree=129161468/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=291476 memory=272892 CPUtime=281.37 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 45361 0 0 0 28126 11 0 0 20 0 1 0 42537559 298471424 68223 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 72869 68223 1024 1200 0 71349 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 272892 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.75 2.27 5/265 36343
/proc/meminfo: memFree=129150588/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=291476 memory=272892 CPUtime=341.22 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 45453 0 0 0 34109 13 0 0 20 0 1 0 42537559 298471424 68223 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 72869 68223 1024 1200 0 71349 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 291476 KiB
Current children cumulated memory: 272892 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.82 2.38 5/265 36390
/proc/meminfo: memFree=128603144/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=832936 memory=777548 CPUtime=401.02 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 104221 0 0 0 40065 37 0 0 20 0 1 0 42537559 852926464 194387 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 208234 194387 1248 1200 0 206714 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 832936 KiB
Current children cumulated memory: 777548 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.88 2.50 5/264 36392
/proc/meminfo: memFree=128389956/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=1092588 memory=963812 CPUtime=460.82 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 132135 0 0 0 46035 47 0 0 20 0 1 0 42537559 1118810112 240953 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 273147 240953 1248 1200 0 271627 0
Current children cumulated CPU time: 460.82 s

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

Current children cumulated memory: 2732464 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.12 4.03 5/263 36561
/proc/meminfo: memFree=126143520/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2864060 memory=2732592 CPUtime=2913.9 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 511454 0 0 0 291180 210 0 0 20 0 1 0 42537559 2932797440 683148 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 716015 683148 1248 1200 0 714495 0
Current children cumulated CPU time: 2913.9 s
Current children cumulated vsize: 2864060 KiB
Current children cumulated memory: 2732592 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.11 4.03 5/263 36563
/proc/meminfo: memFree=126143556/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2866372 memory=2733872 CPUtime=2973.71 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 511882 0 0 0 297157 214 0 0 20 0 1 0 42537559 2935164928 683468 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 716593 683468 1248 1200 0 715073 0
Current children cumulated CPU time: 2973.71 s
Current children cumulated vsize: 2866372 KiB
Current children cumulated memory: 2733872 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.03 5/263 36565
/proc/meminfo: memFree=126127380/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2868684 memory=2736688 CPUtime=3033.52 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 512716 0 0 0 303134 218 0 0 20 0 1 0 42537559 2937532416 684172 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 717171 684172 1248 1200 0 715651 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 2868684 KiB
Current children cumulated memory: 2736688 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.03 5/264 36568
/proc/meminfo: memFree=126127424/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2868684 memory=2736688 CPUtime=3093.33 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 512873 0 0 0 309110 223 0 0 20 0 1 0 42537559 2937532416 684172 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 717171 684172 1248 1200 0 715651 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 2868684 KiB
Current children cumulated memory: 2736688 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/264 36570
/proc/meminfo: memFree=126119516/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2868684 memory=2736688 CPUtime=3153.14 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 513051 0 0 0 315087 227 0 0 20 0 1 0 42537559 2937532416 684172 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 717171 684172 1248 1200 0 715651 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 2868684 KiB
Current children cumulated memory: 2736688 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/266 36575
/proc/meminfo: memFree=126118544/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2868684 memory=2736816 CPUtime=3212.95 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 513212 0 0 0 321064 231 0 0 20 0 1 0 42537559 2937532416 684204 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 717171 684204 1248 1200 0 715651 0
Current children cumulated CPU time: 3212.95 s
Current children cumulated vsize: 2868684 KiB
Current children cumulated memory: 2736816 KiB

[startup+3282.3 s]
/proc/loadavg: 3.77 4.01 4.01 4/261 36615
/proc/meminfo: memFree=126310140/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2868816 memory=2736816 CPUtime=3272.76 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 514190 0 0 0 327040 236 0 0 20 0 1 0 42537559 2937667584 684204 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 717204 684204 1248 1200 0 715684 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 2868816 KiB
Current children cumulated memory: 2736816 KiB

[startup+3342.3 s]
/proc/loadavg: 3.34 3.84 3.95 4/260 36617
/proc/meminfo: memFree=126303112/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2869772 memory=2740016 CPUtime=3332.57 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 515906 0 0 0 333020 237 0 0 20 0 1 0 42537559 2938646528 685004 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 717443 685004 1248 1200 0 715923 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 2869772 KiB
Current children cumulated memory: 2740016 KiB

[startup+3402.3 s]
/proc/loadavg: 3.17 3.70 3.90 4/259 36619
/proc/meminfo: memFree=126291004/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2875564 memory=2745732 CPUtime=3392.38 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 517747 0 0 0 339000 238 0 0 20 0 1 0 42537559 2944577536 686433 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 718891 686433 1248 1200 0 717371 0
Current children cumulated CPU time: 3392.38 s
Current children cumulated vsize: 2875564 KiB
Current children cumulated memory: 2745732 KiB

[startup+3462.3 s]
/proc/loadavg: 3.18 3.60 3.85 4/260 36622
/proc/meminfo: memFree=126262980/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2912680 memory=2773760 CPUtime=3452.18 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 524675 0 0 0 344978 240 0 0 20 0 1 0 42537559 2982584320 693440 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 728170 693440 1248 1200 0 726650 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 2912680 KiB
Current children cumulated memory: 2773760 KiB

[startup+3522.3 s]
/proc/loadavg: 3.12 3.51 3.80 4/259 36624
/proc/meminfo: memFree=126238900/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2943360 memory=2799008 CPUtime=3511.99 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 530914 0 0 0 350957 242 0 0 20 0 1 0 42537559 3014000640 699752 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 735840 699752 1248 1200 0 734320 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 2943360 KiB
Current children cumulated memory: 2799008 KiB

[startup+3582.3 s]
/proc/loadavg: 3.08 3.43 3.75 4/259 36626
/proc/meminfo: memFree=126226796/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2957752 memory=2811792 CPUtime=3571.79 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 534534 0 0 0 356936 243 0 0 20 0 1 0 42537559 3028738048 702948 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 739438 702948 1248 1200 0 737918 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 2957752 KiB
Current children cumulated memory: 2811792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 3.11 3.41 3.73 3/255 36634
/proc/meminfo: memFree=126433712/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2982652 memory=2830864 CPUtime=3600.01 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 539905 0 0 0 359756 245 0 0 20 0 1 0 42537559 3054235648 707716 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 745663 707716 1248 1200 0 744143 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2982652 KiB
Current children cumulated memory: 2830864 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.7 s, system=2.47593 s

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

[startup+3610.7 s]
/proc/loadavg: 3.11 3.41 3.73 3/255 36634
/proc/meminfo: memFree=126433712/131249988 swapFree=33010684/33010684
[pid=36315] ppid=36310 vsize=2609004 memory=2534472 CPUtime=3600.1 cores=4,6
/proc/36315/stat : 36315 (Exact) R 36310 36315 36099 0 -1 4194304 540151 0 0 0 359765 245 0 0 20 0 1 0 42537559 2671620096 633618 18446744073709551615 4198400 9112445 140732192650144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19349504 140732192651578 140732192651757 140732192651757 140732192657359 0
/proc/36315/statm: 652251 633618 1280 1200 0 650731 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 2609004 KiB
Current children cumulated memory: 2534472 KiB

Child status: 10

Real time (s): 3610.76
CPU time (s): 3600.17
CPU user time (s): 3597.7
CPU system time (s): 2.47593
CPU usage (%): 99.7068
Max. virtual memory (cumulated for all children) (KiB): 2982652
Max. memory (cumulated for all children) (KiB): 2830864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.7
system time used= 2.47593
maximum resident set size= 2831120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 540153
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= 162
involuntary context switches= 20425


# summary of solver processes directly reported to runsolver:
#   pid: 36315
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3597.7
#   total CPU system time (s): 2.47593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83901 second user time and 15.7014 second system time

The end