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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463556-1722353046/watcher-4463556-1722353046 -o /tmp/evaluation-result-4463556-1722353046/solver-4463556-1722353046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722351984-14361 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463556-1722353046.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=15585, runsolver pid=15582

[startup+0.100097 s]*
/proc/loadavg: 4.14 4.19 3.46 5/249 15590
/proc/meminfo: memFree=93604396/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=10900 memory=9396 CPUtime=0.1 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 2056 0 0 0 10 0 0 0 20 0 1 0 1901066 11161600 2349 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 2725 2349 580 659 0 1929 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20832 KiB
Current children cumulated memory: 12212 KiB

[startup+0.212208 s]*
/proc/loadavg: 4.14 4.19 3.46 5/249 15590
/proc/meminfo: memFree=93596864/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=18076 memory=16448 CPUtime=0.21 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 4076 0 0 0 21 0 0 0 20 0 1 0 1901066 18509824 4112 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 4519 4112 580 659 0 3723 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28008 KiB
Current children cumulated memory: 19264 KiB

[startup+0.312947 s]*
/proc/loadavg: 4.14 4.19 3.46 5/249 15590
/proc/meminfo: memFree=93588268/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=28732 memory=26376 CPUtime=0.31 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 7050 0 0 0 30 1 0 0 20 0 1 0 1901066 29421568 6594 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 7183 6594 580 659 0 6387 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38664 KiB
Current children cumulated memory: 29192 KiB

[startup+0.700403 s]
/proc/loadavg: 4.14 4.19 3.46 5/249 15590
/proc/meminfo: memFree=93574008/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=47656 memory=46296 CPUtime=0.68 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 12003 0 0 0 66 2 0 0 20 0 1 0 1901066 48799744 11574 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 11914 11574 612 659 0 11118 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57588 KiB
Current children cumulated memory: 49112 KiB

[startup+1.50036 s]
/proc/loadavg: 4.14 4.19 3.46 5/249 15590
/proc/meminfo: memFree=93556468/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=57120 memory=55732 CPUtime=1.48 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 14817 0 0 0 146 2 0 0 20 0 1 0 1901066 58490880 13933 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 14280 13933 612 659 0 13484 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67052 KiB
Current children cumulated memory: 58548 KiB

[startup+3.11265 s]
/proc/loadavg: 4.14 4.19 3.46 5/249 15592
/proc/meminfo: memFree=93536236/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=57120 memory=55732 CPUtime=3.09 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 14817 0 0 0 307 2 0 0 20 0 1 0 1901066 58490880 13933 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 14280 13933 612 659 0 13484 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 67052 KiB
Current children cumulated memory: 58548 KiB

[startup+6.30032 s]
/proc/loadavg: 4.13 4.19 3.46 5/249 15592
/proc/meminfo: memFree=93484812/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=57120 memory=55732 CPUtime=6.27 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 14817 0 0 0 625 2 0 0 20 0 1 0 1901066 58490880 13933 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 14280 13933 612 659 0 13484 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 67052 KiB
Current children cumulated memory: 58548 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.19 3.46 5/249 15592
/proc/meminfo: memFree=93359948/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=72776 memory=68596 CPUtime=12.66 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 17501 0 0 0 1263 3 0 0 20 0 1 0 1901066 74522624 17149 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 18194 17149 612 659 0 17398 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 82708 KiB
Current children cumulated memory: 71412 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.19 3.48 5/249 15595
/proc/meminfo: memFree=90784352/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=1185920 memory=1138452 CPUtime=25.43 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 126390 0 0 0 2508 35 0 0 20 0 1 0 1901066 1214382080 284613 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 296480 284613 612 659 0 295684 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1195852 KiB
Current children cumulated memory: 1141268 KiB

[startup+51.1131 s]
/proc/loadavg: 4.11 4.18 3.49 5/249 15598
/proc/meminfo: memFree=84155052/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=6393796 memory=6069892 CPUtime=50.98 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 593519 0 0 0 4895 203 0 0 20 0 1 0 1901066 6547247104 1517473 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 1598449 1517473 644 659 0 1597653 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 6403728 KiB
Current children cumulated memory: 6072708 KiB

[startup+102.3 s]
/proc/loadavg: 4.36 4.23 3.55 5/250 15994
/proc/meminfo: memFree=83655888/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=6987092 memory=6661044 CPUtime=102.04 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 695576 0 0 0 9975 229 0 0 20 0 1 0 1901066 7154782208 1665261 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 1746773 1665261 644 659 0 1745977 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 6997024 KiB
Current children cumulated memory: 6663860 KiB

[startup+162.3 s]
/proc/loadavg: 4.83 4.40 3.65 5/248 16006
/proc/meminfo: memFree=79609628/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=10958060 memory=10201220 CPUtime=161.89 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 846658 0 0 0 15670 519 0 0 20 0 1 0 1901066 11221053440 2550305 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 2739515 2550305 644 659 0 2738719 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 10967992 KiB
Current children cumulated memory: 10204036 KiB

[startup+222.3 s]
/proc/loadavg: 4.38 4.34 3.68 4/249 16019
/proc/meminfo: memFree=72421088/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=13180296 memory=12421212 CPUtime=221.74 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 948899 0 0 0 21540 634 0 0 20 0 1 0 1901066 13496623104 3105303 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 3295074 3105303 660 659 0 3294278 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 13190228 KiB

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

/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=10521748 memory=9925516 CPUtime=520.96 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 1024947 0 0 0 50950 1146 0 0 20 0 1 0 1901066 10774269952 2481379 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 2630437 2481379 660 659 0 2629641 0
Current children cumulated CPU time: 520.96 s
Current children cumulated vsize: 10531680 KiB
Current children cumulated memory: 9928332 KiB

[startup+582.3 s]
/proc/loadavg: 4.11 4.19 3.85 5/247 16366
/proc/meminfo: memFree=95656752/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=10938060 memory=10311852 CPUtime=580.81 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 1041998 0 0 0 56738 1343 0 0 20 0 1 0 1901066 11200573440 2577963 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 2734515 2577963 660 659 0 2733719 0
Current children cumulated CPU time: 580.81 s
Current children cumulated vsize: 10947992 KiB
Current children cumulated memory: 10314668 KiB

[startup+642.3 s]
/proc/loadavg: 4.07 4.17 3.86 5/247 16376
/proc/meminfo: memFree=96724612/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=12548912 memory=11222268 CPUtime=640.65 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 1052120 0 0 0 62646 1419 0 0 20 0 1 0 1901066 12850085888 2805567 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 3137228 2805567 660 659 0 3136432 0
Current children cumulated CPU time: 640.65 s
Current children cumulated vsize: 12558844 KiB
Current children cumulated memory: 11225084 KiB

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

# cumulated CPU time of all completed processes:  user=674.3 s, system=16.5148 s

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

[startup+665.6 s]
/proc/loadavg: 4.13 4.17 3.87 5/246 16382
/proc/meminfo: memFree=93978580/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=11543700 memory=10765600 CPUtime=663.89 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 1053682 0 0 0 64953 1436 0 0 20 0 1 0 1901066 11820748800 2691400 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 2885925 2691400 660 659 0 2885129 0
Current children cumulated CPU time: 663.89 s
Current children cumulated vsize: 11553632 KiB
Current children cumulated memory: 10768416 KiB

[startup+678.4 s]
/proc/loadavg: 4.11 4.17 3.87 5/246 16383
/proc/meminfo: memFree=96689760/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=8360200 memory=7743860 CPUtime=676.66 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 1060480 0 0 0 66157 1509 0 0 20 0 1 0 1901066 8560844800 1935965 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 2090050 1935965 660 659 0 2089254 0
Current children cumulated CPU time: 676.66 s
Current children cumulated vsize: 8370132 KiB
Current children cumulated memory: 7746676 KiB

[startup+684.8 s]
/proc/loadavg: 4.16 4.18 3.88 5/246 16385
/proc/meminfo: memFree=97017280/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=8211744 memory=7755580 CPUtime=683.04 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 1063786 0 0 0 66713 1591 0 0 20 0 1 0 1901066 8408825856 1938895 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 2052936 1938895 660 659 0 2052140 0
Current children cumulated CPU time: 683.04 s
Current children cumulated vsize: 8221676 KiB
Current children cumulated memory: 7758396 KiB

[startup+688 s]*
/proc/loadavg: 4.16 4.18 3.88 5/246 16385
/proc/meminfo: memFree=96591960/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=10307040 memory=7967364 CPUtime=686.25 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 1064329 0 0 0 67029 1596 0 0 20 0 1 0 1901066 10554408960 1991841 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 2576760 1991841 660 659 0 2575964 0
Current children cumulated CPU time: 686.25 s
Current children cumulated vsize: 10316972 KiB
Current children cumulated memory: 7970180 KiB

[startup+689.6 s]
/proc/loadavg: 4.15 4.17 3.88 5/246 16385
/proc/meminfo: memFree=96762704/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=8211744 memory=7765820 CPUtime=687.83 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 1065621 0 0 0 67149 1634 0 0 20 0 1 0 1901066 8408825856 1941455 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 2052936 1941455 660 659 0 2052140 0
Current children cumulated CPU time: 687.83 s
Current children cumulated vsize: 8221676 KiB
Current children cumulated memory: 7768636 KiB

[startup+691.2 s]
/proc/loadavg: 4.15 4.17 3.88 5/246 16385
/proc/meminfo: memFree=96723704/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=8211744 memory=7771964 CPUtime=689.43 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 1065723 0 0 0 67309 1634 0 0 20 0 1 0 1901066 8408825856 1942991 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 2052936 1942991 660 659 0 2052140 0
Current children cumulated CPU time: 689.43 s
Current children cumulated vsize: 8221676 KiB
Current children cumulated memory: 7774780 KiB

[startup+692 s]*
/proc/loadavg: 4.15 4.17 3.88 5/246 16385
/proc/meminfo: memFree=96755852/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=8211744 memory=7771964 CPUtime=690.23 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 1065730 0 0 0 67389 1634 0 0 20 0 1 0 1901066 8408825856 1942991 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 2052936 1942991 660 659 0 2052140 0
Current children cumulated CPU time: 690.23 s
Current children cumulated vsize: 8221676 KiB
Current children cumulated memory: 7774780 KiB

[startup+692.4 s]
/proc/loadavg: 4.15 4.17 3.88 5/246 16385
/proc/meminfo: memFree=96755852/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
[pid=15590] ppid=15585 vsize=7536840 memory=7097060 CPUtime=690.62 cores=5,7
/proc/15590/stat : 15590 (naps-1.03a2) R 15585 15585 14348 0 -1 4194304 1065800 0 0 0 67428 1634 0 0 20 0 1 0 1901066 7717724160 1774265 134679101440 4194304 6891597 140736945087888 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 27488256 140736945091566 140736945091680 140736945091680 140736945098697 0
/proc/15590/statm: 1884210 1774265 660 659 0 1883414 0
Current children cumulated CPU time: 690.62 s
Current children cumulated vsize: 7546772 KiB
Current children cumulated memory: 7099876 KiB

[startup+692.5 s]
/proc/loadavg: 4.15 4.17 3.88 5/246 16385
/proc/meminfo: memFree=96755852/131655788 swapFree=131071996/131071996
[pid=15585] ppid=15582 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/15585/stat : 15585 (naps-1.03.sh) S 15582 15585 14348 0 -1 4194304 227 241 0 0 0 0 0 0 20 0 1 0 1901066 10170368 704 134679101440 94353845305344 94353846384664 140725710538752 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94353848483120 94353848530308 94353872404480 140725710545891 140725710546016 140725710546016 140725710553032 0
/proc/15585/statm: 2483 704 628 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2816 KiB

Child status: 30

Real time (s): 692.576
CPU time (s): 690.815
CPU user time (s): 674.3
CPU system time (s): 16.5148
CPU usage (%): 99.7457
Max. virtual memory (cumulated for all children) (KiB): 16530248
Max. memory (cumulated for all children) (KiB): 14820868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 674.3
system time used= 16.5148
maximum resident set size= 14818052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1066284
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= 1400


# summary of solver processes directly reported to runsolver:
#   pid: 15585
#   total CPU time (s): 690.815
#   total CPU user time (s): 674.3
#   total CPU system time (s): 16.5148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.46006 second user time and 7.28102 second system time

The end