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-3478935-1307439657/watcher-3478935-1307439657 -o /tmp/evaluation-result-3478935-1307439657/solver-3478935-1307439657 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478935-1307439657.opb
running on 4 cores: 1,3,5,7
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.96 4.00 3.75 3/482 15569
/proc/meminfo: memFree=24945856/32951124 swapFree=41830676/67111528
[pid=15569] ppid=15567 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/15569/stat : 15569 (java) S 15567 15569 15115 0 -1 4202496 1368 0 1 0 0 0 0 0 24 0 2 0 855564608 37810176 1071 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15569/statm: 9231 1071 832 9 0 387 0
[pid=15569/tid=15570] ppid=15567 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15570/stat : 15570 (java) R 15567 15569 15115 0 -1 4202560 2381 0 1 0 0 0 0 0 25 0 2 0 855564608 10694979584 3196 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0857101 s]
/proc/loadavg: 3.96 4.00 3.75 3/482 15569
/proc/meminfo: memFree=24945856/32951124 swapFree=41830676/67111528
[pid=15569] ppid=15567 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/15569/stat : 15569 (java) S 15567 15569 15115 0 -1 4202496 12035 0 1 0 5 1 0 0 24 0 18 0 855564608 10724442112 11732 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15569/statm: 2618308 11740 1758 9 0 2609042 0
[pid=15569/tid=15570] ppid=15567 vsize=10473232 CPUtime=0.06 cores=1,3,5,7
/proc/15569/task/15570/stat : 15570 (java) R 15567 15569 15115 0 -1 4202560 10860 0 1 0 5 1 0 0 25 0 18 0 855564608 10724589568 11748 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 47832097545012 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.104745 s]
/proc/loadavg: 3.96 4.00 3.75 3/482 15569
/proc/meminfo: memFree=24945856/32951124 swapFree=41830676/67111528
[pid=15569] ppid=15567 vsize=10539816 CPUtime=0.11 cores=1,3,5,7
/proc/15569/stat : 15569 (java) S 15567 15569 15115 0 -1 4202496 13049 0 1 0 9 2 0 0 24 0 18 0 855564608 10792771584 12727 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15569/statm: 2634954 12727 2092 9 0 2625688 0
[pid=15569/tid=15570] ppid=15567 vsize=10539816 CPUtime=0.08 cores=1,3,5,7
/proc/15569/task/15570/stat : 15570 (java) R 15567 15569 15115 0 -1 4202560 11115 0 1 0 7 1 0 0 18 0 18 0 855564608 10792771584 12727 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539816
[startup+0.300703 s]
/proc/loadavg: 3.96 4.00 3.75 3/482 15569
/proc/meminfo: memFree=24945856/32951124 swapFree=41830676/67111528
[pid=15569] ppid=15567 vsize=10541236 CPUtime=0.46 cores=1,3,5,7
/proc/15569/stat : 15569 (java) S 15567 15569 15115 0 -1 4202496 24582 0 1 0 43 3 0 0 24 0 18 0 855564608 10794225664 23949 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15569/statm: 2635309 23987 2199 9 0 2626043 0
[pid=15569/tid=15570] ppid=15567 vsize=10541236 CPUtime=0.27 cores=1,3,5,7
/proc/15569/task/15570/stat : 15570 (java) R 15567 15569 15115 0 -1 4202560 21570 0 1 0 25 2 0 0 18 0 18 0 855564608 10794225664 23991 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 46912505589793 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541236
[startup+0.700634 s]
/proc/loadavg: 3.96 4.00 3.75 3/482 15569
/proc/meminfo: memFree=24945856/32951124 swapFree=41830676/67111528
[pid=15569] ppid=15567 vsize=10545532 CPUtime=1.23 cores=1,3,5,7
/proc/15569/stat : 15569 (java) S 15567 15569 15115 0 -1 4202496 103379 0 1 0 111 12 0 0 24 0 18 0 855564608 10798624768 100960 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15569/statm: 2636383 100965 2212 9 0 2627117 0
[pid=15569/tid=15570] ppid=15567 vsize=10545532 CPUtime=0.68 cores=1,3,5,7
/proc/15569/task/15570/stat : 15570 (java) R 15567 15569 15115 0 -1 4202560 96876 0 1 0 57 11 0 0 18 0 18 0 855564608 10798624768 100967 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 46912505542788 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10545532
[startup+1.50149 s]
/proc/loadavg: 3.96 4.00 3.75 4/500 15587
/proc/meminfo: memFree=24223368/32951124 swapFree=41830676/67111528
[pid=15569] ppid=15567 vsize=10545532 CPUtime=2.06 cores=1,3,5,7
/proc/15569/stat : 15569 (java) S 15567 15569 15115 0 -1 4202496 320583 0 1 0 170 36 0 0 24 0 18 0 855564608 10798624768 318163 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15569/statm: 2636383 318168 2213 9 0 2627117 0
[pid=15569/tid=15570] ppid=15567 vsize=10545532 CPUtime=1.48 cores=1,3,5,7
/proc/15569/task/15570/stat : 15570 (java) R 15567 15569 15115 0 -1 4202560 314077 0 1 0 113 35 0 0 18 0 18 0 855564608 10798624768 318170 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 46912505548697 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15569/tid=15572] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15572/stat : 15572 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564610 10798624768 318173 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15573] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15573/stat : 15573 (java) S 15567 15569 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855564610 10798624768 318176 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15574] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15574/stat : 15574 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564610 10798624768 318179 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15575] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15575/stat : 15575 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564610 10798624768 318181 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15576] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15576/stat : 15576 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564610 10798624768 318184 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15577] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15577/stat : 15577 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564610 10798624768 318187 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15578] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15578/stat : 15578 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564610 10798624768 318190 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15579] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15579/stat : 15579 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564610 10798624768 318193 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15580] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15580/stat : 15580 (java) S 15567 15569 15115 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 855564611 10798624768 318194 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 0 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15581] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15581/stat : 15581 (java) S 15567 15569 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855564612 10798624768 318195 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15582] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15582/stat : 15582 (java) S 15567 15569 15115 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 855564612 10798624768 318197 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15583] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15583/stat : 15583 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564614 10798624768 318200 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134537649 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15584] ppid=15567 vsize=10545532 CPUtime=0.29 cores=1,3,5,7
/proc/15569/task/15584/stat : 15584 (java) R 15567 15569 15115 0 -1 4202560 2411 0 0 0 29 0 0 0 16 0 18 0 855564614 10798624768 318202 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 47832093305381 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15569/tid=15585] ppid=15567 vsize=10545532 CPUtime=0.26 cores=1,3,5,7
/proc/15569/task/15585/stat : 15585 (java) R 15567 15569 15115 0 -1 4202560 2951 0 0 0 26 0 0 0 15 0 18 0 855564614 10798624768 318204 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 47832096767246 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15569/tid=15586] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15586/stat : 15586 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564614 10798624768 318207 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15587] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15587/stat : 15587 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855564614 10798624768 318209 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 10545532
[startup+3.1012 s]
/proc/loadavg: 3.96 4.00 3.75 4/500 15587
/proc/meminfo: memFree=23020196/32951124 swapFree=41830676/67111528
[pid=15569] ppid=15567 vsize=10545532 CPUtime=3.92 cores=1,3,5,7
/proc/15569/stat : 15569 (java) S 15567 15569 15115 0 -1 4202496 671554 0 1 0 317 75 0 0 24 0 18 0 855564608 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15569/statm: 2636383 669128 2228 9 0 2627117 0
[pid=15569/tid=15570] ppid=15567 vsize=10545532 CPUtime=3.02 cores=1,3,5,7
/proc/15569/task/15570/stat : 15570 (java) R 15567 15569 15115 0 -1 4202560 649396 0 1 0 231 71 0 0 20 0 18 0 855564608 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134540747 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15569/tid=15572] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15572/stat : 15572 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855564610 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15573] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15573/stat : 15573 (java) S 15567 15569 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855564610 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15574] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15574/stat : 15574 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855564610 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15575] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15575/stat : 15575 (java) S 15567 15569 15115 0 -1 4202560 123 0 0 0 0 0 0 0 18 0 18 0 855564610 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15576] ppid=15567 vsize=10545532 CPUtime=0.04 cores=1,3,5,7
/proc/15569/task/15576/stat : 15576 (java) S 15567 15569 15115 0 -1 4202560 3111 0 0 0 4 0 0 0 18 0 18 0 855564610 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15577] ppid=15567 vsize=10545532 CPUtime=0.04 cores=1,3,5,7
/proc/15569/task/15577/stat : 15577 (java) S 15567 15569 15115 0 -1 4202560 4543 0 0 0 4 0 0 0 18 0 18 0 855564610 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15578] ppid=15567 vsize=10545532 CPUtime=0.04 cores=1,3,5,7
/proc/15569/task/15578/stat : 15578 (java) S 15567 15569 15115 0 -1 4202560 3885 0 0 0 4 0 0 0 18 0 18 0 855564610 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15579] ppid=15567 vsize=10545532 CPUtime=0.04 cores=1,3,5,7
/proc/15569/task/15579/stat : 15579 (java) S 15567 15569 15115 0 -1 4202560 3964 0 0 0 4 0 0 0 18 0 18 0 855564610 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15580] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15580/stat : 15580 (java) S 15567 15569 15115 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855564611 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 0 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15581] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15581/stat : 15581 (java) S 15567 15569 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 855564612 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15582] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15582/stat : 15582 (java) S 15567 15569 15115 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 855564612 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15583] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15583/stat : 15583 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564614 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134537649 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15584] ppid=15567 vsize=10545532 CPUtime=0.36 cores=1,3,5,7
/proc/15569/task/15584/stat : 15584 (java) S 15567 15569 15115 0 -1 4202560 2419 0 0 0 36 0 0 0 15 0 18 0 855564614 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15585] ppid=15567 vsize=10545532 CPUtime=0.3 cores=1,3,5,7
/proc/15569/task/15585/stat : 15585 (java) S 15567 15569 15115 0 -1 4202560 2957 0 0 0 30 0 0 0 15 0 18 0 855564614 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15586] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15586/stat : 15586 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564614 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15587] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15587/stat : 15587 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855564614 10798624768 669128 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 10545532
[startup+6.30062 s]
/proc/loadavg: 3.88 3.98 3.75 4/500 15587
/proc/meminfo: memFree=22161204/32951124 swapFree=41830676/67111528
[pid=15569] ppid=15567 vsize=10545532 CPUtime=7.76 cores=1,3,5,7
/proc/15569/stat : 15569 (java) S 15567 15569 15115 0 -1 4202496 725033 0 1 0 694 82 0 0 24 0 18 0 855564608 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15569/statm: 2636383 722469 2228 9 0 2627117 0
[pid=15569/tid=15570] ppid=15567 vsize=10545532 CPUtime=6 cores=1,3,5,7
/proc/15569/task/15570/stat : 15570 (java) R 15567 15569 15115 0 -1 4202560 650685 0 1 0 528 72 0 0 25 0 18 0 855564608 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 46912505507332 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15569/tid=15572] ppid=15567 vsize=10545532 CPUtime=0.1 cores=1,3,5,7
/proc/15569/task/15572/stat : 15572 (java) S 15567 15569 15115 0 -1 4202560 9080 0 0 0 10 0 0 0 16 0 18 0 855564610 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15573] ppid=15567 vsize=10545532 CPUtime=0.11 cores=1,3,5,7
/proc/15569/task/15573/stat : 15573 (java) S 15567 15569 15115 0 -1 4202560 5920 0 0 0 11 0 0 0 16 0 18 0 855564610 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15574] ppid=15567 vsize=10545532 CPUtime=0.2 cores=1,3,5,7
/proc/15569/task/15574/stat : 15574 (java) S 15567 15569 15115 0 -1 4202560 12806 0 0 0 19 1 0 0 16 0 18 0 855564610 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15575] ppid=15567 vsize=10545532 CPUtime=0.1 cores=1,3,5,7
/proc/15569/task/15575/stat : 15575 (java) S 15567 15569 15115 0 -1 4202560 4440 0 0 0 10 0 0 0 18 0 18 0 855564610 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15576] ppid=15567 vsize=10545532 CPUtime=0.15 cores=1,3,5,7
/proc/15569/task/15576/stat : 15576 (java) S 15567 15569 15115 0 -1 4202560 11817 0 0 0 15 0 0 0 18 0 18 0 855564610 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15577] ppid=15567 vsize=10545532 CPUtime=0.05 cores=1,3,5,7
/proc/15569/task/15577/stat : 15577 (java) S 15567 15569 15115 0 -1 4202560 5838 0 0 0 5 0 0 0 18 0 18 0 855564610 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15578] ppid=15567 vsize=10545532 CPUtime=0.14 cores=1,3,5,7
/proc/15569/task/15578/stat : 15578 (java) S 15567 15569 15115 0 -1 4202560 8046 0 0 0 13 1 0 0 16 0 18 0 855564610 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15579] ppid=15567 vsize=10545532 CPUtime=0.11 cores=1,3,5,7
/proc/15569/task/15579/stat : 15579 (java) S 15567 15569 15115 0 -1 4202560 9873 0 0 0 10 1 0 0 18 0 18 0 855564610 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15580] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15580/stat : 15580 (java) S 15567 15569 15115 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 855564611 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 0 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15581] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15581/stat : 15581 (java) S 15567 15569 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 855564612 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15582] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15582/stat : 15582 (java) S 15567 15569 15115 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 855564612 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15583] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15583/stat : 15583 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564614 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134537649 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15584] ppid=15567 vsize=10545532 CPUtime=0.36 cores=1,3,5,7
/proc/15569/task/15584/stat : 15584 (java) S 15567 15569 15115 0 -1 4202560 2419 0 0 0 36 0 0 0 15 0 18 0 855564614 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15585] ppid=15567 vsize=10545532 CPUtime=0.3 cores=1,3,5,7
/proc/15569/task/15585/stat : 15585 (java) S 15567 15569 15115 0 -1 4202560 2957 0 0 0 30 0 0 0 15 0 18 0 855564614 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15586] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15586/stat : 15586 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855564614 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15587] ppid=15567 vsize=10545532 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15587/stat : 15587 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855564614 10798624768 722469 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 3.91 3.90 3.79 5/504 15664
/proc/meminfo: memFree=18622524/32951124 swapFree=41830676/67111528
[pid=15569] ppid=15567 vsize=10548888 CPUtime=1589.78 cores=1,3,5,7
/proc/15569/stat : 15569 (java) S 15567 15569 15115 0 -1 4202496 1462427 0 1 0 158777 201 0 0 24 0 22 0 855564608 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15569/statm: 2637222 1428157 2263 9 0 2627956 0
[pid=15569/tid=15570] ppid=15567 vsize=10548888 CPUtime=53.28 cores=1,3,5,7
/proc/15569/task/15570/stat : 15570 (java) S 15567 15569 15115 0 -1 4202560 651083 0 1 0 5240 88 0 0 15 0 22 0 855564608 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15572] ppid=15567 vsize=10548888 CPUtime=3.76 cores=1,3,5,7
/proc/15569/task/15572/stat : 15572 (java) S 15567 15569 15115 0 -1 4202560 88009 0 0 0 365 11 0 0 16 0 22 0 855564610 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15573] ppid=15567 vsize=10548888 CPUtime=3.85 cores=1,3,5,7
/proc/15569/task/15573/stat : 15573 (java) S 15567 15569 15115 0 -1 4202560 99013 0 0 0 372 13 0 0 15 0 22 0 855564610 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15574] ppid=15567 vsize=10548888 CPUtime=4.21 cores=1,3,5,7
/proc/15569/task/15574/stat : 15574 (java) S 15567 15569 15115 0 -1 4202560 99724 0 0 0 409 12 0 0 15 0 22 0 855564610 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15575] ppid=15567 vsize=10548888 CPUtime=3.69 cores=1,3,5,7
/proc/15569/task/15575/stat : 15575 (java) S 15567 15569 15115 0 -1 4202560 99311 0 0 0 356 13 0 0 16 0 22 0 855564610 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15576] ppid=15567 vsize=10548888 CPUtime=3.18 cores=1,3,5,7
/proc/15569/task/15576/stat : 15576 (java) S 15567 15569 15115 0 -1 4202560 76569 0 0 0 307 11 0 0 15 0 22 0 855564610 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15577] ppid=15567 vsize=10548888 CPUtime=3.79 cores=1,3,5,7
/proc/15569/task/15577/stat : 15577 (java) S 15567 15569 15115 0 -1 4202560 109891 0 0 0 363 16 0 0 16 0 22 0 855564610 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15578] ppid=15567 vsize=10548888 CPUtime=3.22 cores=1,3,5,7
/proc/15569/task/15578/stat : 15578 (java) S 15567 15569 15115 0 -1 4202560 78838 0 0 0 311 11 0 0 16 0 22 0 855564610 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15579] ppid=15567 vsize=10548888 CPUtime=4.29 cores=1,3,5,7
/proc/15569/task/15579/stat : 15579 (java) S 15567 15569 15115 0 -1 4202560 128535 0 0 0 414 15 0 0 15 0 22 0 855564610 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15580] ppid=15567 vsize=10548888 CPUtime=136.9 cores=1,3,5,7
/proc/15569/task/15580/stat : 15580 (java) S 15567 15569 15115 0 -1 4202560 20617 0 0 0 13686 4 0 0 15 0 22 0 855564611 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 0 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15581] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15581/stat : 15581 (java) S 15567 15569 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855564612 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15582] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15582/stat : 15582 (java) S 15567 15569 15115 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 855564612 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15583] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15583/stat : 15583 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855564614 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134537649 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15584] ppid=15567 vsize=10548888 CPUtime=0.9 cores=1,3,5,7
/proc/15569/task/15584/stat : 15584 (java) S 15567 15569 15115 0 -1 4202560 2579 0 0 0 90 0 0 0 15 0 22 0 855564614 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15585] ppid=15567 vsize=10548888 CPUtime=1.08 cores=1,3,5,7
/proc/15569/task/15585/stat : 15585 (java) S 15567 15569 15115 0 -1 4202560 6823 0 0 0 108 0 0 0 15 0 22 0 855564614 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15586] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15586/stat : 15586 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855564614 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15587] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15587/stat : 15587 (java) S 15567 15569 15115 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 855564614 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15590] ppid=15567 vsize=10548888 CPUtime=683.78 cores=1,3,5,7
/proc/15569/task/15590/stat : 15590 (java) R 15567 15569 15115 0 -1 4202560 72 0 0 0 68378 0 0 0 25 0 22 0 855570503 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 46912506089441 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15569/tid=15591] ppid=15567 vsize=10548888 CPUtime=683.72 cores=1,3,5,7
/proc/15569/task/15591/stat : 15591 (java) R 15567 15569 15115 0 -1 4202560 152 0 0 0 68372 0 0 0 25 0 22 0 855570503 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 46912506237688 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15569/tid=15592] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15592/stat : 15592 (java) S 15567 15569 15115 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 855570510 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15593] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15593/stat : 15593 (java) S 15567 15569 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855570510 10802061312 1428157 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1589.78
Current children cumulated vsize (KiB) 10548888
[startup+942.301 s]
/proc/loadavg: 3.96 3.92 3.80 5/504 15665
/proc/meminfo: memFree=18622388/32951124 swapFree=41830676/67111528
[pid=15569] ppid=15567 vsize=10548888 CPUtime=1709.95 cores=1,3,5,7
/proc/15569/stat : 15569 (java) S 15567 15569 15115 0 -1 4202496 1462450 0 1 0 170794 201 0 0 24 0 22 0 855564608 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15569/statm: 2637222 1428166 2263 9 0 2627956 0
[pid=15569/tid=15570] ppid=15567 vsize=10548888 CPUtime=53.28 cores=1,3,5,7
/proc/15569/task/15570/stat : 15570 (java) S 15567 15569 15115 0 -1 4202560 651083 0 1 0 5240 88 0 0 15 0 22 0 855564608 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15572] ppid=15567 vsize=10548888 CPUtime=3.79 cores=1,3,5,7
/proc/15569/task/15572/stat : 15572 (java) S 15567 15569 15115 0 -1 4202560 88009 0 0 0 368 11 0 0 15 0 22 0 855564610 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15573] ppid=15567 vsize=10548888 CPUtime=3.89 cores=1,3,5,7
/proc/15569/task/15573/stat : 15573 (java) S 15567 15569 15115 0 -1 4202560 99015 0 0 0 376 13 0 0 16 0 22 0 855564610 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15574] ppid=15567 vsize=10548888 CPUtime=4.26 cores=1,3,5,7
/proc/15569/task/15574/stat : 15574 (java) S 15567 15569 15115 0 -1 4202560 99725 0 0 0 414 12 0 0 15 0 22 0 855564610 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15575] ppid=15567 vsize=10548888 CPUtime=3.75 cores=1,3,5,7
/proc/15569/task/15575/stat : 15575 (java) S 15567 15569 15115 0 -1 4202560 99314 0 0 0 362 13 0 0 16 0 22 0 855564610 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15576] ppid=15567 vsize=10548888 CPUtime=3.24 cores=1,3,5,7
/proc/15569/task/15576/stat : 15576 (java) S 15567 15569 15115 0 -1 4202560 76569 0 0 0 313 11 0 0 16 0 22 0 855564610 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15577] ppid=15567 vsize=10548888 CPUtime=3.85 cores=1,3,5,7
/proc/15569/task/15577/stat : 15577 (java) S 15567 15569 15115 0 -1 4202560 109892 0 0 0 369 16 0 0 15 0 22 0 855564610 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15578] ppid=15567 vsize=10548888 CPUtime=3.29 cores=1,3,5,7
/proc/15569/task/15578/stat : 15578 (java) S 15567 15569 15115 0 -1 4202560 78839 0 0 0 318 11 0 0 15 0 22 0 855564610 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15579] ppid=15567 vsize=10548888 CPUtime=4.32 cores=1,3,5,7
/proc/15569/task/15579/stat : 15579 (java) S 15567 15569 15115 0 -1 4202560 128538 0 0 0 417 15 0 0 16 0 22 0 855564610 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15580] ppid=15567 vsize=10548888 CPUtime=136.9 cores=1,3,5,7
/proc/15569/task/15580/stat : 15580 (java) S 15567 15569 15115 0 -1 4202560 20619 0 0 0 13686 4 0 0 15 0 22 0 855564611 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 0 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15581] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15581/stat : 15581 (java) S 15567 15569 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855564612 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15582] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15582/stat : 15582 (java) S 15567 15569 15115 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 855564612 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15583] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15583/stat : 15583 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855564614 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134537649 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15584] ppid=15567 vsize=10548888 CPUtime=0.9 cores=1,3,5,7
/proc/15569/task/15584/stat : 15584 (java) S 15567 15569 15115 0 -1 4202560 2579 0 0 0 90 0 0 0 15 0 22 0 855564614 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15585] ppid=15567 vsize=10548888 CPUtime=1.08 cores=1,3,5,7
/proc/15569/task/15585/stat : 15585 (java) S 15567 15569 15115 0 -1 4202560 6823 0 0 0 108 0 0 0 15 0 22 0 855564614 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15586] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15586/stat : 15586 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855564614 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15587] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15587/stat : 15587 (java) S 15567 15569 15115 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 855564614 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15590] ppid=15567 vsize=10548888 CPUtime=743.66 cores=1,3,5,7
/proc/15569/task/15590/stat : 15590 (java) R 15567 15569 15115 0 -1 4202560 78 0 0 0 74366 0 0 0 25 0 22 0 855570503 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 46912506103667 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15569/tid=15591] ppid=15567 vsize=10548888 CPUtime=743.6 cores=1,3,5,7
/proc/15569/task/15591/stat : 15591 (java) R 15567 15569 15115 0 -1 4202560 154 0 0 0 74360 0 0 0 25 0 22 0 855570503 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15569/tid=15592] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15592/stat : 15592 (java) S 15567 15569 15115 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 855570510 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15593] ppid=15567 vsize=10548888 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15593/stat : 15593 (java) S 15567 15569 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855570510 10802061312 1428166 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1709.95
Current children cumulated vsize (KiB) 10548888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+992.518 s]
/proc/loadavg: 3.90 3.90 3.80 5/504 15667
/proc/meminfo: memFree=18609024/32951124 swapFree=41830676/67111528
[pid=15569] ppid=15567 vsize=10550340 CPUtime=1800.03 cores=1,3,5,7
/proc/15569/stat : 15569 (java) S 15567 15569 15115 0 -1 4202496 1464370 0 1 0 179802 201 0 0 24 0 22 0 855564608 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15569/statm: 2637585 1430049 2263 9 0 2628319 0
[pid=15569/tid=15570] ppid=15567 vsize=10550340 CPUtime=53.28 cores=1,3,5,7
/proc/15569/task/15570/stat : 15570 (java) S 15567 15569 15115 0 -1 4202560 651085 0 1 0 5240 88 0 0 15 0 22 0 855564608 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15572] ppid=15567 vsize=10550340 CPUtime=3.83 cores=1,3,5,7
/proc/15569/task/15572/stat : 15572 (java) S 15567 15569 15115 0 -1 4202560 88285 0 0 0 372 11 0 0 16 0 22 0 855564610 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15573] ppid=15567 vsize=10550340 CPUtime=3.94 cores=1,3,5,7
/proc/15569/task/15573/stat : 15573 (java) S 15567 15569 15115 0 -1 4202560 99015 0 0 0 381 13 0 0 16 0 22 0 855564610 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15574] ppid=15567 vsize=10550340 CPUtime=4.33 cores=1,3,5,7
/proc/15569/task/15574/stat : 15574 (java) S 15567 15569 15115 0 -1 4202560 99725 0 0 0 421 12 0 0 16 0 22 0 855564610 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15575] ppid=15567 vsize=10550340 CPUtime=3.78 cores=1,3,5,7
/proc/15569/task/15575/stat : 15575 (java) S 15567 15569 15115 0 -1 4202560 99314 0 0 0 365 13 0 0 15 0 22 0 855564610 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15576] ppid=15567 vsize=10550340 CPUtime=3.26 cores=1,3,5,7
/proc/15569/task/15576/stat : 15576 (java) S 15567 15569 15115 0 -1 4202560 76569 0 0 0 315 11 0 0 15 0 22 0 855564610 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 1 0 0 0
[pid=15569/tid=15577] ppid=15567 vsize=10550340 CPUtime=3.88 cores=1,3,5,7
/proc/15569/task/15577/stat : 15577 (java) S 15567 15569 15115 0 -1 4202560 110221 0 0 0 372 16 0 0 15 0 22 0 855564610 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15578] ppid=15567 vsize=10550340 CPUtime=3.35 cores=1,3,5,7
/proc/15569/task/15578/stat : 15578 (java) S 15567 15569 15115 0 -1 4202560 79073 0 0 0 324 11 0 0 16 0 22 0 855564610 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15579] ppid=15567 vsize=10550340 CPUtime=4.35 cores=1,3,5,7
/proc/15569/task/15579/stat : 15579 (java) S 15567 15569 15115 0 -1 4202560 128538 0 0 0 420 15 0 0 15 0 22 0 855564610 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15580] ppid=15567 vsize=10550340 CPUtime=147.4 cores=1,3,5,7
/proc/15569/task/15580/stat : 15580 (java) S 15567 15569 15115 0 -1 4202560 21689 0 0 0 14736 4 0 0 15 0 22 0 855564611 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 0 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15581] ppid=15567 vsize=10550340 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15581/stat : 15581 (java) S 15567 15569 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855564612 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15582] ppid=15567 vsize=10550340 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15582/stat : 15582 (java) S 15567 15569 15115 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 855564612 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15583] ppid=15567 vsize=10550340 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15583/stat : 15583 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855564614 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134537649 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15584] ppid=15567 vsize=10550340 CPUtime=0.9 cores=1,3,5,7
/proc/15569/task/15584/stat : 15584 (java) S 15567 15569 15115 0 -1 4202560 2579 0 0 0 90 0 0 0 15 0 22 0 855564614 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15585] ppid=15567 vsize=10550340 CPUtime=1.08 cores=1,3,5,7
/proc/15569/task/15585/stat : 15585 (java) S 15567 15569 15115 0 -1 4202560 6823 0 0 0 108 0 0 0 15 0 22 0 855564614 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 5 0 0 0
[pid=15569/tid=15586] ppid=15567 vsize=10550340 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15586/stat : 15586 (java) S 15567 15569 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855564614 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134529945 0 4 0 16800975 18446604458451059840 0 0 -1 7 0 0 0
[pid=15569/tid=15587] ppid=15567 vsize=10550340 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15587/stat : 15587 (java) S 15567 15569 15115 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 855564614 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15590] ppid=15567 vsize=10550340 CPUtime=783.3 cores=1,3,5,7
/proc/15569/task/15590/stat : 15590 (java) R 15567 15569 15115 0 -1 4202560 78 0 0 0 78330 0 0 0 25 0 22 0 855570503 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 46912505995244 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15569/tid=15591] ppid=15567 vsize=10550340 CPUtime=783.24 cores=1,3,5,7
/proc/15569/task/15591/stat : 15591 (java) R 15567 15569 15115 0 -1 4202560 159 0 0 0 78324 0 0 0 25 0 22 0 855570503 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15569/tid=15592] ppid=15567 vsize=10550340 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15592/stat : 15592 (java) S 15567 15569 15115 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 855570510 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
[pid=15569/tid=15593] ppid=15567 vsize=10550340 CPUtime=0 cores=1,3,5,7
/proc/15569/task/15593/stat : 15593 (java) S 15567 15569 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855570510 10803548160 1430049 33554432000 1073741824 1073778376 140733255987152 18446744073709551615 228134530560 0 4 0 16800975 18446604458451059840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10550340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+992.701 s]
/proc/loadavg: 3.90 3.90 3.80 5/504 15667
/proc/meminfo: memFree=18609024/32951124 swapFree=41830676/67111528
[pid=15569] ppid=15567 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/15569/stat : 15569 (java) Z 15567 15569 15115 0 -1 4203548 1464402 0 1 0 179811 214 0 0 17 0 2 0 855564608 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15569/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 992.777
CPU time (s): 1800.34
CPU user time (s): 1798.12
CPU system time (s): 2.22066
CPU usage (%): 181.344
Max. virtual memory (cumulated for all children) (KiB): 10561096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.12
system time used= 2.22066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1464402
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= 27911
involuntary context switches= 39115
runsolver used 4.6033 second user time and 10.7874 second system time
The end