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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461602-1722079505/watcher-4461602-1722079505 -o /tmp/evaluation-result-4461602-1722079505/solver-4461602-1722079505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722075866-333073 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461602-1722079505.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=336083, runsolver pid=336080

[startup+0.100086 s]*
/proc/loadavg: 4.54 4.22 4.13 6/259 336088
/proc/meminfo: memFree=116112024/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=14896 memory=13052 CPUtime=0.09 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 3225 0 0 0 9 0 0 0 20 0 1 0 44478863 15253504 3263 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 3724 3263 580 659 0 2928 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24828 KiB
Current children cumulated memory: 15760 KiB

[startup+0.205758 s]*
/proc/loadavg: 4.54 4.22 4.13 5/259 336088
/proc/meminfo: memFree=116002192/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=29648 memory=27140 CPUtime=0.2 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 6742 0 0 0 19 1 0 0 20 0 1 0 44478863 30359552 6785 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 7412 6785 580 659 0 6616 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 29848 KiB

[startup+0.305876 s]*
/proc/loadavg: 4.54 4.22 4.13 5/259 336088
/proc/meminfo: memFree=115965728/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=35020 memory=33008 CPUtime=0.3 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 8165 0 0 0 29 1 0 0 20 0 1 0 44478863 35860480 8252 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 8755 8252 596 659 0 7959 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44952 KiB
Current children cumulated memory: 35716 KiB

[startup+0.700176 s]
/proc/loadavg: 4.66 4.25 4.14 5/259 336088
/proc/meminfo: memFree=115800860/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=43212 memory=41252 CPUtime=0.68 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 10211 0 0 0 67 1 0 0 20 0 1 0 44478863 44249088 10313 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 10803 10313 612 659 0 10007 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53144 KiB
Current children cumulated memory: 43960 KiB

[startup+1.50018 s]
/proc/loadavg: 4.66 4.25 4.14 5/259 336088
/proc/meminfo: memFree=115434148/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=43212 memory=41252 CPUtime=1.48 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 10211 0 0 0 147 1 0 0 20 0 1 0 44478863 44249088 10313 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 10803 10313 612 659 0 10007 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53144 KiB
Current children cumulated memory: 43960 KiB

[startup+3.10497 s]
/proc/loadavg: 4.66 4.25 4.14 6/259 336088
/proc/meminfo: memFree=113411280/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=43212 memory=41252 CPUtime=3.08 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 10212 0 0 0 307 1 0 0 20 0 1 0 44478863 44249088 10313 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 10803 10313 612 659 0 10007 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53144 KiB
Current children cumulated memory: 43960 KiB

[startup+6.30025 s]
/proc/loadavg: 4.85 4.29 4.15 5/262 336478
/proc/meminfo: memFree=110309444/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=916164 memory=871120 CPUtime=6.27 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 91087 0 0 0 602 25 0 0 20 0 1 0 44478863 938151936 217780 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 229041 217780 612 659 0 228245 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 926096 KiB
Current children cumulated memory: 873828 KiB

[startup+12.7003 s]
/proc/loadavg: 4.78 4.29 4.15 5/260 336478
/proc/meminfo: memFree=102172336/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=1762576 memory=1701536 CPUtime=12.66 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 185018 0 0 0 1211 55 0 0 20 0 1 0 44478863 1804877824 425384 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 440644 425384 644 659 0 439848 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1772508 KiB
Current children cumulated memory: 1704244 KiB

[startup+25.5003 s]
/proc/loadavg: 4.66 4.28 4.15 6/260 336531
/proc/meminfo: memFree=99626812/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=2944712 memory=2780144 CPUtime=25.43 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 207550 0 0 0 2407 136 0 0 20 0 1 0 44478863 3015385088 695036 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 736178 695036 644 659 0 735382 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2954644 KiB
Current children cumulated memory: 2782852 KiB

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

# cumulated CPU time of all completed processes:  user=41.5152 s, system=1.95139 s

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

[startup+25.6003 s]
/proc/loadavg: 4.66 4.28 4.15 6/260 336531
/proc/meminfo: memFree=99626812/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=2944712 memory=2780144 CPUtime=25.53 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 207550 0 0 0 2417 136 0 0 20 0 1 0 44478863 3015385088 695036 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 736178 695036 644 659 0 735382 0
Current children cumulated CPU time: 25.53 s
Current children cumulated vsize: 2954644 KiB
Current children cumulated memory: 2782852 KiB

[startup+32.0002 s]*
/proc/loadavg: 4.56 4.27 4.15 5/260 336531
/proc/meminfo: memFree=99383824/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=2988136 memory=2758264 CPUtime=31.91 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 210656 0 0 0 3046 145 0 0 20 0 1 0 44478863 3059851264 689566 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 747034 689566 660 659 0 746238 0
Current children cumulated CPU time: 31.91 s
Current children cumulated vsize: 2998068 KiB
Current children cumulated memory: 2760972 KiB

[startup+38.4002 s]
/proc/loadavg: 4.51 4.26 4.15 5/260 336532
/proc/meminfo: memFree=99341544/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=3362408 memory=2979520 CPUtime=38.28 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 212749 0 0 0 3667 161 0 0 20 0 1 0 44478863 3443105792 744880 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 840602 744880 660 659 0 839806 0
Current children cumulated CPU time: 38.28 s
Current children cumulated vsize: 3372340 KiB
Current children cumulated memory: 2982228 KiB

[startup+41.6002 s]
/proc/loadavg: 4.47 4.26 4.15 5/260 336532
/proc/meminfo: memFree=100492656/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=1789292 memory=1623392 CPUtime=41.48 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 215368 0 0 0 3965 183 0 0 20 0 1 0 44478863 1832235008 405848 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 447323 405848 660 659 0 446527 0
Current children cumulated CPU time: 41.48 s
Current children cumulated vsize: 1799224 KiB
Current children cumulated memory: 1626100 KiB

[startup+42.4002 s]
/proc/loadavg: 4.47 4.26 4.15 5/260 336532
/proc/meminfo: memFree=100419644/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=1858076 memory=1694856 CPUtime=42.28 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 216293 0 0 0 4041 187 0 0 20 0 1 0 44478863 1902669824 423714 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 464519 423714 660 659 0 463723 0
Current children cumulated CPU time: 42.28 s
Current children cumulated vsize: 1868008 KiB
Current children cumulated memory: 1697564 KiB

[startup+43.2002 s]
/proc/loadavg: 4.47 4.26 4.15 5/260 336532
/proc/meminfo: memFree=100504564/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=1721348 memory=1609228 CPUtime=43.08 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 216827 0 0 0 4117 191 0 0 20 0 1 0 44478863 1762660352 402307 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 430337 402307 660 659 0 429541 0
Current children cumulated CPU time: 43.08 s
Current children cumulated vsize: 1731280 KiB
Current children cumulated memory: 1611936 KiB

[startup+43.4002 s]
/proc/loadavg: 4.47 4.26 4.15 5/260 336532
/proc/meminfo: memFree=100504564/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=1721348 memory=1609228 CPUtime=43.28 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 216860 0 0 0 4137 191 0 0 20 0 1 0 44478863 1762660352 402307 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 430337 402307 660 659 0 429541 0
Current children cumulated CPU time: 43.28 s
Current children cumulated vsize: 1731280 KiB
Current children cumulated memory: 1611936 KiB

[startup+43.5003 s]
/proc/loadavg: 4.47 4.26 4.15 5/260 336532
/proc/meminfo: memFree=100504564/131524600 swapFree=131061696/131071996
[pid=336083] ppid=336080 vsize=9932 memory=2708 CPUtime=0 cores=5,7
/proc/336083/stat : 336083 (naps-1.03.sh) S 336080 336083 333060 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 44478863 10170368 677 134679101440 94264411725824 94264412805144 140727146778304 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94264414903600 94264414950788 94264444837888 140727146779621 140727146779746 140727146779746 140727146786760 0
/proc/336083/statm: 2483 677 598 264 0 134 0
[pid=336088] ppid=336083 vsize=1721348 memory=1609228 CPUtime=43.38 cores=5,7
/proc/336088/stat : 336088 (naps-1.03) R 336083 336083 333060 0 -1 4194304 216891 0 0 0 4147 191 0 0 20 0 1 0 44478863 1762660352 402307 134679101440 4194304 6891597 140720458974896 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34619392 140720458982390 140720458982502 140720458982502 140720458989515 0
/proc/336088/statm: 430337 402307 660 659 0 429541 0
Current children cumulated CPU time: 43.38 s
Current children cumulated vsize: 1731280 KiB
Current children cumulated memory: 1611936 KiB

Child status: 30

Real time (s): 43.5789
CPU time (s): 43.4666
CPU user time (s): 41.5152
CPU system time (s): 1.95139
CPU usage (%): 99.7421
Max. virtual memory (cumulated for all children) (KiB): 3440740
Max. memory (cumulated for all children) (KiB): 3268960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.5152
system time used= 1.95139
maximum resident set size= 3266252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217367
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= 62


# summary of solver processes directly reported to runsolver:
#   pid: 336083
#   total CPU time (s): 43.4666
#   total CPU user time (s): 41.5152
#   total CPU system time (s): 1.95139

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.114982 second user time and 0.223197 second system time

The end