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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456445-1721719682/watcher-4456445-1721719682 -o /tmp/evaluation-result-4456445-1721719682/solver-4456445-1721719682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721717892-78837 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456445-1721719682.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
Current StackSize limit: 8192 KiB

solver pid=80208, runsolver pid=80205

[startup+0.100158 s]*
/proc/loadavg: 4.20 4.25 3.92 5/250 80213
/proc/meminfo: memFree=117764640/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=14828 memory=8376 CPUtime=0.09 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 1851 0 0 0 9 0 0 0 20 0 1 0 7957755 15183872 2699 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 3707 2094 468 659 0 2911 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24760 KiB
Current children cumulated memory: 11108 KiB

[startup+0.213723 s]*
/proc/loadavg: 4.20 4.25 3.92 7/250 80213
/proc/meminfo: memFree=117762792/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=11908 memory=9232 CPUtime=0.21 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 2252 0 0 0 20 1 0 0 20 0 1 0 7957755 12193792 2308 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 2977 2308 468 659 0 2181 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 11964 KiB

[startup+0.313464 s]*
/proc/loadavg: 4.20 4.25 3.92 5/250 80214
/proc/meminfo: memFree=117762580/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=11908 memory=9496 CPUtime=0.31 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 2264 0 0 0 30 1 0 0 20 0 1 0 7957755 12193792 2374 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 2977 2374 468 659 0 2181 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 12228 KiB

[startup+0.700401 s]
/proc/loadavg: 4.20 4.25 3.92 5/250 80214
/proc/meminfo: memFree=117762580/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=12040 memory=9496 CPUtime=0.69 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 2297 0 0 0 68 1 0 0 20 0 1 0 7957755 12328960 2374 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 3010 2374 468 659 0 2214 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 21972 KiB
Current children cumulated memory: 12228 KiB

[startup+1.50043 s]
/proc/loadavg: 4.20 4.25 3.92 5/250 80214
/proc/meminfo: memFree=117761908/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=12308 memory=9760 CPUtime=1.48 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 2362 0 0 0 147 1 0 0 20 0 1 0 7957755 12603392 2440 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 3077 2440 468 659 0 2281 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22240 KiB
Current children cumulated memory: 12492 KiB

[startup+3.11309 s]
/proc/loadavg: 4.20 4.25 3.92 5/250 80214
/proc/meminfo: memFree=117759260/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=12836 memory=10288 CPUtime=3.09 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 2473 0 0 0 308 1 0 0 20 0 1 0 7957755 13144064 2572 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 3209 2572 468 659 0 2413 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 22768 KiB
Current children cumulated memory: 13020 KiB

[startup+6.30041 s]
/proc/loadavg: 4.18 4.24 3.92 5/250 80214
/proc/meminfo: memFree=117753992/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=13504 memory=10816 CPUtime=6.27 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 2634 0 0 0 626 1 0 0 20 0 1 0 7957755 13828096 2704 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 3376 2704 468 659 0 2580 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23436 KiB
Current children cumulated memory: 13548 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 4.24 3.92 5/250 80216
/proc/meminfo: memFree=117748580/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=13900 memory=11344 CPUtime=12.66 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 2750 0 0 0 1265 1 0 0 20 0 1 0 7957755 14233600 2836 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 3475 2836 468 659 0 2679 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 23832 KiB
Current children cumulated memory: 14076 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.23 3.92 5/250 80388
/proc/meminfo: memFree=116637964/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1340060 memory=1214560 CPUtime=25.42 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 111683 0 0 0 2503 39 0 0 20 0 1 0 7957755 1372221440 303640 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 335015 303640 468 659 0 334219 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1349992 KiB
Current children cumulated memory: 1217292 KiB

[startup+51.1136 s]
/proc/loadavg: 4.15 4.22 3.93 5/250 80392
/proc/meminfo: memFree=116601456/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1348828 memory=1205364 CPUtime=50.97 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 114481 0 0 0 5054 43 0 0 20 0 1 0 7957755 1381199872 301341 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 337207 301341 468 659 0 336411 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1358760 KiB
Current children cumulated memory: 1208096 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.20 3.94 5/250 80402
/proc/meminfo: memFree=116641404/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1352348 memory=1211864 CPUtime=102.02 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 116175 0 0 0 10155 47 0 0 20 0 1 0 7957755 1384804352 302966 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 338087 302966 468 659 0 337291 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1362280 KiB
Current children cumulated memory: 1214596 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.18 3.95 5/250 80469
/proc/meminfo: memFree=116567204/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1355020 memory=1215652 CPUtime=161.85 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 117617 0 0 0 16135 50 0 0 20 0 1 0 7957755 1387540480 303913 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 338755 303913 468 659 0 337959 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1364952 KiB
Current children cumulated memory: 1218384 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.17 3.97 5/250 80481
/proc/meminfo: memFree=116510772/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1355020 memory=1213604 CPUtime=221.69 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 118609 0 0 0 22115 54 0 0 20 0 1 0 7957755 1387540480 303401 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 338755 303401 468 659 0 337959 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1364952 KiB

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

/proc/80213/statm: 345248 311171 468 659 0 344452 0
Current children cumulated CPU time: 3033.42 s
Current children cumulated vsize: 1390924 KiB
Current children cumulated memory: 1247416 KiB

[startup+3102.3 s]
/proc/loadavg: 3.55 3.93 4.04 4/239 81698
/proc/meminfo: memFree=117680660/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1462520 memory=1315452 CPUtime=3093.23 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 150404 0 0 0 309140 183 0 0 20 0 1 0 7957755 1497620480 328863 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 365630 328863 468 659 0 364834 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 1472452 KiB
Current children cumulated memory: 1318184 KiB

[startup+3162.3 s]
/proc/loadavg: 3.25 3.78 3.97 4/241 81713
/proc/meminfo: memFree=117595892/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1595380 memory=1370884 CPUtime=3153.06 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 151219 0 0 0 315122 184 0 0 20 0 1 0 7957755 1633669120 342721 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 398845 342721 468 659 0 398049 0
Current children cumulated CPU time: 3153.06 s
Current children cumulated vsize: 1605312 KiB
Current children cumulated memory: 1373616 KiB

[startup+3222.3 s]
/proc/loadavg: 3.62 3.78 3.96 4/242 81725
/proc/meminfo: memFree=117696316/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1382372 memory=1279132 CPUtime=3212.88 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 152071 0 0 0 321100 188 0 0 20 0 1 0 7957755 1415548928 319783 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 345593 319783 468 659 0 344797 0
Current children cumulated CPU time: 3212.88 s
Current children cumulated vsize: 1392304 KiB
Current children cumulated memory: 1281864 KiB

[startup+3282.3 s]
/proc/loadavg: 3.43 3.71 3.93 4/242 81736
/proc/meminfo: memFree=117610836/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1464320 memory=1341804 CPUtime=3272.71 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 152660 0 0 0 327081 190 0 0 20 0 1 0 7957755 1499463680 335451 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 366080 335451 468 659 0 365284 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 1474252 KiB
Current children cumulated memory: 1344536 KiB

[startup+3342.3 s]
/proc/loadavg: 3.20 3.59 3.87 4/242 81746
/proc/meminfo: memFree=117703664/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1383572 memory=1257796 CPUtime=3332.53 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 153894 0 0 0 333058 195 0 0 20 0 1 0 7957755 1416777728 314449 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 345893 314449 468 659 0 345097 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 1393504 KiB
Current children cumulated memory: 1260528 KiB

[startup+3402.3 s]
/proc/loadavg: 3.23 3.53 3.83 4/242 81756
/proc/meminfo: memFree=117656196/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1465124 memory=1316860 CPUtime=3392.35 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 154451 0 0 0 339038 197 0 0 20 0 1 0 7957755 1500286976 329215 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 366281 329215 468 659 0 365485 0
Current children cumulated CPU time: 3392.35 s
Current children cumulated vsize: 1475056 KiB
Current children cumulated memory: 1319592 KiB

[startup+3462.3 s]
/proc/loadavg: 3.08 3.43 3.78 4/241 82150
/proc/meminfo: memFree=117582884/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1465260 memory=1365264 CPUtime=3452.17 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 154879 0 0 0 345018 199 0 0 20 0 1 0 7957755 1500426240 341316 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 366315 341316 468 659 0 365519 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 1475192 KiB
Current children cumulated memory: 1367996 KiB

[startup+3522.3 s]
/proc/loadavg: 3.15 3.38 3.74 4/240 82161
/proc/meminfo: memFree=117694436/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1384288 memory=1272900 CPUtime=3511.97 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 156727 0 0 0 350995 202 0 0 20 0 1 0 7957755 1417510912 318225 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 346072 318225 468 659 0 345276 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 1394220 KiB
Current children cumulated memory: 1275632 KiB

[startup+3582.3 s]
/proc/loadavg: 3.11 3.32 3.69 4/241 82172
/proc/meminfo: memFree=117598404/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1465948 memory=1342256 CPUtime=3571.8 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 157438 0 0 0 356976 204 0 0 20 0 1 0 7957755 1501130752 335564 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 366487 335564 468 659 0 365691 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 1475880 KiB
Current children cumulated memory: 1344988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 3.15 3.31 3.68 4/241 82176
/proc/meminfo: memFree=117551692/131655788 swapFree=131071996/131071996
[pid=80208] ppid=80205 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/80208/stat : 80208 (naps-1.03.sh) S 80205 80208 78798 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 7957754 10170368 683 134679101440 94079434002432 94079435081752 140736924483312 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079437180208 94079437227396 94079460589568 140736924488671 140736924488800 140736924488800 140736924495816 0
/proc/80208/statm: 2483 683 604 264 0 134 0
[pid=80213] ppid=80208 vsize=1598492 memory=1376948 CPUtime=3600.02 cores=1,3
/proc/80213/stat : 80213 (naps-1.03) R 80208 80208 78798 0 -1 4194304 157997 0 0 0 359797 205 0 0 20 0 1 0 7957755 1636855808 344237 134679101440 4194304 6891213 140734249284448 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 17883136 140734249288688 140734249288804 140734249288804 140734249295819 0
/proc/80213/statm: 399623 344237 468 659 0 398827 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1608424 KiB
Current children cumulated memory: 1379680 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.003009 s, system=0.001239 s

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

# cumulated CPU time of all completed processes:  user=3597.98 s, system=2.07232 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.62
CPU time (s): 3600.05
CPU user time (s): 3597.98
CPU system time (s): 2.07232
CPU usage (%): 99.7073
Max. virtual memory (cumulated for all children) (KiB): 1738096
Max. memory (cumulated for all children) (KiB): 1498028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.98
system time used= 2.07232
maximum resident set size= 1496552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158457
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= 112
involuntary context switches= 3909


# summary of solver processes directly reported to runsolver:
#   pid: 80208,80213
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3597.98
#   total CPU system time (s): 2.07232

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1347 second user time and 37.1756 second system time

The end