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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461249-1722078323/watcher-4461249-1722078323 -o /tmp/evaluation-result-4461249-1722078323/solver-4461249-1722078323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722076692-328437 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461249-1722078323.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=330833, runsolver pid=330830

[startup+0.100094 s]*
/proc/loadavg: 4.09 4.14 3.77 5/260 330838
/proc/meminfo: memFree=90436128/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=15584 memory=11104 CPUtime=0.09 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 1953 0 0 0 9 0 0 0 20 0 1 0 44355703 15958016 2776 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 3896 2776 436 659 0 3100 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25516 KiB
Current children cumulated memory: 13820 KiB

[startup+0.205982 s]*
/proc/loadavg: 4.09 4.14 3.77 5/260 330838
/proc/meminfo: memFree=90429268/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=22316 memory=17708 CPUtime=0.2 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 3709 0 0 0 20 0 0 0 20 0 1 0 44355703 22851584 4427 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 5579 4427 436 659 0 4783 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32248 KiB
Current children cumulated memory: 20424 KiB

[startup+0.305894 s]*
/proc/loadavg: 4.09 4.14 3.77 5/260 330838
/proc/meminfo: memFree=90422380/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=29432 memory=24512 CPUtime=0.29 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 5589 0 0 0 29 0 0 0 20 0 1 0 44355703 30138368 6128 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 7358 6128 436 659 0 6562 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39364 KiB
Current children cumulated memory: 27228 KiB

[startup+0.700261 s]
/proc/loadavg: 4.09 4.14 3.77 5/260 330838
/proc/meminfo: memFree=90404376/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=61548 memory=54188 CPUtime=0.68 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 13661 0 0 0 67 1 0 0 20 0 1 0 44355703 63025152 13547 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 15387 13547 468 659 0 14591 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71480 KiB
Current children cumulated memory: 56904 KiB

[startup+1.50027 s]
/proc/loadavg: 4.09 4.14 3.77 5/260 330838
/proc/meminfo: memFree=90387436/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=70712 memory=58952 CPUtime=1.48 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 17016 0 0 0 146 2 0 0 20 0 1 0 44355703 72409088 14738 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 17678 14738 468 659 0 16882 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80644 KiB
Current children cumulated memory: 61668 KiB

[startup+3.10577 s]
/proc/loadavg: 4.09 4.14 3.77 5/260 330840
/proc/meminfo: memFree=90380624/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=70712 memory=58952 CPUtime=3.08 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 17021 0 0 0 306 2 0 0 20 0 1 0 44355703 72409088 14738 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 17678 14738 468 659 0 16882 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80644 KiB
Current children cumulated memory: 61668 KiB

[startup+6.30025 s]
/proc/loadavg: 4.09 4.14 3.77 5/260 330840
/proc/meminfo: memFree=90360288/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=70712 memory=58952 CPUtime=6.27 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 17026 0 0 0 625 2 0 0 20 0 1 0 44355703 72409088 14738 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 17678 14738 468 659 0 16882 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 80644 KiB
Current children cumulated memory: 61668 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.14 3.77 5/260 330841
/proc/meminfo: memFree=88571296/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=556112 memory=514016 CPUtime=12.65 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 60792 0 0 0 1249 16 0 0 20 0 1 0 44355703 569458688 128504 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 139028 128504 468 659 0 138232 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 566044 KiB
Current children cumulated memory: 516732 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.13 3.78 5/260 330843
/proc/meminfo: memFree=86451788/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=4900820 memory=4485128 CPUtime=25.41 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 442998 0 0 0 2411 130 0 0 20 0 1 0 44355703 5018439680 1121282 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 1225205 1121282 468 659 0 1224409 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4910752 KiB
Current children cumulated memory: 4487844 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.14 3.79 5/258 330846
/proc/meminfo: memFree=81502936/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=7998052 memory=7103260 CPUtime=50.93 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 676868 0 0 0 4888 205 0 0 20 0 1 0 44355703 8190005248 1775815 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 1999513 1775815 468 659 0 1998717 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 8007984 KiB
Current children cumulated memory: 7105976 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.13 3.81 5/258 330857
/proc/meminfo: memFree=78771776/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=8042184 memory=7236224 CPUtime=101.94 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 746245 0 0 0 9939 255 0 0 20 0 1 0 44355703 8235196416 1809056 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 2010546 1809056 468 659 0 2009750 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 8052116 KiB
Current children cumulated memory: 7238940 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.11 3.83 5/262 330928
/proc/meminfo: memFree=98612340/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=11981404 memory=10884284 CPUtime=161.74 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 1111514 0 0 0 15784 390 0 0 20 0 1 0 44355703 12268957696 2721071 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 2995351 2721071 468 659 0 2994555 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 11991336 KiB
Current children cumulated memory: 10887000 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.12 3.85 5/262 330939
/proc/meminfo: memFree=95391212/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=15632144 memory=13988524 CPUtime=221.54 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 1450442 0 0 0 21652 502 0 0 20 0 1 0 44355703 16007315456 3497131 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 3908036 3497131 468 659 0 3907240 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 15642076 KiB
Current children cumulated memory: 13991240 KiB

[startup+282.3 s]
/proc/loadavg: 4.00 4.09 3.86 5/263 331000
/proc/meminfo: memFree=98940204/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=15603264 memory=13878692 CPUtime=281.33 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 1481385 0 0 0 27583 550 0 0 20 0 1 0 44355703 15977742336 3469673 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 3900816 3469673 468 659 0 3900020 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 15613196 KiB
Current children cumulated memory: 13881408 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.14 3.90 5/265 331016
/proc/meminfo: memFree=87752996/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=18299240 memory=16052308 CPUtime=341.13 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 1665828 0 0 0 33466 647 0 0 20 0 1 0 44355703 18738421760 4013077 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 4574810 4013077 468 659 0 4574014 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 18309172 KiB
Current children cumulated memory: 16055024 KiB

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

# cumulated CPU time of all completed processes:  user=337.012 s, system=6.86244 s

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

[startup+342.4 s]
/proc/loadavg: 4.22 4.14 3.90 5/265 331016
/proc/meminfo: memFree=87752996/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=18299240 memory=16052308 CPUtime=341.23 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 1665828 0 0 0 33476 647 0 0 20 0 1 0 44355703 18738421760 4013077 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 4574810 4013077 468 659 0 4574014 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 18309172 KiB
Current children cumulated memory: 16055024 KiB

[startup+344 s]*
/proc/loadavg: 4.22 4.14 3.90 5/265 331016
/proc/meminfo: memFree=87613920/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
[pid=330838] ppid=330833 vsize=18299240 memory=16052308 CPUtime=342.83 cores=0,2
/proc/330838/stat : 330838 (naps-1.03) R 330833 330833 328427 0 -1 4194304 1665842 0 0 0 33636 647 0 0 20 0 1 0 44355703 18738421760 4013077 134679101440 4194304 6891597 140724696011344 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29028352 140724696015854 140724696015970 140724696015970 140724696022987 0
/proc/330838/statm: 4574810 4013077 468 659 0 4574014 0
Current children cumulated CPU time: 342.83 s
Current children cumulated vsize: 18309172 KiB
Current children cumulated memory: 16055024 KiB

[startup+344.8 s]
/proc/loadavg: 4.22 4.14 3.90 5/265 331016
/proc/meminfo: memFree=87613920/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2716 KiB

[startup+345 s]*
/proc/loadavg: 4.22 4.14 3.90 5/265 331016
/proc/meminfo: memFree=101207756/131524600 swapFree=131054968/131071996
[pid=330833] ppid=330830 vsize=9932 memory=2716 CPUtime=0 cores=0,2
/proc/330833/stat : 330833 (naps-1.03.sh) S 330830 330833 328427 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 44355703 10170368 679 134679101440 94854684082176 94854685161496 140737216308848 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94854687259952 94854687307140 94854694113280 140737216312285 140737216312414 140737216312414 140737216319432 0
/proc/330833/statm: 2483 679 601 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2716 KiB

Child status: 30

Real time (s): 345.04
CPU time (s): 343.874
CPU user time (s): 337.012
CPU system time (s): 6.86244
CPU usage (%): 99.662
Max. virtual memory (cumulated for all children) (KiB): 19171692
Max. memory (cumulated for all children) (KiB): 16528204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 337.012
system time used= 6.86245
maximum resident set size= 16525488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1666316
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= 2369


# summary of solver processes directly reported to runsolver:
#   pid: 330833
#   total CPU time (s): 343.874
#   total CPU user time (s): 337.012
#   total CPU system time (s): 6.86244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.645788 second user time and 1.89438 second system time

The end