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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426662-1720907427/watcher-4426662-1720907427 -o /tmp/evaluation-result-4426662-1720907427/solver-4426662-1720907427 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720905417-719423 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426662-1720907427.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=721346, runsolver pid=721343

[startup+0.100308 s]*
/proc/loadavg: 4.21 4.19 3.86 7/250 721351
/proc/meminfo: memFree=113590608/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=9004 memory=7500 CPUtime=0.1 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 1573 0 0 0 10 0 0 0 20 0 1 0 142899862 9220096 1875 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 2251 1875 580 659 0 1455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18936 KiB
Current children cumulated memory: 10248 KiB

[startup+0.213536 s]*
/proc/loadavg: 4.21 4.19 3.86 5/250 721351
/proc/meminfo: memFree=113580180/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=17888 memory=16348 CPUtime=0.21 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 4011 0 0 0 21 0 0 0 20 0 1 0 142899862 18317312 4087 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 4472 4087 580 659 0 3676 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 19096 KiB

[startup+0.313379 s]*
/proc/loadavg: 4.21 4.19 3.86 5/250 721351
/proc/meminfo: memFree=113569596/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=28604 memory=26276 CPUtime=0.31 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 7058 0 0 0 30 1 0 0 20 0 1 0 142899862 29290496 6569 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 7151 6569 580 659 0 6355 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38536 KiB
Current children cumulated memory: 29024 KiB

[startup+0.700441 s]
/proc/loadavg: 4.21 4.19 3.86 5/250 721351
/proc/meminfo: memFree=113877624/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=51824 memory=50156 CPUtime=0.68 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 12999 0 0 0 66 2 0 0 20 0 1 0 142899862 53067776 12539 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 12956 12539 612 659 0 12160 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61756 KiB
Current children cumulated memory: 52904 KiB

[startup+1.50035 s]
/proc/loadavg: 4.21 4.19 3.86 5/250 721351
/proc/meminfo: memFree=113846144/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=55256 memory=53852 CPUtime=1.48 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 13922 0 0 0 146 2 0 0 20 0 1 0 142899862 56582144 13463 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 13814 13463 612 659 0 13018 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65188 KiB
Current children cumulated memory: 56600 KiB

[startup+3.11297 s]
/proc/loadavg: 4.19 4.19 3.86 5/250 721351
/proc/meminfo: memFree=113605008/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=55256 memory=53852 CPUtime=3.09 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 13922 0 0 0 307 2 0 0 20 0 1 0 142899862 56582144 13463 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 13814 13463 612 659 0 13018 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 65188 KiB
Current children cumulated memory: 56600 KiB

[startup+6.30033 s]
/proc/loadavg: 4.19 4.19 3.86 5/250 721351
/proc/meminfo: memFree=112945960/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=55256 memory=53852 CPUtime=6.27 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 13922 0 0 0 625 2 0 0 20 0 1 0 142899862 56582144 13463 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 13814 13463 612 659 0 13018 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 65188 KiB
Current children cumulated memory: 56600 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.19 3.87 5/252 721356
/proc/meminfo: memFree=112859352/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=55256 memory=53852 CPUtime=12.66 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 13922 0 0 0 1264 2 0 0 20 0 1 0 142899862 56582144 13463 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 13814 13463 612 659 0 13018 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 65188 KiB
Current children cumulated memory: 56600 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.18 3.87 5/252 721358
/proc/meminfo: memFree=110401748/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=3218888 memory=3151896 CPUtime=25.43 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 285024 0 0 0 2442 101 0 0 20 0 1 0 142899862 3296141312 787974 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 804722 787974 612 659 0 803926 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 3228820 KiB
Current children cumulated memory: 3154644 KiB

[startup+51.1135 s]
/proc/loadavg: 4.15 4.18 3.88 5/252 721362
/proc/meminfo: memFree=105363908/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=7703968 memory=7585800 CPUtime=50.98 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 806970 0 0 0 4839 259 0 0 20 0 1 0 142899862 7888863232 1896450 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 1925992 1896450 644 659 0 1925196 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 7713900 KiB
Current children cumulated memory: 7588548 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.16 3.89 5/250 721372
/proc/meminfo: memFree=101700588/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=11939232 memory=11273464 CPUtime=102.04 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 1056280 0 0 0 9786 418 0 0 20 0 1 0 142899862 12225773568 2818366 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 2984808 2818366 644 659 0 2984012 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 11949164 KiB
Current children cumulated memory: 11276212 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.16 3.92 5/250 721382
/proc/meminfo: memFree=99244272/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=13474852 memory=12908656 CPUtime=161.89 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 1337620 0 0 0 15718 471 0 0 20 0 1 0 142899862 13798248448 3227164 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 3368713 3227164 644 659 0 3367917 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 13484784 KiB
Current children cumulated memory: 12911404 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.16 3.93 5/249 721392
/proc/meminfo: memFree=97124260/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=14277512 memory=13711276 CPUtime=221.73 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 1367659 0 0 0 21512 661 0 0 20 0 1 0 142899862 14620172288 3427819 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 3569378 3427819 644 659 0 3568582 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 14287444 KiB

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

[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=20675308 memory=17447388 CPUtime=3094.48 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 2123717 0 0 0 304859 4589 0 0 20 0 1 0 142899862 21171515392 4361847 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 5168827 4361847 660 659 0 5168031 0
Current children cumulated CPU time: 3094.48 s
Current children cumulated vsize: 20685240 KiB
Current children cumulated memory: 17450136 KiB

[startup+3162.3 s]
/proc/loadavg: 4.04 4.11 4.15 5/248 723825
/proc/meminfo: memFree=88087672/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=20675308 memory=17447388 CPUtime=3154.32 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 2127725 0 0 0 310841 4591 0 0 20 0 1 0 142899862 21171515392 4361847 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 5168827 4361847 660 659 0 5168031 0
Current children cumulated CPU time: 3154.32 s
Current children cumulated vsize: 20685240 KiB
Current children cumulated memory: 17450136 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/248 723835
/proc/meminfo: memFree=86435872/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=21269792 memory=18041872 CPUtime=3214.18 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 2138311 0 0 0 316737 4681 0 0 20 0 1 0 142899862 21780267008 4510468 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 5317448 4510468 660 659 0 5316652 0
Current children cumulated CPU time: 3214.18 s
Current children cumulated vsize: 21279724 KiB
Current children cumulated memory: 18044620 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/248 723846
/proc/meminfo: memFree=86664396/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=21061728 memory=17833808 CPUtime=3274.03 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 2151992 0 0 0 322612 4791 0 0 20 0 1 0 142899862 21567209472 4458452 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 5265432 4458452 660 659 0 5264636 0
Current children cumulated CPU time: 3274.03 s
Current children cumulated vsize: 21071660 KiB
Current children cumulated memory: 17836556 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.13 4.15 5/246 723857
/proc/meminfo: memFree=87049352/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=20677320 memory=17449400 CPUtime=3333.87 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 2161092 0 0 0 328517 4870 0 0 20 0 1 0 142899862 21173575680 4362350 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 5169330 4362350 660 659 0 5168534 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 20687252 KiB
Current children cumulated memory: 17452148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/246 723867
/proc/meminfo: memFree=86340524/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=20677320 memory=17449400 CPUtime=3393.7 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 2164283 0 0 0 334499 4871 0 0 20 0 1 0 142899862 21173575680 4362350 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 5169330 4362350 660 659 0 5168534 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 20687252 KiB
Current children cumulated memory: 17452148 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/246 723877
/proc/meminfo: memFree=87048792/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=20677320 memory=17449400 CPUtime=3453.56 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 2168592 0 0 0 340483 4873 0 0 20 0 1 0 142899862 21173575680 4362350 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 5169330 4362350 660 659 0 5168534 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 20687252 KiB
Current children cumulated memory: 17452148 KiB

[startup+3522.3 s]
/proc/loadavg: 3.75 4.03 4.11 4/238 723918
/proc/meminfo: memFree=105417440/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=20677320 memory=17449400 CPUtime=3513.39 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 2171967 0 0 0 346464 4875 0 0 20 0 1 0 142899862 21173575680 4362350 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 5169330 4362350 660 659 0 5168534 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 20687252 KiB
Current children cumulated memory: 17452148 KiB

[startup+3582.3 s]
/proc/loadavg: 3.33 3.86 4.04 4/238 723928
/proc/meminfo: memFree=105417204/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=20677380 memory=17449460 CPUtime=3573.23 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 2178101 0 0 0 352403 4920 0 0 20 0 1 0 142899862 21173637120 4362365 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 5169345 4362365 660 659 0 5168549 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 20687312 KiB
Current children cumulated memory: 17452208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 3.26 3.79 4.01 4/239 723936
/proc/meminfo: memFree=105417128/131655788 swapFree=131071996/131071996
[pid=721346] ppid=721343 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/721346/stat : 721346 (naps-1.03.sh) S 721343 721346 717155 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 142899862 10170368 687 134679101440 94407694897152 94407695976472 140725756758400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94407698074928 94407698122116 94407727210496 140725756761008 140725756761133 140725756761133 140725756768200 0
/proc/721346/statm: 2483 687 609 264 0 134 0
[pid=721351] ppid=721346 vsize=20677380 memory=17449460 CPUtime=3600.06 cores=1,3
/proc/721351/stat : 721351 (naps-1.03) R 721346 721346 717155 0 -1 4194304 2179951 0 0 0 355085 4921 0 0 20 0 1 0 142899862 21173637120 4362365 134679101440 4194304 6891213 140732699063360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20140032 140732699067329 140732699067441 140732699067441 140732699074507 0
/proc/721351/statm: 5169345 4362365 660 659 0 5168549 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 20687312 KiB
Current children cumulated memory: 17452208 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002031 s, system=0.002246 s

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

# cumulated CPU time of all completed processes:  user=3550.86 s, system=49.4078 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.3 s]*
/proc/loadavg: 3.26 3.79 4.01 4/238 723936
/proc/meminfo: memFree=109501156/131655788 swapFree=131071996/131071996
Current cumulated CPU time of completed processes: 0.004277 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3609.39
CPU time (s): 3600.27
CPU user time (s): 3550.86
CPU system time (s): 49.4078
CPU usage (%): 99.7471
Max. virtual memory (cumulated for all children) (KiB): 26037356
Max. memory (cumulated for all children) (KiB): 21911532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.86
system time used= 49.4078
maximum resident set size= 22138160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2180414
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= 24
involuntary context switches= 2260


# summary of solver processes directly reported to runsolver:
#   pid: 721346,721351
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3550.86
#   total CPU system time (s): 49.4078

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9838 second user time and 36.9183 second system time

The end