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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519046-1751550548/watcher-4519046-1751550548 -o /tmp/evaluation-result-4519046-1751550548/solver-4519046-1751550548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751550548-79628 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4519046-1751550548.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=79687, runsolver pid=79668

[startup+0.100058 s]*
/proc/loadavg: 0.79 1.10 1.48 5/265 79697
/proc/meminfo: memFree=127872332/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=9040 memory=7620 CPUtime=0.08 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 1459 0 0 0 8 0 0 0 20 0 1 0 70677346 9256960 1905 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 2260 1905 608 696 0 1421 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13232 KiB
Current children cumulated memory: 10692 KiB

[startup+0.205497 s]*
/proc/loadavg: 0.79 1.10 1.48 5/264 79705
/proc/meminfo: memFree=127864808/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=9864 memory=8480 CPUtime=0.18 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 1834 0 0 0 18 0 0 0 20 0 1 0 70677346 10100736 2120 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 2466 2120 608 696 0 1627 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 14056 KiB
Current children cumulated memory: 11552 KiB

[startup+0.305441 s]*
/proc/loadavg: 0.79 1.10 1.48 5/264 79705
/proc/meminfo: memFree=127856996/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=10620 memory=9260 CPUtime=0.28 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 2558 0 0 0 28 0 0 0 20 0 1 0 70677346 10874880 2315 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 2655 2315 640 696 0 1816 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 14812 KiB
Current children cumulated memory: 12332 KiB

[startup+0.700183 s]
/proc/loadavg: 0.79 1.10 1.48 5/264 79705
/proc/meminfo: memFree=127853860/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=11768 memory=10412 CPUtime=0.67 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 2853 0 0 0 67 0 0 0 20 0 1 0 70677346 12050432 2603 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 2942 2603 640 696 0 2103 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 15960 KiB
Current children cumulated memory: 13484 KiB

[startup+1.50016 s]
/proc/loadavg: 0.79 1.10 1.48 5/264 79705
/proc/meminfo: memFree=127842800/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=12800 memory=11188 CPUtime=1.47 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 3622 0 0 0 147 0 0 0 20 0 1 0 70677346 13107200 2797 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 3200 2797 640 696 0 2361 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 16992 KiB
Current children cumulated memory: 14260 KiB

[startup+3.10545 s]
/proc/loadavg: 1.13 1.16 1.50 6/269 79745
/proc/meminfo: memFree=127842740/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=12096 memory=10692 CPUtime=3.07 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 4199 0 0 0 307 0 0 0 20 0 1 0 70677346 12386304 2673 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 3024 2673 640 696 0 2185 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 16288 KiB
Current children cumulated memory: 13764 KiB

[startup+6.30013 s]
/proc/loadavg: 1.13 1.16 1.50 6/269 79745
/proc/meminfo: memFree=127834404/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=15380 memory=13740 CPUtime=6.25 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 6667 0 0 0 625 0 0 0 20 0 1 0 70677346 15749120 3435 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 3845 3435 640 696 0 3006 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 19572 KiB
Current children cumulated memory: 16812 KiB

[startup+12.7001 s]
/proc/loadavg: 1.36 1.21 1.51 7/270 79794
/proc/meminfo: memFree=127816756/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=15696 memory=14308 CPUtime=12.64 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 10512 0 0 0 1263 1 0 0 20 0 1 0 70677346 16072704 3577 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 3924 3577 640 696 0 3085 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 19888 KiB
Current children cumulated memory: 17380 KiB

[startup+25.5002 s]
/proc/loadavg: 1.95 1.35 1.55 6/270 79795
/proc/meminfo: memFree=127801376/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=25560 memory=23920 CPUtime=25.4 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 13164 0 0 0 2539 1 0 0 20 0 1 0 70677346 26173440 5980 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 6390 5980 640 696 0 5551 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 29752 KiB
Current children cumulated memory: 26992 KiB

[startup+51.1056 s]
/proc/loadavg: 2.73 1.58 1.62 7/270 79795
/proc/meminfo: memFree=127790856/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=34428 memory=32804 CPUtime=50.93 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 16896 0 0 0 5091 2 0 0 20 0 1 0 70677346 35254272 8201 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 8607 8201 640 696 0 7768 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 38620 KiB
Current children cumulated memory: 35876 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 1.97 1.76 6/270 79797
/proc/meminfo: memFree=127767464/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=36712 memory=35124 CPUtime=101.99 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 20595 0 0 0 10195 4 0 0 20 0 1 0 70677346 37593088 8781 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 9178 8781 640 696 0 8339 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 40904 KiB
Current children cumulated memory: 38196 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 2.46 1.94 8/269 79799
/proc/meminfo: memFree=127720624/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=49892 memory=48404 CPUtime=161.82 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 26869 0 0 0 16176 6 0 0 20 0 1 0 70677346 51089408 12101 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 12473 12101 640 696 0 11634 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 54084 KiB
Current children cumulated memory: 51476 KiB

[startup+222.3 s]
/proc/loadavg: 4.49 2.84 2.11 6/270 79802
/proc/meminfo: memFree=127699088/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=53128 memory=51516 CPUtime=221.68 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 31599 0 0 0 22160 8 0 0 20 0 1 0 70677346 54403072 12879 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 13282 12879 640 696 0 12443 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 57320 KiB

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

/proc/loadavg: 4.10 4.10 4.02 6/267 79953
/proc/meminfo: memFree=127443416/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=107444 memory=106040 CPUtime=3033.68 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 67215 0 0 0 303334 34 0 0 20 0 1 0 70677346 110022656 26510 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 26861 26510 640 696 0 26022 0
Current children cumulated CPU time: 3033.68 s
Current children cumulated vsize: 111636 KiB
Current children cumulated memory: 109112 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.02 6/268 79956
/proc/meminfo: memFree=127433448/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=141848 memory=139752 CPUtime=3093.52 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 68339 0 0 0 309316 36 0 0 20 0 1 0 70677346 145252352 34938 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 35462 34938 640 696 0 34623 0
Current children cumulated CPU time: 3093.52 s
Current children cumulated vsize: 146040 KiB
Current children cumulated memory: 142824 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.03 6/268 79958
/proc/meminfo: memFree=127410188/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=115400 memory=114004 CPUtime=3153.36 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 69536 0 0 0 315299 37 0 0 20 0 1 0 70677346 118169600 28501 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 28850 28501 640 696 0 28011 0
Current children cumulated CPU time: 3153.36 s
Current children cumulated vsize: 119592 KiB
Current children cumulated memory: 117076 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.13 4.04 7/268 79960
/proc/meminfo: memFree=127365564/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=179036 memory=177424 CPUtime=3213.19 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 70092 0 0 0 321281 38 0 0 20 0 1 0 70677346 183332864 44356 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 44759 44356 640 696 0 43920 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 183228 KiB
Current children cumulated memory: 180496 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.13 4.04 6/269 79965
/proc/meminfo: memFree=127381760/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=145428 memory=143940 CPUtime=3273.03 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 70108 0 0 0 327265 38 0 0 20 0 1 0 70677346 148918272 35985 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 36357 35985 640 696 0 35518 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 149620 KiB
Current children cumulated memory: 147012 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.04 6/272 79975
/proc/meminfo: memFree=127422392/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=145428 memory=143940 CPUtime=3332.87 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 70173 0 0 0 333249 38 0 0 20 0 1 0 70677346 148918272 35985 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 36357 35985 640 696 0 35518 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 149620 KiB
Current children cumulated memory: 147012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.05 6/271 79977
/proc/meminfo: memFree=127343704/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=179592 memory=178104 CPUtime=3392.71 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 70941 0 0 0 339232 39 0 0 20 0 1 0 70677346 183902208 44526 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 44898 44526 640 696 0 44059 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 183784 KiB
Current children cumulated memory: 181176 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.05 6/271 79979
/proc/meminfo: memFree=127330964/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=178456 memory=176968 CPUtime=3452.55 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 71533 0 0 0 345215 40 0 0 20 0 1 0 70677346 182738944 44242 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 44614 44242 640 696 0 43775 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 182648 KiB
Current children cumulated memory: 180040 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.05 6/271 79980
/proc/meminfo: memFree=127401536/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=175940 memory=174396 CPUtime=3512.38 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 72008 0 0 0 351198 40 0 0 20 0 1 0 70677346 180162560 43599 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 43985 43599 640 696 0 43146 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 180132 KiB
Current children cumulated memory: 177468 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/271 79982
/proc/meminfo: memFree=127412904/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=128300 memory=123528 CPUtime=3572.22 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 74870 0 0 0 357179 43 0 0 20 0 1 0 70677346 131379200 30882 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 32075 30882 640 696 0 31236 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 132492 KiB
Current children cumulated memory: 126600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.09 4.11 4.05 6/271 79983
/proc/meminfo: memFree=127367312/131250000 swapFree=33010684/33010684
[pid=79687] ppid=79668 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79687/stat : 79687 (naps-1.03a6.sh) S 79668 79687 79615 0 -1 4194304 230 199 0 0 0 0 0 0 20 0 1 0 70677344 4292608 768 18446744073709551615 94454713700352 94454714594885 140730100433920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94454714833936 94454714881680 94454748196864 140730100439463 140730100439557 140730100439557 140730100445159 0
/proc/79687/statm: 1048 768 704 219 0 110 0
[pid=79697] ppid=79687 vsize=128300 memory=123528 CPUtime=3600.05 cores=5,7
/proc/79697/stat : 79697 (naps-1.03a6) R 79687 79687 79615 0 -1 4194304 74908 0 0 0 359962 43 0 0 20 0 1 0 70677346 131379200 30882 18446744073709551615 4198400 7047149 140731867632704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10354688 140731867638132 140731867638246 140731867638246 140731867643849 0
/proc/79697/statm: 32075 30882 640 696 0 31236 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 132492 KiB
Current children cumulated memory: 126600 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.62 s, system=0.43984 s

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

Child status: 10

Real time (s): 3610.2
CPU time (s): 3600.06
CPU user time (s): 3599.62
CPU system time (s): 0.43984
CPU usage (%): 99.7192
Max. virtual memory (cumulated for all children) (KiB): 218100
Max. memory (cumulated for all children) (KiB): 215380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.62
system time used= 0.43984
maximum resident set size= 212308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75348
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= 223
involuntary context switches= 1432


# summary of solver processes directly reported to runsolver:
#   pid: 79687
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.62
#   total CPU system time (s): 0.43984

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65479 second user time and 15.0125 second system time

The end