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-3457059-1307215873/watcher-3457059-1307215873 -o /tmp/evaluation-result-3457059-1307215873/solver-3457059-1307215873 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457059-1307215873.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: 0.00 0.00 0.00 1/545 3058
/proc/meminfo: memFree=21121972/32951124 swapFree=53733252/67111528
[pid=3058] ppid=3056 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/3058/stat : 3058 (java) R 3056 3058 3030 0 -1 4202496 759 0 0 0 0 0 0 0 23 0 1 0 833187662 23580672 502 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253635897088 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3058/statm: 5757 515 388 9 0 124 0
[pid=3058/tid=3059] ppid=3056 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3059/stat : 3059 (java) R 3056 3058 3030 0 -1 4202560 7071 0 1 0 0 0 0 0 24 0 2 0 833187663 10694979584 7887 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.033756 s]
/proc/loadavg: 0.00 0.00 0.00 1/545 3058
/proc/meminfo: memFree=21121972/32951124 swapFree=53733252/67111528
[pid=3058] ppid=3056 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/3058/stat : 3058 (java) S 3056 3058 3030 0 -1 4202496 10811 0 1 0 1 1 0 0 23 0 10 0 833187662 10705932288 10509 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/3058/statm: 2613753 10510 1515 9 0 2604501 0
[pid=3058/tid=3059] ppid=3056 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/3058/task/3059/stat : 3059 (java) R 3056 3058 3030 0 -1 4202560 9689 0 1 0 1 1 0 0 25 0 10 0 833187663 10705932288 10510 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 47447300666115 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.100747 s]
/proc/loadavg: 0.00 0.00 0.00 1/545 3058
/proc/meminfo: memFree=21121972/32951124 swapFree=53733252/67111528
[pid=3058] ppid=3056 vsize=10539920 CPUtime=0.1 cores=1,3,5,7
/proc/3058/stat : 3058 (java) S 3056 3058 3030 0 -1 4202496 13020 0 1 0 8 2 0 0 23 0 18 0 833187662 10792878080 12716 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3058/statm: 2634980 12717 2092 9 0 2625714 0
[pid=3058/tid=3059] ppid=3056 vsize=10539920 CPUtime=0.07 cores=1,3,5,7
/proc/3058/task/3059/stat : 3059 (java) R 3056 3058 3030 0 -1 4202560 11120 0 1 0 6 1 0 0 18 0 18 0 833187663 10792878080 12717 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 47447301523974 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) 10539920
[startup+0.3217 s]
/proc/loadavg: 0.00 0.00 0.00 1/545 3058
/proc/meminfo: memFree=21121972/32951124 swapFree=53733252/67111528
[pid=3058] ppid=3056 vsize=10542812 CPUtime=0.52 cores=1,3,5,7
/proc/3058/stat : 3058 (java) S 3056 3058 3030 0 -1 4202496 16183 0 1 0 50 2 0 0 23 0 19 0 833187662 10795839488 15427 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3058/statm: 2635703 15428 2210 9 0 2626437 0
[pid=3058/tid=3059] ppid=3056 vsize=10542812 CPUtime=0.3 cores=1,3,5,7
/proc/3058/task/3059/stat : 3059 (java) R 3056 3058 3030 0 -1 4202560 13064 0 1 0 28 2 0 0 19 0 19 0 833187663 10795839488 15428 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 47447305161555 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10542812
[startup+0.700604 s]
/proc/loadavg: 0.00 0.00 0.00 1/545 3058
/proc/meminfo: memFree=21121972/32951124 swapFree=53733252/67111528
[pid=3058] ppid=3056 vsize=10619552 CPUtime=1.56 cores=1,3,5,7
/proc/3058/stat : 3058 (java) S 3056 3058 3030 0 -1 4202496 48360 0 1 0 149 7 0 0 23 0 19 0 833187662 10874421248 43728 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3058/statm: 2654888 43733 2224 9 0 2645622 0
[pid=3058/tid=3059] ppid=3056 vsize=10619552 CPUtime=0.67 cores=1,3,5,7
/proc/3058/task/3059/stat : 3059 (java) R 3056 3058 3030 0 -1 4202560 35847 0 1 0 62 5 0 0 18 0 19 0 833187663 10874421248 43736 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 46912505668808 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10619552
[startup+1.50149 s]
/proc/loadavg: 0.00 0.00 0.00 6/587 3107
/proc/meminfo: memFree=20729116/32951124 swapFree=53733252/67111528
[pid=3058] ppid=3056 vsize=10619080 CPUtime=2.9 cores=1,3,5,7
/proc/3058/stat : 3058 (java) S 3056 3058 3030 0 -1 4202496 143511 0 1 0 272 18 0 0 23 0 19 0 833187662 10873937920 136748 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3058/statm: 2654770 136752 2227 9 0 2645504 0
[pid=3058/tid=3059] ppid=3056 vsize=10619080 CPUtime=1.48 cores=1,3,5,7
/proc/3058/task/3059/stat : 3059 (java) R 3056 3058 3030 0 -1 4202560 128927 0 1 0 132 16 0 0 18 0 19 0 833187663 10873937920 136754 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 46912505716750 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3058/tid=3061] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3061/stat : 3061 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 136756 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3062] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3062/stat : 3062 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 136757 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3063] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3063/stat : 3063 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 136758 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3064] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3064/stat : 3064 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 136760 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3065] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3065/stat : 3065 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 136763 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3066] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3066/stat : 3066 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 136765 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3067] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3067/stat : 3067 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 136767 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3068] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3068/stat : 3068 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 136771 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3069] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3069/stat : 3069 (java) S 3056 3058 3030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833187665 10873937920 136773 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 0 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3070] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3070/stat : 3070 (java) S 3056 3058 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833187666 10873937920 136776 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3071] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3071/stat : 3071 (java) S 3056 3058 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833187666 10873937920 136778 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3072] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3072/stat : 3072 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10873937920 136780 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652683185 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3073] ppid=3056 vsize=10619080 CPUtime=0.6 cores=1,3,5,7
/proc/3058/task/3073/stat : 3073 (java) S 3056 3058 3030 0 -1 4202560 6834 0 0 0 60 0 0 0 15 0 19 0 833187668 10873937920 136783 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3074] ppid=3056 vsize=10619080 CPUtime=0.79 cores=1,3,5,7
/proc/3058/task/3074/stat : 3074 (java) S 3056 3058 3030 0 -1 4202560 6594 0 0 0 79 0 0 0 15 0 19 0 833187668 10873937920 136786 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
[pid=3058/tid=3076] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3076/stat : 3076 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10873937920 136790 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3077] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3077/stat : 3077 (java) S 3056 3058 3030 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 833187668 10873937920 136795 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3078] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3078/stat : 3078 (java) S 3056 3058 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833187692 10873937920 136799 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 10619080
[startup+3.10121 s]
/proc/loadavg: 0.00 0.00 0.00 3/587 3107
/proc/meminfo: memFree=19755220/32951124 swapFree=53733252/67111528
[pid=3058] ppid=3056 vsize=10619080 CPUtime=4.66 cores=1,3,5,7
/proc/3058/stat : 3058 (java) S 3056 3058 3030 0 -1 4202496 336028 0 1 0 428 38 0 0 23 0 19 0 833187662 10873937920 329263 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3058/statm: 2654770 329268 2228 9 0 2645504 0
[pid=3058/tid=3059] ppid=3056 vsize=10619080 CPUtime=3.08 cores=1,3,5,7
/proc/3058/task/3059/stat : 3059 (java) R 3056 3058 3030 0 -1 4202560 321428 0 1 0 272 36 0 0 18 0 19 0 833187663 10873937920 329270 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 46912505668812 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3058/tid=3061] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3061/stat : 3061 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 329272 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3062] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3062/stat : 3062 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 329275 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3063] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3063/stat : 3063 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 329277 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3064] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3064/stat : 3064 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 329279 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3065] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3065/stat : 3065 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 329281 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3066] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3066/stat : 3066 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 329283 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3067] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3067/stat : 3067 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 329284 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3068] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3068/stat : 3068 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10873937920 329286 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3069] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3069/stat : 3069 (java) S 3056 3058 3030 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833187665 10873937920 329288 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 0 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3070] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3070/stat : 3070 (java) S 3056 3058 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833187666 10873937920 329292 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3071] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3071/stat : 3071 (java) S 3056 3058 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833187666 10873937920 329295 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3072] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3072/stat : 3072 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10873937920 329298 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652683185 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3073] ppid=3056 vsize=10619080 CPUtime=0.65 cores=1,3,5,7
/proc/3058/task/3073/stat : 3073 (java) S 3056 3058 3030 0 -1 4202560 6841 0 0 0 65 0 0 0 15 0 19 0 833187668 10873937920 329301 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3074] ppid=3056 vsize=10619080 CPUtime=0.9 cores=1,3,5,7
/proc/3058/task/3074/stat : 3074 (java) S 3056 3058 3030 0 -1 4202560 6604 0 0 0 90 0 0 0 15 0 19 0 833187668 10873937920 329304 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
[pid=3058/tid=3076] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3076/stat : 3076 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10873937920 329307 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3077] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3077/stat : 3077 (java) S 3056 3058 3030 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 833187668 10873937920 329309 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3078] ppid=3056 vsize=10619080 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3078/stat : 3078 (java) S 3056 3058 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833187692 10873937920 329312 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.66
Current children cumulated vsize (KiB) 10619080
[startup+6.30062 s]
/proc/loadavg: 0.16 0.03 0.01 3/587 3107
/proc/meminfo: memFree=17072648/32951124 swapFree=53733252/67111528
[pid=3058] ppid=3056 vsize=10615960 CPUtime=7.86 cores=1,3,5,7
/proc/3058/stat : 3058 (java) S 3056 3058 3030 0 -1 4202496 659308 0 1 0 715 71 0 0 23 0 19 0 833187662 10870743040 651848 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3058/statm: 2653990 651851 2229 9 0 2644724 0
[pid=3058/tid=3059] ppid=3056 vsize=10615960 CPUtime=6.28 cores=1,3,5,7
/proc/3058/task/3059/stat : 3059 (java) R 3056 3058 3030 0 -1 4202560 644705 0 1 0 559 69 0 0 21 0 19 0 833187663 10870743040 651853 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 46912505716764 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3058/tid=3061] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3061/stat : 3061 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10870743040 651855 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3062] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3062/stat : 3062 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10870743040 651858 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3063] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3063/stat : 3063 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10870743040 651860 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3064] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3064/stat : 3064 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10870743040 651863 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3065] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3065/stat : 3065 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10870743040 651864 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3066] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3066/stat : 3066 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10870743040 651866 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3067] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3067/stat : 3067 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10870743040 651868 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3068] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3068/stat : 3068 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187664 10870743040 651871 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3069] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3069/stat : 3069 (java) S 3056 3058 3030 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833187665 10870743040 651873 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 0 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3070] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3070/stat : 3070 (java) S 3056 3058 3030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833187666 10870743040 651875 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3071] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3071/stat : 3071 (java) S 3056 3058 3030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833187666 10870743040 651877 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3072] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3072/stat : 3072 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10870743040 651879 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652683185 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3073] ppid=3056 vsize=10615960 CPUtime=0.65 cores=1,3,5,7
/proc/3058/task/3073/stat : 3073 (java) S 3056 3058 3030 0 -1 4202560 6841 0 0 0 65 0 0 0 15 0 19 0 833187668 10870743040 651881 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3074] ppid=3056 vsize=10615960 CPUtime=0.9 cores=1,3,5,7
/proc/3058/task/3074/stat : 3074 (java) S 3056 3058 3030 0 -1 4202560 6604 0 0 0 90 0 0 0 15 0 19 0 833187668 10870743040 651883 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/3058/task/3070/stat : 3070 (java) S 3056 3058 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833187666 10870743040 919466 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3071] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3071/stat : 3071 (java) S 3056 3058 3030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833187666 10870743040 919466 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3072] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3072/stat : 3072 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10870743040 919466 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652683185 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3073] ppid=3056 vsize=10615960 CPUtime=0.76 cores=1,3,5,7
/proc/3058/task/3073/stat : 3073 (java) S 3056 3058 3030 0 -1 4202560 6859 0 0 0 76 0 0 0 15 0 19 0 833187668 10870743040 919466 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3074] ppid=3056 vsize=10615960 CPUtime=1.08 cores=1,3,5,7
/proc/3058/task/3074/stat : 3074 (java) S 3056 3058 3030 0 -1 4202560 6627 0 0 0 108 0 0 0 15 0 19 0 833187668 10870743040 919466 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
[pid=3058/tid=3076] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3076/stat : 3076 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10870743040 919466 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3077] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3077/stat : 3077 (java) S 3056 3058 3030 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833187668 10870743040 919466 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3078] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3078/stat : 3078 (java) S 3056 3058 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833187692 10870743040 919466 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1667.42
Current children cumulated vsize (KiB) 10615960
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.69 3/587 3159
/proc/meminfo: memFree=13785536/32951124 swapFree=53733252/67111528
[pid=3058] ppid=3056 vsize=10615960 CPUtime=1727.56 cores=1,3,5,7
/proc/3058/stat : 3058 (java) S 3056 3058 3030 0 -1 4202496 929224 0 1 0 172652 104 0 0 23 0 19 0 833187662 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3058/statm: 2653990 920494 2258 9 0 2644724 0
[pid=3058/tid=3059] ppid=3056 vsize=10615960 CPUtime=1719.62 cores=1,3,5,7
/proc/3058/task/3059/stat : 3059 (java) R 3056 3058 3030 0 -1 4202560 837195 0 1 0 171872 90 0 0 25 0 19 0 833187663 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 46912505697430 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3058/tid=3061] ppid=3056 vsize=10615960 CPUtime=0.56 cores=1,3,5,7
/proc/3058/task/3061/stat : 3061 (java) S 3056 3058 3030 0 -1 4202560 9776 0 0 0 55 1 0 0 16 0 19 0 833187664 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3062] ppid=3056 vsize=10615960 CPUtime=0.53 cores=1,3,5,7
/proc/3058/task/3062/stat : 3062 (java) S 3056 3058 3030 0 -1 4202560 7733 0 0 0 52 1 0 0 16 0 19 0 833187664 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
[pid=3058/tid=3063] ppid=3056 vsize=10615960 CPUtime=0.59 cores=1,3,5,7
/proc/3058/task/3063/stat : 3063 (java) S 3056 3058 3030 0 -1 4202560 7902 0 0 0 59 0 0 0 16 0 19 0 833187664 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3064] ppid=3056 vsize=10615960 CPUtime=0.76 cores=1,3,5,7
/proc/3058/task/3064/stat : 3064 (java) S 3056 3058 3030 0 -1 4202560 11588 0 0 0 75 1 0 0 15 0 19 0 833187664 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3065] ppid=3056 vsize=10615960 CPUtime=0.64 cores=1,3,5,7
/proc/3058/task/3065/stat : 3065 (java) S 3056 3058 3030 0 -1 4202560 7859 0 0 0 63 1 0 0 15 0 19 0 833187664 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3066] ppid=3056 vsize=10615960 CPUtime=0.6 cores=1,3,5,7
/proc/3058/task/3066/stat : 3066 (java) S 3056 3058 3030 0 -1 4202560 10373 0 0 0 59 1 0 0 15 0 19 0 833187664 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3067] ppid=3056 vsize=10615960 CPUtime=0.67 cores=1,3,5,7
/proc/3058/task/3067/stat : 3067 (java) S 3056 3058 3030 0 -1 4202560 8328 0 0 0 67 0 0 0 16 0 19 0 833187664 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3068] ppid=3056 vsize=10615960 CPUtime=0.6 cores=1,3,5,7
/proc/3058/task/3068/stat : 3068 (java) S 3056 3058 3030 0 -1 4202560 7922 0 0 0 59 1 0 0 15 0 19 0 833187664 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
[pid=3058/tid=3069] ppid=3056 vsize=10615960 CPUtime=1.01 cores=1,3,5,7
/proc/3058/task/3069/stat : 3069 (java) S 3056 3058 3030 0 -1 4202560 5800 0 0 0 99 2 0 0 15 0 19 0 833187665 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 0 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3070] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3070/stat : 3070 (java) S 3056 3058 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833187666 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3071] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3071/stat : 3071 (java) S 3056 3058 3030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833187666 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3072] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3072/stat : 3072 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652683185 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3073] ppid=3056 vsize=10615960 CPUtime=0.76 cores=1,3,5,7
/proc/3058/task/3073/stat : 3073 (java) S 3056 3058 3030 0 -1 4202560 6859 0 0 0 76 0 0 0 15 0 19 0 833187668 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3074] ppid=3056 vsize=10615960 CPUtime=1.11 cores=1,3,5,7
/proc/3058/task/3074/stat : 3074 (java) S 3056 3058 3030 0 -1 4202560 6635 0 0 0 111 0 0 0 15 0 19 0 833187668 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
[pid=3058/tid=3076] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3076/stat : 3076 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3077] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3077/stat : 3077 (java) S 3056 3058 3030 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833187668 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3078] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3078/stat : 3078 (java) S 3056 3058 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833187692 10870743040 920494 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1727.56
Current children cumulated vsize (KiB) 10615960
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.70 3/587 3160
/proc/meminfo: memFree=13781020/32951124 swapFree=53733252/67111528
[pid=3058] ppid=3056 vsize=10615960 CPUtime=1787.69 cores=1,3,5,7
/proc/3058/stat : 3058 (java) S 3056 3058 3030 0 -1 4202496 929263 0 1 0 178665 104 0 0 23 0 19 0 833187662 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3058/statm: 2653990 920524 2258 9 0 2644724 0
[pid=3058/tid=3059] ppid=3056 vsize=10615960 CPUtime=1779.56 cores=1,3,5,7
/proc/3058/task/3059/stat : 3059 (java) R 3056 3058 3030 0 -1 4202560 837199 0 1 0 177866 90 0 0 25 0 19 0 833187663 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 46912505697038 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3058/tid=3061] ppid=3056 vsize=10615960 CPUtime=0.56 cores=1,3,5,7
/proc/3058/task/3061/stat : 3061 (java) S 3056 3058 3030 0 -1 4202560 9777 0 0 0 55 1 0 0 15 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3062] ppid=3056 vsize=10615960 CPUtime=0.57 cores=1,3,5,7
/proc/3058/task/3062/stat : 3062 (java) S 3056 3058 3030 0 -1 4202560 7736 0 0 0 56 1 0 0 16 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
[pid=3058/tid=3063] ppid=3056 vsize=10615960 CPUtime=0.62 cores=1,3,5,7
/proc/3058/task/3063/stat : 3063 (java) S 3056 3058 3030 0 -1 4202560 7908 0 0 0 62 0 0 0 16 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3064] ppid=3056 vsize=10615960 CPUtime=0.79 cores=1,3,5,7
/proc/3058/task/3064/stat : 3064 (java) S 3056 3058 3030 0 -1 4202560 11594 0 0 0 78 1 0 0 16 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3065] ppid=3056 vsize=10615960 CPUtime=0.66 cores=1,3,5,7
/proc/3058/task/3065/stat : 3065 (java) S 3056 3058 3030 0 -1 4202560 7868 0 0 0 65 1 0 0 16 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3066] ppid=3056 vsize=10615960 CPUtime=0.61 cores=1,3,5,7
/proc/3058/task/3066/stat : 3066 (java) S 3056 3058 3030 0 -1 4202560 10377 0 0 0 60 1 0 0 15 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3067] ppid=3056 vsize=10615960 CPUtime=0.71 cores=1,3,5,7
/proc/3058/task/3067/stat : 3067 (java) S 3056 3058 3030 0 -1 4202560 8329 0 0 0 71 0 0 0 16 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3068] ppid=3056 vsize=10615960 CPUtime=0.6 cores=1,3,5,7
/proc/3058/task/3068/stat : 3068 (java) S 3056 3058 3030 0 -1 4202560 7923 0 0 0 59 1 0 0 15 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
[pid=3058/tid=3069] ppid=3056 vsize=10615960 CPUtime=1.01 cores=1,3,5,7
/proc/3058/task/3069/stat : 3069 (java) S 3056 3058 3030 0 -1 4202560 5802 0 0 0 99 2 0 0 15 0 19 0 833187665 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 0 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3070] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3070/stat : 3070 (java) S 3056 3058 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833187666 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3071] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3071/stat : 3071 (java) S 3056 3058 3030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833187666 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3072] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3072/stat : 3072 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652683185 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3073] ppid=3056 vsize=10615960 CPUtime=0.76 cores=1,3,5,7
/proc/3058/task/3073/stat : 3073 (java) S 3056 3058 3030 0 -1 4202560 6859 0 0 0 76 0 0 0 15 0 19 0 833187668 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3074] ppid=3056 vsize=10615960 CPUtime=1.11 cores=1,3,5,7
/proc/3058/task/3074/stat : 3074 (java) S 3056 3058 3030 0 -1 4202560 6635 0 0 0 111 0 0 0 15 0 19 0 833187668 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
[pid=3058/tid=3076] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3076/stat : 3076 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3077] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3077/stat : 3077 (java) S 3056 3058 3030 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833187668 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3078] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3078/stat : 3078 (java) S 3056 3058 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833187692 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1787.69
Current children cumulated vsize (KiB) 10615960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.7 s]
/proc/loadavg: 2.15 2.04 1.72 3/587 3170
/proc/meminfo: memFree=13780572/32951124 swapFree=53733252/67111528
[pid=3058] ppid=3056 vsize=10615960 CPUtime=1800.1 cores=1,3,5,7
/proc/3058/stat : 3058 (java) S 3056 3058 3030 0 -1 4202496 929265 0 1 0 179906 104 0 0 23 0 19 0 833187662 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3058/statm: 2653990 920524 2258 9 0 2644724 0
[pid=3058/tid=3059] ppid=3056 vsize=10615960 CPUtime=1791.98 cores=1,3,5,7
/proc/3058/task/3059/stat : 3059 (java) R 3056 3058 3030 0 -1 4202560 837199 0 1 0 179108 90 0 0 25 0 19 0 833187663 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 46912505544800 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3058/tid=3061] ppid=3056 vsize=10615960 CPUtime=0.56 cores=1,3,5,7
/proc/3058/task/3061/stat : 3061 (java) S 3056 3058 3030 0 -1 4202560 9777 0 0 0 55 1 0 0 15 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3062] ppid=3056 vsize=10615960 CPUtime=0.57 cores=1,3,5,7
/proc/3058/task/3062/stat : 3062 (java) S 3056 3058 3030 0 -1 4202560 7736 0 0 0 56 1 0 0 16 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
[pid=3058/tid=3063] ppid=3056 vsize=10615960 CPUtime=0.62 cores=1,3,5,7
/proc/3058/task/3063/stat : 3063 (java) S 3056 3058 3030 0 -1 4202560 7908 0 0 0 62 0 0 0 16 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3064] ppid=3056 vsize=10615960 CPUtime=0.79 cores=1,3,5,7
/proc/3058/task/3064/stat : 3064 (java) S 3056 3058 3030 0 -1 4202560 11594 0 0 0 78 1 0 0 16 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3065] ppid=3056 vsize=10615960 CPUtime=0.66 cores=1,3,5,7
/proc/3058/task/3065/stat : 3065 (java) S 3056 3058 3030 0 -1 4202560 7868 0 0 0 65 1 0 0 16 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3066] ppid=3056 vsize=10615960 CPUtime=0.61 cores=1,3,5,7
/proc/3058/task/3066/stat : 3066 (java) S 3056 3058 3030 0 -1 4202560 10377 0 0 0 60 1 0 0 15 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3067] ppid=3056 vsize=10615960 CPUtime=0.71 cores=1,3,5,7
/proc/3058/task/3067/stat : 3067 (java) S 3056 3058 3030 0 -1 4202560 8329 0 0 0 71 0 0 0 16 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3068] ppid=3056 vsize=10615960 CPUtime=0.6 cores=1,3,5,7
/proc/3058/task/3068/stat : 3068 (java) S 3056 3058 3030 0 -1 4202560 7923 0 0 0 59 1 0 0 15 0 19 0 833187664 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
[pid=3058/tid=3069] ppid=3056 vsize=10615960 CPUtime=1.01 cores=1,3,5,7
/proc/3058/task/3069/stat : 3069 (java) S 3056 3058 3030 0 -1 4202560 5802 0 0 0 99 2 0 0 15 0 19 0 833187665 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 0 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3070] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3070/stat : 3070 (java) S 3056 3058 3030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833187666 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3071] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3071/stat : 3071 (java) S 3056 3058 3030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833187666 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 7 0 0 0
[pid=3058/tid=3072] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3072/stat : 3072 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652683185 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3073] ppid=3056 vsize=10615960 CPUtime=0.76 cores=1,3,5,7
/proc/3058/task/3073/stat : 3073 (java) S 3056 3058 3030 0 -1 4202560 6859 0 0 0 76 0 0 0 15 0 19 0 833187668 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3074] ppid=3056 vsize=10615960 CPUtime=1.11 cores=1,3,5,7
/proc/3058/task/3074/stat : 3074 (java) S 3056 3058 3030 0 -1 4202560 6635 0 0 0 111 0 0 0 15 0 19 0 833187668 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 5 0 0 0
[pid=3058/tid=3076] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3076/stat : 3076 (java) S 3056 3058 3030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833187668 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652675481 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
[pid=3058/tid=3077] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3077/stat : 3077 (java) S 3056 3058 3030 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 833187668 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 4 0 16800975 18446604458201462720 0 0 -1 1 0 0 0
[pid=3058/tid=3078] ppid=3056 vsize=10615960 CPUtime=0 cores=1,3,5,7
/proc/3058/task/3078/stat : 3078 (java) S 3056 3058 3030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833187692 10870743040 920524 33554432000 1073741824 1073778376 140735896135136 18446744073709551615 253652676096 0 4 0 16800975 18446604458201462720 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10615960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.83 s]
/proc/loadavg: 2.15 2.04 1.72 3/587 3170
/proc/meminfo: memFree=13780572/32951124 swapFree=53733252/67111528
[pid=3058] ppid=3056 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/3058/stat : 3058 (java) Z 3056 3058 3030 0 -1 4203548 929305 0 1 0 179912 111 0 0 17 0 2 0 833187662 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3058/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.89
CPU time (s): 1800.31
CPU user time (s): 1799.13
CPU system time (s): 1.18182
CPU usage (%): 100.302
Max. virtual memory (cumulated for all children) (KiB): 10621384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.18182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 929305
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= 40447
involuntary context switches= 13380
runsolver used 9.57054 second user time and 23.2815 second system time
The end