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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434041-1721122520/watcher-4434041-1721122520 -o /tmp/evaluation-result-4434041-1721122520/solver-4434041-1721122520 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721118899-840439 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4434041-1721122520.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
Current StackSize limit: 8192 KiB

solver pid=844847, runsolver pid=844844

[startup+0.10074 s]*
/proc/loadavg: 4.10 4.21 4.11 5/245 844852
/proc/meminfo: memFree=128279872/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=11260 memory=5048 CPUtime=0.09 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 886 0 0 0 9 0 0 0 20 0 1 0 164407816 11530240 1262 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 2815 1262 436 659 0 2019 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21192 KiB
Current children cumulated memory: 7728 KiB

[startup+0.216748 s]*
/proc/loadavg: 4.10 4.21 4.11 5/245 844852
/proc/meminfo: memFree=128277856/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=12300 memory=6104 CPUtime=0.19 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 1190 0 0 0 19 0 0 0 20 0 1 0 164407816 12595200 1526 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 3075 1526 436 659 0 2279 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22232 KiB
Current children cumulated memory: 8784 KiB

[startup+0.313264 s]*
/proc/loadavg: 4.10 4.21 4.11 5/245 844852
/proc/meminfo: memFree=128276512/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=13640 memory=9844 CPUtime=0.28 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 1587 0 0 0 28 0 0 0 20 0 1 0 164407816 13967360 2461 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 3410 2461 436 659 0 2614 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 23572 KiB
Current children cumulated memory: 12524 KiB

[startup+0.700419 s]
/proc/loadavg: 4.10 4.21 4.11 5/245 844852
/proc/meminfo: memFree=128273596/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=14036 memory=10188 CPUtime=0.66 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 1744 0 0 0 66 0 0 0 20 0 1 0 164407816 14372864 2547 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 3509 2547 436 659 0 2713 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 23968 KiB
Current children cumulated memory: 12868 KiB

[startup+1.50042 s]
/proc/loadavg: 4.09 4.20 4.11 5/245 844852
/proc/meminfo: memFree=128273352/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=109000 memory=104796 CPUtime=1.46 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 16474 0 0 0 142 4 0 0 20 0 1 0 164407816 111616000 26199 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 27250 26199 468 659 0 26454 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 118932 KiB
Current children cumulated memory: 107476 KiB

[startup+3.11292 s]
/proc/loadavg: 4.09 4.20 4.11 5/245 844852
/proc/meminfo: memFree=128053256/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=245644 memory=234600 CPUtime=3.07 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 48911 0 0 0 298 9 0 0 20 0 1 0 164407816 251539456 58650 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 61411 58650 468 659 0 60615 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 255576 KiB
Current children cumulated memory: 237280 KiB

[startup+6.30039 s]
/proc/loadavg: 4.09 4.20 4.11 5/245 844852
/proc/meminfo: memFree=127813052/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=470572 memory=466632 CPUtime=6.25 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 105406 0 0 0 605 20 0 0 20 0 1 0 164407816 481865728 116658 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 117643 116658 468 659 0 116847 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 480504 KiB
Current children cumulated memory: 469312 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.20 4.11 5/245 844853
/proc/meminfo: memFree=127442132/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=934344 memory=929752 CPUtime=12.63 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 208319 0 0 0 1224 39 0 0 20 0 1 0 164407816 956768256 232438 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 233586 232438 468 659 0 232790 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 944276 KiB
Current children cumulated memory: 932432 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.21 4.12 5/245 844856
/proc/meminfo: memFree=127233844/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=1011604 memory=1007184 CPUtime=25.4 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 223127 0 0 0 2498 42 0 0 20 0 1 0 164407816 1035882496 251796 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 252901 251796 468 659 0 252105 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1021536 KiB
Current children cumulated memory: 1009864 KiB

[startup+51.113 s]
/proc/loadavg: 4.09 4.19 4.11 5/245 844860
/proc/meminfo: memFree=126968692/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=1297904 memory=1261244 CPUtime=50.95 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 256294 0 0 0 5043 52 0 0 20 0 1 0 164407816 1329053696 315311 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 324476 315311 468 659 0 323680 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1307836 KiB
Current children cumulated memory: 1263924 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.17 4.11 5/245 844918
/proc/meminfo: memFree=122433268/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6245156 memory=5341528 CPUtime=102 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 431868 0 0 0 10047 153 0 0 20 0 1 0 164407816 6395039744 1335382 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1561289 1335382 468 659 0 1560493 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 6255088 KiB
Current children cumulated memory: 5344208 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.18 4.11 5/245 844928
/proc/meminfo: memFree=121986392/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6315784 memory=5665972 CPUtime=161.84 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 499966 0 0 0 15989 195 0 0 20 0 1 0 164407816 6467362816 1416493 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1578946 1416493 468 659 0 1578150 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 6325716 KiB
Current children cumulated memory: 5668652 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.15 4.10 5/245 844939
/proc/meminfo: memFree=121984040/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6334632 memory=5682428 CPUtime=221.69 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 500998 0 0 0 21972 197 0 0 20 0 1 0 164407816 6486663168 1420607 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1583658 1420607 468 659 0 1582862 0
Current children cumulated CPU time: 221.69 s

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

/proc/844852/statm: 1675627 1473497 468 659 0 1674831 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 6712440 KiB
Current children cumulated memory: 5896668 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/247 846463
/proc/meminfo: memFree=109521044/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6702508 memory=5900132 CPUtime=3093.92 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 597275 0 0 0 309149 243 0 0 20 0 1 0 164407816 6863368192 1475033 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1675627 1475033 468 659 0 1674831 0
Current children cumulated CPU time: 3093.92 s
Current children cumulated vsize: 6712440 KiB
Current children cumulated memory: 5902812 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/249 846643
/proc/meminfo: memFree=109518028/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6702508 memory=5904228 CPUtime=3153.76 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 599662 0 0 0 315132 244 0 0 20 0 1 0 164407816 6863368192 1476057 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1675627 1476057 468 659 0 1674831 0
Current children cumulated CPU time: 3153.76 s
Current children cumulated vsize: 6712440 KiB
Current children cumulated memory: 5906908 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/249 846654
/proc/meminfo: memFree=109525268/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6702508 memory=5910372 CPUtime=3213.59 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 602071 0 0 0 321115 244 0 0 20 0 1 0 164407816 6863368192 1477593 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1675627 1477593 468 659 0 1674831 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 6712440 KiB
Current children cumulated memory: 5913052 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/250 846723
/proc/meminfo: memFree=109416044/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6702508 memory=5914468 CPUtime=3273.44 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 604416 0 0 0 327099 245 0 0 20 0 1 0 164407816 6863368192 1478617 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1675627 1478617 468 659 0 1674831 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 6712440 KiB
Current children cumulated memory: 5917148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/250 846733
/proc/meminfo: memFree=109412716/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6702508 memory=5920612 CPUtime=3333.28 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 606771 0 0 0 333082 246 0 0 20 0 1 0 164407816 6863368192 1480153 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1675627 1480153 468 659 0 1674831 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 6712440 KiB
Current children cumulated memory: 5923292 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.16 5/250 846743
/proc/meminfo: memFree=109517460/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6702508 memory=5924708 CPUtime=3393.1 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 609261 0 0 0 339064 246 0 0 20 0 1 0 164407816 6863368192 1481177 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1675627 1481177 468 659 0 1674831 0
Current children cumulated CPU time: 3393.1 s
Current children cumulated vsize: 6712440 KiB
Current children cumulated memory: 5927388 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/250 846754
/proc/meminfo: memFree=109665388/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6353260 memory=5682588 CPUtime=3452.94 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 612291 0 0 0 345038 256 0 0 20 0 1 0 164407816 6505738240 1420647 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1588315 1420647 468 659 0 1587519 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 6363192 KiB
Current children cumulated memory: 5685268 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/248 846764
/proc/meminfo: memFree=109669024/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6353260 memory=5686684 CPUtime=3512.79 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 614515 0 0 0 351023 256 0 0 20 0 1 0 164407816 6505738240 1421671 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1588315 1421671 468 659 0 1587519 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 6363192 KiB
Current children cumulated memory: 5689364 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/248 846775
/proc/meminfo: memFree=109689464/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6353260 memory=5694876 CPUtime=3572.65 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 616771 0 0 0 357008 257 0 0 20 0 1 0 164407816 6505738240 1423719 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1588315 1423719 468 659 0 1587519 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 6363192 KiB
Current children cumulated memory: 5697556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.12 4.11 4.14 5/245 846831
/proc/meminfo: memFree=109420248/131655788 swapFree=131071996/131071996
[pid=844847] ppid=844844 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/844847/stat : 844847 (naps-1.03.sh) S 844844 844847 840426 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 164407816 10170368 670 134679101440 94770853113856 94770854193176 140728477555296 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94770856291632 94770856338820 94770884407296 140728477557728 140728477557857 140728477557857 140728477564872 0
/proc/844847/statm: 2483 670 591 264 0 134 0
[pid=844852] ppid=844847 vsize=6353260 memory=5698972 CPUtime=3600.07 cores=5,7
/proc/844852/stat : 844852 (naps-1.03) R 844847 844847 840426 0 -1 4194304 617860 0 0 0 359750 257 0 0 20 0 1 0 164407816 6505738240 1424743 134679101440 4194304 6891213 140728253716624 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34729984 140728253719537 140728253719653 140728253719653 140728253726667 0
/proc/844852/statm: 1588315 1424743 468 659 0 1587519 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6363192 KiB
Current children cumulated memory: 5701652 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00224 s, system=0.002389 s

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

# cumulated CPU time of all completed processes:  user=3597.51 s, system=2.59451 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): 3609.82
CPU time (s): 3600.11
CPU user time (s): 3597.51
CPU system time (s): 2.59451
CPU usage (%): 99.7309
Max. virtual memory (cumulated for all children) (KiB): 7271240
Max. memory (cumulated for all children) (KiB): 6352620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.51
system time used= 2.59451
maximum resident set size= 6349940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618322
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= 533
involuntary context switches= 1399


# summary of solver processes directly reported to runsolver:
#   pid: 844847,844852
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3597.51
#   total CPU system time (s): 2.59451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1847 second user time and 38.4375 second system time

The end