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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455968-1721718368/watcher-4455968-1721718368 -o /tmp/evaluation-result-4455968-1721718368/solver-4455968-1721718368 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721718368-88048 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4455968-1721718368.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=88103, runsolver pid=88099

[startup+0.100089 s]*
/proc/loadavg: 1.57 1.96 2.04 6/257 88128
/proc/meminfo: memFree=110794632/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=23792 memory=20960 CPUtime=0.09 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 5245 0 0 0 9 0 0 0 20 0 1 0 8365210 24363008 5240 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 5948 5240 421 379 0 5482 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33724 KiB
Current children cumulated memory: 23572 KiB

[startup+0.204689 s]*
/proc/loadavg: 1.57 1.96 2.04 6/257 88128
/proc/meminfo: memFree=110771668/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=24752 memory=22280 CPUtime=0.19 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 5587 0 0 0 19 0 0 0 20 0 1 0 8365210 25346048 5570 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 6188 5570 421 379 0 5722 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34684 KiB
Current children cumulated memory: 24892 KiB

[startup+0.304561 s]*
/proc/loadavg: 1.57 1.96 2.04 6/257 88128
/proc/meminfo: memFree=110753088/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=29104 memory=26896 CPUtime=0.3 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 5697 0 0 0 29 1 0 0 20 0 1 0 8365210 29802496 6724 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 7276 6724 421 379 0 6810 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39036 KiB
Current children cumulated memory: 29508 KiB

[startup+0.700206 s]
/proc/loadavg: 1.57 1.96 2.04 6/257 88128
/proc/meminfo: memFree=110735536/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=33500 memory=30992 CPUtime=0.69 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 5745 0 0 0 68 1 0 0 20 0 1 0 8365210 34304000 7748 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 8375 7748 421 379 0 7909 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43432 KiB
Current children cumulated memory: 33604 KiB

[startup+1.50023 s]
/proc/loadavg: 1.57 1.96 2.04 4/254 88136
/proc/meminfo: memFree=110675984/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=40748 memory=34848 CPUtime=1.48 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 5914 0 0 0 147 1 0 0 20 0 1 0 8365210 41725952 8712 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 10187 8712 421 379 0 9721 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50680 KiB
Current children cumulated memory: 37460 KiB

[startup+3.10574 s]
/proc/loadavg: 1.57 1.96 2.04 5/257 88180
/proc/meminfo: memFree=110365264/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=42732 memory=40092 CPUtime=3.08 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 11290 0 0 0 305 3 0 0 20 0 1 0 8365210 43757568 10023 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 10683 10023 421 379 0 10217 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52664 KiB
Current children cumulated memory: 42704 KiB

[startup+6.30025 s]
/proc/loadavg: 1.77 2.00 2.06 5/257 88180
/proc/meminfo: memFree=109635844/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=107388 memory=80036 CPUtime=6.27 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 14108 0 0 0 623 4 0 0 20 0 1 0 8365210 109965312 20009 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 26847 20009 421 379 0 26381 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117320 KiB
Current children cumulated memory: 82648 KiB

[startup+12.7003 s]
/proc/loadavg: 2.27 2.10 2.09 5/256 88181
/proc/meminfo: memFree=107379588/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=107388 memory=104992 CPUtime=12.64 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 14259 0 0 0 1260 4 0 0 20 0 1 0 8365210 109965312 26248 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 26847 26248 421 379 0 26381 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 117320 KiB
Current children cumulated memory: 107604 KiB

[startup+25.5003 s]
/proc/loadavg: 2.65 2.19 2.12 5/256 88183
/proc/meminfo: memFree=103865244/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=107388 memory=105100 CPUtime=25.39 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 14534 0 0 0 2533 6 0 0 20 0 1 0 8365210 109965312 26275 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 26847 26275 421 379 0 26381 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 117320 KiB
Current children cumulated memory: 107712 KiB

[startup+51.1055 s]
/proc/loadavg: 3.18 2.35 2.18 5/256 88186
/proc/meminfo: memFree=99487688/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=119748 memory=117460 CPUtime=50.91 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 15839 0 0 0 5080 11 0 0 20 0 1 0 8365210 122621952 29365 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 29937 29365 421 379 0 29471 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 129680 KiB
Current children cumulated memory: 120072 KiB

[startup+102.3 s]
/proc/loadavg: 3.71 2.62 2.28 5/256 88196
/proc/meminfo: memFree=88194336/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=119748 memory=117460 CPUtime=101.93 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 18469 0 0 0 10174 19 0 0 20 0 1 0 8365210 122621952 29365 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 29937 29365 421 379 0 29471 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 129680 KiB
Current children cumulated memory: 120072 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.89 2.39 5/257 88207
/proc/meminfo: memFree=78972768/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=199888 memory=167056 CPUtime=161.71 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 22705 0 0 0 16143 28 0 0 20 0 1 0 8365210 204685312 41764 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 49972 41764 421 379 0 49506 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 209820 KiB
Current children cumulated memory: 169668 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.13 2.51 5/257 88218
/proc/meminfo: memFree=74263920/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=169068 memory=152552 CPUtime=221.5 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 25738 0 0 0 22115 35 0 0 20 0 1 0 8365210 173125632 38138 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 42267 38138 421 379 0 41801 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 179000 KiB

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

/proc/88108/statm: 80166 66517 421 379 0 79700 0
Current children cumulated CPU time: 3091.21 s
Current children cumulated vsize: 330596 KiB
Current children cumulated memory: 268680 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.17 4.07 5/258 90117
/proc/meminfo: memFree=105603968/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=404348 memory=332304 CPUtime=3150.99 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 134576 0 0 0 314880 219 0 0 20 0 1 0 8365210 414052352 83076 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 101087 83076 421 379 0 100621 0
Current children cumulated CPU time: 3150.99 s
Current children cumulated vsize: 414280 KiB
Current children cumulated memory: 334916 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.17 4.08 5/259 90128
/proc/meminfo: memFree=101291720/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=322960 memory=305144 CPUtime=3210.79 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 135680 0 0 0 320856 223 0 0 20 0 1 0 8365210 330711040 76286 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 80740 76286 421 379 0 80274 0
Current children cumulated CPU time: 3210.79 s
Current children cumulated vsize: 332892 KiB
Current children cumulated memory: 307756 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.08 5/260 90142
/proc/meminfo: memFree=94346032/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=323888 memory=273244 CPUtime=3270.59 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 137722 0 0 0 326832 227 0 0 20 0 1 0 8365210 331661312 68311 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 80972 68311 421 379 0 80506 0
Current children cumulated CPU time: 3270.59 s
Current children cumulated vsize: 333820 KiB
Current children cumulated memory: 275856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.08 5/260 90165
/proc/meminfo: memFree=89719564/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=406032 memory=333804 CPUtime=3330.38 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 138646 0 0 0 332810 228 0 0 20 0 1 0 8365210 415776768 83451 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 101508 83451 421 379 0 101042 0
Current children cumulated CPU time: 3330.38 s
Current children cumulated vsize: 415964 KiB
Current children cumulated memory: 336416 KiB

[startup+3402.3 s]
/proc/loadavg: 4.59 4.27 4.13 5/261 90233
/proc/meminfo: memFree=106570564/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=325720 memory=301384 CPUtime=3390.17 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 139958 0 0 0 338786 231 0 0 20 0 1 0 8365210 333537280 75346 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 81430 75346 421 379 0 80964 0
Current children cumulated CPU time: 3390.17 s
Current children cumulated vsize: 335652 KiB
Current children cumulated memory: 303996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.23 4.12 5/260 90243
/proc/meminfo: memFree=106259928/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=275632 memory=257288 CPUtime=3449.96 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 140964 0 0 0 344762 234 0 0 20 0 1 0 8365210 282247168 64322 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 68908 64322 421 379 0 68442 0
Current children cumulated CPU time: 3449.96 s
Current children cumulated vsize: 285564 KiB
Current children cumulated memory: 259900 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.20 4.12 5/259 90254
/proc/meminfo: memFree=106206404/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=407320 memory=320664 CPUtime=3509.75 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 142654 0 0 0 350739 236 0 0 20 0 1 0 8365210 417095680 80166 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 101830 80166 421 379 0 101364 0
Current children cumulated CPU time: 3509.75 s
Current children cumulated vsize: 417252 KiB
Current children cumulated memory: 323276 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.19 4.12 5/257 90264
/proc/meminfo: memFree=106205384/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=326468 memory=277416 CPUtime=3569.54 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 143826 0 0 0 356715 239 0 0 20 0 1 0 8365210 334303232 69354 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 81617 69354 421 379 0 81151 0
Current children cumulated CPU time: 3569.54 s
Current children cumulated vsize: 336400 KiB
Current children cumulated memory: 280028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.9 s]
/proc/loadavg: 4.16 4.19 4.12 5/257 90320
/proc/meminfo: memFree=106528204/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=326468 memory=310184 CPUtime=3600.03 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 143858 0 0 0 359764 239 0 0 20 0 1 0 8365210 334303232 77546 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 81617 77546 421 379 0 81151 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 336400 KiB
Current children cumulated memory: 312796 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00082 s, system=0.001995 s

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

# cumulated CPU time of all completed processes:  user=3597.64 s, system=2.40619 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

[startup+3612.9 s]
/proc/loadavg: 4.16 4.19 4.12 5/257 90320
/proc/meminfo: memFree=106528204/131524600 swapFree=131071996/131071996
[pid=88103] ppid=88099 vsize=9932 memory=2612 CPUtime=0 cores=0,2
/proc/88103/stat : 88103 (naps-1.02b5.sh) S 88099 88103 88038 0 -1 4194304 218 245 0 0 0 0 0 0 20 0 1 0 8365209 10170368 653 134679101440 94918363373568 94918364452888 140736292622720 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94918366551344 94918366598532 94918368821248 140736292631523 140736292631650 140736292631650 140736292638662 0
/proc/88103/statm: 2483 653 573 264 0 134 0
[pid=88108] ppid=88103 vsize=326468 memory=310184 CPUtime=3600.03 cores=0,2
/proc/88108/stat : 88108 (naps-1.02b5) R 88103 88103 88038 0 -1 4194304 143858 0 0 0 359764 239 0 0 20 0 1 0 8365210 334303232 77546 134679101440 4194304 5746509 140729292003312 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 8609792 140729292006386 140729292006500 140729292006500 140729292013513 0
/proc/88108/statm: 81617 77546 421 379 0 81151 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 336400 KiB
Current children cumulated memory: 312796 KiB

Child status: 10

Real time (s): 3612.91
CPU time (s): 3600.05
CPU user time (s): 3597.64
CPU system time (s): 2.40619
CPU usage (%): 99.6442
Max. virtual memory (cumulated for all children) (KiB): 497180
Max. memory (cumulated for all children) (KiB): 383512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.64
system time used= 2.40619
maximum resident set size= 401536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144321
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= 26
involuntary context switches= 25231


# summary of solver processes directly reported to runsolver:
#   pid: 88103,88108
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3597.64
#   total CPU system time (s): 2.40619

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91305 second user time and 18.9956 second system time

The end