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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427037-1720905584/watcher-4427037-1720905584 -o /tmp/evaluation-result-4427037-1720905584/solver-4427037-1720905584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1720905418-715658 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427037-1720905584.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=716016, runsolver pid=716013

[startup+0.100102 s]*
/proc/loadavg: 4.13 3.53 3.23 5/248 716021
/proc/meminfo: memFree=72687056/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=14728 memory=13092 CPUtime=0.09 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 3158 0 0 0 9 0 0 0 20 0 1 0 142718015 15081472 3273 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 3682 3273 421 379 0 3216 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24660 KiB
Current children cumulated memory: 15816 KiB

[startup+0.213923 s]*
/proc/loadavg: 4.13 3.53 3.23 5/248 716021
/proc/meminfo: memFree=72644020/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=17404 memory=15204 CPUtime=0.21 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 3640 0 0 0 21 0 0 0 20 0 1 0 142718015 17821696 3801 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 4351 3801 421 379 0 3885 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27336 KiB
Current children cumulated memory: 17928 KiB

[startup+0.313688 s]*
/proc/loadavg: 4.20 3.56 3.24 5/248 716021
/proc/meminfo: memFree=72607052/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=17404 memory=15996 CPUtime=0.31 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 3893 0 0 0 31 0 0 0 20 0 1 0 142718015 17821696 3999 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 4351 3999 421 379 0 3885 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27336 KiB
Current children cumulated memory: 18720 KiB

[startup+0.700431 s]
/proc/loadavg: 4.20 3.56 3.24 5/248 716021
/proc/meminfo: memFree=72525928/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=28756 memory=26044 CPUtime=0.68 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 6199 0 0 0 67 1 0 0 20 0 1 0 142718015 29446144 6511 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 7189 6511 421 379 0 6723 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38688 KiB
Current children cumulated memory: 28768 KiB

[startup+1.50035 s]
/proc/loadavg: 4.20 3.56 3.24 5/248 716021
/proc/meminfo: memFree=72286832/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=44872 memory=35564 CPUtime=1.47 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 7393 0 0 0 146 1 0 0 20 0 1 0 142718015 45948928 8891 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 11218 8891 421 379 0 10752 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 54804 KiB
Current children cumulated memory: 38288 KiB

[startup+3.11385 s]
/proc/loadavg: 4.20 3.56 3.24 5/248 716022
/proc/meminfo: memFree=71746604/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=49336 memory=44336 CPUtime=3.09 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 8041 0 0 0 307 2 0 0 20 0 1 0 142718015 50520064 11084 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 12334 11084 421 379 0 11868 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 59268 KiB
Current children cumulated memory: 47060 KiB

[startup+6.30031 s]
/proc/loadavg: 4.26 3.58 3.25 5/248 716022
/proc/meminfo: memFree=70949740/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=76024 memory=63044 CPUtime=6.26 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 9970 0 0 0 623 3 0 0 20 0 1 0 142718015 77848576 15761 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 19006 15761 421 379 0 18540 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 85956 KiB
Current children cumulated memory: 65768 KiB

[startup+12.7003 s]
/proc/loadavg: 4.40 3.62 3.26 5/251 716085
/proc/meminfo: memFree=101313784/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=94880 memory=91620 CPUtime=12.64 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 10521 0 0 0 1260 4 0 0 20 0 1 0 142718015 97157120 22905 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 23720 22905 421 379 0 23254 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 104812 KiB
Current children cumulated memory: 94344 KiB

[startup+25.5004 s]
/proc/loadavg: 4.34 3.63 3.27 5/251 716136
/proc/meminfo: memFree=104196120/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=94880 memory=93404 CPUtime=25.39 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 11250 0 0 0 2534 5 0 0 20 0 1 0 142718015 97157120 23351 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 23720 23351 421 379 0 23254 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 104812 KiB
Current children cumulated memory: 96128 KiB

[startup+51.1139 s]
/proc/loadavg: 4.26 3.69 3.30 5/251 716139
/proc/meminfo: memFree=103602444/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=144472 memory=128956 CPUtime=50.92 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 12084 0 0 0 5082 10 0 0 20 0 1 0 142718015 147939328 32239 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 36118 32239 421 379 0 35652 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 154404 KiB
Current children cumulated memory: 131680 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 3.77 3.35 5/251 716149
/proc/meminfo: memFree=102602680/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=144472 memory=139368 CPUtime=101.91 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 15190 0 0 0 10175 16 0 0 20 0 1 0 142718015 147939328 34842 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 36118 34842 421 379 0 35652 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 154404 KiB
Current children cumulated memory: 142092 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 3.86 3.41 5/250 716260
/proc/meminfo: memFree=128284028/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=178096 memory=172992 CPUtime=161.72 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 19410 0 0 0 16149 23 0 0 20 0 1 0 142718015 182370304 43248 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 44524 43248 421 379 0 44058 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 188028 KiB
Current children cumulated memory: 175716 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 3.92 3.46 5/251 716274
/proc/meminfo: memFree=128235112/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=208916 memory=193728 CPUtime=221.52 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 22446 0 0 0 22123 29 0 0 20 0 1 0 142718015 213929984 48432 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 52229 48432 421 379 0 51763 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 218848 KiB

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

/proc/loadavg: 4.40 4.28 4.16 6/252 718480
/proc/meminfo: memFree=127673492/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=311656 memory=286632 CPUtime=3032.07 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 102612 0 0 0 303045 162 0 0 20 0 1 0 142718015 319135744 71658 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 77914 71658 421 379 0 77448 0
Current children cumulated CPU time: 3032.07 s
Current children cumulated vsize: 321588 KiB
Current children cumulated memory: 289356 KiB

[startup+3102.3 s]
/proc/loadavg: 4.25 4.26 4.16 5/250 718499
/proc/meminfo: memFree=127736088/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=398936 memory=335424 CPUtime=3091.87 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 104671 0 0 0 309023 164 0 0 20 0 1 0 142718015 408510464 83856 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 99734 83856 421 379 0 99268 0
Current children cumulated CPU time: 3091.87 s
Current children cumulated vsize: 408868 KiB
Current children cumulated memory: 338148 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.23 4.15 5/250 718510
/proc/meminfo: memFree=127714380/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=321728 memory=285016 CPUtime=3151.66 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 106651 0 0 0 315000 166 0 0 20 0 1 0 142718015 329449472 71254 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 80432 71254 421 379 0 79966 0
Current children cumulated CPU time: 3151.66 s
Current children cumulated vsize: 331660 KiB
Current children cumulated memory: 287740 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.21 4.15 5/248 718521
/proc/meminfo: memFree=127732060/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=407516 memory=332480 CPUtime=3211.46 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 108414 0 0 0 320978 168 0 0 20 0 1 0 142718015 417296384 83120 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 101879 83120 421 379 0 101413 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 417448 KiB
Current children cumulated memory: 335204 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.20 4.15 5/248 718532
/proc/meminfo: memFree=127761912/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=327256 memory=287816 CPUtime=3271.26 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 109823 0 0 0 326955 171 0 0 20 0 1 0 142718015 335110144 71954 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 81814 71954 421 379 0 81348 0
Current children cumulated CPU time: 3271.26 s
Current children cumulated vsize: 337188 KiB
Current children cumulated memory: 290540 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/248 718542
/proc/meminfo: memFree=127767548/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=410728 memory=329764 CPUtime=3331.05 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 111173 0 0 0 332933 172 0 0 20 0 1 0 142718015 420585472 82441 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 102682 82441 421 379 0 102216 0
Current children cumulated CPU time: 3331.05 s
Current children cumulated vsize: 420660 KiB
Current children cumulated memory: 332488 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.17 4.15 5/246 718553
/proc/meminfo: memFree=127683672/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=412128 memory=371288 CPUtime=3390.81 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 111583 0 0 0 338908 173 0 0 20 0 1 0 142718015 422019072 92822 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 103032 92822 421 379 0 102566 0
Current children cumulated CPU time: 3390.81 s
Current children cumulated vsize: 422060 KiB
Current children cumulated memory: 374012 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/246 718913
/proc/meminfo: memFree=127948744/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=331404 memory=309528 CPUtime=3450.61 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 112845 0 0 0 344885 176 0 0 20 0 1 0 142718015 339357696 77382 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 82851 77382 421 379 0 82385 0
Current children cumulated CPU time: 3450.61 s
Current children cumulated vsize: 341336 KiB
Current children cumulated memory: 312252 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/246 719172
/proc/meminfo: memFree=127046904/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=413804 memory=360272 CPUtime=3510.4 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 113982 0 0 0 350863 177 0 0 20 0 1 0 142718015 423735296 90068 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 103451 90068 421 379 0 102985 0
Current children cumulated CPU time: 3510.4 s
Current children cumulated vsize: 423736 KiB
Current children cumulated memory: 362996 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.17 4.15 5/245 719183
/proc/meminfo: memFree=127156152/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=332416 memory=304456 CPUtime=3570.2 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 115097 0 0 0 356840 180 0 0 20 0 1 0 142718015 340393984 76114 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 83104 76114 421 379 0 82638 0
Current children cumulated CPU time: 3570.2 s
Current children cumulated vsize: 342348 KiB
Current children cumulated memory: 307180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.17 4.17 4.15 5/245 719189
/proc/meminfo: memFree=127027292/131655788 swapFree=131071996/131071996
[pid=716016] ppid=716013 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/716016/stat : 716016 (naps-1.02b5.sh) S 716013 716016 713411 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142718014 10170368 681 134679101440 94451904622592 94451905701912 140730422138320 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94451907800368 94451907847556 94451915485184 140730422141868 140730422141995 140730422141995 140730422149062 0
/proc/716016/statm: 2483 681 603 264 0 134 0
[pid=716021] ppid=716016 vsize=332416 memory=322888 CPUtime=3600 cores=0,2
/proc/716021/stat : 716021 (naps-1.02b5) R 716016 716016 713411 0 -1 4194304 115213 0 0 0 359820 180 0 0 20 0 1 0 142718015 340393984 80722 134679101440 4194304 5746509 140726426757520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 26992640 140726426764219 140726426764333 140726426764333 140726426771401 0
/proc/716021/statm: 83104 80722 421 379 0 82638 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 342348 KiB
Current children cumulated memory: 325612 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.21 s, system=1.81485 s

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

Child status: 10

Real time (s): 3612.2
CPU time (s): 3600.02
CPU user time (s): 3598.21
CPU system time (s): 1.81485
CPU usage (%): 99.6627
Max. virtual memory (cumulated for all children) (KiB): 503876
Max. memory (cumulated for all children) (KiB): 438560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.21
system time used= 1.81485
maximum resident set size= 437884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115686
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= 136
involuntary context switches= 24641


# summary of solver processes directly reported to runsolver:
#   pid: 716016
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.21
#   total CPU system time (s): 1.81485

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8498 second user time and 38.8954 second system time

The end