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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435022-1721103581/watcher-4435022-1721103581 -o /tmp/evaluation-result-4435022-1721103581/solver-4435022-1721103581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721103593-837410 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435022-1721103581.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=837452, runsolver pid=837445
Current StackSize limit: 8192 KiB


[startup+0.100519 s]*
/proc/loadavg: 3.56 4.00 4.05 5/257 837487
/proc/meminfo: memFree=126394568/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=34252 memory=32364 CPUtime=0.09 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 6771 0 0 0 9 0 0 0 20 0 1 0 162521928 35074048 8091 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 8563 8091 421 379 0 8097 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44184 KiB
Current children cumulated memory: 35196 KiB

[startup+0.205868 s]*
/proc/loadavg: 3.56 4.00 4.05 4/256 837501
/proc/meminfo: memFree=126349756/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=34252 memory=32888 CPUtime=0.19 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 6881 0 0 0 19 0 0 0 20 0 1 0 162521928 35074048 8222 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 8563 8222 421 379 0 8097 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44184 KiB
Current children cumulated memory: 35720 KiB

[startup+0.305499 s]*
/proc/loadavg: 3.56 4.00 4.05 7/256 837510
/proc/meminfo: memFree=126304792/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=34252 memory=32888 CPUtime=0.29 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 6881 0 0 0 29 0 0 0 20 0 1 0 162521928 35074048 8222 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 8563 8222 421 379 0 8097 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44184 KiB
Current children cumulated memory: 35720 KiB

[startup+0.700216 s]
/proc/loadavg: 3.56 4.00 4.05 5/260 837537
/proc/meminfo: memFree=126206420/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=34252 memory=32888 CPUtime=0.68 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 6881 0 0 0 68 0 0 0 20 0 1 0 162521928 35074048 8222 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 8563 8222 421 379 0 8097 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44184 KiB
Current children cumulated memory: 35720 KiB

[startup+1.50023 s]
/proc/loadavg: 3.59 4.00 4.05 5/260 837537
/proc/meminfo: memFree=126071108/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=34252 memory=32888 CPUtime=1.48 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 6881 0 0 0 148 0 0 0 20 0 1 0 162521928 35074048 8222 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 8563 8222 421 379 0 8097 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44184 KiB
Current children cumulated memory: 35720 KiB

[startup+3.10575 s]
/proc/loadavg: 3.59 4.00 4.05 5/260 837539
/proc/meminfo: memFree=125384076/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=36928 memory=35452 CPUtime=3.08 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 7021 0 0 0 308 0 0 0 20 0 1 0 162521928 37814272 8863 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 9232 8863 421 379 0 8766 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 46860 KiB
Current children cumulated memory: 38284 KiB

[startup+6.30024 s]
/proc/loadavg: 3.63 4.00 4.05 5/260 837539
/proc/meminfo: memFree=125120160/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=39648 memory=38088 CPUtime=6.27 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 7693 0 0 0 626 1 0 0 20 0 1 0 162521928 40599552 9522 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 9912 9522 421 379 0 9446 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49580 KiB
Current children cumulated memory: 40920 KiB

[startup+12.7003 s]
/proc/loadavg: 3.74 4.01 4.06 5/262 837544
/proc/meminfo: memFree=125126684/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=46064 memory=44640 CPUtime=12.65 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 9235 0 0 0 1264 1 0 0 20 0 1 0 162521928 47169536 11160 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 11516 11160 421 379 0 11050 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 55996 KiB
Current children cumulated memory: 47472 KiB

[startup+25.5003 s]
/proc/loadavg: 3.86 4.03 4.06 5/262 837546
/proc/meminfo: memFree=125107884/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=60276 memory=55444 CPUtime=25.41 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 9933 0 0 0 2540 1 0 0 20 0 1 0 162521928 61722624 13861 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 15069 13861 421 379 0 14603 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 70208 KiB
Current children cumulated memory: 58276 KiB

[startup+51.1057 s]
/proc/loadavg: 3.91 4.03 4.06 5/262 837549
/proc/meminfo: memFree=125075096/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=67876 memory=65888 CPUtime=50.95 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 10499 0 0 0 5093 2 0 0 20 0 1 0 162521928 69505024 16472 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 16969 16472 421 379 0 16503 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 77808 KiB
Current children cumulated memory: 68720 KiB

[startup+102.3 s]
/proc/loadavg: 4.01 4.04 4.06 5/262 837559
/proc/meminfo: memFree=124971856/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=98336 memory=90684 CPUtime=101.99 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 11219 0 0 0 10196 3 0 0 20 0 1 0 162521928 100696064 22671 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 24584 22671 421 379 0 24118 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 108268 KiB
Current children cumulated memory: 93516 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.06 4.06 5/261 837570
/proc/meminfo: memFree=124945648/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=110820 memory=98168 CPUtime=161.81 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 11616 0 0 0 16178 3 0 0 20 0 1 0 162521928 113479680 24542 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 27705 24542 421 379 0 27239 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 120752 KiB
Current children cumulated memory: 101000 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.07 4.07 5/261 837582
/proc/meminfo: memFree=124944144/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=110820 memory=108812 CPUtime=221.63 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 11755 0 0 0 22160 3 0 0 20 0 1 0 162521928 113479680 27203 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 27705 27203 421 379 0 27239 0
Current children cumulated CPU time: 221.63 s

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

/proc/loadavg: 4.10 4.09 4.09 5/261 839283
/proc/meminfo: memFree=124535260/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=262628 memory=244068 CPUtime=3033.46 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 50673 0 0 0 303271 75 0 0 20 0 1 0 162521928 268931072 61017 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 65657 61017 421 379 0 65191 0
Current children cumulated CPU time: 3033.46 s
Current children cumulated vsize: 272560 KiB
Current children cumulated memory: 246900 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/261 839294
/proc/meminfo: memFree=124580336/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=231808 memory=229732 CPUtime=3093.28 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 50988 0 0 0 309251 77 0 0 20 0 1 0 162521928 237371392 57433 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 57952 57433 421 379 0 57486 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 241740 KiB
Current children cumulated memory: 232564 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/261 839304
/proc/meminfo: memFree=124512848/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=312716 memory=266388 CPUtime=3153.09 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 52132 0 0 0 315231 78 0 0 20 0 1 0 162521928 320221184 66597 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 78179 66597 421 379 0 77713 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 322648 KiB
Current children cumulated memory: 269220 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/260 839315
/proc/meminfo: memFree=124536972/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=231808 memory=225612 CPUtime=3212.9 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 52443 0 0 0 321211 79 0 0 20 0 1 0 162521928 237371392 56403 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 57952 56403 421 379 0 57486 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 241740 KiB
Current children cumulated memory: 228444 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/260 839326
/proc/meminfo: memFree=124554868/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=312716 memory=266404 CPUtime=3272.71 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 53588 0 0 0 327191 80 0 0 20 0 1 0 162521928 320221184 66601 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 78179 66601 421 379 0 77713 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 322648 KiB
Current children cumulated memory: 269236 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/258 839336
/proc/meminfo: memFree=124537716/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=262628 memory=233760 CPUtime=3332.53 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 54415 0 0 0 333171 82 0 0 20 0 1 0 162521928 268931072 58440 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 65657 58440 421 379 0 65191 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 272560 KiB
Current children cumulated memory: 236592 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/258 839347
/proc/meminfo: memFree=124486064/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=312716 memory=270472 CPUtime=3392.35 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 55050 0 0 0 339151 84 0 0 20 0 1 0 162521928 320221184 67618 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 78179 67618 421 379 0 77713 0
Current children cumulated CPU time: 3392.35 s
Current children cumulated vsize: 322648 KiB
Current children cumulated memory: 273304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 839358
/proc/meminfo: memFree=124558396/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=262628 memory=237844 CPUtime=3452.16 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 55880 0 0 0 345131 85 0 0 20 0 1 0 162521928 268931072 59461 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 65657 59461 421 379 0 65191 0
Current children cumulated CPU time: 3452.16 s
Current children cumulated vsize: 272560 KiB
Current children cumulated memory: 240676 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/258 839369
/proc/meminfo: memFree=124450452/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=312716 memory=276836 CPUtime=3511.98 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 56518 0 0 0 351112 86 0 0 20 0 1 0 162521928 320221184 69209 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 78179 69209 421 379 0 77713 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 322648 KiB
Current children cumulated memory: 279668 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 839379
/proc/meminfo: memFree=124497800/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=262628 memory=246116 CPUtime=3571.8 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 57258 0 0 0 357092 88 0 0 20 0 1 0 162521928 268931072 61529 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 65657 61529 421 379 0 65191 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 272560 KiB
Current children cumulated memory: 248948 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 839383
/proc/meminfo: memFree=124501720/131524600 swapFree=131071996/131071996
[pid=837452] ppid=837445 vsize=9932 memory=2832 CPUtime=0 cores=5,7
/proc/837452/stat : 837452 (naps-1.02b5.sh) S 837445 837452 837397 0 -1 4194304 222 247 0 0 0 0 0 0 20 0 1 0 162521928 10170368 708 134679101440 93964986388480 93964987467800 140721149071392 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93964989566256 93964989613444 93964997521408 140721149080544 140721149080671 140721149080671 140721149087686 0
/proc/837452/statm: 2483 708 632 264 0 134 0
[pid=837466] ppid=837452 vsize=262628 memory=261204 CPUtime=3600 cores=5,7
/proc/837466/stat : 837466 (naps-1.02b5) R 837452 837452 837397 0 -1 4194304 57517 0 0 0 359912 88 0 0 20 0 1 0 162521928 268931072 65301 134679101440 4194304 5746509 140737051025888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 25776128 140737051034607 140737051034721 140737051034721 140737051041737 0
/proc/837466/statm: 65657 65301 421 379 0 65191 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 272560 KiB
Current children cumulated memory: 264036 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.13 s, system=0.890694 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.6
CPU time (s): 3600.02
CPU user time (s): 3599.13
CPU system time (s): 0.890694
CPU usage (%): 99.707
Max. virtual memory (cumulated for all children) (KiB): 322648
Max. memory (cumulated for all children) (KiB): 287652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.13
system time used= 0.890694
maximum resident set size= 285028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58001
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= 31
involuntary context switches= 3217


# summary of solver processes directly reported to runsolver:
#   pid: 837452
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.13
#   total CPU system time (s): 0.890694

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08706 second user time and 19.1958 second system time

The end