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: 63968 MiB (52348 MiB free)
  memory of node 1: 64473 MiB (62221 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435243-1721126228/watcher-4435243-1721126228 -o /tmp/evaluation-result-4435243-1721126228/solver-4435243-1721126228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721118953-888835 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435243-1721126228.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=895377, runsolver pid=895374

[startup+0.100094 s]*
/proc/loadavg: 4.12 4.18 4.13 5/260 895383
/proc/meminfo: memFree=117313728/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=10444 memory=5536 CPUtime=0.1 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 1091 0 0 0 10 0 0 0 20 0 1 0 164790937 10694656 1384 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 2611 1384 405 379 0 2145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20376 KiB
Current children cumulated memory: 8280 KiB

[startup+0.206185 s]*
/proc/loadavg: 4.11 4.18 4.13 5/260 895383
/proc/meminfo: memFree=117307336/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=16640 memory=11940 CPUtime=0.2 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 2664 0 0 0 20 0 0 0 20 0 1 0 164790937 17039360 2985 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 4160 2985 405 379 0 3694 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26572 KiB
Current children cumulated memory: 14684 KiB

[startup+0.306068 s]*
/proc/loadavg: 4.11 4.18 4.13 5/260 895383
/proc/meminfo: memFree=117298264/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=25504 memory=20900 CPUtime=0.29 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 4889 0 0 0 29 0 0 0 20 0 1 0 164790937 26116096 5225 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 6376 5225 405 379 0 5910 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 35436 KiB
Current children cumulated memory: 23644 KiB

[startup+0.700271 s]
/proc/loadavg: 4.11 4.18 4.13 5/260 895383
/proc/meminfo: memFree=117278004/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=56620 memory=52004 CPUtime=0.68 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 12924 0 0 0 67 1 0 0 20 0 1 0 164790937 57978880 13001 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 14155 13001 405 379 0 13689 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66552 KiB
Current children cumulated memory: 54748 KiB

[startup+1.50029 s]
/proc/loadavg: 4.11 4.18 4.13 5/260 895383
/proc/meminfo: memFree=117259480/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=60616 memory=55868 CPUtime=1.49 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 14129 0 0 0 147 2 0 0 20 0 1 0 164790937 62070784 13967 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 15154 13967 421 379 0 14688 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 70548 KiB
Current children cumulated memory: 58612 KiB

[startup+3.10609 s]
/proc/loadavg: 4.11 4.18 4.13 5/260 895385
/proc/meminfo: memFree=117205576/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=107616 memory=100724 CPUtime=3.08 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 26207 0 0 0 304 4 0 0 20 0 1 0 164790937 110198784 25181 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 26904 25181 421 379 0 26438 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 117548 KiB
Current children cumulated memory: 103468 KiB

[startup+6.30027 s]
/proc/loadavg: 4.10 4.17 4.13 5/260 895386
/proc/meminfo: memFree=117186452/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=114684 memory=104836 CPUtime=6.27 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 27436 0 0 0 622 5 0 0 20 0 1 0 164790937 117436416 26209 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 28671 26209 421 379 0 28205 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 124616 KiB
Current children cumulated memory: 107580 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.19 4.13 5/260 895386
/proc/meminfo: memFree=117144524/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=121868 memory=115896 CPUtime=12.65 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 28195 0 0 0 1260 5 0 0 20 0 1 0 164790937 124792832 28974 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 30467 28974 421 379 0 30001 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 131800 KiB
Current children cumulated memory: 118640 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.18 4.13 5/260 895389
/proc/meminfo: memFree=117085868/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=126288 memory=112944 CPUtime=25.42 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 30091 0 0 0 2535 7 0 0 20 0 1 0 164790937 129318912 28236 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 31572 28236 421 379 0 31106 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 136220 KiB
Current children cumulated memory: 115688 KiB

[startup+51.1061 s]
/proc/loadavg: 4.09 4.16 4.12 5/260 895392
/proc/meminfo: memFree=116929020/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=157620 memory=142008 CPUtime=50.95 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 30702 0 0 0 5087 8 0 0 20 0 1 0 164790937 161402880 35502 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 39405 35502 421 379 0 38939 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 167552 KiB
Current children cumulated memory: 144752 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/260 895401
/proc/meminfo: memFree=116695396/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=157620 memory=152916 CPUtime=101.99 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 31704 0 0 0 10190 9 0 0 20 0 1 0 164790937 161402880 38229 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 39405 38229 421 379 0 38939 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 167552 KiB
Current children cumulated memory: 155660 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/261 895412
/proc/meminfo: memFree=116424676/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=206940 memory=194488 CPUtime=161.82 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 33146 0 0 0 16170 12 0 0 20 0 1 0 164790937 211906560 48622 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 51735 48622 421 379 0 51269 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 216872 KiB
Current children cumulated memory: 197232 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/264 895428
/proc/meminfo: memFree=116908196/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=206940 memory=198588 CPUtime=221.63 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 33899 0 0 0 22150 13 0 0 20 0 1 0 164790937 211906560 49647 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 51735 49647 421 379 0 51269 0
Current children cumulated CPU time: 221.63 s

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

/proc/loadavg: 4.32 4.23 4.14 5/263 897133
/proc/meminfo: memFree=114646008/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=268340 memory=265076 CPUtime=3092.87 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 84537 0 0 0 309177 110 0 0 20 0 1 0 164790937 274780160 66269 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 67085 66269 421 379 0 66619 0
Current children cumulated CPU time: 3092.87 s
Current children cumulated vsize: 278272 KiB
Current children cumulated memory: 267820 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.22 4.14 5/263 897143
/proc/meminfo: memFree=114479700/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=349248 memory=334756 CPUtime=3152.69 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 85735 0 0 0 315158 111 0 0 20 0 1 0 164790937 357629952 83689 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 87312 83689 421 379 0 86846 0
Current children cumulated CPU time: 3152.69 s
Current children cumulated vsize: 359180 KiB
Current children cumulated memory: 337500 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.19 4.13 5/264 897214
/proc/meminfo: memFree=114200944/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=430636 memory=383908 CPUtime=3212.53 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 86439 0 0 0 321140 113 0 0 20 0 1 0 164790937 440971264 95977 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 107659 95977 421 379 0 107193 0
Current children cumulated CPU time: 3212.53 s
Current children cumulated vsize: 440568 KiB
Current children cumulated memory: 386652 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/264 897225
/proc/meminfo: memFree=114039576/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=349248 memory=304140 CPUtime=3272.34 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 87841 0 0 0 327119 115 0 0 20 0 1 0 164790937 357629952 76035 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 87312 76035 421 379 0 86846 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 359180 KiB
Current children cumulated memory: 306884 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.18 4.13 5/264 897235
/proc/meminfo: memFree=113720648/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=430636 memory=353152 CPUtime=3332.17 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 88470 0 0 0 333100 117 0 0 20 0 1 0 164790937 440971264 88288 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 107659 88288 421 379 0 107193 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 440568 KiB
Current children cumulated memory: 355896 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/262 897246
/proc/meminfo: memFree=113518580/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=299160 memory=285740 CPUtime=3392 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 89378 0 0 0 339081 119 0 0 20 0 1 0 164790937 306339840 71435 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 74790 71435 421 379 0 74324 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 309092 KiB
Current children cumulated memory: 288484 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.18 4.13 5/262 897257
/proc/meminfo: memFree=113201528/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=430636 memory=348096 CPUtime=3451.83 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 90260 0 0 0 345062 121 0 0 20 0 1 0 164790937 440971264 87024 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 107659 87024 421 379 0 107193 0
Current children cumulated CPU time: 3451.83 s
Current children cumulated vsize: 440568 KiB
Current children cumulated memory: 350840 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/259 897267
/proc/meminfo: memFree=113031272/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=299160 memory=280260 CPUtime=3511.66 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 91713 0 0 0 351042 124 0 0 20 0 1 0 164790937 306339840 70065 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 74790 70065 421 379 0 74324 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 309092 KiB
Current children cumulated memory: 283004 KiB

[startup+3582.3 s]
/proc/loadavg: 3.53 4.01 4.08 3/243 897340
/proc/meminfo: memFree=117793152/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=349248 memory=338956 CPUtime=3571.49 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 92141 0 0 0 357024 125 0 0 20 0 1 0 164790937 357629952 84739 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 87312 84739 421 379 0 86846 0
Current children cumulated CPU time: 3571.49 s
Current children cumulated vsize: 359180 KiB
Current children cumulated memory: 341700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 3.01 3.85 4.02 3/243 897346
/proc/meminfo: memFree=117759232/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=430636 memory=363300 CPUtime=3600.02 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 92781 0 0 0 359876 126 0 0 20 0 1 0 164790937 440971264 90825 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 107659 90825 421 379 0 107193 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 440568 KiB
Current children cumulated memory: 366044 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.77 s, system=1.26917 s

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

[startup+3610.9 s]
/proc/loadavg: 3.01 3.85 4.02 3/243 897346
/proc/meminfo: memFree=117759232/131524600 swapFree=131071996/131071996
[pid=895377] ppid=895374 vsize=9932 memory=2744 CPUtime=0 cores=1,3
/proc/895377/stat : 895377 (naps-1.02b5.sh) S 895374 895377 888823 0 -1 4194304 224 240 0 0 0 0 0 0 20 0 1 0 164790937 10170368 686 134679101440 94921705148416 94921706227736 140731332462336 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94921708326192 94921708373380 94921739337728 140731332465632 140731332465759 140731332465759 140731332472774 0
/proc/895377/statm: 2483 686 608 264 0 134 0
[pid=895382] ppid=895377 vsize=430636 memory=363300 CPUtime=3600.02 cores=1,3
/proc/895382/stat : 895382 (naps-1.02b5) R 895377 895377 888823 0 -1 4194304 92781 0 0 0 359876 126 0 0 20 0 1 0 164790937 440971264 90825 134679101440 4194304 5746509 140726988898592 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 11870208 140726988907503 140726988907617 140726988907617 140726988914633 0
/proc/895382/statm: 107659 90825 421 379 0 107193 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 440568 KiB
Current children cumulated memory: 366044 KiB

Child status: 10

Real time (s): 3610.9
CPU time (s): 3600.04
CPU user time (s): 3598.77
CPU system time (s): 1.26917
CPU usage (%): 99.699
Max. virtual memory (cumulated for all children) (KiB): 489888
Max. memory (cumulated for all children) (KiB): 414584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.77
system time used= 1.26917
maximum resident set size= 436416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93259
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= 78
involuntary context switches= 4082


# summary of solver processes directly reported to runsolver:
#   pid: 895377
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.77
#   total CPU system time (s): 1.26917

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.29388 second user time and 17.6985 second system time

The end