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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456448-1721720211/watcher-4456448-1721720211 -o /tmp/evaluation-result-4456448-1721720211/solver-4456448-1721720211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721718368-88050 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4456448-1721720211.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100318 s]*
/proc/loadavg: 4.14 4.11 3.88 5/256 89271
/proc/meminfo: memFree=105964904/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=10380 memory=5624 CPUtime=0.09 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 1211 0 0 0 9 0 0 0 20 0 1 0 8549433 10629120 1406 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 2595 1406 421 379 0 2129 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20312 KiB
Current children cumulated memory: 8260 KiB

[startup+0.205867 s]*
/proc/loadavg: 4.14 4.11 3.88 5/256 89271
/proc/meminfo: memFree=105964884/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=10380 memory=5624 CPUtime=0.2 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 1211 0 0 0 20 0 0 0 20 0 1 0 8549433 10629120 1406 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 2595 1406 421 379 0 2129 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20312 KiB
Current children cumulated memory: 8260 KiB

[startup+0.305823 s]*
/proc/loadavg: 4.14 4.11 3.88 5/256 89271
/proc/meminfo: memFree=105964760/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=10492 memory=5632 CPUtime=0.3 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 1219 0 0 0 30 0 0 0 20 0 1 0 8549433 10743808 1408 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 2623 1408 421 379 0 2157 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20424 KiB
Current children cumulated memory: 8268 KiB

[startup+0.700269 s]
/proc/loadavg: 4.14 4.11 3.88 5/256 89271
/proc/meminfo: memFree=105964480/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=10608 memory=5744 CPUtime=0.68 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 1263 0 0 0 68 0 0 0 20 0 1 0 8549433 10862592 1436 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 2652 1436 421 379 0 2186 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 20540 KiB
Current children cumulated memory: 8380 KiB

[startup+1.50028 s]
/proc/loadavg: 4.14 4.11 3.88 5/256 89271
/proc/meminfo: memFree=105964452/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=11004 memory=6020 CPUtime=1.48 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 1351 0 0 0 148 0 0 0 20 0 1 0 8549433 11268096 1505 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 2751 1505 421 379 0 2285 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 20936 KiB
Current children cumulated memory: 8656 KiB

[startup+3.1057 s]
/proc/loadavg: 4.13 4.10 3.88 5/256 89271
/proc/meminfo: memFree=105955652/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=11264 memory=6280 CPUtime=3.08 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 1431 0 0 0 308 0 0 0 20 0 1 0 8549433 11534336 1570 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 2816 1570 421 379 0 2350 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 21196 KiB
Current children cumulated memory: 8916 KiB

[startup+6.30027 s]
/proc/loadavg: 4.13 4.10 3.88 5/256 89271
/proc/meminfo: memFree=105947028/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=11760 memory=6780 CPUtime=6.27 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 1522 0 0 0 627 0 0 0 20 0 1 0 8549433 12042240 1695 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 2940 1695 421 379 0 2474 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 21692 KiB
Current children cumulated memory: 9416 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.10 3.88 5/256 89272
/proc/meminfo: memFree=106016884/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=11760 memory=6780 CPUtime=12.65 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 1522 0 0 0 1265 0 0 0 20 0 1 0 8549433 12042240 1695 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 2940 1695 421 379 0 2474 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 21692 KiB
Current children cumulated memory: 9416 KiB

[startup+25.5003 s]
/proc/loadavg: 4.25 4.13 3.89 5/256 89274
/proc/meminfo: memFree=105065840/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1050288 memory=912344 CPUtime=25.41 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 101665 0 0 0 2509 32 0 0 20 0 1 0 8549433 1075494912 228086 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 262572 228086 421 379 0 262106 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1060220 KiB
Current children cumulated memory: 914980 KiB

[startup+51.1059 s]
/proc/loadavg: 4.50 4.20 3.92 5/256 89280
/proc/meminfo: memFree=104756108/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1392908 memory=1229212 CPUtime=50.93 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 136418 0 0 0 5050 43 0 0 20 0 1 0 8549433 1426337792 307303 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 348227 307303 421 379 0 347761 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1402840 KiB
Current children cumulated memory: 1231848 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.18 3.93 5/256 89289
/proc/meminfo: memFree=104743512/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1396140 memory=1254236 CPUtime=101.97 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 137309 0 0 0 10152 45 0 0 20 0 1 0 8549433 1429647360 313559 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 349035 313559 421 379 0 348569 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1406072 KiB
Current children cumulated memory: 1256872 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.16 3.95 5/256 89299
/proc/meminfo: memFree=104751984/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1396140 memory=1244484 CPUtime=161.77 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 137610 0 0 0 16130 47 0 0 20 0 1 0 8549433 1429647360 311121 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 349035 311121 421 379 0 348569 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1406072 KiB
Current children cumulated memory: 1247120 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.16 3.96 5/258 89313
/proc/meminfo: memFree=104393736/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1480976 memory=1275784 CPUtime=221.58 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 138982 0 0 0 22110 48 0 0 20 0 1 0 8549433 1516519424 318946 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 370244 318946 421 379 0 369778 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 1490908 KiB

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

/proc/89271/statm: 379205 338189 421 379 0 378739 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 1526752 KiB
Current children cumulated memory: 1355392 KiB

[startup+3102.3 s]
/proc/loadavg: 3.19 3.28 3.62 4/250 91208
/proc/meminfo: memFree=106030844/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1517468 memory=1373676 CPUtime=3093.3 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 181589 0 0 0 309194 136 0 0 20 0 1 0 8549433 1553887232 343419 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 379367 343419 421 379 0 378901 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 1527400 KiB
Current children cumulated memory: 1376312 KiB

[startup+3162.3 s]
/proc/loadavg: 3.13 3.24 3.59 4/250 91219
/proc/meminfo: memFree=105946268/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1518640 memory=1395324 CPUtime=3153.11 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 182405 0 0 0 315174 137 0 0 20 0 1 0 8549433 1555087360 348831 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 379660 348831 421 379 0 379194 0
Current children cumulated CPU time: 3153.11 s
Current children cumulated vsize: 1528572 KiB
Current children cumulated memory: 1397960 KiB

[startup+3222.3 s]
/proc/loadavg: 3.21 3.24 3.56 4/252 91288
/proc/meminfo: memFree=106134192/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1438176 memory=1303220 CPUtime=3212.93 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 183787 0 0 0 321153 140 0 0 20 0 1 0 8549433 1472692224 325805 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 359544 325805 421 379 0 359078 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 1448108 KiB
Current children cumulated memory: 1305856 KiB

[startup+3282.3 s]
/proc/loadavg: 3.11 3.21 3.53 4/253 91299
/proc/meminfo: memFree=106060596/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1519564 memory=1328824 CPUtime=3272.74 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 184979 0 0 0 327133 141 0 0 20 0 1 0 8549433 1556033536 332206 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 379891 332206 421 379 0 379425 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 1529496 KiB
Current children cumulated memory: 1331460 KiB

[startup+3342.3 s]
/proc/loadavg: 3.20 3.21 3.51 4/253 91310
/proc/meminfo: memFree=106040428/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1519756 memory=1349520 CPUtime=3332.55 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 185509 0 0 0 333114 141 0 0 20 0 1 0 8549433 1556230144 337380 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 379939 337380 421 379 0 379473 0
Current children cumulated CPU time: 3332.55 s
Current children cumulated vsize: 1529688 KiB
Current children cumulated memory: 1352156 KiB

[startup+3402.3 s]
/proc/loadavg: 3.11 3.19 3.48 4/253 91321
/proc/meminfo: memFree=105968144/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1520040 memory=1376364 CPUtime=3392.36 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 186108 0 0 0 339094 142 0 0 20 0 1 0 8549433 1556520960 344091 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 380010 344091 421 379 0 379544 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 1529972 KiB
Current children cumulated memory: 1379000 KiB

[startup+3462.3 s]
/proc/loadavg: 3.14 3.18 3.46 4/251 91331
/proc/meminfo: memFree=105992468/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1521176 memory=1398076 CPUtime=3452.18 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 186997 0 0 0 345075 143 0 0 20 0 1 0 8549433 1557684224 349519 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 380294 349519 421 379 0 379828 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 1531108 KiB
Current children cumulated memory: 1400712 KiB

[startup+3522.3 s]
/proc/loadavg: 3.05 3.14 3.43 4/248 91341
/proc/meminfo: memFree=105965696/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1653724 memory=1424508 CPUtime=3511.98 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 187954 0 0 0 351055 143 0 0 20 0 1 0 8549433 1693413376 356127 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 413431 356127 421 379 0 412965 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 1663656 KiB
Current children cumulated memory: 1427144 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.15 3.41 4/248 91352
/proc/meminfo: memFree=106005488/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1521464 memory=1334616 CPUtime=3571.8 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 189314 0 0 0 357033 147 0 0 20 0 1 0 8549433 1557979136 333654 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 380366 333654 421 379 0 379900 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 1531396 KiB
Current children cumulated memory: 1337252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 3.08 3.13 3.40 4/248 91357
/proc/meminfo: memFree=105971972/131524600 swapFree=131071996/131071996
[pid=89266] ppid=89263 vsize=9932 memory=2636 CPUtime=0 cores=1,3
/proc/89266/stat : 89266 (naps-1.02b5.sh) S 89263 89266 88038 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8549433 10170368 659 134679101440 94527299977216 94527301056536 140734555546304 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94527303154992 94527303202180 94527314636800 140734555550691 140734555550818 140734555550818 140734555557830 0
/proc/89266/statm: 2483 659 580 264 0 134 0
[pid=89271] ppid=89266 vsize=1521464 memory=1349436 CPUtime=3600.01 cores=1,3
/proc/89271/stat : 89271 (naps-1.02b5) R 89266 89266 88038 0 -1 4194304 189548 0 0 0 359854 147 0 0 20 0 1 0 8549433 1557979136 337359 134679101440 4194304 5746509 140735370915248 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 18694144 140735370920946 140735370921060 140735370921060 140735370928073 0
/proc/89271/statm: 380366 337359 421 379 0 379900 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1531396 KiB
Current children cumulated memory: 1352072 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.6 s]
# the end of solver process 89266 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001621 s, system=0.001252 s

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

# cumulated CPU time of all completed processes:  user=3598.54 s, system=1.48585 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 10

Real time (s): 3610.61
CPU time (s): 3600.03
CPU user time (s): 3598.54
CPU system time (s): 1.48585
CPU usage (%): 99.707
Max. virtual memory (cumulated for all children) (KiB): 1793884
Max. memory (cumulated for all children) (KiB): 1539460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.54
system time used= 1.48585
maximum resident set size= 1541360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190010
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= 183
involuntary context switches= 3373


# summary of solver processes directly reported to runsolver:
#   pid: 89266,89271
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.54
#   total CPU system time (s): 1.48585

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3951 second user time and 14.7884 second system time

The end