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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435126-1721055579/watcher-4435126-1721055579 -o /tmp/evaluation-result-4435126-1721055579/solver-4435126-1721055579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721055591-805606 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435126-1721055579.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=805653, runsolver pid=805648
Current StackSize limit: 8192 KiB


[startup+0.10075 s]*
/proc/loadavg: 2.81 3.04 3.33 5/264 805685
/proc/meminfo: memFree=124405100/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=15328 memory=10512 CPUtime=0.09 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 2358 0 0 0 9 0 0 0 20 0 1 0 157718095 15695872 2628 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 3832 2628 421 379 0 3366 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25260 KiB
Current children cumulated memory: 13172 KiB

[startup+0.206749 s]*
/proc/loadavg: 2.81 3.04 3.33 4/261 805685
/proc/meminfo: memFree=124402180/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=16588 memory=11716 CPUtime=0.19 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 2765 0 0 0 19 0 0 0 20 0 1 0 157718095 16986112 2929 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 4147 2929 421 379 0 3681 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26520 KiB
Current children cumulated memory: 14376 KiB

[startup+0.306768 s]*
/proc/loadavg: 2.81 3.04 3.33 4/260 805699
/proc/meminfo: memFree=124387660/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=17848 memory=12780 CPUtime=0.29 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 3166 0 0 0 29 0 0 0 20 0 1 0 157718095 18276352 3195 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 4462 3195 421 379 0 3996 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 27780 KiB
Current children cumulated memory: 15440 KiB

[startup+0.700193 s]
/proc/loadavg: 2.81 3.04 3.33 5/264 805735
/proc/meminfo: memFree=124352412/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=20496 memory=15148 CPUtime=0.67 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 4121 0 0 0 67 0 0 0 20 0 1 0 157718095 20987904 3787 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 5124 3787 421 379 0 4658 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 30428 KiB
Current children cumulated memory: 17808 KiB

[startup+1.50023 s]
/proc/loadavg: 2.81 3.04 3.33 6/264 805735
/proc/meminfo: memFree=124205928/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=91676 memory=77596 CPUtime=1.46 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 17710 0 0 0 145 1 0 0 20 0 1 0 157718095 93876224 19399 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 22919 19399 421 379 0 22453 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 80256 KiB

[startup+3.10614 s]
/proc/loadavg: 2.81 3.04 3.33 5/264 805737
/proc/meminfo: memFree=123885276/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=217372 memory=182008 CPUtime=3.07 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 37541 0 0 0 302 5 0 0 20 0 1 0 157718095 222588928 45502 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 54343 45502 421 379 0 53877 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 227304 KiB
Current children cumulated memory: 184668 KiB

[startup+6.30024 s]
/proc/loadavg: 2.90 3.06 3.33 5/264 805787
/proc/meminfo: memFree=123625252/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=340768 memory=307984 CPUtime=6.25 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 48505 0 0 0 616 9 0 0 20 0 1 0 157718095 348946432 76996 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 85192 76996 421 379 0 84726 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 350700 KiB
Current children cumulated memory: 310644 KiB

[startup+12.7002 s]
/proc/loadavg: 2.99 3.07 3.34 5/266 805791
/proc/meminfo: memFree=123477864/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=494700 memory=461608 CPUtime=12.64 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 55281 0 0 0 1251 13 0 0 20 0 1 0 157718095 506572800 115402 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 123675 115402 421 379 0 123209 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 504632 KiB
Current children cumulated memory: 464268 KiB

[startup+25.5003 s]
/proc/loadavg: 3.22 3.12 3.35 5/265 805794
/proc/meminfo: memFree=123324192/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=547296 memory=507088 CPUtime=25.4 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 57055 0 0 0 2526 14 0 0 20 0 1 0 157718095 560431104 126772 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 136824 126772 421 379 0 136358 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 557228 KiB
Current children cumulated memory: 509748 KiB

[startup+51.1061 s]
/proc/loadavg: 3.56 3.21 3.37 5/265 805797
/proc/meminfo: memFree=122962788/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=566152 memory=518796 CPUtime=50.94 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 57574 0 0 0 5079 15 0 0 20 0 1 0 157718095 579739648 129699 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 141538 129699 421 379 0 141072 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 576084 KiB
Current children cumulated memory: 521456 KiB

[startup+102.3 s]
/proc/loadavg: 3.88 3.35 3.41 5/265 805817
/proc/meminfo: memFree=122744312/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=585404 memory=543624 CPUtime=101.99 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 58342 0 0 0 10184 15 0 0 20 0 1 0 157718095 599453696 135906 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 146351 135906 421 379 0 145885 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 595336 KiB
Current children cumulated memory: 546284 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.49 3.46 5/263 805827
/proc/meminfo: memFree=122586984/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=585404 memory=548404 CPUtime=161.82 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 59104 0 0 0 16166 16 0 0 20 0 1 0 157718095 599453696 137101 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 146351 137101 421 379 0 145885 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 595336 KiB
Current children cumulated memory: 551064 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.60 3.50 5/262 805838
/proc/meminfo: memFree=122532572/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=585404 memory=548944 CPUtime=221.66 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 59952 0 0 0 22148 18 0 0 20 0 1 0 157718095 599453696 137236 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 146351 137236 421 379 0 145885 0
Current children cumulated CPU time: 221.66 s

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

/proc/loadavg: 4.16 4.15 4.11 5/263 807087
/proc/meminfo: memFree=121966792/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=768616 memory=692480 CPUtime=3093.59 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 109596 0 0 0 309262 97 0 0 20 0 1 0 157718095 787062784 173120 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 192154 173120 421 379 0 191688 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 778548 KiB
Current children cumulated memory: 695140 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 807097
/proc/meminfo: memFree=121935076/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=687708 memory=652900 CPUtime=3153.44 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 110213 0 0 0 315246 98 0 0 20 0 1 0 157718095 704212992 163225 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 171927 163225 421 379 0 171461 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 697640 KiB
Current children cumulated memory: 655560 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/263 807107
/proc/meminfo: memFree=121934864/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=768616 memory=686120 CPUtime=3213.28 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 111548 0 0 0 321229 99 0 0 20 0 1 0 157718095 787062784 171530 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 192154 171530 421 379 0 191688 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 778548 KiB
Current children cumulated memory: 688780 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 807119
/proc/meminfo: memFree=121930764/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=687708 memory=641928 CPUtime=3273.12 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 112009 0 0 0 327212 100 0 0 20 0 1 0 157718095 704212992 160482 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 171927 160482 421 379 0 171461 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 697640 KiB
Current children cumulated memory: 644588 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 807517
/proc/meminfo: memFree=121952316/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=718528 memory=679060 CPUtime=3332.97 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 112794 0 0 0 333196 101 0 0 20 0 1 0 157718095 735772672 169765 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 179632 169765 421 379 0 179166 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 728460 KiB
Current children cumulated memory: 681720 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 807527
/proc/meminfo: memFree=121984732/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=768616 memory=706888 CPUtime=3392.81 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 113808 0 0 0 339178 103 0 0 20 0 1 0 157718095 787062784 176722 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 192154 176722 421 379 0 191688 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 778548 KiB
Current children cumulated memory: 709548 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 807540
/proc/meminfo: memFree=121964920/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=718528 memory=670868 CPUtime=3452.66 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 114816 0 0 0 345162 104 0 0 20 0 1 0 157718095 735772672 167717 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 179632 167717 421 379 0 179166 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 728460 KiB
Current children cumulated memory: 673528 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 807720
/proc/meminfo: memFree=121982320/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=768616 memory=698672 CPUtime=3512.5 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 115840 0 0 0 351145 105 0 0 20 0 1 0 157718095 787062784 174668 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 192154 174668 421 379 0 191688 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 778548 KiB
Current children cumulated memory: 701332 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/264 807730
/proc/meminfo: memFree=121969672/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=720632 memory=664240 CPUtime=3572.34 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 117290 0 0 0 357127 107 0 0 20 0 1 0 157718095 737927168 166060 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 180158 166060 421 379 0 179692 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 730564 KiB
Current children cumulated memory: 666900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 807736
/proc/meminfo: memFree=122017232/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=721048 memory=681124 CPUtime=3600.08 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 117547 0 0 0 359900 108 0 0 20 0 1 0 157718095 738353152 170281 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 180262 170281 421 379 0 179796 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 730980 KiB
Current children cumulated memory: 683784 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.01 s, system=1.08748 s

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

[startup+3610.11 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 807736
/proc/meminfo: memFree=122017232/131524600 swapFree=131071996/131071996
[pid=805653] ppid=805648 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/805653/stat : 805653 (naps-1.02b5.sh) S 805648 805653 801007 0 -1 4194304 223 242 0 0 0 0 0 0 20 0 1 0 157718094 10170368 665 134679101440 94220255236096 94220256315416 140732813182800 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94220258413872 94220258461060 94220273074176 140732813186016 140732813186143 140732813186143 140732813193158 0
/proc/805653/statm: 2483 665 587 264 0 134 0
[pid=805674] ppid=805653 vsize=721048 memory=681124 CPUtime=3600.08 cores=4,6
/proc/805674/stat : 805674 (naps-1.02b5) R 805653 805653 801007 0 -1 4194304 117547 0 0 0 359900 108 0 0 20 0 1 0 157718095 738353152 170281 134679101440 4194304 5746509 140736354841744 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 6295552 140736354845679 140736354845793 140736354845793 140736354852809 0
/proc/805674/statm: 180262 170281 421 379 0 179796 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 730980 KiB
Current children cumulated memory: 683784 KiB

Child status: 10

Real time (s): 3610.11
CPU time (s): 3600.1
CPU user time (s): 3599.01
CPU system time (s): 1.08748
CPU usage (%): 99.7226
Max. virtual memory (cumulated for all children) (KiB): 829972
Max. memory (cumulated for all children) (KiB): 742980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.01
system time used= 1.08748
maximum resident set size= 750320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118026
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= 97
involuntary context switches= 2967


# summary of solver processes directly reported to runsolver:
#   pid: 805653
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.01
#   total CPU system time (s): 1.08748

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86921 second user time and 16.9475 second system time

The end