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: 63931 MiB (62203 MiB free)
  memory of node 1: 64510 MiB (60996 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435037-1721070645/watcher-4435037-1721070645 -o /tmp/evaluation-result-4435037-1721070645/solver-4435037-1721070645 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721070641-814260 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435037-1721070645.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=814438, runsolver pid=814435

[startup+0.100084 s]*
/proc/loadavg: 2.14 2.96 3.64 5/261 814443
/proc/meminfo: memFree=126150572/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=12716 memory=7828 CPUtime=0.09 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 1627 0 0 0 9 0 0 0 20 0 1 0 159229382 13021184 1957 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 3179 1957 405 379 0 2713 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22648 KiB
Current children cumulated memory: 10508 KiB

[startup+0.205347 s]*
/proc/loadavg: 2.14 2.96 3.64 5/261 814443
/proc/meminfo: memFree=126141012/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=22164 memory=17172 CPUtime=0.19 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 4009 0 0 0 19 0 0 0 20 0 1 0 159229382 22695936 4293 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 5541 4293 405 379 0 5075 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32096 KiB
Current children cumulated memory: 19852 KiB

[startup+0.305486 s]*
/proc/loadavg: 2.14 2.96 3.64 5/261 814443
/proc/meminfo: memFree=126139528/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=22760 memory=17952 CPUtime=0.29 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 4215 0 0 0 29 0 0 0 20 0 1 0 159229382 23306240 4488 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 5690 4488 421 379 0 5224 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32692 KiB
Current children cumulated memory: 20632 KiB

[startup+0.700203 s]
/proc/loadavg: 2.14 2.96 3.64 5/261 814443
/proc/meminfo: memFree=126138380/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=32924 memory=30356 CPUtime=0.68 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 7410 0 0 0 67 1 0 0 20 0 1 0 159229382 33714176 7589 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 8231 7589 421 379 0 7765 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42856 KiB
Current children cumulated memory: 33036 KiB

[startup+1.50019 s]
/proc/loadavg: 2.14 2.96 3.64 5/261 814443
/proc/meminfo: memFree=126060780/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=104200 memory=93508 CPUtime=1.48 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 22793 0 0 0 144 4 0 0 20 0 1 0 159229382 106700800 23377 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 26050 23377 421 379 0 25584 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 114132 KiB
Current children cumulated memory: 96188 KiB

[startup+3.10534 s]
/proc/loadavg: 2.14 2.96 3.64 5/261 814443
/proc/meminfo: memFree=126040052/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=119024 memory=110488 CPUtime=3.09 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 24330 0 0 0 304 5 0 0 20 0 1 0 159229382 121880576 27622 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 29756 27622 421 379 0 29290 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 128956 KiB
Current children cumulated memory: 113168 KiB

[startup+6.3002 s]
/proc/loadavg: 2.29 2.98 3.64 5/261 814443
/proc/meminfo: memFree=126017556/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=119024 memory=112536 CPUtime=6.27 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 24340 0 0 0 622 5 0 0 20 0 1 0 159229382 121880576 28134 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 29756 28134 421 379 0 29290 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 128956 KiB
Current children cumulated memory: 115216 KiB

[startup+12.7002 s]
/proc/loadavg: 2.43 3.00 3.64 5/261 814445
/proc/meminfo: memFree=126012684/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=119024 memory=112536 CPUtime=12.65 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 24381 0 0 0 1260 5 0 0 20 0 1 0 159229382 121880576 28134 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 29756 28134 421 379 0 29290 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 128956 KiB
Current children cumulated memory: 115216 KiB

[startup+25.5002 s]
/proc/loadavg: 2.85 3.06 3.65 5/261 814446
/proc/meminfo: memFree=125979572/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=130628 memory=124172 CPUtime=25.4 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 24731 0 0 0 2535 5 0 0 20 0 1 0 159229382 133763072 31043 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 32657 31043 421 379 0 32191 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 140560 KiB
Current children cumulated memory: 126852 KiB

[startup+51.1055 s]
/proc/loadavg: 3.24 3.14 3.66 5/261 814451
/proc/meminfo: memFree=125973284/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=161468 memory=131948 CPUtime=50.93 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 26710 0 0 0 5086 7 0 0 20 0 1 0 159229382 165343232 32987 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 40367 32987 421 379 0 39901 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 171400 KiB
Current children cumulated memory: 134628 KiB

[startup+102.3 s]
/proc/loadavg: 3.71 3.29 3.69 5/261 814460
/proc/meminfo: memFree=125877904/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=161468 memory=153056 CPUtime=101.95 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 26888 0 0 0 10188 7 0 0 20 0 1 0 159229382 165343232 38264 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 40367 38264 421 379 0 39901 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 171400 KiB
Current children cumulated memory: 155736 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 3.45 3.72 5/261 814471
/proc/meminfo: memFree=118762208/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=173808 memory=165412 CPUtime=161.76 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 27565 0 0 0 16168 8 0 0 20 0 1 0 159229382 177979392 41353 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 43452 41353 421 379 0 42986 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 183740 KiB
Current children cumulated memory: 168092 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.57 3.74 5/261 814481
/proc/meminfo: memFree=109316448/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=173808 memory=167460 CPUtime=221.56 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 27686 0 0 0 22147 9 0 0 20 0 1 0 159229382 177979392 41865 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 43452 41865 421 379 0 42986 0
Current children cumulated CPU time: 221.56 s

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

/proc/loadavg: 4.09 4.12 4.09 5/262 816219
/proc/meminfo: memFree=125984252/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=316148 memory=312912 CPUtime=3031.67 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 60707 0 0 0 303085 82 0 0 20 0 1 0 159229382 323735552 78228 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 79037 78228 421 379 0 78571 0
Current children cumulated CPU time: 3031.67 s
Current children cumulated vsize: 326080 KiB
Current children cumulated memory: 315592 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 816229
/proc/meminfo: memFree=126004640/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=285328 memory=275272 CPUtime=3091.44 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 61594 0 0 0 309060 84 0 0 20 0 1 0 159229382 292175872 68818 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 71332 68818 421 379 0 70866 0
Current children cumulated CPU time: 3091.44 s
Current children cumulated vsize: 295260 KiB
Current children cumulated memory: 277952 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/261 816241
/proc/meminfo: memFree=125959004/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=316148 memory=304212 CPUtime=3151.21 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 62268 0 0 0 315036 85 0 0 20 0 1 0 159229382 323735552 76053 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 79037 76053 421 379 0 78571 0
Current children cumulated CPU time: 3151.21 s
Current children cumulated vsize: 326080 KiB
Current children cumulated memory: 306892 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/261 816252
/proc/meminfo: memFree=126022396/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=236008 memory=234048 CPUtime=3210.97 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 63204 0 0 0 321011 86 0 0 20 0 1 0 159229382 241672192 58512 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 59002 58512 421 379 0 58536 0
Current children cumulated CPU time: 3210.97 s
Current children cumulated vsize: 245940 KiB
Current children cumulated memory: 236728 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/259 816263
/proc/meminfo: memFree=125955664/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=316148 memory=302164 CPUtime=3270.74 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 63965 0 0 0 326986 88 0 0 20 0 1 0 159229382 323735552 75541 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 79037 75541 421 379 0 78571 0
Current children cumulated CPU time: 3270.74 s
Current children cumulated vsize: 326080 KiB
Current children cumulated memory: 304844 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 816273
/proc/meminfo: memFree=125905800/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=366236 memory=327792 CPUtime=3330.51 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 64803 0 0 0 332962 89 0 0 20 0 1 0 159229382 375025664 81948 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 91559 81948 421 379 0 91093 0
Current children cumulated CPU time: 3330.51 s
Current children cumulated vsize: 376168 KiB
Current children cumulated memory: 330472 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 816284
/proc/meminfo: memFree=126078816/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=236008 memory=234048 CPUtime=3390.28 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 64918 0 0 0 338939 89 0 0 20 0 1 0 159229382 241672192 58512 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 59002 58512 421 379 0 58536 0
Current children cumulated CPU time: 3390.28 s
Current children cumulated vsize: 245940 KiB
Current children cumulated memory: 236728 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/259 816294
/proc/meminfo: memFree=125920044/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=316148 memory=302056 CPUtime=3450.05 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 65699 0 0 0 344915 90 0 0 20 0 1 0 159229382 323735552 75514 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 79037 75514 421 379 0 78571 0
Current children cumulated CPU time: 3450.05 s
Current children cumulated vsize: 326080 KiB
Current children cumulated memory: 304736 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 816304
/proc/meminfo: memFree=125888156/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=366236 memory=329840 CPUtime=3509.83 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 66618 0 0 0 350891 92 0 0 20 0 1 0 159229382 375025664 82460 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 91559 82460 421 379 0 91093 0
Current children cumulated CPU time: 3509.83 s
Current children cumulated vsize: 376168 KiB
Current children cumulated memory: 332520 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/260 816318
/proc/meminfo: memFree=125938348/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=285328 memory=279356 CPUtime=3569.62 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 66836 0 0 0 356869 93 0 0 20 0 1 0 159229382 292175872 69839 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 71332 69839 421 379 0 70866 0
Current children cumulated CPU time: 3569.62 s
Current children cumulated vsize: 295260 KiB
Current children cumulated memory: 282036 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/260 816524
/proc/meminfo: memFree=126596532/131524600 swapFree=131071996/131071996
[pid=814438] ppid=814435 vsize=9932 memory=2680 CPUtime=0 cores=0,2
/proc/814438/stat : 814438 (naps-1.02b5.sh) S 814435 814438 814250 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 159229381 10170368 670 134679101440 94386531835904 94386532915224 140735118394576 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94386535013680 94386535060868 94386566471680 140735118398432 140735118398559 140735118398559 140735118405574 0
/proc/814438/statm: 2483 670 592 264 0 134 0
[pid=814443] ppid=814438 vsize=316148 memory=300116 CPUtime=3600.02 cores=0,2
/proc/814443/stat : 814443 (naps-1.02b5) R 814438 814438 814250 0 -1 4194304 67508 0 0 0 359908 94 0 0 20 0 1 0 159229382 323735552 75029 134679101440 4194304 5746509 140730076488064 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 36749312 140730076496879 140730076496993 140730076496993 140730076504009 0
/proc/814443/statm: 79037 75029 421 379 0 78571 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 326080 KiB
Current children cumulated memory: 302796 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.09 s, system=0.947633 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): 3612.8
CPU time (s): 3600.03
CPU user time (s): 3599.09
CPU system time (s): 0.947633
CPU usage (%): 99.6465
Max. virtual memory (cumulated for all children) (KiB): 376168
Max. memory (cumulated for all children) (KiB): 349056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.09
system time used= 0.947633
maximum resident set size= 346376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67989
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= 71
involuntary context switches= 24677


# summary of solver processes directly reported to runsolver:
#   pid: 814438
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.09
#   total CPU system time (s): 0.947633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25504 second user time and 17.8595 second system time

The end