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-3458409-1307161068/watcher-3458409-1307161068 -o /tmp/evaluation-result-3458409-1307161068/solver-3458409-1307161068 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458409-1307161068.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.05 2.00 3/487 13069
/proc/meminfo: memFree=22789016/32951124 swapFree=56297244/67111528
[pid=13069] ppid=13067 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/13069/stat : 13069 (java) R 13067 13069 8699 0 -1 4202496 956 0 0 0 0 0 0 0 25 0 1 0 906337291 23580672 699 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252453103080 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13069/statm: 5757 700 516 9 0 124 0
[pid=13069/tid=13070] ppid=13067 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13070/stat : 13070 (java) R 13067 13069 8699 0 -1 4202560 4623 0 1 0 0 0 0 0 25 0 2 0 906337291 13850947584 5439 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.105083 s]
/proc/loadavg: 2.03 2.05 2.00 3/487 13069
/proc/meminfo: memFree=22789016/32951124 swapFree=56297244/67111528
[pid=13069] ppid=13067 vsize=13621704 CPUtime=0.1 cores=0,2,4,6
/proc/13069/stat : 13069 (java) S 13067 13069 8699 0 -1 4202496 15506 0 1 0 9 1 0 0 25 0 18 0 906337291 13948624896 15202 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13069/statm: 3405426 15202 2092 9 0 3396160 0
[pid=13069/tid=13070] ppid=13067 vsize=13621704 CPUtime=0.08 cores=0,2,4,6
/proc/13069/task/13070/stat : 13070 (java) R 13067 13069 8699 0 -1 4202560 13562 0 1 0 7 1 0 0 25 0 18 0 906337291 13948624896 15202 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252457750860 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621704
[startup+0.2011 s]
/proc/loadavg: 2.03 2.05 2.00 3/487 13069
/proc/meminfo: memFree=22789016/32951124 swapFree=56297244/67111528
[pid=13069] ppid=13067 vsize=13621836 CPUtime=0.24 cores=0,2,4,6
/proc/13069/stat : 13069 (java) S 13067 13069 8699 0 -1 4202496 16445 0 1 0 23 1 0 0 25 0 18 0 906337291 13948760064 16078 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13069/statm: 3405459 16078 2170 9 0 3396193 0
[pid=13069/tid=13070] ppid=13067 vsize=13621836 CPUtime=0.17 cores=0,2,4,6
/proc/13069/task/13070/stat : 13070 (java) R 13067 13069 8699 0 -1 4202560 14237 0 1 0 16 1 0 0 25 0 18 0 906337291 13948760064 16078 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13621836
[startup+0.301081 s]
/proc/loadavg: 2.03 2.05 2.00 3/487 13069
/proc/meminfo: memFree=22789016/32951124 swapFree=56297244/67111528
[pid=13069] ppid=13067 vsize=13624220 CPUtime=0.42 cores=0,2,4,6
/proc/13069/stat : 13069 (java) S 13067 13069 8699 0 -1 4202496 18614 0 1 0 40 2 0 0 25 0 18 0 906337291 13951201280 17771 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13069/statm: 3406055 17771 2199 9 0 3396789 0
[pid=13069/tid=13070] ppid=13067 vsize=13624220 CPUtime=0.27 cores=0,2,4,6
/proc/13069/task/13070/stat : 13070 (java) R 13067 13069 8699 0 -1 4202560 15139 0 1 0 26 1 0 0 25 0 18 0 906337291 13951201280 17771 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 46912505227952 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13624220
[startup+0.701056 s]
/proc/loadavg: 2.03 2.05 2.00 3/487 13069
/proc/meminfo: memFree=22789016/32951124 swapFree=56297244/67111528
[pid=13069] ppid=13067 vsize=13631580 CPUtime=1.49 cores=0,2,4,6
/proc/13069/stat : 13069 (java) S 13067 13069 8699 0 -1 4202496 50188 0 1 0 142 7 0 0 25 0 18 0 906337291 13958737920 47394 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13069/statm: 3407895 47399 2229 9 0 3398629 0
[pid=13069/tid=13070] ppid=13067 vsize=13631580 CPUtime=0.68 cores=0,2,4,6
/proc/13069/task/13070/stat : 13070 (java) R 13067 13069 8699 0 -1 4202560 40250 0 1 0 63 5 0 0 25 0 18 0 906337291 13958737920 47401 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 46912505567322 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13631580
[startup+1.5009 s]
/proc/loadavg: 2.03 2.05 2.00 3/505 13087
/proc/meminfo: memFree=22102292/32951124 swapFree=56297244/67111528
[pid=13069] ppid=13067 vsize=13631580 CPUtime=2.28 cores=0,2,4,6
/proc/13069/stat : 13069 (java) S 13067 13069 8699 0 -1 4202496 278399 0 1 0 196 32 0 0 25 0 18 0 906337291 13958737920 275604 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13069/statm: 3407895 275607 2231 9 0 3398629 0
[pid=13069/tid=13070] ppid=13067 vsize=13631580 CPUtime=1.47 cores=0,2,4,6
/proc/13069/task/13070/stat : 13070 (java) R 13067 13069 8699 0 -1 4202560 268455 0 1 0 117 30 0 0 25 0 18 0 906337291 13958737920 275608 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 47031863133802 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13069/tid=13072] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13072/stat : 13072 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 906337293 13958737920 275613 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13073] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13073/stat : 13073 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 906337293 13958737920 275631 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13074] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13074/stat : 13074 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 906337293 13958737920 275649 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13075] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13075/stat : 13075 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 906337293 13958737920 275666 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13076] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13076/stat : 13076 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 906337293 13958737920 275683 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13077] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13077/stat : 13077 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 906337293 13958737920 275698 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13078] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13078/stat : 13078 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 906337293 13958737920 275716 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13079] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13079/stat : 13079 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 906337293 13958737920 275732 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13080] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13080/stat : 13080 (java) S 13067 13069 8699 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 906337294 13958737920 275748 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13081] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13081/stat : 13081 (java) S 13067 13069 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 906337295 13958737920 275763 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13082] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13082/stat : 13082 (java) S 13067 13069 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 906337295 13958737920 275763 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13083] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13083/stat : 13083 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 906337297 13958737920 275765 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13084] ppid=13067 vsize=13631580 CPUtime=0.4 cores=0,2,4,6
/proc/13069/task/13084/stat : 13084 (java) S 13067 13069 8699 0 -1 4202560 4896 0 0 0 39 1 0 0 18 0 18 0 906337297 13958737920 275766 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13085] ppid=13067 vsize=13631580 CPUtime=0.39 cores=0,2,4,6
/proc/13069/task/13085/stat : 13085 (java) S 13067 13069 8699 0 -1 4202560 3898 0 0 0 39 0 0 0 16 0 18 0 906337297 13958737920 275768 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13086] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13086/stat : 13086 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 906337297 13958737920 275769 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13087] ppid=13067 vsize=13631580 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13087/stat : 13087 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 906337297 13958737920 275771 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 13631580
[startup+3.10161 s]
/proc/loadavg: 2.03 2.05 2.00 3/506 13088
/proc/meminfo: memFree=21600460/32951124 swapFree=56297244/67111528
[pid=13069] ppid=13067 vsize=13632608 CPUtime=4.25 cores=0,2,4,6
/proc/13069/stat : 13069 (java) S 13067 13069 8699 0 -1 4202496 301213 0 1 0 391 34 0 0 25 0 19 0 906337291 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13069/statm: 3408152 298416 2241 9 0 3398886 0
[pid=13069/tid=13070] ppid=13067 vsize=13632608 CPUtime=3.07 cores=0,2,4,6
/proc/13069/task/13070/stat : 13070 (java) R 13067 13069 8699 0 -1 4202560 291201 0 1 0 275 32 0 0 18 0 19 0 906337291 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 46912506011839 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13069/tid=13072] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13072/stat : 13072 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13073] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13073/stat : 13073 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13074] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13074/stat : 13074 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13075] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13075/stat : 13075 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13076] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13076/stat : 13076 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13077] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13077/stat : 13077 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13078] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13078/stat : 13078 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13079] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13079/stat : 13079 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13080] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13080/stat : 13080 (java) S 13067 13069 8699 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 906337294 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13081] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13081/stat : 13081 (java) S 13067 13069 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906337295 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13082] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13082/stat : 13082 (java) S 13067 13069 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906337295 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13083] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13083/stat : 13083 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337297 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13084] ppid=13067 vsize=13632608 CPUtime=0.55 cores=0,2,4,6
/proc/13069/task/13084/stat : 13084 (java) S 13067 13069 8699 0 -1 4202560 4916 0 0 0 54 1 0 0 15 0 19 0 906337297 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13085] ppid=13067 vsize=13632608 CPUtime=0.61 cores=0,2,4,6
/proc/13069/task/13085/stat : 13085 (java) S 13067 13069 8699 0 -1 4202560 3934 0 0 0 61 0 0 0 15 0 19 0 906337297 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13086] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13086/stat : 13086 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337297 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13087] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13087/stat : 13087 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906337297 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13088] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13088/stat : 13088 (java) S 13067 13069 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906337452 13959790592 298416 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 13632608
[startup+6.30099 s]
/proc/loadavg: 2.03 2.05 2.00 3/506 13089
/proc/meminfo: memFree=21598900/32951124 swapFree=56297244/67111528
[pid=13069] ppid=13067 vsize=13632608 CPUtime=7.47 cores=0,2,4,6
/proc/13069/stat : 13069 (java) S 13067 13069 8699 0 -1 4202496 301443 0 1 0 713 34 0 0 25 0 19 0 906337291 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13069/statm: 3408152 298628 2241 9 0 3398886 0
[pid=13069/tid=13070] ppid=13067 vsize=13632608 CPUtime=6.27 cores=0,2,4,6
/proc/13069/task/13070/stat : 13070 (java) R 13067 13069 8699 0 -1 4202560 291425 0 1 0 595 32 0 0 25 0 19 0 906337291 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 46912505934715 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13069/tid=13072] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13072/stat : 13072 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13073] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13073/stat : 13073 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13074] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13074/stat : 13074 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13075] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13075/stat : 13075 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13076] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13076/stat : 13076 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13077] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13077/stat : 13077 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13078] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13078/stat : 13078 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13079] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13079/stat : 13079 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337293 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13080] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13080/stat : 13080 (java) S 13067 13069 8699 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 906337294 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13081] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13081/stat : 13081 (java) S 13067 13069 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906337295 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13082] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13082/stat : 13082 (java) S 13067 13069 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906337295 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13083] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13083/stat : 13083 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337297 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13084] ppid=13067 vsize=13632608 CPUtime=0.55 cores=0,2,4,6
/proc/13069/task/13084/stat : 13084 (java) S 13067 13069 8699 0 -1 4202560 4916 0 0 0 54 1 0 0 15 0 19 0 906337297 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13085] ppid=13067 vsize=13632608 CPUtime=0.63 cores=0,2,4,6
/proc/13069/task/13085/stat : 13085 (java) S 13067 13069 8699 0 -1 4202560 3940 0 0 0 63 0 0 0 15 0 19 0 906337297 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13086] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13086/stat : 13086 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337297 13959790592 298628 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=13069/tid=13077] ppid=13067 vsize=13632608 CPUtime=0.1 cores=0,2,4,6
/proc/13069/task/13077/stat : 13077 (java) S 13067 13069 8699 0 -1 4202560 3627 0 0 0 10 0 0 0 16 0 19 0 906337293 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13078] ppid=13067 vsize=13632608 CPUtime=0.12 cores=0,2,4,6
/proc/13069/task/13078/stat : 13078 (java) S 13067 13069 8699 0 -1 4202560 7026 0 0 0 12 0 0 0 15 0 19 0 906337293 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13079] ppid=13067 vsize=13632608 CPUtime=0.12 cores=0,2,4,6
/proc/13069/task/13079/stat : 13079 (java) S 13067 13069 8699 0 -1 4202560 6502 0 0 0 12 0 0 0 15 0 19 0 906337293 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13080] ppid=13067 vsize=13632608 CPUtime=3.6 cores=0,2,4,6
/proc/13069/task/13080/stat : 13080 (java) S 13067 13069 8699 0 -1 4202560 32043 0 0 0 357 3 0 0 15 0 19 0 906337294 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=13069/tid=13081] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13081/stat : 13081 (java) S 13067 13069 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906337295 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13082] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13082/stat : 13082 (java) S 13067 13069 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906337295 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13083] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13083/stat : 13083 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337297 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13084] ppid=13067 vsize=13632608 CPUtime=0.64 cores=0,2,4,6
/proc/13069/task/13084/stat : 13084 (java) S 13067 13069 8699 0 -1 4202560 4936 0 0 0 63 1 0 0 15 0 19 0 906337297 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=13069/tid=13085] ppid=13067 vsize=13632608 CPUtime=0.73 cores=0,2,4,6
/proc/13069/task/13085/stat : 13085 (java) S 13067 13069 8699 0 -1 4202560 3970 0 0 0 73 0 0 0 15 0 19 0 906337297 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13086] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13086/stat : 13086 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337297 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13087] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13087/stat : 13087 (java) S 13067 13069 8699 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 906337297 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=13069/tid=13088] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13088/stat : 13088 (java) S 13067 13069 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906337452 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.13
Current children cumulated vsize (KiB) 13632608
[startup+1722.3 s]
/proc/loadavg: 1.07 1.32 1.67 2/482 13157
/proc/meminfo: memFree=22733488/32951124 swapFree=56297244/67111528
[pid=13069] ppid=13067 vsize=13632608 CPUtime=1724.11 cores=0,2,4,6
/proc/13069/stat : 13069 (java) S 13067 13069 8699 0 -1 4202496 356143 0 1 0 172368 43 0 0 25 0 19 0 906337291 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13069/statm: 3408152 353156 2269 9 0 3398886 0
[pid=13069/tid=13070] ppid=13067 vsize=13632608 CPUtime=1718.51 cores=0,2,4,6
/proc/13069/task/13070/stat : 13070 (java) R 13067 13069 8699 0 -1 4202560 295000 0 1 0 171816 35 0 0 25 0 19 0 906337291 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 46912506092165 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13069/tid=13072] ppid=13067 vsize=13632608 CPUtime=0.04 cores=0,2,4,6
/proc/13069/task/13072/stat : 13072 (java) S 13067 13069 8699 0 -1 4202560 424 0 0 0 4 0 0 0 15 0 19 0 906337293 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13073] ppid=13067 vsize=13632608 CPUtime=0.06 cores=0,2,4,6
/proc/13069/task/13073/stat : 13073 (java) S 13067 13069 8699 0 -1 4202560 406 0 0 0 6 0 0 0 16 0 19 0 906337293 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13074] ppid=13067 vsize=13632608 CPUtime=0.02 cores=0,2,4,6
/proc/13069/task/13074/stat : 13074 (java) S 13067 13069 8699 0 -1 4202560 247 0 0 0 2 0 0 0 15 0 19 0 906337293 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13075] ppid=13067 vsize=13632608 CPUtime=0.04 cores=0,2,4,6
/proc/13069/task/13075/stat : 13075 (java) S 13067 13069 8699 0 -1 4202560 206 0 0 0 4 0 0 0 16 0 19 0 906337293 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=13069/tid=13076] ppid=13067 vsize=13632608 CPUtime=0.03 cores=0,2,4,6
/proc/13069/task/13076/stat : 13076 (java) S 13067 13069 8699 0 -1 4202560 506 0 0 0 3 0 0 0 15 0 19 0 906337293 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13077] ppid=13067 vsize=13632608 CPUtime=0.1 cores=0,2,4,6
/proc/13069/task/13077/stat : 13077 (java) S 13067 13069 8699 0 -1 4202560 3627 0 0 0 10 0 0 0 16 0 19 0 906337293 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13078] ppid=13067 vsize=13632608 CPUtime=0.12 cores=0,2,4,6
/proc/13069/task/13078/stat : 13078 (java) S 13067 13069 8699 0 -1 4202560 7026 0 0 0 12 0 0 0 15 0 19 0 906337293 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13079] ppid=13067 vsize=13632608 CPUtime=0.12 cores=0,2,4,6
/proc/13069/task/13079/stat : 13079 (java) S 13067 13069 8699 0 -1 4202560 6502 0 0 0 12 0 0 0 15 0 19 0 906337293 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13080] ppid=13067 vsize=13632608 CPUtime=3.6 cores=0,2,4,6
/proc/13069/task/13080/stat : 13080 (java) S 13067 13069 8699 0 -1 4202560 32043 0 0 0 357 3 0 0 15 0 19 0 906337294 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=13069/tid=13081] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13081/stat : 13081 (java) S 13067 13069 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906337295 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13082] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13082/stat : 13082 (java) S 13067 13069 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906337295 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13083] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13083/stat : 13083 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337297 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13084] ppid=13067 vsize=13632608 CPUtime=0.64 cores=0,2,4,6
/proc/13069/task/13084/stat : 13084 (java) S 13067 13069 8699 0 -1 4202560 4936 0 0 0 63 1 0 0 15 0 19 0 906337297 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=13069/tid=13085] ppid=13067 vsize=13632608 CPUtime=0.73 cores=0,2,4,6
/proc/13069/task/13085/stat : 13085 (java) S 13067 13069 8699 0 -1 4202560 3970 0 0 0 73 0 0 0 15 0 19 0 906337297 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13086] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13086/stat : 13086 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337297 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13087] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13087/stat : 13087 (java) S 13067 13069 8699 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 906337297 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=13069/tid=13088] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13088/stat : 13088 (java) S 13067 13069 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906337452 13959790592 353156 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.11
Current children cumulated vsize (KiB) 13632608
[startup+1782.3 s]
/proc/loadavg: 1.02 1.26 1.62 2/482 13159
/proc/meminfo: memFree=22730972/32951124 swapFree=56297244/67111528
[pid=13069] ppid=13067 vsize=13632608 CPUtime=1784.13 cores=0,2,4,6
/proc/13069/stat : 13069 (java) S 13067 13069 8699 0 -1 4202496 356586 0 1 0 178370 43 0 0 25 0 19 0 906337291 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13069/statm: 3408152 353592 2269 9 0 3398886 0
[pid=13069/tid=13070] ppid=13067 vsize=13632608 CPUtime=1778.3 cores=0,2,4,6
/proc/13069/task/13070/stat : 13070 (java) R 13067 13069 8699 0 -1 4202560 295001 0 1 0 177795 35 0 0 25 0 19 0 906337291 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 46912505993456 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13069/tid=13072] ppid=13067 vsize=13632608 CPUtime=0.05 cores=0,2,4,6
/proc/13069/task/13072/stat : 13072 (java) S 13067 13069 8699 0 -1 4202560 424 0 0 0 5 0 0 0 16 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13073] ppid=13067 vsize=13632608 CPUtime=0.06 cores=0,2,4,6
/proc/13069/task/13073/stat : 13073 (java) S 13067 13069 8699 0 -1 4202560 406 0 0 0 6 0 0 0 15 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13074] ppid=13067 vsize=13632608 CPUtime=0.03 cores=0,2,4,6
/proc/13069/task/13074/stat : 13074 (java) S 13067 13069 8699 0 -1 4202560 248 0 0 0 3 0 0 0 15 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13075] ppid=13067 vsize=13632608 CPUtime=0.04 cores=0,2,4,6
/proc/13069/task/13075/stat : 13075 (java) S 13067 13069 8699 0 -1 4202560 206 0 0 0 4 0 0 0 16 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=13069/tid=13076] ppid=13067 vsize=13632608 CPUtime=0.03 cores=0,2,4,6
/proc/13069/task/13076/stat : 13076 (java) S 13067 13069 8699 0 -1 4202560 506 0 0 0 3 0 0 0 15 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13077] ppid=13067 vsize=13632608 CPUtime=0.1 cores=0,2,4,6
/proc/13069/task/13077/stat : 13077 (java) S 13067 13069 8699 0 -1 4202560 3636 0 0 0 10 0 0 0 15 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13078] ppid=13067 vsize=13632608 CPUtime=0.12 cores=0,2,4,6
/proc/13069/task/13078/stat : 13078 (java) S 13067 13069 8699 0 -1 4202560 7026 0 0 0 12 0 0 0 15 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13079] ppid=13067 vsize=13632608 CPUtime=0.12 cores=0,2,4,6
/proc/13069/task/13079/stat : 13079 (java) S 13067 13069 8699 0 -1 4202560 6502 0 0 0 12 0 0 0 15 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13080] ppid=13067 vsize=13632608 CPUtime=3.81 cores=0,2,4,6
/proc/13069/task/13080/stat : 13080 (java) S 13067 13069 8699 0 -1 4202560 32471 0 0 0 378 3 0 0 15 0 19 0 906337294 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=13069/tid=13081] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13081/stat : 13081 (java) S 13067 13069 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906337295 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13082] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13082/stat : 13082 (java) S 13067 13069 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906337295 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13083] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13083/stat : 13083 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337297 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13084] ppid=13067 vsize=13632608 CPUtime=0.64 cores=0,2,4,6
/proc/13069/task/13084/stat : 13084 (java) S 13067 13069 8699 0 -1 4202560 4936 0 0 0 63 1 0 0 15 0 19 0 906337297 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=13069/tid=13085] ppid=13067 vsize=13632608 CPUtime=0.73 cores=0,2,4,6
/proc/13069/task/13085/stat : 13085 (java) S 13067 13069 8699 0 -1 4202560 3970 0 0 0 73 0 0 0 15 0 19 0 906337297 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13086] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13086/stat : 13086 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337297 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13087] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13087/stat : 13087 (java) S 13067 13069 8699 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 906337297 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=13069/tid=13088] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13088/stat : 13088 (java) S 13067 13069 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906337452 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.13
Current children cumulated vsize (KiB) 13632608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.2 s]
/proc/loadavg: 1.02 1.25 1.61 2/482 13159
/proc/meminfo: memFree=22730964/32951124 swapFree=56297244/67111528
[pid=13069] ppid=13067 vsize=13632608 CPUtime=1800.04 cores=0,2,4,6
/proc/13069/stat : 13069 (java) S 13067 13069 8699 0 -1 4202496 356588 0 1 0 179961 43 0 0 25 0 19 0 906337291 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13069/statm: 3408152 353592 2269 9 0 3398886 0
[pid=13069/tid=13070] ppid=13067 vsize=13632608 CPUtime=1794.21 cores=0,2,4,6
/proc/13069/task/13070/stat : 13070 (java) R 13067 13069 8699 0 -1 4202560 295001 0 1 0 179386 35 0 0 25 0 19 0 906337291 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 46912505808452 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13069/tid=13072] ppid=13067 vsize=13632608 CPUtime=0.05 cores=0,2,4,6
/proc/13069/task/13072/stat : 13072 (java) S 13067 13069 8699 0 -1 4202560 424 0 0 0 5 0 0 0 16 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13073] ppid=13067 vsize=13632608 CPUtime=0.06 cores=0,2,4,6
/proc/13069/task/13073/stat : 13073 (java) S 13067 13069 8699 0 -1 4202560 406 0 0 0 6 0 0 0 15 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13074] ppid=13067 vsize=13632608 CPUtime=0.03 cores=0,2,4,6
/proc/13069/task/13074/stat : 13074 (java) S 13067 13069 8699 0 -1 4202560 248 0 0 0 3 0 0 0 15 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13075] ppid=13067 vsize=13632608 CPUtime=0.04 cores=0,2,4,6
/proc/13069/task/13075/stat : 13075 (java) S 13067 13069 8699 0 -1 4202560 206 0 0 0 4 0 0 0 16 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=13069/tid=13076] ppid=13067 vsize=13632608 CPUtime=0.03 cores=0,2,4,6
/proc/13069/task/13076/stat : 13076 (java) S 13067 13069 8699 0 -1 4202560 506 0 0 0 3 0 0 0 15 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13077] ppid=13067 vsize=13632608 CPUtime=0.1 cores=0,2,4,6
/proc/13069/task/13077/stat : 13077 (java) S 13067 13069 8699 0 -1 4202560 3636 0 0 0 10 0 0 0 15 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13078] ppid=13067 vsize=13632608 CPUtime=0.12 cores=0,2,4,6
/proc/13069/task/13078/stat : 13078 (java) S 13067 13069 8699 0 -1 4202560 7026 0 0 0 12 0 0 0 15 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13079] ppid=13067 vsize=13632608 CPUtime=0.12 cores=0,2,4,6
/proc/13069/task/13079/stat : 13079 (java) S 13067 13069 8699 0 -1 4202560 6502 0 0 0 12 0 0 0 15 0 19 0 906337293 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13080] ppid=13067 vsize=13632608 CPUtime=3.81 cores=0,2,4,6
/proc/13069/task/13080/stat : 13080 (java) S 13067 13069 8699 0 -1 4202560 32471 0 0 0 378 3 0 0 15 0 19 0 906337294 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 0 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=13069/tid=13081] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13081/stat : 13081 (java) S 13067 13069 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906337295 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13082] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13082/stat : 13082 (java) S 13067 13069 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906337295 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13083] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13083/stat : 13083 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337297 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469889457 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13084] ppid=13067 vsize=13632608 CPUtime=0.64 cores=0,2,4,6
/proc/13069/task/13084/stat : 13084 (java) S 13067 13069 8699 0 -1 4202560 4936 0 0 0 63 1 0 0 15 0 19 0 906337297 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 4 0 0 0
[pid=13069/tid=13085] ppid=13067 vsize=13632608 CPUtime=0.73 cores=0,2,4,6
/proc/13069/task/13085/stat : 13085 (java) S 13067 13069 8699 0 -1 4202560 3970 0 0 0 73 0 0 0 15 0 19 0 906337297 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 2 0 0 0
[pid=13069/tid=13086] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13086/stat : 13086 (java) S 13067 13069 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906337297 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469881753 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
[pid=13069/tid=13087] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13087/stat : 13087 (java) S 13067 13069 8699 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 906337297 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 0 0 0 0
[pid=13069/tid=13088] ppid=13067 vsize=13632608 CPUtime=0 cores=0,2,4,6
/proc/13069/task/13088/stat : 13088 (java) S 13067 13069 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906337452 13959790592 353592 33554432000 1073741824 1073778376 140734123516400 18446744073709551615 252469882368 0 4 0 16800975 18446604446895220672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13632608
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.32
CPU time (s): 1800.17
CPU user time (s): 1799.68
CPU system time (s): 0.487925
CPU usage (%): 100.103
Max. virtual memory (cumulated for all children) (KiB): 13632608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.487925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356620
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= 37286
involuntary context switches= 4941
runsolver used 9.1796 second user time and 18.6342 second system time
The end