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-3456483-1307223065/watcher-3456483-1307223065 -o /tmp/evaluation-result-3456483-1307223065/solver-3456483-1307223065 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456483-1307223065.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: 2.00 2.02 2.00 2/568 3860
/proc/meminfo: memFree=17512204/32951124 swapFree=53733252/67111528
[pid=3860] ppid=3858 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/3860/stat : 3860 (java) R 3858 3860 3030 0 -1 4202496 954 0 0 0 0 0 0 0 21 0 1 0 833906939 23580672 698 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253635896808 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3860/statm: 5757 699 516 9 0 124 0
[pid=3860/tid=3861] ppid=3858 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3861/stat : 3861 (java) R 3858 3860 3030 0 -1 4202560 6311 0 1 0 0 0 0 0 22 0 2 0 833906940 10694979584 7126 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.102151 s]
/proc/loadavg: 2.00 2.02 2.00 2/568 3860
/proc/meminfo: memFree=17512204/32951124 swapFree=53733252/67111528
[pid=3860] ppid=3858 vsize=10539964 CPUtime=0.1 cores=1,3,5,7
/proc/3860/stat : 3860 (java) S 3858 3860 3030 0 -1 4202496 13078 0 1 0 9 1 0 0 21 0 18 0 833906939 10792923136 12745 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3860/statm: 2634991 12745 2092 9 0 2625725 0
[pid=3860/tid=3861] ppid=3858 vsize=10539964 CPUtime=0.08 cores=1,3,5,7
/proc/3860/task/3861/stat : 3861 (java) R 3858 3860 3030 0 -1 4202560 11122 0 1 0 7 1 0 0 25 0 18 0 833906940 10792923136 12746 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253640520389 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539964
[startup+0.201102 s]
/proc/loadavg: 2.00 2.02 2.00 2/568 3860
/proc/meminfo: memFree=17512204/32951124 swapFree=53733252/67111528
[pid=3860] ppid=3858 vsize=10539964 CPUtime=0.27 cores=1,3,5,7
/proc/3860/stat : 3860 (java) S 3858 3860 3030 0 -1 4202496 14503 0 1 0 26 1 0 0 21 0 18 0 833906939 10792923136 14109 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3860/statm: 2634991 14110 2184 9 0 2625725 0
[pid=3860/tid=3861] ppid=3858 vsize=10539964 CPUtime=0.18 cores=1,3,5,7
/proc/3860/task/3861/stat : 3861 (java) R 3858 3860 3030 0 -1 4202560 12196 0 1 0 17 1 0 0 25 0 18 0 833906940 10792923136 14110 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10539964
[startup+0.301085 s]
/proc/loadavg: 2.00 2.02 2.00 2/568 3860
/proc/meminfo: memFree=17512204/32951124 swapFree=53733252/67111528
[pid=3860] ppid=3858 vsize=10540736 CPUtime=0.5 cores=1,3,5,7
/proc/3860/stat : 3860 (java) S 3858 3860 3030 0 -1 4202496 16609 0 1 0 49 1 0 0 21 0 18 0 833906939 10793713664 15869 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3860/statm: 2635184 15870 2201 9 0 2625918 0
[pid=3860/tid=3861] ppid=3858 vsize=10540736 CPUtime=0.28 cores=1,3,5,7
/proc/3860/task/3861/stat : 3861 (java) R 3858 3860 3030 0 -1 4202560 13510 0 1 0 27 1 0 0 25 0 18 0 833906940 10793713664 15871 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 46912505590478 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10540736
[startup+0.701049 s]
/proc/loadavg: 2.00 2.02 2.00 2/568 3860
/proc/meminfo: memFree=17512204/32951124 swapFree=53733252/67111528
[pid=3860] ppid=3858 vsize=10544616 CPUtime=1.17 cores=1,3,5,7
/proc/3860/stat : 3860 (java) S 3858 3860 3030 0 -1 4202496 56736 0 1 0 110 7 0 0 21 0 18 0 833906939 10797686784 54164 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3860/statm: 2636154 54169 2213 9 0 2626888 0
[pid=3860/tid=3861] ppid=3858 vsize=10544616 CPUtime=0.68 cores=1,3,5,7
/proc/3860/task/3861/stat : 3861 (java) R 3858 3860 3030 0 -1 4202560 49941 0 1 0 61 7 0 0 25 0 18 0 833906940 10797686784 54172 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 46912505590529 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10544616
[startup+1.5009 s]
/proc/loadavg: 2.00 2.02 2.00 3/586 3878
/proc/meminfo: memFree=17121860/32951124 swapFree=53733252/67111528
[pid=3860] ppid=3858 vsize=10544616 CPUtime=1.98 cores=1,3,5,7
/proc/3860/stat : 3860 (java) S 3858 3860 3030 0 -1 4202496 124747 0 1 0 180 18 0 0 21 0 18 0 833906939 10797686784 122175 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3860/statm: 2636154 122176 2213 9 0 2626888 0
[pid=3860/tid=3861] ppid=3858 vsize=10544616 CPUtime=1.48 cores=1,3,5,7
/proc/3860/task/3861/stat : 3861 (java) R 3858 3860 3030 0 -1 4202560 117945 0 1 0 131 17 0 0 25 0 18 0 833906940 10797686784 122176 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 46912505650026 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3860/tid=3863] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3863/stat : 3863 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 833906941 10797686784 122177 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3864] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3864/stat : 3864 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 833906941 10797686784 122178 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3865] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3865/stat : 3865 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906941 10797686784 122178 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3866] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3866/stat : 3866 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906941 10797686784 122179 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3867] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3867/stat : 3867 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906941 10797686784 122180 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3868] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3868/stat : 3868 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906941 10797686784 122181 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3869] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3869/stat : 3869 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906941 10797686784 122183 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3870] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3870/stat : 3870 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906941 10797686784 122184 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3871] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3871/stat : 3871 (java) S 3858 3860 3030 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833906942 10797686784 122185 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 0 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3872] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3872/stat : 3872 (java) S 3858 3860 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833906943 10797686784 122186 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3873] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3873/stat : 3873 (java) S 3858 3860 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833906943 10797686784 122187 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3874] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3874/stat : 3874 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906945 10797686784 122188 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652683185 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3875] ppid=3858 vsize=10544616 CPUtime=0.26 cores=1,3,5,7
/proc/3860/task/3875/stat : 3875 (java) S 3858 3860 3030 0 -1 4202560 3170 0 0 0 26 0 0 0 25 0 18 0 833906945 10797686784 122189 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3876] ppid=3858 vsize=10544616 CPUtime=0.21 cores=1,3,5,7
/proc/3860/task/3876/stat : 3876 (java) S 3858 3860 3030 0 -1 4202560 2484 0 0 0 21 0 0 0 18 0 18 0 833906945 10797686784 122189 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3877] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3877/stat : 3877 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833906945 10797686784 122190 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3878] ppid=3858 vsize=10544616 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3878/stat : 3878 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833906945 10797686784 122191 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 10544616
[startup+3.10058 s]
/proc/loadavg: 2.00 2.02 2.00 5/586 3878
/proc/meminfo: memFree=16942308/32951124 swapFree=53733252/67111528
[pid=3860] ppid=3858 vsize=10545644 CPUtime=4.21 cores=1,3,5,7
/proc/3860/stat : 3860 (java) S 3858 3860 3030 0 -1 4202496 155587 0 1 0 399 22 0 0 21 0 19 0 833906939 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3860/statm: 2636411 150439 2229 9 0 2627145 0
[pid=3860/tid=3861] ppid=3858 vsize=10545644 CPUtime=3.06 cores=1,3,5,7
/proc/3860/task/3861/stat : 3861 (java) R 3858 3860 3030 0 -1 4202560 142730 0 1 0 286 20 0 0 18 0 19 0 833906940 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 46912506049883 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3860/tid=3863] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3863/stat : 3863 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833906941 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3864] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3864/stat : 3864 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833906941 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3865] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3865/stat : 3865 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906941 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3866] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3866/stat : 3866 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906941 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3867] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3867/stat : 3867 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906941 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3868] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3868/stat : 3868 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906941 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3869] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3869/stat : 3869 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906941 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3870] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3870/stat : 3870 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906941 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3871] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3871/stat : 3871 (java) S 3858 3860 3030 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 833906942 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 0 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3872] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3872/stat : 3872 (java) S 3858 3860 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833906943 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3873] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3873/stat : 3873 (java) S 3858 3860 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833906943 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3874] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3874/stat : 3874 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906945 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652683185 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3875] ppid=3858 vsize=10545644 CPUtime=0.69 cores=1,3,5,7
/proc/3860/task/3875/stat : 3875 (java) S 3858 3860 3030 0 -1 4202560 9161 0 0 0 68 1 0 0 15 0 19 0 833906945 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3876] ppid=3858 vsize=10545644 CPUtime=0.43 cores=1,3,5,7
/proc/3860/task/3876/stat : 3876 (java) S 3858 3860 3030 0 -1 4202560 2538 0 0 0 43 0 0 0 15 0 19 0 833906945 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3877] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3877/stat : 3877 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906945 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3878] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3878/stat : 3878 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833906945 10798739456 150439 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 10545644
[startup+6.30099 s]
/proc/loadavg: 2.00 2.02 2.00 3/587 3879
/proc/meminfo: memFree=16883192/32951124 swapFree=53733252/67111528
[pid=3860] ppid=3858 vsize=10545644 CPUtime=7.51 cores=1,3,5,7
/proc/3860/stat : 3860 (java) S 3858 3860 3030 0 -1 4202496 169617 0 1 0 727 24 0 0 21 0 19 0 833906939 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3860/statm: 2636411 164400 2235 9 0 2627145 0
[pid=3860/tid=3861] ppid=3858 vsize=10545644 CPUtime=6.24 cores=1,3,5,7
/proc/3860/task/3861/stat : 3861 (java) R 3858 3860 3030 0 -1 4202560 156737 0 1 0 602 22 0 0 25 0 19 0 833906940 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 46912505978651 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3860/tid=3863] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3863/stat : 3863 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833906941 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3864] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3864/stat : 3864 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833906941 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3865] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3865/stat : 3865 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906941 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3866] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3866/stat : 3866 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906941 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3867] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3867/stat : 3867 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906941 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3868] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3868/stat : 3868 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906941 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3869] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3869/stat : 3869 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906941 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3870] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3870/stat : 3870 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906941 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3871] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3871/stat : 3871 (java) S 3858 3860 3030 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833906942 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 0 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3872] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3872/stat : 3872 (java) S 3858 3860 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833906943 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3873] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3873/stat : 3873 (java) S 3858 3860 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833906943 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3874] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3874/stat : 3874 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906945 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652683185 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3875] ppid=3858 vsize=10545644 CPUtime=0.76 cores=1,3,5,7
/proc/3860/task/3875/stat : 3875 (java) S 3858 3860 3030 0 -1 4202560 9175 0 0 0 75 1 0 0 15 0 19 0 833906945 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3876] ppid=3858 vsize=10545644 CPUtime=0.48 cores=1,3,5,7
/proc/3860/task/3876/stat : 3876 (java) S 3858 3860 3030 0 -1 4202560 2545 0 0 0 48 0 0 0 15 0 19 0 833906945 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3877] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3877/stat : 3877 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906945 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3878] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3878/stat : 3878 (java) S 3858 3860 3030 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 833906945 10798739456 164400 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/3860/task/3873/stat : 3873 (java) S 3858 3860 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833906943 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3874] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3874/stat : 3874 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906945 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652683185 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3875] ppid=3858 vsize=10545644 CPUtime=0.99 cores=1,3,5,7
/proc/3860/task/3875/stat : 3875 (java) S 3858 3860 3030 0 -1 4202560 9213 0 0 0 98 1 0 0 15 0 19 0 833906945 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3876] ppid=3858 vsize=10545644 CPUtime=0.74 cores=1,3,5,7
/proc/3860/task/3876/stat : 3876 (java) S 3858 3860 3030 0 -1 4202560 2577 0 0 0 74 0 0 0 15 0 19 0 833906945 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3877] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3877/stat : 3877 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906945 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3878] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3878/stat : 3878 (java) S 3858 3860 3030 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 833906945 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3879] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3879/stat : 3879 (java) S 3858 3860 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833907166 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.43
Current children cumulated vsize (KiB) 10545644
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/587 4064
/proc/meminfo: memFree=13292992/32951124 swapFree=53733252/67111528
[pid=3860] ppid=3858 vsize=10545644 CPUtime=1726.5 cores=1,3,5,7
/proc/3860/stat : 3860 (java) S 3858 3860 3030 0 -1 4202496 941991 0 1 0 172535 115 0 0 21 0 19 0 833906939 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3860/statm: 2636411 933519 2250 9 0 2627145 0
[pid=3860/tid=3861] ppid=3858 vsize=10545644 CPUtime=1720.84 cores=1,3,5,7
/proc/3860/task/3861/stat : 3861 (java) R 3858 3860 3030 0 -1 4202560 746378 0 1 0 172003 81 0 0 25 0 19 0 833906940 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 46912505664434 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3860/tid=3863] ppid=3858 vsize=10545644 CPUtime=0.47 cores=1,3,5,7
/proc/3860/task/3863/stat : 3863 (java) S 3858 3860 3030 0 -1 4202560 17752 0 0 0 44 3 0 0 15 0 19 0 833906941 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 1 0 0 0
[pid=3860/tid=3864] ppid=3858 vsize=10545644 CPUtime=0.57 cores=1,3,5,7
/proc/3860/task/3864/stat : 3864 (java) S 3858 3860 3030 0 -1 4202560 30617 0 0 0 53 4 0 0 15 0 19 0 833906941 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 1 0 0 0
[pid=3860/tid=3865] ppid=3858 vsize=10545644 CPUtime=0.5 cores=1,3,5,7
/proc/3860/task/3865/stat : 3865 (java) S 3858 3860 3030 0 -1 4202560 22238 0 0 0 48 2 0 0 16 0 19 0 833906941 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3866] ppid=3858 vsize=10545644 CPUtime=0.34 cores=1,3,5,7
/proc/3860/task/3866/stat : 3866 (java) S 3858 3860 3030 0 -1 4202560 7777 0 0 0 33 1 0 0 16 0 19 0 833906941 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3867] ppid=3858 vsize=10545644 CPUtime=0.42 cores=1,3,5,7
/proc/3860/task/3867/stat : 3867 (java) S 3858 3860 3030 0 -1 4202560 20126 0 0 0 39 3 0 0 15 0 19 0 833906941 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 1 0 0 0
[pid=3860/tid=3868] ppid=3858 vsize=10545644 CPUtime=0.45 cores=1,3,5,7
/proc/3860/task/3868/stat : 3868 (java) S 3858 3860 3030 0 -1 4202560 16883 0 0 0 42 3 0 0 16 0 19 0 833906941 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3869] ppid=3858 vsize=10545644 CPUtime=0.53 cores=1,3,5,7
/proc/3860/task/3869/stat : 3869 (java) S 3858 3860 3030 0 -1 4202560 27200 0 0 0 50 3 0 0 16 0 19 0 833906941 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3870] ppid=3858 vsize=10545644 CPUtime=0.49 cores=1,3,5,7
/proc/3860/task/3870/stat : 3870 (java) S 3858 3860 3030 0 -1 4202560 39880 0 0 0 43 6 0 0 15 0 19 0 833906941 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3871] ppid=3858 vsize=10545644 CPUtime=0.06 cores=1,3,5,7
/proc/3860/task/3871/stat : 3871 (java) S 3858 3860 3030 0 -1 4202560 103 0 0 0 3 3 0 0 15 0 19 0 833906942 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 0 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3872] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3872/stat : 3872 (java) S 3858 3860 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833906943 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3873] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3873/stat : 3873 (java) S 3858 3860 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833906943 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3874] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3874/stat : 3874 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906945 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652683185 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3875] ppid=3858 vsize=10545644 CPUtime=0.99 cores=1,3,5,7
/proc/3860/task/3875/stat : 3875 (java) S 3858 3860 3030 0 -1 4202560 9213 0 0 0 98 1 0 0 15 0 19 0 833906945 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3876] ppid=3858 vsize=10545644 CPUtime=0.74 cores=1,3,5,7
/proc/3860/task/3876/stat : 3876 (java) S 3858 3860 3030 0 -1 4202560 2577 0 0 0 74 0 0 0 15 0 19 0 833906945 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3877] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3877/stat : 3877 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906945 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3878] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3878/stat : 3878 (java) S 3858 3860 3030 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833906945 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3879] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3879/stat : 3879 (java) S 3858 3860 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833907166 10798739456 933519 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.5
Current children cumulated vsize (KiB) 10545644
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/587 4066
/proc/meminfo: memFree=13260100/32951124 swapFree=53733252/67111528
[pid=3860] ppid=3858 vsize=10545644 CPUtime=1786.6 cores=1,3,5,7
/proc/3860/stat : 3860 (java) S 3858 3860 3030 0 -1 4202496 947545 0 1 0 178545 115 0 0 21 0 19 0 833906939 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3860/statm: 2636411 938847 2250 9 0 2627145 0
[pid=3860/tid=3861] ppid=3858 vsize=10545644 CPUtime=1780.78 cores=1,3,5,7
/proc/3860/task/3861/stat : 3861 (java) R 3858 3860 3030 0 -1 4202560 746394 0 1 0 177997 81 0 0 25 0 19 0 833906940 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 46912506186949 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3860/tid=3863] ppid=3858 vsize=10545644 CPUtime=0.48 cores=1,3,5,7
/proc/3860/task/3863/stat : 3863 (java) S 3858 3860 3030 0 -1 4202560 17752 0 0 0 45 3 0 0 15 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3864] ppid=3858 vsize=10545644 CPUtime=0.6 cores=1,3,5,7
/proc/3860/task/3864/stat : 3864 (java) S 3858 3860 3030 0 -1 4202560 32167 0 0 0 56 4 0 0 15 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3865] ppid=3858 vsize=10545644 CPUtime=0.51 cores=1,3,5,7
/proc/3860/task/3865/stat : 3865 (java) S 3858 3860 3030 0 -1 4202560 22239 0 0 0 49 2 0 0 16 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3866] ppid=3858 vsize=10545644 CPUtime=0.36 cores=1,3,5,7
/proc/3860/task/3866/stat : 3866 (java) S 3858 3860 3030 0 -1 4202560 7777 0 0 0 35 1 0 0 15 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3867] ppid=3858 vsize=10545644 CPUtime=0.43 cores=1,3,5,7
/proc/3860/task/3867/stat : 3867 (java) S 3858 3860 3030 0 -1 4202560 20126 0 0 0 40 3 0 0 16 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 1 0 0 0
[pid=3860/tid=3868] ppid=3858 vsize=10545644 CPUtime=0.48 cores=1,3,5,7
/proc/3860/task/3868/stat : 3868 (java) S 3858 3860 3030 0 -1 4202560 19788 0 0 0 45 3 0 0 15 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3869] ppid=3858 vsize=10545644 CPUtime=0.55 cores=1,3,5,7
/proc/3860/task/3869/stat : 3869 (java) S 3858 3860 3030 0 -1 4202560 27200 0 0 0 52 3 0 0 16 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3870] ppid=3858 vsize=10545644 CPUtime=0.51 cores=1,3,5,7
/proc/3860/task/3870/stat : 3870 (java) S 3858 3860 3030 0 -1 4202560 40954 0 0 0 45 6 0 0 16 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3871] ppid=3858 vsize=10545644 CPUtime=0.06 cores=1,3,5,7
/proc/3860/task/3871/stat : 3871 (java) S 3858 3860 3030 0 -1 4202560 107 0 0 0 3 3 0 0 15 0 19 0 833906942 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 0 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3872] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3872/stat : 3872 (java) S 3858 3860 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833906943 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3873] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3873/stat : 3873 (java) S 3858 3860 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833906943 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3874] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3874/stat : 3874 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906945 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652683185 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3875] ppid=3858 vsize=10545644 CPUtime=0.99 cores=1,3,5,7
/proc/3860/task/3875/stat : 3875 (java) S 3858 3860 3030 0 -1 4202560 9213 0 0 0 98 1 0 0 15 0 19 0 833906945 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3876] ppid=3858 vsize=10545644 CPUtime=0.74 cores=1,3,5,7
/proc/3860/task/3876/stat : 3876 (java) S 3858 3860 3030 0 -1 4202560 2577 0 0 0 74 0 0 0 15 0 19 0 833906945 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3877] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3877/stat : 3877 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906945 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3878] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3878/stat : 3878 (java) S 3858 3860 3030 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833906945 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3879] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3879/stat : 3879 (java) S 3858 3860 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833907166 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.6
Current children cumulated vsize (KiB) 10545644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/588 4067
/proc/meminfo: memFree=13258828/32951124 swapFree=53733252/67111528
[pid=3860] ppid=3858 vsize=10545644 CPUtime=1800.02 cores=1,3,5,7
/proc/3860/stat : 3860 (java) S 3858 3860 3030 0 -1 4202496 947547 0 1 0 179887 115 0 0 21 0 19 0 833906939 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3860/statm: 2636411 938847 2250 9 0 2627145 0
[pid=3860/tid=3861] ppid=3858 vsize=10545644 CPUtime=1794.19 cores=1,3,5,7
/proc/3860/task/3861/stat : 3861 (java) R 3858 3860 3030 0 -1 4202560 746396 0 1 0 179338 81 0 0 25 0 19 0 833906940 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 46912506007170 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3860/tid=3863] ppid=3858 vsize=10545644 CPUtime=0.48 cores=1,3,5,7
/proc/3860/task/3863/stat : 3863 (java) S 3858 3860 3030 0 -1 4202560 17752 0 0 0 45 3 0 0 15 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 1 0 0 0
[pid=3860/tid=3864] ppid=3858 vsize=10545644 CPUtime=0.6 cores=1,3,5,7
/proc/3860/task/3864/stat : 3864 (java) S 3858 3860 3030 0 -1 4202560 32167 0 0 0 56 4 0 0 15 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3865] ppid=3858 vsize=10545644 CPUtime=0.51 cores=1,3,5,7
/proc/3860/task/3865/stat : 3865 (java) S 3858 3860 3030 0 -1 4202560 22239 0 0 0 49 2 0 0 15 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3866] ppid=3858 vsize=10545644 CPUtime=0.36 cores=1,3,5,7
/proc/3860/task/3866/stat : 3866 (java) S 3858 3860 3030 0 -1 4202560 7777 0 0 0 35 1 0 0 16 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3867] ppid=3858 vsize=10545644 CPUtime=0.44 cores=1,3,5,7
/proc/3860/task/3867/stat : 3867 (java) S 3858 3860 3030 0 -1 4202560 20126 0 0 0 41 3 0 0 16 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 1 0 0 0
[pid=3860/tid=3868] ppid=3858 vsize=10545644 CPUtime=0.48 cores=1,3,5,7
/proc/3860/task/3868/stat : 3868 (java) S 3858 3860 3030 0 -1 4202560 19788 0 0 0 45 3 0 0 16 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3869] ppid=3858 vsize=10545644 CPUtime=0.55 cores=1,3,5,7
/proc/3860/task/3869/stat : 3869 (java) S 3858 3860 3030 0 -1 4202560 27200 0 0 0 52 3 0 0 15 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3870] ppid=3858 vsize=10545644 CPUtime=0.52 cores=1,3,5,7
/proc/3860/task/3870/stat : 3870 (java) S 3858 3860 3030 0 -1 4202560 40954 0 0 0 46 6 0 0 16 0 19 0 833906941 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3871] ppid=3858 vsize=10545644 CPUtime=0.06 cores=1,3,5,7
/proc/3860/task/3871/stat : 3871 (java) S 3858 3860 3030 0 -1 4202560 107 0 0 0 3 3 0 0 15 0 19 0 833906942 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 0 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
[pid=3860/tid=3872] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3872/stat : 3872 (java) S 3858 3860 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833906943 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3873] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3873/stat : 3873 (java) S 3858 3860 3030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833906943 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3874] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3874/stat : 3874 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906945 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652683185 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3875] ppid=3858 vsize=10545644 CPUtime=0.99 cores=1,3,5,7
/proc/3860/task/3875/stat : 3875 (java) S 3858 3860 3030 0 -1 4202560 9213 0 0 0 98 1 0 0 15 0 19 0 833906945 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 5 0 0 0
[pid=3860/tid=3876] ppid=3858 vsize=10545644 CPUtime=0.74 cores=1,3,5,7
/proc/3860/task/3876/stat : 3876 (java) S 3858 3860 3030 0 -1 4202560 2577 0 0 0 74 0 0 0 15 0 19 0 833906945 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3877] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3877/stat : 3877 (java) S 3858 3860 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906945 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652675481 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3878] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3878/stat : 3878 (java) S 3858 3860 3030 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833906945 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 4 0 16800975 18446604455578478720 0 0 -1 3 0 0 0
[pid=3860/tid=3879] ppid=3858 vsize=10545644 CPUtime=0 cores=1,3,5,7
/proc/3860/task/3879/stat : 3879 (java) S 3858 3860 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833907166 10798739456 938847 33554432000 1073741824 1073778376 140733898740176 18446744073709551615 253652676096 0 4 0 16800975 18446604455578478720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10545644
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.83 s]
/proc/loadavg: 2.00 2.01 2.00 3/588 4067
/proc/meminfo: memFree=13258828/32951124 swapFree=53733252/67111528
[pid=3860] ppid=3858 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/3860/stat : 3860 (java) Z 3858 3860 3030 0 -1 4203548 947575 0 1 0 179889 125 0 0 17 0 2 0 833906939 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3860/statm: 0 0 0 0 0 0 0
[pid=3860/tid=3879] ppid=3858 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/3860/task/3879/stat : 3879 (java) R 3858 3860 3030 0 -1 4203588 7 0 0 0 0 9 0 0 18 0 2 0 833907166 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.87
CPU time (s): 1800.2
CPU user time (s): 1798.9
CPU system time (s): 1.2958
CPU usage (%): 100.241
Max. virtual memory (cumulated for all children) (KiB): 10545644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.2958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 947575
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= 47786
involuntary context switches= 29986
runsolver used 10.0055 second user time and 23.3345 second system time
The end