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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427038-1720905572/watcher-4427038-1720905572 -o /tmp/evaluation-result-4427038-1720905572/solver-4427038-1720905572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1720905577-729966 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427038-1720905572.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=730141, runsolver pid=730138
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 1.80 3.00 3.65 5/259 730146
/proc/meminfo: memFree=127054188/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=11828 memory=9636 CPUtime=0.09 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 2218 0 0 0 9 0 0 0 20 0 1 0 142728087 12111872 2409 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 2957 2409 421 379 0 2491 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21760 KiB
Current children cumulated memory: 12336 KiB

[startup+0.205587 s]*
/proc/loadavg: 1.80 3.00 3.65 5/259 730146
/proc/meminfo: memFree=127042240/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=16196 memory=13264 CPUtime=0.19 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 2630 0 0 0 19 0 0 0 20 0 1 0 142728087 16584704 3316 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 4049 3316 421 379 0 3583 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26128 KiB
Current children cumulated memory: 15964 KiB

[startup+0.305553 s]*
/proc/loadavg: 1.80 3.00 3.65 5/259 730146
/proc/meminfo: memFree=127032768/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=17532 memory=16432 CPUtime=0.29 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 3453 0 0 0 29 0 0 0 20 0 1 0 142728087 17952768 4108 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 4383 4108 421 379 0 3917 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 27464 KiB
Current children cumulated memory: 19132 KiB

[startup+0.700277 s]
/proc/loadavg: 1.80 3.00 3.65 5/259 730146
/proc/meminfo: memFree=126994652/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=27308 memory=21924 CPUtime=0.68 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 3902 0 0 0 67 1 0 0 20 0 1 0 142728087 27963392 5481 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 6827 5481 421 379 0 6361 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37240 KiB
Current children cumulated memory: 24624 KiB

[startup+1.50028 s]
/proc/loadavg: 1.80 3.00 3.65 5/259 730146
/proc/meminfo: memFree=126925852/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=27308 memory=26344 CPUtime=1.48 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 4495 0 0 0 147 1 0 0 20 0 1 0 142728087 27963392 6586 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 6827 6586 421 379 0 6361 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37240 KiB
Current children cumulated memory: 29044 KiB

[startup+3.10546 s]
/proc/loadavg: 1.80 3.00 3.65 5/259 730146
/proc/meminfo: memFree=126774436/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=31728 memory=30792 CPUtime=3.08 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 5293 0 0 0 306 2 0 0 20 0 1 0 142728087 32489472 7698 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 7932 7698 421 379 0 7466 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 33492 KiB

[startup+6.30025 s]
/proc/loadavg: 1.98 3.02 3.65 5/259 730146
/proc/meminfo: memFree=126316784/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=38876 memory=37680 CPUtime=6.27 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 5491 0 0 0 625 2 0 0 20 0 1 0 142728087 39809024 9420 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 9719 9420 421 379 0 9253 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48808 KiB
Current children cumulated memory: 40380 KiB

[startup+12.7002 s]
/proc/loadavg: 2.14 3.04 3.65 5/259 730147
/proc/meminfo: memFree=125415540/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=57552 memory=51732 CPUtime=12.66 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 6449 0 0 0 1263 3 0 0 20 0 1 0 142728087 58933248 12933 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 14388 12933 421 379 0 13922 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 67484 KiB
Current children cumulated memory: 54432 KiB

[startup+25.5003 s]
/proc/loadavg: 2.71 3.12 3.67 5/259 730199
/proc/meminfo: memFree=125844936/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=52648 memory=50660 CPUtime=25.42 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 7841 0 0 0 2539 3 0 0 20 0 1 0 142728087 53911552 12665 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 13162 12665 421 379 0 12696 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 62580 KiB
Current children cumulated memory: 53360 KiB

[startup+51.1057 s]
/proc/loadavg: 3.15 3.19 3.68 5/262 730308
/proc/meminfo: memFree=129102896/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=76064 memory=68316 CPUtime=50.96 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 8499 0 0 0 5092 4 0 0 20 0 1 0 142728087 77889536 17079 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 19016 17079 421 379 0 18550 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 85996 KiB
Current children cumulated memory: 71016 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 3.32 3.70 5/262 730317
/proc/meminfo: memFree=128892356/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=87556 memory=86020 CPUtime=102.04 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 8887 0 0 0 10199 5 0 0 20 0 1 0 142728087 89657344 21505 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 21889 21505 421 379 0 21423 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 97488 KiB
Current children cumulated memory: 88720 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.47 3.73 5/262 730328
/proc/meminfo: memFree=128881864/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=156008 memory=138196 CPUtime=161.91 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 11661 0 0 0 16182 9 0 0 20 0 1 0 142728087 159752192 34549 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 39002 34549 421 379 0 38536 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 165940 KiB
Current children cumulated memory: 140896 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 3.60 3.76 5/261 730338
/proc/meminfo: memFree=128860756/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=106688 memory=105820 CPUtime=221.75 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 14500 0 0 0 22162 13 0 0 20 0 1 0 142728087 109248512 26455 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 26672 26455 421 379 0 26206 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 116620 KiB

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

/proc/loadavg: 4.13 4.13 4.12 5/262 732620
/proc/meminfo: memFree=111116396/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=223556 memory=220384 CPUtime=3033.65 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 107894 0 0 0 303200 165 0 0 20 0 1 0 142728087 228921344 55096 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 55889 55096 421 379 0 55423 0
Current children cumulated CPU time: 3033.65 s
Current children cumulated vsize: 233488 KiB
Current children cumulated memory: 223084 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/262 732632
/proc/meminfo: memFree=111400720/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=273644 memory=223472 CPUtime=3093.46 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 109596 0 0 0 309179 167 0 0 20 0 1 0 142728087 280211456 55868 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 68411 55868 421 379 0 67945 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 283576 KiB
Current children cumulated memory: 226172 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/262 732643
/proc/meminfo: memFree=111466052/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=223556 memory=220384 CPUtime=3153.29 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 110753 0 0 0 315159 170 0 0 20 0 1 0 142728087 228921344 55096 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 55889 55096 421 379 0 55423 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 233488 KiB
Current children cumulated memory: 223084 KiB

[startup+3222.3 s]
/proc/loadavg: 4.25 4.14 4.12 5/261 732653
/proc/meminfo: memFree=111309476/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=223556 memory=212192 CPUtime=3213.11 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 112172 0 0 0 321138 173 0 0 20 0 1 0 142728087 228921344 53048 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 55889 53048 421 379 0 55423 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 233488 KiB
Current children cumulated memory: 214892 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/261 732664
/proc/meminfo: memFree=111164756/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=223556 memory=206048 CPUtime=3272.94 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 113588 0 0 0 327118 176 0 0 20 0 1 0 142728087 228921344 51512 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 55889 51512 421 379 0 55423 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 233488 KiB
Current children cumulated memory: 208748 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/258 732674
/proc/meminfo: memFree=111461928/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=223556 memory=212192 CPUtime=3332.76 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 115015 0 0 0 333098 178 0 0 20 0 1 0 142728087 228921344 53048 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 55889 53048 421 379 0 55423 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 233488 KiB
Current children cumulated memory: 214892 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/258 732684
/proc/meminfo: memFree=111220452/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=223556 memory=220384 CPUtime=3392.58 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 116444 0 0 0 339077 181 0 0 20 0 1 0 142728087 228921344 55096 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 55889 55096 421 379 0 55423 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 233488 KiB
Current children cumulated memory: 223084 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/258 732695
/proc/meminfo: memFree=111041120/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=273644 memory=227568 CPUtime=3452.41 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 118183 0 0 0 345057 184 0 0 20 0 1 0 142728087 280211456 56892 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 68411 56892 421 379 0 67945 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 283576 KiB
Current children cumulated memory: 230268 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/258 732705
/proc/meminfo: memFree=111120608/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=223556 memory=218336 CPUtime=3512.23 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 119310 0 0 0 351037 186 0 0 20 0 1 0 142728087 228921344 54584 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 55889 54584 421 379 0 55423 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 233488 KiB
Current children cumulated memory: 221036 KiB

[startup+3582.3 s]
/proc/loadavg: 4.34 4.21 4.13 5/258 732716
/proc/meminfo: memFree=111408056/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=223556 memory=216292 CPUtime=3572.05 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 120740 0 0 0 357017 188 0 0 20 0 1 0 142728087 228921344 54073 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 55889 54073 421 379 0 55423 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 233488 KiB
Current children cumulated memory: 218992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.29 4.21 4.13 5/258 732721
/proc/meminfo: memFree=111303300/131524600 swapFree=131071996/131071996
[pid=730141] ppid=730138 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/730141/stat : 730141 (naps-1.02b5.sh) S 730138 730141 727686 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 142728087 10170368 675 134679101440 94474395525120 94474396604440 140722455369888 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94474398702896 94474398750084 94474428469248 140722455372716 140722455372843 140722455372843 140722455379910 0
/proc/730141/statm: 2483 675 597 264 0 134 0
[pid=730146] ppid=730141 vsize=192736 memory=177112 CPUtime=3600.07 cores=4,6
/proc/730146/stat : 730146 (naps-1.02b5) R 730141 730141 727686 0 -1 4194304 121516 0 0 0 359817 190 0 0 20 0 1 0 142728087 197361664 44278 134679101440 4194304 5746509 140733031838800 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19251200 140733031842747 140733031842861 140733031842861 140733031849929 0
/proc/730146/statm: 48184 44278 421 379 0 47718 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 202668 KiB
Current children cumulated memory: 179812 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.18 s, system=1.90683 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.4
CPU time (s): 3600.09
CPU user time (s): 3598.18
CPU system time (s): 1.90683
CPU usage (%): 99.7143
Max. virtual memory (cumulated for all children) (KiB): 332896
Max. memory (cumulated for all children) (KiB): 240512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.18
system time used= 1.90683
maximum resident set size= 272400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121989
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= 24
involuntary context switches= 3909


# summary of solver processes directly reported to runsolver:
#   pid: 730141
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.18
#   total CPU system time (s): 1.90683

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19022 second user time and 17.9226 second system time

The end