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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435341-1721162645/watcher-4435341-1721162645 -o /tmp/evaluation-result-4435341-1721162645/solver-4435341-1721162645 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721162656-876473 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435341-1721162645.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
solver pid=876799, runsolver pid=876796
Current StackSize limit: 8192 KiB


[startup+0.100859 s]*
/proc/loadavg: 3.46 4.02 4.12 6/266 876804
/proc/meminfo: memFree=124658328/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=5836 memory=5160 CPUtime=0.1 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 1026 0 0 0 10 0 0 0 20 0 1 0 168435061 5976064 1290 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 1459 1290 421 379 0 993 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15768 KiB
Current children cumulated memory: 7916 KiB

[startup+0.205433 s]*
/proc/loadavg: 3.46 4.02 4.12 5/266 876804
/proc/meminfo: memFree=124611288/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=60768 memory=53804 CPUtime=0.2 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 11697 0 0 0 19 1 0 0 20 0 1 0 168435061 62226432 13451 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 15192 13451 421 379 0 14726 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70700 KiB
Current children cumulated memory: 56560 KiB

[startup+0.306134 s]*
/proc/loadavg: 3.46 4.02 4.12 5/266 876804
/proc/meminfo: memFree=124568272/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=102144 memory=91628 CPUtime=0.29 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 20103 0 0 0 27 2 0 0 20 0 1 0 168435061 104595456 22907 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 25536 22907 421 379 0 25070 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112076 KiB
Current children cumulated memory: 94384 KiB

[startup+0.70027 s]
/proc/loadavg: 3.46 4.02 4.12 5/266 876804
/proc/meminfo: memFree=124540288/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=127964 memory=121376 CPUtime=0.68 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 27118 0 0 0 64 4 0 0 20 0 1 0 168435061 131035136 30344 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 31991 30344 421 379 0 31525 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 137896 KiB
Current children cumulated memory: 124132 KiB

[startup+1.50027 s]
/proc/loadavg: 3.46 4.02 4.12 5/266 876804
/proc/meminfo: memFree=124529152/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=135096 memory=126520 CPUtime=1.48 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 28066 0 0 0 144 4 0 0 20 0 1 0 168435061 138338304 31630 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 33774 31630 421 379 0 33308 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 145028 KiB
Current children cumulated memory: 129276 KiB

[startup+3.10597 s]
/proc/loadavg: 3.51 4.02 4.12 5/266 876804
/proc/meminfo: memFree=124515792/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=135096 memory=128568 CPUtime=3.08 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 28071 0 0 0 304 4 0 0 20 0 1 0 168435061 138338304 32142 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 33774 32142 421 379 0 33308 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 145028 KiB
Current children cumulated memory: 131324 KiB

[startup+6.30025 s]
/proc/loadavg: 3.51 4.02 4.12 5/266 876806
/proc/meminfo: memFree=124505088/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=153772 memory=134712 CPUtime=6.27 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 28591 0 0 0 622 5 0 0 20 0 1 0 168435061 157462528 33678 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 38443 33678 421 379 0 37977 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 163704 KiB
Current children cumulated memory: 137468 KiB

[startup+12.7003 s]
/proc/loadavg: 3.58 4.02 4.12 5/266 876906
/proc/meminfo: memFree=124418272/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=153772 memory=147740 CPUtime=12.65 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 28808 0 0 0 1260 5 0 0 20 0 1 0 168435061 157462528 36935 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 38443 36935 421 379 0 37977 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 163704 KiB
Current children cumulated memory: 150496 KiB

[startup+25.5003 s]
/proc/loadavg: 3.65 4.02 4.12 5/266 876909
/proc/meminfo: memFree=124276004/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=153772 memory=147796 CPUtime=25.43 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 29118 0 0 0 2537 6 0 0 20 0 1 0 168435061 157462528 36949 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 38443 36949 421 379 0 37977 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 163704 KiB
Current children cumulated memory: 150552 KiB

[startup+51.1061 s]
/proc/loadavg: 3.83 4.04 4.12 5/266 876912
/proc/meminfo: memFree=122611456/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=172628 memory=165900 CPUtime=50.96 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 29455 0 0 0 5090 6 0 0 20 0 1 0 168435061 176771072 41475 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 43157 41475 421 379 0 42691 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 182560 KiB
Current children cumulated memory: 168656 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.06 4.12 5/263 876920
/proc/meminfo: memFree=108753212/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=172628 memory=170944 CPUtime=102.02 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 29883 0 0 0 10196 6 0 0 20 0 1 0 168435061 176771072 42736 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 43157 42736 421 379 0 42691 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 182560 KiB
Current children cumulated memory: 173700 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.08 4.12 5/264 877081
/proc/meminfo: memFree=124344728/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=172628 memory=171120 CPUtime=161.86 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 30004 0 0 0 16180 6 0 0 20 0 1 0 168435061 176771072 42780 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 43157 42780 421 379 0 42691 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 182560 KiB
Current children cumulated memory: 173876 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.08 4.11 5/263 877093
/proc/meminfo: memFree=124310124/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=177140 memory=175560 CPUtime=221.72 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 31117 0 0 0 22165 7 0 0 20 0 1 0 168435061 181391360 43890 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 44285 43890 421 379 0 43819 0
Current children cumulated CPU time: 221.72 s

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

/proc/loadavg: 4.15 4.13 4.09 5/262 878810
/proc/meminfo: memFree=124040000/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=374760 memory=359296 CPUtime=3034.45 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 57185 0 0 0 303402 43 0 0 20 0 1 0 168435061 383754240 89824 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 93690 89824 421 379 0 93224 0
Current children cumulated CPU time: 3034.45 s
Current children cumulated vsize: 384692 KiB
Current children cumulated memory: 362052 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 878820
/proc/meminfo: memFree=123939572/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=456148 memory=381824 CPUtime=3094.3 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 57790 0 0 0 309386 44 0 0 20 0 1 0 168435061 467095552 95456 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 114037 95456 421 379 0 113571 0
Current children cumulated CPU time: 3094.3 s
Current children cumulated vsize: 466080 KiB
Current children cumulated memory: 384580 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/260 878831
/proc/meminfo: memFree=124133684/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=244532 memory=241476 CPUtime=3154.15 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 57911 0 0 0 315371 44 0 0 20 0 1 0 168435061 250400768 60369 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 61133 60369 421 379 0 60667 0
Current children cumulated CPU time: 3154.15 s
Current children cumulated vsize: 254464 KiB
Current children cumulated memory: 244232 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/260 878842
/proc/meminfo: memFree=124012444/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=324672 memory=296468 CPUtime=3214 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 59037 0 0 0 321354 46 0 0 20 0 1 0 168435061 332464128 74117 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 81168 74117 421 379 0 80702 0
Current children cumulated CPU time: 3214 s
Current children cumulated vsize: 334604 KiB
Current children cumulated memory: 299224 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.18 4.11 5/259 878852
/proc/meminfo: memFree=123964016/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=324672 memory=321228 CPUtime=3273.84 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 59113 0 0 0 327338 46 0 0 20 0 1 0 168435061 332464128 80307 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 81168 80307 421 379 0 80702 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 334604 KiB
Current children cumulated memory: 323984 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.20 4.12 5/259 878864
/proc/meminfo: memFree=123979748/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=374760 memory=340864 CPUtime=3333.68 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 59493 0 0 0 333322 46 0 0 20 0 1 0 168435061 383754240 85216 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 93690 85216 421 379 0 93224 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 384692 KiB
Current children cumulated memory: 343620 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/261 878879
/proc/meminfo: memFree=124012104/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=293852 memory=273728 CPUtime=3393.52 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 60022 0 0 0 339305 47 0 0 20 0 1 0 168435061 300904448 68432 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 73463 68432 421 379 0 72997 0
Current children cumulated CPU time: 3393.52 s
Current children cumulated vsize: 303784 KiB
Current children cumulated memory: 276484 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/261 878891
/proc/meminfo: memFree=124047396/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=324672 memory=294420 CPUtime=3453.37 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 60694 0 0 0 345289 48 0 0 20 0 1 0 168435061 332464128 73605 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 81168 73605 421 379 0 80702 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 334604 KiB
Current children cumulated memory: 297176 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/261 878902
/proc/meminfo: memFree=123992980/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=324672 memory=315084 CPUtime=3513.21 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 60769 0 0 0 351273 48 0 0 20 0 1 0 168435061 332464128 78771 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 81168 78771 421 379 0 80702 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 334604 KiB
Current children cumulated memory: 317840 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.13 4.10 5/261 878913
/proc/meminfo: memFree=123940688/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=374760 memory=336740 CPUtime=3573.06 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 61083 0 0 0 357257 49 0 0 20 0 1 0 168435061 383754240 84185 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 93690 84185 421 379 0 93224 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 384692 KiB
Current children cumulated memory: 339496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.10 4.13 4.10 6/258 878927
/proc/meminfo: memFree=124110048/131524596 swapFree=131071996/131071996
[pid=876799] ppid=876796 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/876799/stat : 876799 (naps-1.02b5.sh) S 876796 876799 876461 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 168435061 10170368 689 134679101440 94010233823232 94010234902552 140734419398048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94010237001008 94010237048196 94010245439488 140734419403744 140734419403871 140734419403871 140734419410886 0
/proc/876799/statm: 2483 689 610 264 0 134 0
[pid=876804] ppid=876799 vsize=374760 memory=342912 CPUtime=3600.09 cores=1,3
/proc/876804/stat : 876804 (naps-1.02b5) R 876799 876799 876461 0 -1 4194304 61157 0 0 0 359960 49 0 0 20 0 1 0 168435061 383754240 85728 134679101440 4194304 5746509 140722663575024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 38195200 140722663576559 140722663576673 140722663576673 140722663583689 0
/proc/876804/statm: 93690 85728 421 379 0 93224 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 384692 KiB
Current children cumulated memory: 345668 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.6 s, system=0.502159 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): 3609.4
CPU time (s): 3600.11
CPU user time (s): 3599.6
CPU system time (s): 0.502159
CPU usage (%): 99.7424
Max. virtual memory (cumulated for all children) (KiB): 466080
Max. memory (cumulated for all children) (KiB): 411204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.61
system time used= 0.502159
maximum resident set size= 408448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61634
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= 102
involuntary context switches= 2177


# summary of solver processes directly reported to runsolver:
#   pid: 876799
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.6
#   total CPU system time (s): 0.502159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.09553 second user time and 18.4448 second system time

The end