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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463572-1722353569/watcher-4463572-1722353569 -o /tmp/evaluation-result-4463572-1722353569/solver-4463572-1722353569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722352591-13988 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463572-1722353569.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=15609, runsolver pid=15606

[startup+0.100092 s]*
/proc/loadavg: 4.15 4.11 3.48 5/264 15614
/proc/meminfo: memFree=103213816/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=14404 memory=12492 CPUtime=0.09 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 3108 0 0 0 9 0 0 0 20 0 1 0 1954257 14749696 3123 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 3601 3123 580 659 0 2805 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24336 KiB
Current children cumulated memory: 15144 KiB

[startup+0.205886 s]*
/proc/loadavg: 4.15 4.11 3.48 5/264 15614
/proc/meminfo: memFree=103202868/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=22388 memory=20796 CPUtime=0.19 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 5108 0 0 0 19 0 0 0 20 0 1 0 1954257 22925312 5199 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 5597 5199 612 659 0 4801 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32320 KiB
Current children cumulated memory: 23448 KiB

[startup+0.305787 s]*
/proc/loadavg: 4.15 4.11 3.48 6/264 15614
/proc/meminfo: memFree=103199704/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=25320 memory=23700 CPUtime=0.3 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 5859 0 0 0 29 1 0 0 20 0 1 0 1954257 25927680 5925 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 6330 5925 612 659 0 5534 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35252 KiB
Current children cumulated memory: 26352 KiB

[startup+0.700262 s]
/proc/loadavg: 4.15 4.11 3.48 5/264 15615
/proc/meminfo: memFree=103199564/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=25320 memory=23700 CPUtime=0.69 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 5859 0 0 0 68 1 0 0 20 0 1 0 1954257 25927680 5925 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 6330 5925 612 659 0 5534 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35252 KiB
Current children cumulated memory: 26352 KiB

[startup+1.50023 s]
/proc/loadavg: 4.15 4.11 3.48 5/264 15615
/proc/meminfo: memFree=103199536/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=43564 memory=39696 CPUtime=1.48 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 10229 0 0 0 147 1 0 0 20 0 1 0 1954257 44609536 9924 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 10891 9924 612 659 0 10095 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53496 KiB
Current children cumulated memory: 42348 KiB

[startup+3.1056 s]
/proc/loadavg: 4.14 4.11 3.48 5/264 15615
/proc/meminfo: memFree=102552300/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=739608 memory=721464 CPUtime=3.09 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 79136 0 0 0 288 21 0 0 20 0 1 0 1954257 757358592 180366 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 184902 180366 612 659 0 184106 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 749540 KiB
Current children cumulated memory: 724116 KiB

[startup+6.30026 s]
/proc/loadavg: 4.14 4.11 3.48 5/264 15615
/proc/meminfo: memFree=103513756/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=950868 memory=917072 CPUtime=6.28 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 93107 0 0 0 598 30 0 0 20 0 1 0 1954257 973688832 229268 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 237717 229268 644 659 0 236921 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 960800 KiB
Current children cumulated memory: 919724 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.11 3.49 5/264 15617
/proc/meminfo: memFree=102447144/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=812024 memory=736080 CPUtime=12.65 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 104072 0 0 0 1212 53 0 0 20 0 1 0 1954257 831512576 184020 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 203006 184020 660 659 0 202210 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 821956 KiB
Current children cumulated memory: 738732 KiB

[startup+25.5003 s]
/proc/loadavg: 4.25 4.14 3.51 5/264 15619
/proc/meminfo: memFree=103096664/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=779124 memory=688720 CPUtime=25.42 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 104708 0 0 0 2484 58 0 0 20 0 1 0 1954257 797822976 172180 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 194781 172180 660 659 0 193985 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 789056 KiB
Current children cumulated memory: 691372 KiB

[startup+51.1056 s]
/proc/loadavg: 4.24 4.14 3.53 5/262 15623
/proc/meminfo: memFree=101749116/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=779520 memory=688300 CPUtime=50.96 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 107344 0 0 0 5030 66 0 0 20 0 1 0 1954257 798228480 172075 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 194880 172075 660 659 0 194084 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 789452 KiB
Current children cumulated memory: 690952 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.15 3.57 5/262 15633
/proc/meminfo: memFree=102554228/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=782644 memory=691492 CPUtime=102.01 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 110913 0 0 0 10122 79 0 0 20 0 1 0 1954257 801427456 172873 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 195661 172873 660 659 0 194865 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 792576 KiB
Current children cumulated memory: 694144 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.15 3.61 5/259 15643
/proc/meminfo: memFree=100019892/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=705032 memory=689988 CPUtime=161.85 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 112789 0 0 0 16101 84 0 0 20 0 1 0 1954257 721952768 172497 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 176258 172497 660 659 0 175462 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 714964 KiB
Current children cumulated memory: 692640 KiB

[startup+214.829 s]
# the end of solver process 15609 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=213.253 s, system=0.995577 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+179.2 s]
/proc/loadavg: 4.37 4.19 3.63 5/259 15644
/proc/meminfo: memFree=101806112/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=705736 memory=690692 CPUtime=178.71 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 113766 0 0 0 17783 88 0 0 20 0 1 0 1954257 722673664 172673 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 176434 172673 660 659 0 175638 0
Current children cumulated CPU time: 178.71 s
Current children cumulated vsize: 715668 KiB
Current children cumulated memory: 693344 KiB

[startup+192 s]*
/proc/loadavg: 4.43 4.21 3.65 5/259 15648
/proc/meminfo: memFree=102813496/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=785528 memory=692328 CPUtime=191.47 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 114201 0 0 0 19058 89 0 0 20 0 1 0 1954257 804380672 173082 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 196382 173082 660 659 0 195586 0
Current children cumulated CPU time: 191.47 s
Current children cumulated vsize: 795460 KiB
Current children cumulated memory: 694980 KiB

[startup+204.8 s]
/proc/loadavg: 4.36 4.21 3.65 5/259 15650
/proc/meminfo: memFree=103021996/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=706052 memory=691008 CPUtime=204.23 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 115495 0 0 0 20331 92 0 0 20 0 1 0 1954257 722997248 172752 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 176513 172752 660 659 0 175717 0
Current children cumulated CPU time: 204.23 s
Current children cumulated vsize: 715984 KiB
Current children cumulated memory: 693660 KiB

[startup+211.2 s]
/proc/loadavg: 4.33 4.20 3.65 5/259 15651
/proc/meminfo: memFree=102932112/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=786164 memory=693204 CPUtime=210.62 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 115632 0 0 0 20968 94 0 0 20 0 1 0 1954257 805031936 173301 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 196541 173301 660 659 0 195745 0
Current children cumulated CPU time: 210.62 s
Current children cumulated vsize: 796096 KiB
Current children cumulated memory: 695856 KiB

[startup+212.8 s]
/proc/loadavg: 4.39 4.22 3.66 5/259 15651
/proc/meminfo: memFree=103174284/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=707488 memory=692444 CPUtime=212.22 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 116090 0 0 0 21126 96 0 0 20 0 1 0 1954257 724467712 173111 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 176872 173111 660 659 0 176076 0
Current children cumulated CPU time: 212.22 s
Current children cumulated vsize: 717420 KiB
Current children cumulated memory: 695096 KiB

[startup+213.6 s]
/proc/loadavg: 4.39 4.22 3.66 5/259 15651
/proc/meminfo: memFree=103018136/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=707488 memory=692444 CPUtime=213.01 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 116090 0 0 0 21205 96 0 0 20 0 1 0 1954257 724467712 173111 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 176872 173111 660 659 0 176076 0
Current children cumulated CPU time: 213.01 s
Current children cumulated vsize: 717420 KiB
Current children cumulated memory: 695096 KiB

[startup+214.4 s]
/proc/loadavg: 4.39 4.22 3.66 5/259 15651
/proc/meminfo: memFree=103016908/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=789036 memory=693788 CPUtime=213.81 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 116373 0 0 0 21284 97 0 0 20 0 1 0 1954257 807972864 173447 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 197259 173447 660 659 0 196463 0
Current children cumulated CPU time: 213.81 s
Current children cumulated vsize: 798968 KiB
Current children cumulated memory: 696440 KiB

[startup+214.8 s]
/proc/loadavg: 4.39 4.22 3.66 5/259 15651
/proc/meminfo: memFree=103016908/131524600 swapFree=131071996/131071996
[pid=15609] ppid=15606 vsize=9932 memory=2652 CPUtime=0 cores=4,6
/proc/15609/stat : 15609 (naps-1.03.sh) S 15606 15609 13977 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 1954257 10170368 663 134679101440 94820245446656 94820246525976 140728405219232 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94820248624432 94820248671620 94820259643392 140728405222371 140728405222496 140728405222496 140728405229512 0
/proc/15609/statm: 2483 663 585 264 0 134 0
[pid=15614] ppid=15609 vsize=789036 memory=693788 CPUtime=214.21 cores=4,6
/proc/15614/stat : 15614 (naps-1.03a2) R 15609 15609 13977 0 -1 4194304 116373 0 0 0 21324 97 0 0 20 0 1 0 1954257 807972864 173447 134679101440 4194304 6891597 140733757362480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 39899136 140733757371374 140733757371488 140733757371488 140733757378505 0
/proc/15614/statm: 197259 173447 660 659 0 196463 0
Current children cumulated CPU time: 214.21 s
Current children cumulated vsize: 798968 KiB
Current children cumulated memory: 696440 KiB

Child status: 30

Real time (s): 214.829
CPU time (s): 214.248
CPU user time (s): 213.253
CPU system time (s): 0.995577
CPU usage (%): 99.7298
Max. virtual memory (cumulated for all children) (KiB): 1120656
Max. memory (cumulated for all children) (KiB): 1079488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 213.253
system time used= 0.995577
maximum resident set size= 1076836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116851
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= 12
involuntary context switches= 333


# summary of solver processes directly reported to runsolver:
#   pid: 15609
#   total CPU time (s): 214.248
#   total CPU user time (s): 213.253
#   total CPU system time (s): 0.995577

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.408875 second user time and 1.09816 second system time

The end