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-3456601-1307218529/watcher-3456601-1307218529 -o /tmp/evaluation-result-3456601-1307218529/solver-3456601-1307218529 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456601-1307218529.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: 1.98 2.02 1.86 2/499 21686
/proc/meminfo: memFree=23472580/32950928 swapFree=39617324/67111528
[pid=21686] ppid=21684 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21686/stat : 21686 (java) S 21684 21686 20277 0 -1 4202496 3994 0 1 0 0 0 0 0 24 0 2 0 833452629 10694979584 3696 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/21686/statm: 2611079 3710 917 9 0 2602235 0
[pid=21686/tid=21687] ppid=21684 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21687/stat : 21687 (java) R 21684 21686 20277 0 -1 4202560 4890 0 1 0 0 0 0 0 25 0 2 0 833452630 10694979584 5705 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0734729 s]
/proc/loadavg: 1.98 2.02 1.86 2/499 21686
/proc/meminfo: memFree=23472580/32950928 swapFree=39617324/67111528
[pid=21686] ppid=21684 vsize=10538348 CPUtime=0.06 cores=1,3,5,7
/proc/21686/stat : 21686 (java) S 21684 21686 20277 0 -1 4202496 11865 0 1 0 5 1 0 0 24 0 18 0 833452629 10791268352 11562 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21686/statm: 2634587 11563 1754 9 0 2625321 0
[pid=21686/tid=21687] ppid=21684 vsize=10538348 CPUtime=0.06 cores=1,3,5,7
/proc/21686/task/21687/stat : 21687 (java) R 21684 21686 20277 0 -1 4202560 10693 0 1 0 5 1 0 0 25 0 18 0 833452630 10791268352 11563 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538348
[startup+0.100467 s]
/proc/loadavg: 1.98 2.02 1.86 2/499 21686
/proc/meminfo: memFree=23472580/32950928 swapFree=39617324/67111528
[pid=21686] ppid=21684 vsize=10539628 CPUtime=0.1 cores=1,3,5,7
/proc/21686/stat : 21686 (java) S 21684 21686 20277 0 -1 4202496 12998 0 1 0 9 1 0 0 24 0 18 0 833452629 10792579072 12695 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21686/statm: 2634907 12696 2092 9 0 2625641 0
[pid=21686/tid=21687] ppid=21684 vsize=10539628 CPUtime=0.08 cores=1,3,5,7
/proc/21686/task/21687/stat : 21687 (java) R 21684 21686 20277 0 -1 4202560 11109 0 1 0 7 1 0 0 25 0 18 0 833452630 10792579072 12697 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208079893537 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539628
[startup+0.300431 s]
/proc/loadavg: 1.98 2.02 1.86 2/499 21686
/proc/meminfo: memFree=23472580/32950928 swapFree=39617324/67111528
[pid=21686] ppid=21684 vsize=10541496 CPUtime=0.48 cores=1,3,5,7
/proc/21686/stat : 21686 (java) S 21684 21686 20277 0 -1 4202496 16706 0 1 0 46 2 0 0 24 0 18 0 833452629 10794491904 16143 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21686/statm: 2635374 16144 2199 9 0 2626108 0
[pid=21686/tid=21687] ppid=21684 vsize=10541496 CPUtime=0.28 cores=1,3,5,7
/proc/21686/task/21687/stat : 21687 (java) R 21684 21686 20277 0 -1 4202560 13938 0 1 0 27 1 0 0 25 0 18 0 833452630 10794491904 16145 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 46912505575198 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541496
[startup+0.700415 s]
/proc/loadavg: 1.98 2.02 1.86 2/499 21686
/proc/meminfo: memFree=23472580/32950928 swapFree=39617324/67111528
[pid=21686] ppid=21684 vsize=10545184 CPUtime=1.12 cores=1,3,5,7
/proc/21686/stat : 21686 (java) S 21684 21686 20277 0 -1 4202496 52994 0 1 0 106 6 0 0 24 0 18 0 833452629 10798268416 50740 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21686/statm: 2636296 50745 2213 9 0 2627030 0
[pid=21686/tid=21687] ppid=21684 vsize=10545184 CPUtime=0.68 cores=1,3,5,7
/proc/21686/task/21687/stat : 21687 (java) R 21684 21686 20277 0 -1 4202560 46950 0 1 0 63 5 0 0 18 0 18 0 833452630 10798268416 50747 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 10545184
[startup+1.5012 s]
/proc/loadavg: 1.98 2.02 1.86 3/517 21704
/proc/meminfo: memFree=23155316/32950928 swapFree=39617324/67111528
[pid=21686] ppid=21684 vsize=10545184 CPUtime=1.92 cores=1,3,5,7
/proc/21686/stat : 21686 (java) S 21684 21686 20277 0 -1 4202496 133021 0 1 0 177 15 0 0 24 0 18 0 833452629 10798268416 130768 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21686/statm: 2636296 130772 2213 9 0 2627030 0
[pid=21686/tid=21687] ppid=21684 vsize=10545184 CPUtime=1.48 cores=1,3,5,7
/proc/21686/task/21687/stat : 21687 (java) R 21684 21686 20277 0 -1 4202560 126977 0 1 0 134 14 0 0 19 0 18 0 833452630 10798268416 130774 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 46912505648970 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21686/tid=21689] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21689/stat : 21689 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 130776 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21690] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21690/stat : 21690 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 130779 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21691] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21691/stat : 21691 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 130782 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21692] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21692/stat : 21692 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 130784 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21693] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21693/stat : 21693 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 130786 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21694] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21694/stat : 21694 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 130789 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21695] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21695/stat : 21695 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 130792 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21696] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21696/stat : 21696 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 130794 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21697] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21697/stat : 21697 (java) S 21684 21686 20277 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833452632 10798268416 130797 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 0 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21698] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21698/stat : 21698 (java) S 21684 21686 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833452633 10798268416 130799 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21699] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21699/stat : 21699 (java) S 21684 21686 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833452633 10798268416 130801 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21700] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21700/stat : 21700 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452635 10798268416 130804 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092055985 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21701] ppid=21684 vsize=10545184 CPUtime=0.21 cores=1,3,5,7
/proc/21686/task/21701/stat : 21701 (java) S 21684 21686 20277 0 -1 4202560 2632 0 0 0 21 0 0 0 25 0 18 0 833452635 10798268416 130807 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21702] ppid=21684 vsize=10545184 CPUtime=0.2 cores=1,3,5,7
/proc/21686/task/21702/stat : 21702 (java) S 21684 21686 20277 0 -1 4202560 2270 0 0 0 20 0 0 0 25 0 18 0 833452635 10798268416 130809 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21703] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21703/stat : 21703 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452635 10798268416 130812 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21704] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21704/stat : 21704 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833452635 10798268416 130814 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 10545184
[startup+3.10096 s]
/proc/loadavg: 1.98 2.02 1.86 3/517 21704
/proc/meminfo: memFree=22710156/32950928 swapFree=39617324/67111528
[pid=21686] ppid=21684 vsize=10545184 CPUtime=3.52 cores=1,3,5,7
/proc/21686/stat : 21686 (java) S 21684 21686 20277 0 -1 4202496 292370 0 1 0 318 34 0 0 24 0 18 0 833452629 10798268416 290116 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21686/statm: 2636296 290118 2221 9 0 2627030 0
[pid=21686/tid=21687] ppid=21684 vsize=10545184 CPUtime=3.07 cores=1,3,5,7
/proc/21686/task/21687/stat : 21687 (java) R 21684 21686 20277 0 -1 4202560 286321 0 1 0 274 33 0 0 23 0 18 0 833452630 10798268416 290118 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 47663101594451 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21686/tid=21689] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21689/stat : 21689 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 290123 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21690] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21690/stat : 21690 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 290124 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21691] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21691/stat : 21691 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 290125 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21692] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21692/stat : 21692 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21693] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21693/stat : 21693 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21694] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21694/stat : 21694 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21695] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21695/stat : 21695 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21696] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21696/stat : 21696 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452631 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21697] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21697/stat : 21697 (java) S 21684 21686 20277 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833452632 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 0 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21698] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21698/stat : 21698 (java) S 21684 21686 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833452633 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21699] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21699/stat : 21699 (java) S 21684 21686 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833452633 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21700] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21700/stat : 21700 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452635 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092055985 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21701] ppid=21684 vsize=10545184 CPUtime=0.21 cores=1,3,5,7
/proc/21686/task/21701/stat : 21701 (java) S 21684 21686 20277 0 -1 4202560 2632 0 0 0 21 0 0 0 25 0 18 0 833452635 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21702] ppid=21684 vsize=10545184 CPUtime=0.2 cores=1,3,5,7
/proc/21686/task/21702/stat : 21702 (java) S 21684 21686 20277 0 -1 4202560 2270 0 0 0 20 0 0 0 18 0 18 0 833452635 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21703] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21703/stat : 21703 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833452635 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21704] ppid=21684 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21704/stat : 21704 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833452635 10798268416 290126 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 10545184
[startup+6.30135 s]
/proc/loadavg: 1.98 2.02 1.86 3/518 21705
/proc/meminfo: memFree=22297672/32950928 swapFree=39617324/67111528
[pid=21686] ppid=21684 vsize=10546412 CPUtime=7.2 cores=1,3,5,7
/proc/21686/stat : 21686 (java) S 21684 21686 20277 0 -1 4202496 299496 0 1 0 685 35 0 0 24 0 19 0 833452629 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21686/statm: 2636603 295884 2238 9 0 2627337 0
[pid=21686/tid=21687] ppid=21684 vsize=10546412 CPUtime=6.28 cores=1,3,5,7
/proc/21686/task/21687/stat : 21687 (java) R 21684 21686 20277 0 -1 4202560 292172 0 1 0 594 34 0 0 25 0 19 0 833452630 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 46912505835255 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21686/tid=21689] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21689/stat : 21689 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452631 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21690] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21690/stat : 21690 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452631 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21691] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21691/stat : 21691 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452631 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21692] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21692/stat : 21692 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452631 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21693] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21693/stat : 21693 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452631 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21694] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21694/stat : 21694 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452631 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21695] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21695/stat : 21695 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452631 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21696] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21696/stat : 21696 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452631 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21697] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21697/stat : 21697 (java) S 21684 21686 20277 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833452632 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 0 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21698] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21698/stat : 21698 (java) S 21684 21686 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833452633 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21699] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21699/stat : 21699 (java) S 21684 21686 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833452633 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21700] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21700/stat : 21700 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452635 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092055985 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21701] ppid=21684 vsize=10546412 CPUtime=0.45 cores=1,3,5,7
/proc/21686/task/21701/stat : 21701 (java) S 21684 21686 20277 0 -1 4202560 3713 0 0 0 45 0 0 0 15 0 19 0 833452635 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21702] ppid=21684 vsize=10546412 CPUtime=0.44 cores=1,3,5,7
/proc/21686/task/21702/stat : 21702 (java) S 21684 21686 20277 0 -1 4202560 2451 0 0 0 44 0 0 0 15 0 19 0 833452635 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21703] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21703/stat : 21703 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452635 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21704] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21704/stat : 21704 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833452635 10799525888 295884 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/21686/task/21698/stat : 21698 (java) S 21684 21686 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833452633 10799525888 1338287 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21699] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21699/stat : 21699 (java) S 21684 21686 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833452633 10799525888 1338287 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21700] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21700/stat : 21700 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452635 10799525888 1338287 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092055985 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21701] ppid=21684 vsize=10546412 CPUtime=0.7 cores=1,3,5,7
/proc/21686/task/21701/stat : 21701 (java) S 21684 21686 20277 0 -1 4202560 5935 0 0 0 70 0 0 0 15 0 19 0 833452635 10799525888 1338287 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21702] ppid=21684 vsize=10546412 CPUtime=0.6 cores=1,3,5,7
/proc/21686/task/21702/stat : 21702 (java) S 21684 21686 20277 0 -1 4202560 2510 0 0 0 60 0 0 0 16 0 19 0 833452635 10799525888 1338287 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21703] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21703/stat : 21703 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452635 10799525888 1338287 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21704] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21704/stat : 21704 (java) S 21684 21686 20277 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 833452635 10799525888 1338287 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21705] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21705/stat : 21705 (java) S 21684 21686 20277 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833452944 10799525888 1338287 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1666.4
Current children cumulated vsize (KiB) 10546412
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/518 21937
/proc/meminfo: memFree=18454948/32950928 swapFree=39617324/67111528
[pid=21686] ppid=21684 vsize=10546412 CPUtime=1726.52 cores=1,3,5,7
/proc/21686/stat : 21686 (java) S 21684 21686 20277 0 -1 4202496 1388052 0 1 0 172490 162 0 0 24 0 19 0 833452629 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21686/statm: 2636603 1349313 2266 9 0 2627337 0
[pid=21686/tid=21687] ppid=21684 vsize=10546412 CPUtime=1714.74 cores=1,3,5,7
/proc/21686/task/21687/stat : 21687 (java) R 21684 21686 20277 0 -1 4202560 804449 0 1 0 171389 85 0 0 25 0 19 0 833452630 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 46912505835612 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21686/tid=21689] ppid=21684 vsize=10546412 CPUtime=0.4 cores=1,3,5,7
/proc/21686/task/21689/stat : 21689 (java) S 21684 21686 20277 0 -1 4202560 43461 0 0 0 33 7 0 0 15 0 19 0 833452631 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21690] ppid=21684 vsize=10546412 CPUtime=0.58 cores=1,3,5,7
/proc/21686/task/21690/stat : 21690 (java) S 21684 21686 20277 0 -1 4202560 65788 0 0 0 49 9 0 0 16 0 19 0 833452631 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21691] ppid=21684 vsize=10546412 CPUtime=0.57 cores=1,3,5,7
/proc/21686/task/21691/stat : 21691 (java) S 21684 21686 20277 0 -1 4202560 62301 0 0 0 48 9 0 0 16 0 19 0 833452631 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21692] ppid=21684 vsize=10546412 CPUtime=0.53 cores=1,3,5,7
/proc/21686/task/21692/stat : 21692 (java) S 21684 21686 20277 0 -1 4202560 59284 0 0 0 44 9 0 0 15 0 19 0 833452631 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21693] ppid=21684 vsize=10546412 CPUtime=0.52 cores=1,3,5,7
/proc/21686/task/21693/stat : 21693 (java) S 21684 21686 20277 0 -1 4202560 43950 0 0 0 47 5 0 0 16 0 19 0 833452631 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21694] ppid=21684 vsize=10546412 CPUtime=0.51 cores=1,3,5,7
/proc/21686/task/21694/stat : 21694 (java) S 21684 21686 20277 0 -1 4202560 48107 0 0 0 46 5 0 0 16 0 19 0 833452631 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21695] ppid=21684 vsize=10546412 CPUtime=0.53 cores=1,3,5,7
/proc/21686/task/21695/stat : 21695 (java) S 21684 21686 20277 0 -1 4202560 50397 0 0 0 47 6 0 0 15 0 19 0 833452631 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21696] ppid=21684 vsize=10546412 CPUtime=0.54 cores=1,3,5,7
/proc/21686/task/21696/stat : 21696 (java) S 21684 21686 20277 0 -1 4202560 51752 0 0 0 47 7 0 0 15 0 19 0 833452631 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21697] ppid=21684 vsize=10546412 CPUtime=6.17 cores=1,3,5,7
/proc/21686/task/21697/stat : 21697 (java) S 21684 21686 20277 0 -1 4202560 148871 0 0 0 604 13 0 0 15 0 19 0 833452632 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 0 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21698] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21698/stat : 21698 (java) S 21684 21686 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833452633 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21699] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21699/stat : 21699 (java) S 21684 21686 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833452633 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21700] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21700/stat : 21700 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452635 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092055985 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21701] ppid=21684 vsize=10546412 CPUtime=0.7 cores=1,3,5,7
/proc/21686/task/21701/stat : 21701 (java) S 21684 21686 20277 0 -1 4202560 5935 0 0 0 70 0 0 0 15 0 19 0 833452635 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21702] ppid=21684 vsize=10546412 CPUtime=0.6 cores=1,3,5,7
/proc/21686/task/21702/stat : 21702 (java) S 21684 21686 20277 0 -1 4202560 2510 0 0 0 60 0 0 0 16 0 19 0 833452635 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21703] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21703/stat : 21703 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452635 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21704] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21704/stat : 21704 (java) S 21684 21686 20277 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833452635 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21705] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21705/stat : 21705 (java) S 21684 21686 20277 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833452944 10799525888 1349313 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1726.52
Current children cumulated vsize (KiB) 10546412
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/518 21938
/proc/meminfo: memFree=18398852/32950928 swapFree=39617324/67111528
[pid=21686] ppid=21684 vsize=10546412 CPUtime=1786.59 cores=1,3,5,7
/proc/21686/stat : 21686 (java) S 21684 21686 20277 0 -1 4202496 1400092 0 1 0 178495 164 0 0 24 0 19 0 833452629 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21686/statm: 2636603 1360492 2266 9 0 2627337 0
[pid=21686/tid=21687] ppid=21684 vsize=10546412 CPUtime=1774.71 cores=1,3,5,7
/proc/21686/task/21687/stat : 21687 (java) R 21684 21686 20277 0 -1 4202560 804450 0 1 0 177386 85 0 0 25 0 19 0 833452630 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21686/tid=21689] ppid=21684 vsize=10546412 CPUtime=0.4 cores=1,3,5,7
/proc/21686/task/21689/stat : 21689 (java) S 21684 21686 20277 0 -1 4202560 43461 0 0 0 33 7 0 0 15 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21690] ppid=21684 vsize=10546412 CPUtime=0.61 cores=1,3,5,7
/proc/21686/task/21690/stat : 21690 (java) S 21684 21686 20277 0 -1 4202560 70942 0 0 0 51 10 0 0 16 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21691] ppid=21684 vsize=10546412 CPUtime=0.57 cores=1,3,5,7
/proc/21686/task/21691/stat : 21691 (java) S 21684 21686 20277 0 -1 4202560 62301 0 0 0 48 9 0 0 15 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21692] ppid=21684 vsize=10546412 CPUtime=0.56 cores=1,3,5,7
/proc/21686/task/21692/stat : 21692 (java) S 21684 21686 20277 0 -1 4202560 62980 0 0 0 47 9 0 0 16 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21693] ppid=21684 vsize=10546412 CPUtime=0.55 cores=1,3,5,7
/proc/21686/task/21693/stat : 21693 (java) S 21684 21686 20277 0 -1 4202560 47133 0 0 0 49 6 0 0 16 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21694] ppid=21684 vsize=10546412 CPUtime=0.51 cores=1,3,5,7
/proc/21686/task/21694/stat : 21694 (java) S 21684 21686 20277 0 -1 4202560 48107 0 0 0 46 5 0 0 15 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21695] ppid=21684 vsize=10546412 CPUtime=0.53 cores=1,3,5,7
/proc/21686/task/21695/stat : 21695 (java) S 21684 21686 20277 0 -1 4202560 50397 0 0 0 47 6 0 0 15 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21696] ppid=21684 vsize=10546412 CPUtime=0.54 cores=1,3,5,7
/proc/21686/task/21696/stat : 21696 (java) S 21684 21686 20277 0 -1 4202560 51752 0 0 0 47 7 0 0 15 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21697] ppid=21684 vsize=10546412 CPUtime=6.17 cores=1,3,5,7
/proc/21686/task/21697/stat : 21697 (java) S 21684 21686 20277 0 -1 4202560 148873 0 0 0 604 13 0 0 15 0 19 0 833452632 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 0 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21698] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21698/stat : 21698 (java) S 21684 21686 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833452633 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21699] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21699/stat : 21699 (java) S 21684 21686 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833452633 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21700] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21700/stat : 21700 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452635 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092055985 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21701] ppid=21684 vsize=10546412 CPUtime=0.7 cores=1,3,5,7
/proc/21686/task/21701/stat : 21701 (java) S 21684 21686 20277 0 -1 4202560 5935 0 0 0 70 0 0 0 15 0 19 0 833452635 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21702] ppid=21684 vsize=10546412 CPUtime=0.6 cores=1,3,5,7
/proc/21686/task/21702/stat : 21702 (java) S 21684 21686 20277 0 -1 4202560 2510 0 0 0 60 0 0 0 16 0 19 0 833452635 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21703] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21703/stat : 21703 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452635 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21704] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21704/stat : 21704 (java) S 21684 21686 20277 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833452635 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21705] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21705/stat : 21705 (java) S 21684 21686 20277 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833452944 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (KiB) 10546412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.8 s]
/proc/loadavg: 2.04 2.06 2.00 3/518 21939
/proc/meminfo: memFree=18398832/32950928 swapFree=39617324/67111528
[pid=21686] ppid=21684 vsize=10546412 CPUtime=1800.1 cores=1,3,5,7
/proc/21686/stat : 21686 (java) S 21684 21686 20277 0 -1 4202496 1400094 0 1 0 179846 164 0 0 24 0 19 0 833452629 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21686/statm: 2636603 1360492 2266 9 0 2627337 0
[pid=21686/tid=21687] ppid=21684 vsize=10546412 CPUtime=1788.23 cores=1,3,5,7
/proc/21686/task/21687/stat : 21687 (java) R 21684 21686 20277 0 -1 4202560 804450 0 1 0 178738 85 0 0 25 0 19 0 833452630 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 46912505835431 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21686/tid=21689] ppid=21684 vsize=10546412 CPUtime=0.4 cores=1,3,5,7
/proc/21686/task/21689/stat : 21689 (java) S 21684 21686 20277 0 -1 4202560 43461 0 0 0 33 7 0 0 15 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21690] ppid=21684 vsize=10546412 CPUtime=0.61 cores=1,3,5,7
/proc/21686/task/21690/stat : 21690 (java) S 21684 21686 20277 0 -1 4202560 70942 0 0 0 51 10 0 0 16 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21691] ppid=21684 vsize=10546412 CPUtime=0.57 cores=1,3,5,7
/proc/21686/task/21691/stat : 21691 (java) S 21684 21686 20277 0 -1 4202560 62301 0 0 0 48 9 0 0 15 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21692] ppid=21684 vsize=10546412 CPUtime=0.56 cores=1,3,5,7
/proc/21686/task/21692/stat : 21692 (java) S 21684 21686 20277 0 -1 4202560 62980 0 0 0 47 9 0 0 16 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21693] ppid=21684 vsize=10546412 CPUtime=0.55 cores=1,3,5,7
/proc/21686/task/21693/stat : 21693 (java) S 21684 21686 20277 0 -1 4202560 47133 0 0 0 49 6 0 0 16 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21694] ppid=21684 vsize=10546412 CPUtime=0.51 cores=1,3,5,7
/proc/21686/task/21694/stat : 21694 (java) S 21684 21686 20277 0 -1 4202560 48107 0 0 0 46 5 0 0 15 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21695] ppid=21684 vsize=10546412 CPUtime=0.53 cores=1,3,5,7
/proc/21686/task/21695/stat : 21695 (java) S 21684 21686 20277 0 -1 4202560 50397 0 0 0 47 6 0 0 15 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21696] ppid=21684 vsize=10546412 CPUtime=0.54 cores=1,3,5,7
/proc/21686/task/21696/stat : 21696 (java) S 21684 21686 20277 0 -1 4202560 51752 0 0 0 47 7 0 0 15 0 19 0 833452631 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21697] ppid=21684 vsize=10546412 CPUtime=6.17 cores=1,3,5,7
/proc/21686/task/21697/stat : 21697 (java) S 21684 21686 20277 0 -1 4202560 148873 0 0 0 604 13 0 0 15 0 19 0 833452632 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 0 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21698] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21698/stat : 21698 (java) S 21684 21686 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833452633 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21699] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21699/stat : 21699 (java) S 21684 21686 20277 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833452633 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21700] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21700/stat : 21700 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452635 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092055985 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
[pid=21686/tid=21701] ppid=21684 vsize=10546412 CPUtime=0.7 cores=1,3,5,7
/proc/21686/task/21701/stat : 21701 (java) S 21684 21686 20277 0 -1 4202560 5935 0 0 0 70 0 0 0 15 0 19 0 833452635 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21702] ppid=21684 vsize=10546412 CPUtime=0.6 cores=1,3,5,7
/proc/21686/task/21702/stat : 21702 (java) S 21684 21686 20277 0 -1 4202560 2510 0 0 0 60 0 0 0 16 0 19 0 833452635 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 1 0 0 0
[pid=21686/tid=21703] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21703/stat : 21703 (java) S 21684 21686 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833452635 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048281 0 4 0 16800975 18446604470997049408 0 0 -1 7 0 0 0
[pid=21686/tid=21704] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21704/stat : 21704 (java) S 21684 21686 20277 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833452635 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 3 0 0 0
[pid=21686/tid=21705] ppid=21684 vsize=10546412 CPUtime=0 cores=1,3,5,7
/proc/21686/task/21705/stat : 21705 (java) S 21684 21686 20277 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833452944 10799525888 1360492 33554432000 1073741824 1073778376 140737259008048 18446744073709551615 208092048896 0 4 0 16800975 18446604470997049408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10546412
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796 s]
/proc/loadavg: 2.04 2.06 2.00 3/518 21939
/proc/meminfo: memFree=18398832/32950928 swapFree=39617324/67111528
[pid=21686] ppid=21684 vsize=0 CPUtime=1800.35 cores=1,3,5,7
/proc/21686/stat : 21686 (java) Z 21684 21686 20277 0 -1 4203548 1400124 0 1 0 179858 177 0 0 17 0 2 0 833452629 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21686/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.08
CPU time (s): 1800.44
CPU user time (s): 1798.59
CPU system time (s): 1.85572
CPU usage (%): 100.243
Max. virtual memory (cumulated for all children) (KiB): 10546412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.85572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1400124
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= 38381
involuntary context switches= 17478
runsolver used 8.60769 second user time and 20.7838 second system time
The end