runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454197-1307190350/watcher-3454197-1307190350 -o /tmp/evaluation-result-3454197-1307190350/solver-3454197-1307190350 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454197-1307190350.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.50 3.62 3.39 3/394 21936
/proc/meminfo: memFree=20527996/32951124 swapFree=37148216/67111528
[pid=21936] ppid=21934 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/21936/stat : 21936 (java) S 21934 21936 19222 0 -1 4202496 1682 0 1 0 0 0 0 0 25 0 2 0 830635443 10681323520 1385 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/21936/statm: 2607745 1398 906 9 0 2598901 0
[pid=21936/tid=21937] ppid=21934 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21937/stat : 21937 (java) R 21934 21936 19222 0 -1 4202560 2284 0 1 0 0 0 0 0 25 0 2 0 830635443 10694979584 3100 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.102119 s]
/proc/loadavg: 3.50 3.62 3.39 3/394 21936
/proc/meminfo: memFree=20527996/32951124 swapFree=37148216/67111528
[pid=21936] ppid=21934 vsize=10539924 CPUtime=0.1 cores=0,2,4,6
/proc/21936/stat : 21936 (java) S 21934 21936 19222 0 -1 4202496 13051 0 1 0 9 1 0 0 25 0 18 0 830635443 10792882176 12748 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21936/statm: 2634981 12749 2092 9 0 2625715 0
[pid=21936/tid=21937] ppid=21934 vsize=10539924 CPUtime=0.08 cores=0,2,4,6
/proc/21936/task/21937/stat : 21937 (java) R 21934 21936 19222 0 -1 4202560 11119 0 1 0 7 1 0 0 25 0 18 0 830635443 10792882176 12749 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230808826565 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539924
[startup+0.201096 s]
/proc/loadavg: 3.50 3.62 3.39 3/394 21936
/proc/meminfo: memFree=20527996/32951124 swapFree=37148216/67111528
[pid=21936] ppid=21934 vsize=10540408 CPUtime=0.29 cores=0,2,4,6
/proc/21936/stat : 21936 (java) S 21934 21936 19222 0 -1 4202496 14737 0 1 0 28 1 0 0 25 0 18 0 830635443 10793377792 14308 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21936/statm: 2635102 14310 2187 9 0 2625836 0
[pid=21936/tid=21937] ppid=21934 vsize=10540408 CPUtime=0.18 cores=0,2,4,6
/proc/21936/task/21937/stat : 21937 (java) R 21934 21936 19222 0 -1 4202560 12105 0 1 0 17 1 0 0 25 0 18 0 830635443 10793377792 14310 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912505533723 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540408
[startup+0.306103 s]
/proc/loadavg: 3.50 3.62 3.39 3/394 21936
/proc/meminfo: memFree=20527996/32951124 swapFree=37148216/67111528
[pid=21936] ppid=21934 vsize=10545044 CPUtime=0.54 cores=0,2,4,6
/proc/21936/stat : 21936 (java) S 21934 21936 19222 0 -1 4202496 21641 0 1 0 51 3 0 0 25 0 18 0 830635443 10798125056 19577 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21936/statm: 2636261 19592 2198 9 0 2626995 0
[pid=21936/tid=21937] ppid=21934 vsize=10545044 CPUtime=0.28 cores=0,2,4,6
/proc/21936/task/21937/stat : 21937 (java) R 21934 21936 19222 0 -1 4202560 14102 0 1 0 27 1 0 0 25 0 18 0 830635443 10798125056 19592 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10545044
[startup+0.701036 s]
/proc/loadavg: 3.50 3.62 3.39 3/394 21936
/proc/meminfo: memFree=20527996/32951124 swapFree=37148216/67111528
[pid=21936] ppid=21934 vsize=10543860 CPUtime=1.32 cores=0,2,4,6
/proc/21936/stat : 21936 (java) S 21934 21936 19222 0 -1 4202496 58073 0 1 0 125 7 0 0 25 0 18 0 830635443 10796912640 52831 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21936/statm: 2635965 52831 2204 9 0 2626699 0
[pid=21936/tid=21937] ppid=21934 vsize=10543860 CPUtime=0.68 cores=0,2,4,6
/proc/21936/task/21937/stat : 21937 (java) R 21934 21936 19222 0 -1 4202560 47518 0 1 0 63 5 0 0 25 0 18 0 830635443 10796912640 52831 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912505589745 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 10543860
[startup+1.50085 s]
/proc/loadavg: 3.50 3.62 3.39 6/414 21956
/proc/meminfo: memFree=20099668/32951124 swapFree=37148216/67111528
[pid=21936] ppid=21934 vsize=10549924 CPUtime=3.1 cores=0,2,4,6
/proc/21936/stat : 21936 (java) S 21934 21936 19222 0 -1 4202496 123324 0 1 0 293 17 0 0 25 0 22 0 830635443 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21936/statm: 2637481 118082 2225 9 0 2628215 0
[pid=21936/tid=21937] ppid=21934 vsize=10549924 CPUtime=1.07 cores=0,2,4,6
/proc/21936/task/21937/stat : 21937 (java) S 21934 21936 19222 0 -1 4202560 103197 0 1 0 93 14 0 0 25 0 22 0 830635443 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21939] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21939/stat : 21939 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21940] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21940/stat : 21940 (java) S 21934 21936 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830635445 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21941] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21941/stat : 21941 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21942] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21942/stat : 21942 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21943] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21943/stat : 21943 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21944] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21944/stat : 21944 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21945] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21945/stat : 21945 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21946] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21946/stat : 21946 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21947] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21947/stat : 21947 (java) S 21934 21936 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830635446 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 0 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21948] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21948/stat : 21948 (java) S 21934 21936 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830635446 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21949] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21949/stat : 21949 (java) S 21934 21936 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830635447 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21950] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21950/stat : 21950 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635449 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820989361 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21951] ppid=21934 vsize=10549924 CPUtime=0.63 cores=0,2,4,6
/proc/21936/task/21951/stat : 21951 (java) R 21934 21936 19222 0 -1 4202560 3302 0 0 0 63 0 0 0 15 0 22 0 830635449 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 47908383901303 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21936/tid=21952] ppid=21934 vsize=10549924 CPUtime=0.58 cores=0,2,4,6
/proc/21936/task/21952/stat : 21952 (java) R 21934 21936 19222 0 -1 4202560 6649 0 0 0 57 1 0 0 15 0 22 0 830635449 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820991669 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21936/tid=21953] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21953/stat : 21953 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635449 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21954] ppid=21934 vsize=10549924 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21954/stat : 21954 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830635449 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21955] ppid=21934 vsize=10549924 CPUtime=0.4 cores=0,2,4,6
/proc/21936/task/21955/stat : 21955 (java) R 21934 21936 19222 0 -1 4202560 671 0 0 0 40 0 0 0 25 0 22 0 830635553 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912505795823 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21936/tid=21956] ppid=21934 vsize=10549924 CPUtime=0.38 cores=0,2,4,6
/proc/21936/task/21956/stat : 21956 (java) R 21934 21936 19222 0 -1 4202560 8340 0 0 0 38 0 0 0 25 0 22 0 830635553 10803122176 118082 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912505219646 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10549924
[startup+3.10153 s]
/proc/loadavg: 3.50 3.62 3.39 5/416 21958
/proc/meminfo: memFree=19788164/32951124 swapFree=37148216/67111528
[pid=21936] ppid=21934 vsize=10550056 CPUtime=6.68 cores=0,2,4,6
/proc/21936/stat : 21936 (java) S 21934 21936 19222 0 -1 4202496 304325 0 1 0 630 38 0 0 25 0 22 0 830635443 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21936/statm: 2637514 298439 2228 9 0 2628248 0
[pid=21936/tid=21937] ppid=21934 vsize=10550056 CPUtime=1.07 cores=0,2,4,6
/proc/21936/task/21937/stat : 21937 (java) S 21934 21936 19222 0 -1 4202560 103197 0 1 0 93 14 0 0 15 0 22 0 830635443 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21939] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21939/stat : 21939 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21940] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21940/stat : 21940 (java) S 21934 21936 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830635445 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21941] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21941/stat : 21941 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21942] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21942/stat : 21942 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21943] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21943/stat : 21943 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21944] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21944/stat : 21944 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21945] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21945/stat : 21945 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21946] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21946/stat : 21946 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21947] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21947/stat : 21947 (java) S 21934 21936 19222 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830635446 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 0 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21948] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21948/stat : 21948 (java) S 21934 21936 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830635446 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21949] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21949/stat : 21949 (java) S 21934 21936 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830635447 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21950] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21950/stat : 21950 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635449 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820989361 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21951] ppid=21934 vsize=10550056 CPUtime=0.81 cores=0,2,4,6
/proc/21936/task/21951/stat : 21951 (java) S 21934 21936 19222 0 -1 4202560 3958 0 0 0 81 0 0 0 15 0 22 0 830635449 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21952] ppid=21934 vsize=10550056 CPUtime=0.78 cores=0,2,4,6
/proc/21936/task/21952/stat : 21952 (java) S 21934 21936 19222 0 -1 4202560 6758 0 0 0 77 1 0 0 15 0 22 0 830635449 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 2 0 0 0
[pid=21936/tid=21953] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21953/stat : 21953 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635449 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21954] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21954/stat : 21954 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830635449 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21955] ppid=21934 vsize=10550056 CPUtime=2 cores=0,2,4,6
/proc/21936/task/21955/stat : 21955 (java) R 21934 21936 19222 0 -1 4202560 970 0 0 0 200 0 0 0 18 0 22 0 830635553 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912505947356 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21936/tid=21956] ppid=21934 vsize=10550056 CPUtime=1.97 cores=0,2,4,6
/proc/21936/task/21956/stat : 21956 (java) R 21934 21936 19222 0 -1 4202560 188274 0 0 0 177 20 0 0 18 0 22 0 830635553 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912506074147 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=21936/tid=21957] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21957/stat : 21957 (java) S 21934 21936 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830635556 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21958] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21958/stat : 21958 (java) S 21934 21936 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830635556 10803257344 298439 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 10550056
[startup+6.30095 s]
/proc/loadavg: 3.46 3.61 3.39 5/416 21958
/proc/meminfo: memFree=18249080/32951124 swapFree=37148216/67111528
[pid=21936] ppid=21934 vsize=10550056 CPUtime=13.23 cores=0,2,4,6
/proc/21936/stat : 21936 (java) S 21934 21936 19222 0 -1 4202496 653475 0 1 0 1249 74 0 0 25 0 22 0 830635443 10803257344 645818 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21936/statm: 2637514 645823 2236 9 0 2628248 0
[pid=21936/tid=21937] ppid=21934 vsize=10550056 CPUtime=1.07 cores=0,2,4,6
/proc/21936/task/21937/stat : 21937 (java) S 21934 21936 19222 0 -1 4202560 103197 0 1 0 93 14 0 0 15 0 22 0 830635443 10803257344 645827 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21939] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21939/stat : 21939 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803257344 645834 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21940] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21940/stat : 21940 (java) S 21934 21936 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830635445 10803257344 645838 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21941] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21941/stat : 21941 (java) R 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830635445 10803257344 645844 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=21936/tid=21942] ppid=21934 vsize=10550056 CPUtime=0.01 cores=0,2,4,6
/proc/21936/task/21942/stat : 21942 (java) R 21934 21936 19222 0 -1 4202560 1868 0 0 0 1 0 0 0 18 0 22 0 830635445 10803257344 645848 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 47908379989689 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21936/tid=21943] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21943/stat : 21943 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635445 10803257344 645853 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21944] ppid=21934 vsize=10550056 CPUtime=0.02 cores=0,2,4,6
/proc/21936/task/21944/stat : 21944 (java) R 21934 21936 19222 0 -1 4202560 1686 0 0 0 2 0 0 0 18 0 22 0 830635445 10803257344 645857 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 47908379989689 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21936/tid=21945] ppid=21934 vsize=10550056 CPUtime=0.01 cores=0,2,4,6
/proc/21936/task/21945/stat : 21945 (java) R 21934 21936 19222 0 -1 4202560 3103 0 0 0 1 0 0 0 18 0 22 0 830635445 10803257344 645863 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 47908379989747 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21936/tid=21946] ppid=21934 vsize=10550056 CPUtime=0.02 cores=0,2,4,6
/proc/21936/task/21946/stat : 21946 (java) R 21934 21936 19222 0 -1 4202560 2888 0 0 0 2 0 0 0 18 0 22 0 830635445 10803257344 645868 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 47908384414811 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=21936/tid=21947] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21947/stat : 21947 (java) S 21934 21936 19222 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 830635446 10803257344 645871 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 0 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21948] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21948/stat : 21948 (java) S 21934 21936 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830635446 10803257344 645878 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=16190696/32951124 swapFree=37148216/67111528
[pid=21936] ppid=21934 vsize=10550056 CPUtime=1629.95 cores=0,2,4,6
/proc/21936/stat : 21936 (java) S 21934 21936 19222 0 -1 4202496 962629 0 1 0 162875 120 0 0 25 0 22 0 830635443 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21936/statm: 2637514 948049 2257 9 0 2628248 0
[pid=21936/tid=21937] ppid=21934 vsize=10550056 CPUtime=1.08 cores=0,2,4,6
/proc/21936/task/21937/stat : 21937 (java) S 21934 21936 19222 0 -1 4202560 103208 0 1 0 94 14 0 0 15 0 22 0 830635443 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21939] ppid=21934 vsize=10550056 CPUtime=0.73 cores=0,2,4,6
/proc/21936/task/21939/stat : 21939 (java) S 21934 21936 19222 0 -1 4202560 14895 0 0 0 72 1 0 0 16 0 22 0 830635445 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 2 0 0 0
[pid=21936/tid=21940] ppid=21934 vsize=10550056 CPUtime=0.73 cores=0,2,4,6
/proc/21936/task/21940/stat : 21940 (java) S 21934 21936 19222 0 -1 4202560 8968 0 0 0 72 1 0 0 16 0 22 0 830635445 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21941] ppid=21934 vsize=10550056 CPUtime=0.74 cores=0,2,4,6
/proc/21936/task/21941/stat : 21941 (java) S 21934 21936 19222 0 -1 4202560 8604 0 0 0 73 1 0 0 15 0 22 0 830635445 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21942] ppid=21934 vsize=10550056 CPUtime=0.91 cores=0,2,4,6
/proc/21936/task/21942/stat : 21942 (java) S 21934 21936 19222 0 -1 4202560 14351 0 0 0 89 2 0 0 16 0 22 0 830635445 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21943] ppid=21934 vsize=10550056 CPUtime=0.78 cores=0,2,4,6
/proc/21936/task/21943/stat : 21943 (java) S 21934 21936 19222 0 -1 4202560 11936 0 0 0 76 2 0 0 16 0 22 0 830635445 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21944] ppid=21934 vsize=10550056 CPUtime=0.96 cores=0,2,4,6
/proc/21936/task/21944/stat : 21944 (java) S 21934 21936 19222 0 -1 4202560 14552 0 0 0 94 2 0 0 16 0 22 0 830635445 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21945] ppid=21934 vsize=10550056 CPUtime=0.92 cores=0,2,4,6
/proc/21936/task/21945/stat : 21945 (java) S 21934 21936 19222 0 -1 4202560 10939 0 0 0 91 1 0 0 16 0 22 0 830635445 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21946] ppid=21934 vsize=10550056 CPUtime=0.72 cores=0,2,4,6
/proc/21936/task/21946/stat : 21946 (java) S 21934 21936 19222 0 -1 4202560 13088 0 0 0 71 1 0 0 15 0 22 0 830635445 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21947] ppid=21934 vsize=10550056 CPUtime=18.93 cores=0,2,4,6
/proc/21936/task/21947/stat : 21947 (java) S 21934 21936 19222 0 -1 4202560 38087 0 0 0 1888 5 0 0 15 0 22 0 830635446 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 0 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21948] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21948/stat : 21948 (java) S 21934 21936 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830635446 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21949] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21949/stat : 21949 (java) S 21934 21936 19222 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830635447 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21950] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21950/stat : 21950 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635449 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820989361 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21951] ppid=21934 vsize=10550056 CPUtime=1.24 cores=0,2,4,6
/proc/21936/task/21951/stat : 21951 (java) S 21934 21936 19222 0 -1 4202560 5040 0 0 0 123 1 0 0 15 0 22 0 830635449 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21952] ppid=21934 vsize=10550056 CPUtime=1.44 cores=0,2,4,6
/proc/21936/task/21952/stat : 21952 (java) S 21934 21936 19222 0 -1 4202560 12318 0 0 0 143 1 0 0 16 0 22 0 830635449 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 2 0 0 0
[pid=21936/tid=21953] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21953/stat : 21953 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635449 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21954] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21954/stat : 21954 (java) S 21934 21936 19222 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830635449 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21955] ppid=21934 vsize=10550056 CPUtime=800.34 cores=0,2,4,6
/proc/21936/task/21955/stat : 21955 (java) R 21934 21936 19222 0 -1 4202560 2590 0 0 0 80032 2 0 0 25 0 22 0 830635553 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912505947848 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21936/tid=21956] ppid=21934 vsize=10550056 CPUtime=800.28 cores=0,2,4,6
/proc/21936/task/21956/stat : 21956 (java) R 21934 21936 19222 0 -1 4202560 702849 0 0 0 79951 77 0 0 25 0 22 0 830635553 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912505806819 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21936/tid=21957] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21957/stat : 21957 (java) S 21934 21936 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830635556 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21958] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21958/stat : 21958 (java) S 21934 21936 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830635556 10803257344 948049 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1629.95
Current children cumulated vsize (KiB) 10550056
[startup+882.315 s]
/proc/loadavg: 3.81 3.82 3.64 4/416 22032
/proc/meminfo: memFree=16182988/32951124 swapFree=37148216/67111528
[pid=21936] ppid=21934 vsize=10550056 CPUtime=1748.26 cores=0,2,4,6
/proc/21936/stat : 21936 (java) S 21934 21936 19222 0 -1 4202496 962678 0 1 0 174706 120 0 0 25 0 22 0 830635443 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21936/statm: 2637514 948080 2257 9 0 2628248 0
[pid=21936/tid=21937] ppid=21934 vsize=10550056 CPUtime=1.08 cores=0,2,4,6
/proc/21936/task/21937/stat : 21937 (java) S 21934 21936 19222 0 -1 4202560 103208 0 1 0 94 14 0 0 15 0 22 0 830635443 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21939] ppid=21934 vsize=10550056 CPUtime=0.81 cores=0,2,4,6
/proc/21936/task/21939/stat : 21939 (java) S 21934 21936 19222 0 -1 4202560 14895 0 0 0 80 1 0 0 16 0 22 0 830635445 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21940] ppid=21934 vsize=10550056 CPUtime=0.83 cores=0,2,4,6
/proc/21936/task/21940/stat : 21940 (java) S 21934 21936 19222 0 -1 4202560 8972 0 0 0 82 1 0 0 16 0 22 0 830635445 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21941] ppid=21934 vsize=10550056 CPUtime=0.82 cores=0,2,4,6
/proc/21936/task/21941/stat : 21941 (java) S 21934 21936 19222 0 -1 4202560 8604 0 0 0 81 1 0 0 16 0 22 0 830635445 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 2 0 0 0
[pid=21936/tid=21942] ppid=21934 vsize=10550056 CPUtime=0.98 cores=0,2,4,6
/proc/21936/task/21942/stat : 21942 (java) S 21934 21936 19222 0 -1 4202560 14368 0 0 0 96 2 0 0 15 0 22 0 830635445 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21943] ppid=21934 vsize=10550056 CPUtime=0.84 cores=0,2,4,6
/proc/21936/task/21943/stat : 21943 (java) S 21934 21936 19222 0 -1 4202560 11936 0 0 0 82 2 0 0 16 0 22 0 830635445 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21944] ppid=21934 vsize=10550056 CPUtime=1.04 cores=0,2,4,6
/proc/21936/task/21944/stat : 21944 (java) S 21934 21936 19222 0 -1 4202560 14556 0 0 0 102 2 0 0 15 0 22 0 830635445 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21945] ppid=21934 vsize=10550056 CPUtime=0.99 cores=0,2,4,6
/proc/21936/task/21945/stat : 21945 (java) S 21934 21936 19222 0 -1 4202560 10945 0 0 0 98 1 0 0 15 0 22 0 830635445 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21946] ppid=21934 vsize=10550056 CPUtime=0.75 cores=0,2,4,6
/proc/21936/task/21946/stat : 21946 (java) S 21934 21936 19222 0 -1 4202560 13088 0 0 0 74 1 0 0 15 0 22 0 830635445 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21947] ppid=21934 vsize=10550056 CPUtime=20.9 cores=0,2,4,6
/proc/21936/task/21947/stat : 21947 (java) S 21934 21936 19222 0 -1 4202560 38092 0 0 0 2085 5 0 0 15 0 22 0 830635446 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 0 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21948] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21948/stat : 21948 (java) S 21934 21936 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830635446 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21949] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21949/stat : 21949 (java) S 21934 21936 19222 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830635447 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21950] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21950/stat : 21950 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635449 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820989361 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21951] ppid=21934 vsize=10550056 CPUtime=1.24 cores=0,2,4,6
/proc/21936/task/21951/stat : 21951 (java) S 21934 21936 19222 0 -1 4202560 5040 0 0 0 123 1 0 0 15 0 22 0 830635449 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21952] ppid=21934 vsize=10550056 CPUtime=1.44 cores=0,2,4,6
/proc/21936/task/21952/stat : 21952 (java) S 21934 21936 19222 0 -1 4202560 12318 0 0 0 143 1 0 0 16 0 22 0 830635449 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 2 0 0 0
[pid=21936/tid=21953] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21953/stat : 21953 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635449 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21954] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21954/stat : 21954 (java) S 21934 21936 19222 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830635449 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21955] ppid=21934 vsize=10550056 CPUtime=858.23 cores=0,2,4,6
/proc/21936/task/21955/stat : 21955 (java) R 21934 21936 19222 0 -1 4202560 2600 0 0 0 85820 3 0 0 25 0 22 0 830635553 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912505947725 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21936/tid=21956] ppid=21934 vsize=10550056 CPUtime=858.16 cores=0,2,4,6
/proc/21936/task/21956/stat : 21956 (java) R 21934 21936 19222 0 -1 4202560 702849 0 0 0 85739 77 0 0 25 0 22 0 830635553 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912505806854 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21936/tid=21957] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21957/stat : 21957 (java) S 21934 21936 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830635556 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21958] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21958/stat : 21958 (java) S 21934 21936 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830635556 10803257344 948080 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1748.26
Current children cumulated vsize (KiB) 10550056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+908.501 s]
/proc/loadavg: 3.88 3.83 3.65 5/416 22033
/proc/meminfo: memFree=16177884/32951124 swapFree=37148216/67111528
[pid=21936] ppid=21934 vsize=10550056 CPUtime=1800.13 cores=0,2,4,6
/proc/21936/stat : 21936 (java) S 21934 21936 19222 0 -1 4202496 962746 0 1 0 179892 121 0 0 25 0 22 0 830635443 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21936/statm: 2637514 948139 2257 9 0 2628248 0
[pid=21936/tid=21937] ppid=21934 vsize=10550056 CPUtime=1.08 cores=0,2,4,6
/proc/21936/task/21937/stat : 21937 (java) S 21934 21936 19222 0 -1 4202560 103208 0 1 0 94 14 0 0 15 0 22 0 830635443 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21939] ppid=21934 vsize=10550056 CPUtime=0.86 cores=0,2,4,6
/proc/21936/task/21939/stat : 21939 (java) S 21934 21936 19222 0 -1 4202560 14910 0 0 0 85 1 0 0 16 0 22 0 830635445 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 2 0 0 0
[pid=21936/tid=21940] ppid=21934 vsize=10550056 CPUtime=0.87 cores=0,2,4,6
/proc/21936/task/21940/stat : 21940 (java) S 21934 21936 19222 0 -1 4202560 8988 0 0 0 86 1 0 0 15 0 22 0 830635445 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21941] ppid=21934 vsize=10550056 CPUtime=0.85 cores=0,2,4,6
/proc/21936/task/21941/stat : 21941 (java) S 21934 21936 19222 0 -1 4202560 8619 0 0 0 84 1 0 0 15 0 22 0 830635445 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 2 0 0 0
[pid=21936/tid=21942] ppid=21934 vsize=10550056 CPUtime=1 cores=0,2,4,6
/proc/21936/task/21942/stat : 21942 (java) S 21934 21936 19222 0 -1 4202560 14368 0 0 0 98 2 0 0 15 0 22 0 830635445 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 2 0 0 0
[pid=21936/tid=21943] ppid=21934 vsize=10550056 CPUtime=0.92 cores=0,2,4,6
/proc/21936/task/21943/stat : 21943 (java) S 21934 21936 19222 0 -1 4202560 11938 0 0 0 90 2 0 0 16 0 22 0 830635445 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21944] ppid=21934 vsize=10550056 CPUtime=1.09 cores=0,2,4,6
/proc/21936/task/21944/stat : 21944 (java) S 21934 21936 19222 0 -1 4202560 14564 0 0 0 107 2 0 0 16 0 22 0 830635445 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 2 0 0 0
[pid=21936/tid=21945] ppid=21934 vsize=10550056 CPUtime=0.99 cores=0,2,4,6
/proc/21936/task/21945/stat : 21945 (java) S 21934 21936 19222 0 -1 4202560 10945 0 0 0 98 1 0 0 15 0 22 0 830635445 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21946] ppid=21934 vsize=10550056 CPUtime=0.8 cores=0,2,4,6
/proc/21936/task/21946/stat : 21946 (java) S 21934 21936 19222 0 -1 4202560 13091 0 0 0 79 1 0 0 16 0 22 0 830635445 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21947] ppid=21934 vsize=10550056 CPUtime=21.57 cores=0,2,4,6
/proc/21936/task/21947/stat : 21947 (java) S 21934 21936 19222 0 -1 4202560 38094 0 0 0 2152 5 0 0 15 0 22 0 830635446 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 0 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21948] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21948/stat : 21948 (java) S 21934 21936 19222 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830635446 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21949] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21949/stat : 21949 (java) S 21934 21936 19222 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830635447 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21950] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21950/stat : 21950 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635449 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820989361 0 4 0 16800975 18446604445696817920 0 0 -1 4 0 0 0
[pid=21936/tid=21951] ppid=21934 vsize=10550056 CPUtime=1.24 cores=0,2,4,6
/proc/21936/task/21951/stat : 21951 (java) S 21934 21936 19222 0 -1 4202560 5040 0 0 0 123 1 0 0 15 0 22 0 830635449 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21952] ppid=21934 vsize=10550056 CPUtime=1.44 cores=0,2,4,6
/proc/21936/task/21952/stat : 21952 (java) S 21934 21936 19222 0 -1 4202560 12318 0 0 0 143 1 0 0 16 0 22 0 830635449 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 2 0 0 0
[pid=21936/tid=21953] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21953/stat : 21953 (java) S 21934 21936 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830635449 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820981657 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
[pid=21936/tid=21954] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21954/stat : 21954 (java) S 21934 21936 19222 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830635449 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21955] ppid=21934 vsize=10550056 CPUtime=883.67 cores=0,2,4,6
/proc/21936/task/21955/stat : 21955 (java) R 21934 21936 19222 0 -1 4202560 2605 0 0 0 88364 3 0 0 25 0 22 0 830635553 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912505864944 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21936/tid=21956] ppid=21934 vsize=10550056 CPUtime=883.6 cores=0,2,4,6
/proc/21936/task/21956/stat : 21956 (java) R 21934 21936 19222 0 -1 4202560 702849 0 0 0 88283 77 0 0 25 0 22 0 830635553 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 46912505889097 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21936/tid=21957] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21957/stat : 21957 (java) S 21934 21936 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830635556 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 0 0 0 0
[pid=21936/tid=21958] ppid=21934 vsize=10550056 CPUtime=0 cores=0,2,4,6
/proc/21936/task/21958/stat : 21958 (java) S 21934 21936 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830635556 10803257344 948139 33554432000 1073741824 1073778376 140735329974928 18446744073709551615 230820982272 0 4 0 16800975 18446604445696817920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10550056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+908.62 s]
/proc/loadavg: 3.88 3.83 3.65 4/397 22036
/proc/meminfo: memFree=18564172/32951124 swapFree=37148216/67111528
[pid=21936] ppid=21934 vsize=0 CPUtime=1800.28 cores=0,2,4,6
/proc/21936/stat : 21936 (java) Z 21934 21936 19222 0 -1 4203548 962786 0 1 0 179898 130 0 0 17 0 2 0 830635443 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21936/statm: 0 0 0 0 0 0 0
[pid=21936/tid=21956] ppid=21934 vsize=0 CPUtime=883.71 cores=0,2,4,6
/proc/21936/task/21956/stat : 21956 (java) R 21934 21936 19222 0 -1 4203588 702849 0 0 0 88284 87 0 0 25 0 2 0 830635553 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 908.671
CPU time (s): 1800.33
CPU user time (s): 1798.99
CPU system time (s): 1.3478
CPU usage (%): 198.128
Max. virtual memory (cumulated for all children) (KiB): 10554852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.3478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 962786
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25351
involuntary context switches= 24032
runsolver used 3.65044 second user time and 7.72483 second system time
The end