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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459358-1721900692/watcher-4459358-1721900692 -o /tmp/evaluation-result-4459358-1721900692/solver-4459358-1721900692 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721900692-214731 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4459358-1721900692.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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=214773, runsolver pid=214766
Current StackSize limit: 8192 KiB


[startup+0.100977 s]*
/proc/loadavg: 2.92 3.98 4.21 6/240 214793
/proc/meminfo: memFree=124735232/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=8932 memory=3936 CPUtime=0.11 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 638 0 0 0 11 0 0 0 20 0 1 0 26058659 9146368 984 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 2233 984 405 379 0 1767 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18864 KiB
Current children cumulated memory: 6680 KiB

[startup+0.223608 s]*
/proc/loadavg: 2.92 3.98 4.21 8/238 214793
/proc/meminfo: memFree=124730104/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=9316 memory=4456 CPUtime=0.22 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 804 0 0 0 22 0 0 0 20 0 1 0 26058659 9539584 1114 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 2329 1114 405 379 0 1863 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 19248 KiB
Current children cumulated memory: 7200 KiB

[startup+0.312891 s]*
/proc/loadavg: 2.92 3.98 4.21 6/241 214798
/proc/meminfo: memFree=124717624/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=9640 memory=4932 CPUtime=0.31 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 908 0 0 0 31 0 0 0 20 0 1 0 26058659 9871360 1233 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 2410 1233 405 379 0 1944 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19572 KiB
Current children cumulated memory: 7676 KiB

[startup+0.700384 s]
/proc/loadavg: 2.92 3.98 4.21 6/245 214808
/proc/meminfo: memFree=124686968/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=11588 memory=7192 CPUtime=0.68 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 1517 0 0 0 68 0 0 0 20 0 1 0 26058659 11866112 1798 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 2897 1798 421 379 0 2431 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21520 KiB
Current children cumulated memory: 9936 KiB

[startup+1.50046 s]
/proc/loadavg: 3.25 4.03 4.22 6/245 214808
/proc/meminfo: memFree=124663844/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=29964 memory=24848 CPUtime=1.47 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 5681 0 0 0 146 1 0 0 20 0 1 0 26058659 30683136 6212 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 7491 6212 421 379 0 7025 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 39896 KiB
Current children cumulated memory: 27592 KiB

[startup+3.11417 s]
/proc/loadavg: 3.25 4.03 4.22 6/245 214808
/proc/meminfo: memFree=124306216/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=261632 memory=237592 CPUtime=3.09 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 47226 0 0 0 296 13 0 0 20 0 1 0 26058659 267911168 59398 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 65408 59398 421 379 0 64942 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 271564 KiB
Current children cumulated memory: 240336 KiB

[startup+6.3004 s]
/proc/loadavg: 3.39 4.04 4.23 6/245 214808
/proc/meminfo: memFree=124074148/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=264528 memory=242216 CPUtime=6.26 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 48589 0 0 0 612 14 0 0 20 0 1 0 26058659 270876672 60554 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 66132 60554 421 379 0 65666 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 274460 KiB
Current children cumulated memory: 244960 KiB

[startup+12.7004 s]
/proc/loadavg: 3.44 4.04 4.23 6/245 214810
/proc/meminfo: memFree=122653724/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=276204 memory=245452 CPUtime=12.64 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 48909 0 0 0 1250 14 0 0 20 0 1 0 26058659 282832896 61363 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 69051 61363 421 379 0 68585 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 286136 KiB
Current children cumulated memory: 248196 KiB

[startup+25.5004 s]
/proc/loadavg: 3.45 4.02 4.22 6/244 214861
/proc/meminfo: memFree=122867716/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=277740 memory=255136 CPUtime=25.41 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 49323 0 0 0 2526 15 0 0 20 0 1 0 26058659 284405760 63784 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 69435 63784 421 379 0 68969 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 287672 KiB
Current children cumulated memory: 257880 KiB

[startup+51.1138 s]
/proc/loadavg: 3.74 4.04 4.22 6/244 214916
/proc/meminfo: memFree=122881652/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=345404 memory=308988 CPUtime=50.94 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 51344 0 0 0 5077 17 0 0 20 0 1 0 26058659 353693696 77247 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 86351 77247 421 379 0 85885 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 355336 KiB
Current children cumulated memory: 311732 KiB

[startup+102.3 s]
/proc/loadavg: 3.96 4.04 4.21 6/243 215023
/proc/meminfo: memFree=121250712/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=345404 memory=319292 CPUtime=101.96 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 51746 0 0 0 10178 18 0 0 20 0 1 0 26058659 353693696 79823 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 86351 79823 421 379 0 85885 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 355336 KiB
Current children cumulated memory: 322036 KiB

[startup+162.3 s]
/proc/loadavg: 3.99 4.03 4.19 6/243 215033
/proc/meminfo: memFree=121166412/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=376224 memory=329056 CPUtime=161.76 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 53339 0 0 0 16156 20 0 0 20 0 1 0 26058659 385253376 82264 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 94056 82264 421 379 0 93590 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 386156 KiB
Current children cumulated memory: 331800 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.09 4.20 6/243 215044
/proc/meminfo: memFree=121108992/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=376224 memory=336344 CPUtime=221.57 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 54595 0 0 0 22135 22 0 0 20 0 1 0 26058659 385253376 84086 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 94056 84086 421 379 0 93590 0
Current children cumulated CPU time: 221.57 s

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

/proc/214788/statm: 109198 105659 421 379 0 108732 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 446724 KiB
Current children cumulated memory: 425380 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.16 4.18 6/243 216757
/proc/meminfo: memFree=117589416/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=518180 memory=459500 CPUtime=3153.67 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 88453 0 0 0 315278 89 0 0 20 0 1 0 26058659 530616320 114875 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 129545 114875 421 379 0 129079 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 528112 KiB
Current children cumulated memory: 462244 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.18 6/242 216768
/proc/meminfo: memFree=117460492/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=518180 memory=490220 CPUtime=3213.51 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 88614 0 0 0 321261 90 0 0 20 0 1 0 26058659 530616320 122555 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 129545 122555 421 379 0 129079 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 528112 KiB
Current children cumulated memory: 492964 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.19 4.19 6/243 216779
/proc/meminfo: memFree=117336420/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=651088 memory=521296 CPUtime=3273.35 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 89382 0 0 0 327244 91 0 0 20 0 1 0 26058659 666714112 130324 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 162772 130324 421 379 0 162306 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 661020 KiB
Current children cumulated memory: 524040 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.18 6/245 216794
/proc/meminfo: memFree=117525064/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=387352 memory=373032 CPUtime=3333.19 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 90501 0 0 0 333225 94 0 0 20 0 1 0 26058659 396648448 93258 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 96838 93258 421 379 0 96372 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 397284 KiB
Current children cumulated memory: 375776 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.17 6/245 216805
/proc/meminfo: memFree=116055088/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=437440 memory=404956 CPUtime=3393.02 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 90921 0 0 0 339207 95 0 0 20 0 1 0 26058659 447938560 101239 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 109360 101239 421 379 0 108894 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 447372 KiB
Current children cumulated memory: 407700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.17 6/245 216817
/proc/meminfo: memFree=116171916/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=519316 memory=433880 CPUtime=3452.85 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 91640 0 0 0 345190 95 0 0 20 0 1 0 26058659 531779584 108470 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 129829 108470 421 379 0 129363 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 529248 KiB
Current children cumulated memory: 436624 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.16 6/245 216827
/proc/meminfo: memFree=116118708/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=520388 memory=465608 CPUtime=3512.69 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 92043 0 0 0 351173 96 0 0 20 0 1 0 26058659 532877312 116402 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 130097 116402 421 379 0 129631 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 530320 KiB
Current children cumulated memory: 468352 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.16 6/244 216837
/proc/meminfo: memFree=116002216/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=521256 memory=501080 CPUtime=3572.53 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 92403 0 0 0 357156 97 0 0 20 0 1 0 26058659 533766144 125270 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 130314 125270 421 379 0 129848 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 531188 KiB
Current children cumulated memory: 503824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.09 4.12 4.16 6/244 216842
/proc/meminfo: memFree=115949908/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=654936 memory=514480 CPUtime=3600.04 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 93256 0 0 0 359907 97 0 0 20 0 1 0 26058659 670654464 128620 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 163734 128620 421 379 0 163268 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 664868 KiB
Current children cumulated memory: 517224 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002655 s, system=0.005319 s

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

# cumulated CPU time of all completed processes:  user=3599.08 s, system=0.989498 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+3609.9 s]
/proc/loadavg: 4.09 4.12 4.16 6/244 216842
/proc/meminfo: memFree=115949908/131655788 swapFree=131060916/131071996
[pid=214773] ppid=214766 vsize=9932 memory=2744 CPUtime=0 cores=5,7
/proc/214773/stat : 214773 (naps-1.02b5.sh) S 214766 214773 214718 0 -1 4194304 224 246 0 0 0 0 0 0 20 0 1 0 26058658 10170368 686 134679101440 94243786878976 94243787958296 140721655448256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94243790056752 94243790103940 94243817865216 140721655456740 140721655456867 140721655456867 140721655463878 0
/proc/214773/statm: 2483 686 609 264 0 134 0
[pid=214788] ppid=214773 vsize=654936 memory=514480 CPUtime=3600.04 cores=5,7
/proc/214788/stat : 214788 (naps-1.02b5) R 214773 214773 214718 0 -1 4194304 93256 0 0 0 359907 97 0 0 20 0 1 0 26058659 670654464 128620 134679101440 4194304 5746509 140733358557072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 12873728 140733358564339 140733358564453 140733358564453 140733358571465 0
/proc/214788/statm: 163734 128620 421 379 0 163268 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 664868 KiB
Current children cumulated memory: 517224 KiB

Child status: 10

Real time (s): 3609.91
CPU time (s): 3600.07
CPU user time (s): 3599.08
CPU system time (s): 0.989498
CPU usage (%): 99.7275
Max. virtual memory (cumulated for all children) (KiB): 710340
Max. memory (cumulated for all children) (KiB): 568208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 0.989498
maximum resident set size= 565464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93726
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= 104
involuntary context switches= 3252


# summary of solver processes directly reported to runsolver:
#   pid: 214773,214788
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.08
#   total CPU system time (s): 0.989498

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5649 second user time and 40.251 second system time

The end