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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526338-1751630334/watcher-4526338-1751630334 -o /tmp/evaluation-result-4526338-1751630334/solver-4526338-1751630334 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751624136-90939 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1382641603 --ls=360 --inp-dombreaklim=0 HOME/instance-4526338-1751630334.wbo 

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=92150, runsolver pid=92147

[startup+0.10007 s]*
/proc/loadavg: 4.16 4.22 4.18 5/251 92151
/proc/meminfo: memFree=114505072/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=45976 memory=21188 CPUtime=0.09 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 5919 0 0 0 8 1 0 0 20 0 1 0 78712765 47079424 5297 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 11494 5297 1024 1200 0 9974 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 21188 KiB

[startup+0.213244 s]*
/proc/loadavg: 4.16 4.22 4.18 5/251 92151
/proc/meminfo: memFree=114499356/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=0.18 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 17 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+0.313106 s]*
/proc/loadavg: 4.16 4.22 4.18 5/251 92151
/proc/meminfo: memFree=114499356/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=0.27 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 26 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+0.700209 s]
/proc/loadavg: 4.16 4.22 4.18 5/251 92151
/proc/meminfo: memFree=114499356/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=0.62 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 61 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+1.50014 s]
/proc/loadavg: 4.16 4.22 4.18 5/251 92151
/proc/meminfo: memFree=114499356/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=1.41 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 140 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+3.10578 s]
/proc/loadavg: 4.16 4.22 4.18 5/251 92152
/proc/meminfo: memFree=114500020/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=3 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 299 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+6.30013 s]
/proc/loadavg: 4.15 4.21 4.18 5/251 92152
/proc/meminfo: memFree=114500540/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=6.16 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 615 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.21 4.18 5/251 92152
/proc/meminfo: memFree=114499256/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=12.51 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 1250 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.20 4.17 5/251 92152
/proc/meminfo: memFree=114499824/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=25.23 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 2522 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+51.113 s]
/proc/loadavg: 4.13 4.20 4.17 5/251 92152
/proc/meminfo: memFree=114481148/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=50.78 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 5077 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/251 92154
/proc/meminfo: memFree=114483652/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=101.83 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 10182 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/250 92211
/proc/meminfo: memFree=125381768/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=161.67 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 16166 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/251 92214
/proc/meminfo: memFree=125336104/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=221.49 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 22148 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/251 92216
/proc/meminfo: memFree=125282588/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=281.3 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 28129 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/251 92223
/proc/meminfo: memFree=125257488/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=50960 memory=26176 CPUtime=341.11 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 7513 0 0 0 34110 1 0 0 20 0 1 0 78712765 52183040 6544 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 12740 6544 1056 1200 0 11220 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 50960 KiB
Current children cumulated memory: 26176 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/251 92225
/proc/meminfo: memFree=125209140/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=100584 memory=89044 CPUtime=400.92 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 19972 0 0 0 40078 14 0 0 20 0 1 0 78712765 102998016 22261 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 25146 22261 1280 1200 0 23626 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 100584 KiB
Current children cumulated memory: 89044 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/251 92227
/proc/meminfo: memFree=125179900/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=103384 memory=91988 CPUtime=460.72 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 20720 0 0 0 46047 25 0 0 20 0 1 0 78712765 105865216 22997 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 25846 22997 1280 1200 0 24326 0
Current children cumulated CPU time: 460.72 s

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

Current children cumulated memory: 171248 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.17 4.17 5/251 92434
/proc/meminfo: memFree=125842316/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=192100 memory=171888 CPUtime=2912.99 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 35825 0 0 0 290890 409 0 0 20 0 1 0 78712765 196710400 42972 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 48025 42972 1280 1200 0 46505 0
Current children cumulated CPU time: 2912.99 s
Current children cumulated vsize: 192100 KiB
Current children cumulated memory: 171888 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/251 92436
/proc/meminfo: memFree=125863572/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=192100 memory=172016 CPUtime=2972.74 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 35854 0 0 0 296855 419 0 0 20 0 1 0 78712765 196710400 43004 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 48025 43004 1280 1200 0 46505 0
Current children cumulated CPU time: 2972.74 s
Current children cumulated vsize: 192100 KiB
Current children cumulated memory: 172016 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/251 92438
/proc/meminfo: memFree=125865720/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=195392 memory=175344 CPUtime=3032.49 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 36683 0 0 0 302821 428 0 0 20 0 1 0 78712765 200081408 43836 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 48848 43836 1280 1200 0 47328 0
Current children cumulated CPU time: 3032.49 s
Current children cumulated vsize: 195392 KiB
Current children cumulated memory: 175344 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/250 92442
/proc/meminfo: memFree=125866552/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=195688 memory=175600 CPUtime=3092.23 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 36755 0 0 0 308786 437 0 0 20 0 1 0 78712765 200384512 43900 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 48922 43900 1280 1200 0 47402 0
Current children cumulated CPU time: 3092.23 s
Current children cumulated vsize: 195688 KiB
Current children cumulated memory: 175600 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.15 6/249 92445
/proc/meminfo: memFree=125859680/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=195836 memory=175728 CPUtime=3151.99 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 36779 0 0 0 314753 446 0 0 20 0 1 0 78712765 200536064 43932 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 48959 43932 1280 1200 0 47439 0
Current children cumulated CPU time: 3151.99 s
Current children cumulated vsize: 195836 KiB
Current children cumulated memory: 175728 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/249 92447
/proc/meminfo: memFree=123661296/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=196028 memory=175856 CPUtime=3211.74 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 36811 0 0 0 320720 454 0 0 20 0 1 0 78712765 200732672 43964 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 49007 43964 1280 1200 0 47487 0
Current children cumulated CPU time: 3211.74 s
Current children cumulated vsize: 196028 KiB
Current children cumulated memory: 175856 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/249 92449
/proc/meminfo: memFree=121346320/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=196028 memory=175856 CPUtime=3271.55 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 36820 0 0 0 326689 466 0 0 20 0 1 0 78712765 200732672 43964 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 49007 43964 1280 1200 0 47487 0
Current children cumulated CPU time: 3271.55 s
Current children cumulated vsize: 196028 KiB
Current children cumulated memory: 175856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/250 92456
/proc/meminfo: memFree=119144192/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=196220 memory=176112 CPUtime=3331.34 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 36886 0 0 0 332658 476 0 0 20 0 1 0 78712765 200929280 44028 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 49055 44028 1280 1200 0 47535 0
Current children cumulated CPU time: 3331.34 s
Current children cumulated vsize: 196220 KiB
Current children cumulated memory: 176112 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/252 92461
/proc/meminfo: memFree=116226980/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=196604 memory=176240 CPUtime=3391.15 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 36922 0 0 0 338636 479 0 0 20 0 1 0 78712765 201322496 44060 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 49151 44060 1280 1200 0 47631 0
Current children cumulated CPU time: 3391.15 s
Current children cumulated vsize: 196604 KiB
Current children cumulated memory: 176240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/252 92463
/proc/meminfo: memFree=114969328/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=196820 memory=176624 CPUtime=3450.95 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 37035 0 0 0 344604 491 0 0 20 0 1 0 78712765 201543680 44156 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 49205 44156 1280 1200 0 47685 0
Current children cumulated CPU time: 3450.95 s
Current children cumulated vsize: 196820 KiB
Current children cumulated memory: 176624 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.13 4.13 5/252 92465
/proc/meminfo: memFree=114285736/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=196820 memory=176752 CPUtime=3510.74 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 37051 0 0 0 350573 501 0 0 20 0 1 0 78712765 201543680 44188 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 49205 44188 1280 1200 0 47685 0
Current children cumulated CPU time: 3510.74 s
Current children cumulated vsize: 196820 KiB
Current children cumulated memory: 176752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/252 92467
/proc/meminfo: memFree=111584440/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=196984 memory=176752 CPUtime=3570.54 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 37075 0 0 0 356542 512 0 0 20 0 1 0 78712765 201711616 44188 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 49246 44188 1280 1200 0 47726 0
Current children cumulated CPU time: 3570.54 s
Current children cumulated vsize: 196984 KiB
Current children cumulated memory: 176752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.16 4.12 4.13 5/253 92468
/proc/meminfo: memFree=110274592/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=196984 memory=176880 CPUtime=3600.04 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 37102 0 0 0 359487 517 0 0 20 0 1 0 78712765 201711616 44220 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 49246 44220 1280 1200 0 47726 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 196984 KiB
Current children cumulated memory: 176880 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.89 s, system=5.17538 s

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

[startup+3611.9 s]
/proc/loadavg: 4.16 4.12 4.13 5/253 92468
/proc/meminfo: memFree=110274592/131382116 swapFree=33005528/33010684
[pid=92150] ppid=92147 vsize=196984 memory=176880 CPUtime=3600.04 cores=4,6
/proc/92150/stat : 92150 (Exact) R 92147 92150 90928 0 -1 4194304 37102 0 0 0 359487 517 0 0 20 0 1 0 78712765 201711616 44220 18446744073709551615 4198400 9112445 140733937237616 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 21811200 140733937240356 140733937240555 140733937240555 140733937246159 0
/proc/92150/statm: 49246 44220 1280 1200 0 47726 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 196984 KiB
Current children cumulated memory: 176880 KiB

Child status: 10

Real time (s): 3611.91
CPU time (s): 3600.06
CPU user time (s): 3594.89
CPU system time (s): 5.17538
CPU usage (%): 99.672
Max. virtual memory (cumulated for all children) (KiB): 196984
Max. memory (cumulated for all children) (KiB): 176880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.89
system time used= 5.17538
maximum resident set size= 176880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37306
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= 51
involuntary context switches= 3238


# summary of solver processes directly reported to runsolver:
#   pid: 92150
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3594.89
#   total CPU system time (s): 5.17538

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2942 second user time and 34.1041 second system time

The end