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-3454485-1307187943/watcher-3454485-1307187943 -o /tmp/evaluation-result-3454485-1307187943/solver-3454485-1307187943 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454485-1307187943.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.02 1.49 1.78 2/569 2595
/proc/meminfo: memFree=31735912/32950928 swapFree=43925852/67111528
[pid=2595] ppid=2593 vsize=24008 CPUtime=0 cores=1,3,5,7
/proc/2595/stat : 2595 (java) R 2593 2595 32216 0 -1 4202496 1137 0 0 0 0 0 0 0 23 0 2 0 830393057 24584192 875 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268272745457 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/2595/statm: 6001 876 664 9 0 381 0
[pid=2595/tid=2598] ppid=2593 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2598/stat : 2598 (java) R 2593 2595 32216 0 -1 4202560 6855 0 1 0 0 0 0 0 24 0 2 0 830393057 10694979584 7670 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0832021 s]
/proc/loadavg: 1.02 1.49 1.78 2/569 2595
/proc/meminfo: memFree=31735912/32950928 swapFree=43925852/67111528
[pid=2595] ppid=2593 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/2595/stat : 2595 (java) S 2593 2595 32216 0 -1 4202496 11914 0 1 0 5 1 0 0 23 0 18 0 830393057 10724442112 11611 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2595/statm: 2618272 11611 1754 9 0 2609006 0
[pid=2595/tid=2598] ppid=2593 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/2595/task/2598/stat : 2598 (java) R 2593 2595 32216 0 -1 4202560 10740 0 1 0 5 1 0 0 22 0 18 0 830393057 10724442112 11611 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284515787 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.107022 s]
/proc/loadavg: 1.02 1.49 1.78 2/569 2595
/proc/meminfo: memFree=31735912/32950928 swapFree=43925852/67111528
[pid=2595] ppid=2593 vsize=10539948 CPUtime=0.08 cores=1,3,5,7
/proc/2595/stat : 2595 (java) S 2593 2595 32216 0 -1 4202496 12788 0 1 0 7 1 0 0 23 0 18 0 830393057 10792906752 12485 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2595/statm: 2634987 12485 2092 9 0 2625721 0
[pid=2595/tid=2598] ppid=2593 vsize=10539948 CPUtime=0.07 cores=1,3,5,7
/proc/2595/task/2598/stat : 2598 (java) R 2593 2595 32216 0 -1 4202560 10986 0 1 0 6 1 0 0 22 0 18 0 830393057 10792906752 12485 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 46912505211280 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539948
[startup+0.301985 s]
/proc/loadavg: 1.02 1.49 1.78 2/569 2595
/proc/meminfo: memFree=31735912/32950928 swapFree=43925852/67111528
[pid=2595] ppid=2593 vsize=10542216 CPUtime=0.44 cores=1,3,5,7
/proc/2595/stat : 2595 (java) S 2593 2595 32216 0 -1 4202496 16050 0 1 0 42 2 0 0 23 0 18 0 830393057 10795229184 15539 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2595/statm: 2635554 15540 2201 9 0 2626288 0
[pid=2595/tid=2598] ppid=2593 vsize=10542216 CPUtime=0.24 cores=1,3,5,7
/proc/2595/task/2598/stat : 2598 (java) R 2593 2595 32216 0 -1 4202560 13138 0 1 0 23 1 0 0 22 0 18 0 830393057 10795229184 15540 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 46912505562428 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10542216
[startup+0.701052 s]
/proc/loadavg: 1.02 1.49 1.78 2/569 2595
/proc/meminfo: memFree=31735912/32950928 swapFree=43925852/67111528
[pid=2595] ppid=2593 vsize=10549700 CPUtime=1.44 cores=1,3,5,7
/proc/2595/stat : 2595 (java) S 2593 2595 32216 0 -1 4202496 23784 0 1 0 141 3 0 0 23 0 19 0 830393057 10802892800 21704 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2595/statm: 2637425 21704 2235 9 0 2628159 0
[pid=2595/tid=2598] ppid=2593 vsize=10549700 CPUtime=0.33 cores=1,3,5,7
/proc/2595/task/2598/stat : 2598 (java) S 2593 2595 32216 0 -1 4202560 16613 0 1 0 31 2 0 0 23 0 19 0 830393057 10802892800 21704 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10549700
[startup+1.50689 s]
/proc/loadavg: 1.02 1.49 1.78 2/609 2657
/proc/meminfo: memFree=31528916/32950928 swapFree=43925852/67111528
[pid=2595] ppid=2593 vsize=10556276 CPUtime=1.99 cores=1,3,5,7
/proc/2595/stat : 2595 (java) S 2593 2595 32216 0 -1 4202496 28677 0 1 0 196 3 0 0 23 0 19 0 830393057 10809626624 25226 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2595/statm: 2639069 25226 2238 9 0 2629803 0
[pid=2595/tid=2598] ppid=2593 vsize=10556276 CPUtime=0.34 cores=1,3,5,7
/proc/2595/task/2598/stat : 2598 (java) S 2593 2595 32216 0 -1 4202560 16643 0 1 0 32 2 0 0 16 0 19 0 830393057 10809626624 25226 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2606] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2606/stat : 2606 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830393059 10809626624 25226 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2607] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2607/stat : 2607 (java) S 2593 2595 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830393059 10809626624 25226 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2609] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2609/stat : 2609 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830393059 10809626624 25226 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2610] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2610/stat : 2610 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830393059 10809626624 25226 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2611] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2611/stat : 2611 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830393059 10809626624 25227 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2613] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2613/stat : 2613 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830393059 10809626624 25227 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2614] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2614/stat : 2614 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830393059 10809626624 25227 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2616] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2616/stat : 2616 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830393059 10809626624 25228 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2628] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2628/stat : 2628 (java) S 2593 2595 32216 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830393060 10809626624 25228 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 0 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2629] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2629/stat : 2629 (java) S 2593 2595 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830393061 10809626624 25229 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2630] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2630/stat : 2630 (java) S 2593 2595 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830393061 10809626624 25230 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2636] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2636/stat : 2636 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830393064 10809626624 25230 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284512689 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2637] ppid=2593 vsize=10556276 CPUtime=0.57 cores=1,3,5,7
/proc/2595/task/2637/stat : 2637 (java) R 2593 2595 32216 0 -1 4202560 3987 0 0 0 57 0 0 0 15 0 19 0 830393064 10809626624 25231 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268272381648 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2595/tid=2638] ppid=2593 vsize=10556276 CPUtime=0.57 cores=1,3,5,7
/proc/2595/task/2638/stat : 2638 (java) R 2593 2595 32216 0 -1 4202560 4948 0 0 0 57 0 0 0 15 0 19 0 830393064 10809626624 25232 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 47634164302558 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2595/tid=2640] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2640/stat : 2640 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830393064 10809626624 25233 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2641] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2641/stat : 2641 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830393064 10809626624 25233 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2650] ppid=2593 vsize=10556276 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2650/stat : 2650 (java) S 2593 2595 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830393097 10809626624 25233 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 10556276
[startup+3.10156 s]
/proc/loadavg: 1.02 1.49 1.78 3/609 2666
/proc/meminfo: memFree=31478324/32950928 swapFree=43925852/67111528
[pid=2595] ppid=2593 vsize=10557084 CPUtime=3.13 cores=1,3,5,7
/proc/2595/stat : 2595 (java) S 2593 2595 32216 0 -1 4202496 62979 0 1 0 306 7 0 0 23 0 22 0 830393057 10810454016 58833 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2595/statm: 2639271 58833 2238 9 0 2630005 0
[pid=2595/tid=2598] ppid=2593 vsize=10557084 CPUtime=0.34 cores=1,3,5,7
/proc/2595/task/2598/stat : 2598 (java) S 2593 2595 32216 0 -1 4202560 16676 0 1 0 32 2 0 0 16 0 22 0 830393057 10810454016 58833 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2606] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2606/stat : 2606 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830393059 10810454016 58833 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2607] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2607/stat : 2607 (java) S 2593 2595 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830393059 10810454016 58833 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2609] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2609/stat : 2609 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830393059 10810454016 58833 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2610] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2610/stat : 2610 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830393059 10810454016 58833 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2611] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2611/stat : 2611 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830393059 10810454016 58833 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2613] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2613/stat : 2613 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830393059 10810454016 58833 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2614] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2614/stat : 2614 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830393059 10810454016 58833 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2616] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2616/stat : 2616 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830393059 10810454016 58833 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2628] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2628/stat : 2628 (java) S 2593 2595 32216 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830393060 10810454016 58834 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 0 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2629] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2629/stat : 2629 (java) S 2593 2595 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830393061 10810454016 58834 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2630] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2630/stat : 2630 (java) S 2593 2595 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830393061 10810454016 58834 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2636] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2636/stat : 2636 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830393064 10810454016 58834 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284512689 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2637] ppid=2593 vsize=10557084 CPUtime=0.8 cores=1,3,5,7
/proc/2595/task/2637/stat : 2637 (java) S 2593 2595 32216 0 -1 4202560 6331 0 0 0 80 0 0 0 15 0 22 0 830393064 10810454016 58834 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2638] ppid=2593 vsize=10557084 CPUtime=0.72 cores=1,3,5,7
/proc/2595/task/2638/stat : 2638 (java) S 2593 2595 32216 0 -1 4202560 5217 0 0 0 72 0 0 0 15 0 22 0 830393064 10810454016 58834 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2640] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2640/stat : 2640 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830393064 10810454016 58834 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2641] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2641/stat : 2641 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830393064 10810454016 58834 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2650] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2650/stat : 2650 (java) S 2593 2595 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830393097 10810454016 58834 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 10557084
[startup+6.30099 s]
/proc/loadavg: 1.10 1.50 1.78 4/613 2684
/proc/meminfo: memFree=30329264/32950928 swapFree=43925852/67111528
[pid=2595] ppid=2593 vsize=10557084 CPUtime=7.75 cores=1,3,5,7
/proc/2595/stat : 2595 (java) S 2593 2595 32216 0 -1 4202496 248392 0 1 0 748 27 0 0 23 0 19 0 830393057 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2595/statm: 2639271 244134 2265 9 0 2630005 0
[pid=2595/tid=2598] ppid=2593 vsize=10557084 CPUtime=0.34 cores=1,3,5,7
/proc/2595/task/2598/stat : 2598 (java) S 2593 2595 32216 0 -1 4202560 16699 0 1 0 32 2 0 0 15 0 19 0 830393057 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2606] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2606/stat : 2606 (java) S 2593 2595 32216 0 -1 4202560 487 0 0 0 0 0 0 0 16 0 19 0 830393059 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2607] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2607/stat : 2607 (java) S 2593 2595 32216 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 830393059 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2609] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2609/stat : 2609 (java) S 2593 2595 32216 0 -1 4202560 515 0 0 0 0 0 0 0 16 0 19 0 830393059 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 1 0 0 0
[pid=2595/tid=2610] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2610/stat : 2610 (java) S 2593 2595 32216 0 -1 4202560 405 0 0 0 0 0 0 0 16 0 19 0 830393059 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2611] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2611/stat : 2611 (java) S 2593 2595 32216 0 -1 4202560 476 0 0 0 0 0 0 0 18 0 19 0 830393059 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 1 0 0 0
[pid=2595/tid=2613] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2613/stat : 2613 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 830393059 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2614] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2614/stat : 2614 (java) S 2593 2595 32216 0 -1 4202560 524 0 0 0 0 0 0 0 18 0 19 0 830393059 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 1 0 0 0
[pid=2595/tid=2616] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2616/stat : 2616 (java) S 2593 2595 32216 0 -1 4202560 556 0 0 0 0 0 0 0 18 0 19 0 830393059 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2628] ppid=2593 vsize=10557084 CPUtime=0.06 cores=1,3,5,7
/proc/2595/task/2628/stat : 2628 (java) S 2593 2595 32216 0 -1 4202560 2823 0 0 0 6 0 0 0 15 0 19 0 830393060 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 0 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2629] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2629/stat : 2629 (java) S 2593 2595 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830393061 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2630] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2630/stat : 2630 (java) S 2593 2595 32216 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830393061 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2636] ppid=2593 vsize=10557084 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2636/stat : 2636 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830393064 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284512689 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2637] ppid=2593 vsize=10557084 CPUtime=1.06 cores=1,3,5,7
/proc/2595/task/2637/stat : 2637 (java) S 2593 2595 32216 0 -1 4202560 6370 0 0 0 106 0 0 0 15 0 19 0 830393064 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2638] ppid=2593 vsize=10557084 CPUtime=0.79 cores=1,3,5,7
/proc/2595/task/2638/stat : 2638 (java) S 2593 2595 32216 0 -1 4202560 5230 0 0 0 79 0 0 0 15 0 19 0 830393064 10810454016 244134 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=2595/tid=2736] ppid=2593 vsize=10555796 CPUtime=57.52 cores=1,3,5,7
/proc/2595/task/2736/stat : 2736 (java) R 2593 2595 32216 0 -1 4202560 2 0 0 0 5752 0 0 0 24 0 22 0 830468458 10809135104 526869 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 46912505823913 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2595/tid=2737] ppid=2593 vsize=10555796 CPUtime=57.52 cores=1,3,5,7
/proc/2595/task/2737/stat : 2737 (java) R 2593 2595 32216 0 -1 4202560 0 0 0 0 5752 0 0 0 25 0 22 0 830468458 10809135104 526869 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 46912505974650 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2595/tid=2741] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2741/stat : 2741 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830468459 10809135104 526869 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1550.22
Current children cumulated vsize (KiB) 10555796
[startup+882.301 s]
/proc/loadavg: 3.76 3.78 3.08 5/615 2744
/proc/meminfo: memFree=25298120/32950928 swapFree=43925852/67111528
[pid=2595] ppid=2593 vsize=10555796 CPUtime=1660.68 cores=1,3,5,7
/proc/2595/stat : 2595 (java) S 2593 2595 32216 0 -1 4202496 535589 0 1 0 166007 61 0 0 23 0 22 0 830393057 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2595/statm: 2638949 529243 2266 9 0 2629683 0
[pid=2595/tid=2598] ppid=2593 vsize=10555796 CPUtime=0.34 cores=1,3,5,7
/proc/2595/task/2598/stat : 2598 (java) S 2593 2595 32216 0 -1 4202560 16843 0 1 0 32 2 0 0 15 0 22 0 830393057 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2606] ppid=2593 vsize=10555796 CPUtime=1 cores=1,3,5,7
/proc/2595/task/2606/stat : 2606 (java) S 2593 2595 32216 0 -1 4202560 929 0 0 0 100 0 0 0 15 0 22 0 830393059 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2607] ppid=2593 vsize=10555796 CPUtime=1 cores=1,3,5,7
/proc/2595/task/2607/stat : 2607 (java) S 2593 2595 32216 0 -1 4202560 794 0 0 0 100 0 0 0 15 0 22 0 830393059 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2609] ppid=2593 vsize=10555796 CPUtime=1.01 cores=1,3,5,7
/proc/2595/task/2609/stat : 2609 (java) S 2593 2595 32216 0 -1 4202560 1293 0 0 0 101 0 0 0 16 0 22 0 830393059 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2610] ppid=2593 vsize=10555796 CPUtime=0.95 cores=1,3,5,7
/proc/2595/task/2610/stat : 2610 (java) S 2593 2595 32216 0 -1 4202560 671 0 0 0 95 0 0 0 15 0 22 0 830393059 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2611] ppid=2593 vsize=10555796 CPUtime=0.93 cores=1,3,5,7
/proc/2595/task/2611/stat : 2611 (java) S 2593 2595 32216 0 -1 4202560 1013 0 0 0 93 0 0 0 16 0 22 0 830393059 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2613] ppid=2593 vsize=10555796 CPUtime=0.87 cores=1,3,5,7
/proc/2595/task/2613/stat : 2613 (java) S 2593 2595 32216 0 -1 4202560 537 0 0 0 87 0 0 0 15 0 22 0 830393059 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2614] ppid=2593 vsize=10555796 CPUtime=0.92 cores=1,3,5,7
/proc/2595/task/2614/stat : 2614 (java) S 2593 2595 32216 0 -1 4202560 1081 0 0 0 92 0 0 0 15 0 22 0 830393059 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2616] ppid=2593 vsize=10555796 CPUtime=0.98 cores=1,3,5,7
/proc/2595/task/2616/stat : 2616 (java) S 2593 2595 32216 0 -1 4202560 1137 0 0 0 98 0 0 0 16 0 22 0 830393059 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2628] ppid=2593 vsize=10555796 CPUtime=98.63 cores=1,3,5,7
/proc/2595/task/2628/stat : 2628 (java) S 2593 2595 32216 0 -1 4202560 83502 0 0 0 9854 9 0 0 16 0 22 0 830393060 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 0 0 16800975 18446604459668595072 0 0 -1 1 0 0 0
[pid=2595/tid=2629] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2629/stat : 2629 (java) S 2593 2595 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830393061 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2630] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2630/stat : 2630 (java) S 2593 2595 32216 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830393061 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2636] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2636/stat : 2636 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830393064 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284512689 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2637] ppid=2593 vsize=10555796 CPUtime=1.31 cores=1,3,5,7
/proc/2595/task/2637/stat : 2637 (java) S 2593 2595 32216 0 -1 4202560 6396 0 0 0 131 0 0 0 16 0 22 0 830393064 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2638] ppid=2593 vsize=10555796 CPUtime=1.16 cores=1,3,5,7
/proc/2595/task/2638/stat : 2638 (java) S 2593 2595 32216 0 -1 4202560 6720 0 0 0 116 0 0 0 16 0 22 0 830393064 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2640] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2640/stat : 2640 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830393064 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2641] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2641/stat : 2641 (java) S 2593 2595 32216 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830393064 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2650] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2650/stat : 2650 (java) S 2593 2595 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830393097 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2736] ppid=2593 vsize=10555796 CPUtime=107.52 cores=1,3,5,7
/proc/2595/task/2736/stat : 2736 (java) R 2593 2595 32216 0 -1 4202560 2 0 0 0 10752 0 0 0 21 0 22 0 830468458 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 46912505667360 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2595/tid=2737] ppid=2593 vsize=10555796 CPUtime=107.53 cores=1,3,5,7
/proc/2595/task/2737/stat : 2737 (java) R 2593 2595 32216 0 -1 4202560 0 0 0 0 10753 0 0 0 22 0 22 0 830468458 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 46912505927784 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2595/tid=2741] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2741/stat : 2741 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830468459 10809135104 529243 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1660.68
Current children cumulated vsize (KiB) 10555796
[startup+942.301 s]
/proc/loadavg: 3.32 3.66 3.08 4/614 2886
/proc/meminfo: memFree=26927560/32950928 swapFree=43925852/67111528
[pid=2595] ppid=2593 vsize=10555796 CPUtime=1770.39 cores=1,3,5,7
/proc/2595/stat : 2595 (java) S 2593 2595 32216 0 -1 4202496 538616 0 1 0 176977 62 0 0 23 0 22 0 830393057 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2595/statm: 2638949 532248 2266 9 0 2629683 0
[pid=2595/tid=2598] ppid=2593 vsize=10555796 CPUtime=0.35 cores=1,3,5,7
/proc/2595/task/2598/stat : 2598 (java) S 2593 2595 32216 0 -1 4202560 16861 0 1 0 33 2 0 0 15 0 22 0 830393057 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2606] ppid=2593 vsize=10555796 CPUtime=1.09 cores=1,3,5,7
/proc/2595/task/2606/stat : 2606 (java) S 2593 2595 32216 0 -1 4202560 934 0 0 0 109 0 0 0 16 0 22 0 830393059 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2607] ppid=2593 vsize=10555796 CPUtime=1.11 cores=1,3,5,7
/proc/2595/task/2607/stat : 2607 (java) S 2593 2595 32216 0 -1 4202560 801 0 0 0 111 0 0 0 16 0 22 0 830393059 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2609] ppid=2593 vsize=10555796 CPUtime=1.08 cores=1,3,5,7
/proc/2595/task/2609/stat : 2609 (java) S 2593 2595 32216 0 -1 4202560 1299 0 0 0 108 0 0 0 15 0 22 0 830393059 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2610] ppid=2593 vsize=10555796 CPUtime=1.06 cores=1,3,5,7
/proc/2595/task/2610/stat : 2610 (java) S 2593 2595 32216 0 -1 4202560 678 0 0 0 106 0 0 0 15 0 22 0 830393059 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2611] ppid=2593 vsize=10555796 CPUtime=1.02 cores=1,3,5,7
/proc/2595/task/2611/stat : 2611 (java) S 2593 2595 32216 0 -1 4202560 1023 0 0 0 102 0 0 0 16 0 22 0 830393059 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2613] ppid=2593 vsize=10555796 CPUtime=0.96 cores=1,3,5,7
/proc/2595/task/2613/stat : 2613 (java) S 2593 2595 32216 0 -1 4202560 546 0 0 0 96 0 0 0 15 0 22 0 830393059 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2614] ppid=2593 vsize=10555796 CPUtime=0.99 cores=1,3,5,7
/proc/2595/task/2614/stat : 2614 (java) S 2593 2595 32216 0 -1 4202560 1087 0 0 0 99 0 0 0 15 0 22 0 830393059 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2616] ppid=2593 vsize=10555796 CPUtime=1.09 cores=1,3,5,7
/proc/2595/task/2616/stat : 2616 (java) S 2593 2595 32216 0 -1 4202560 1145 0 0 0 109 0 0 0 16 0 22 0 830393059 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2628] ppid=2593 vsize=10555796 CPUtime=109.15 cores=1,3,5,7
/proc/2595/task/2628/stat : 2628 (java) S 2593 2595 32216 0 -1 4202560 86451 0 0 0 10906 9 0 0 15 0 22 0 830393060 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 0 0 16800975 18446604459668595072 0 0 -1 1 0 0 0
[pid=2595/tid=2629] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2629/stat : 2629 (java) S 2593 2595 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830393061 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2630] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2630/stat : 2630 (java) S 2593 2595 32216 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830393061 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2636] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2636/stat : 2636 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830393064 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284512689 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2637] ppid=2593 vsize=10555796 CPUtime=1.31 cores=1,3,5,7
/proc/2595/task/2637/stat : 2637 (java) S 2593 2595 32216 0 -1 4202560 6396 0 0 0 131 0 0 0 16 0 22 0 830393064 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2638] ppid=2593 vsize=10555796 CPUtime=1.16 cores=1,3,5,7
/proc/2595/task/2638/stat : 2638 (java) S 2593 2595 32216 0 -1 4202560 6720 0 0 0 116 0 0 0 16 0 22 0 830393064 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2640] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2640/stat : 2640 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830393064 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2641] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2641/stat : 2641 (java) S 2593 2595 32216 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830393064 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2650] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2650/stat : 2650 (java) S 2593 2595 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830393097 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2736] ppid=2593 vsize=10555796 CPUtime=156.74 cores=1,3,5,7
/proc/2595/task/2736/stat : 2736 (java) R 2593 2595 32216 0 -1 4202560 2 0 0 0 15674 0 0 0 18 0 22 0 830468458 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 46912505867707 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2595/tid=2737] ppid=2593 vsize=10555796 CPUtime=156.74 cores=1,3,5,7
/proc/2595/task/2737/stat : 2737 (java) R 2593 2595 32216 0 -1 4202560 0 0 0 0 15674 0 0 0 18 0 22 0 830468458 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 46912505927793 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2595/tid=2741] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2741/stat : 2741 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830468459 10809135104 532248 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1770.39
Current children cumulated vsize (KiB) 10555796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+958.601 s]
/proc/loadavg: 3.15 3.60 3.08 4/614 2886
/proc/meminfo: memFree=26121424/32950928 swapFree=43925852/67111528
[pid=2595] ppid=2593 vsize=10555796 CPUtime=1800.21 cores=1,3,5,7
/proc/2595/stat : 2595 (java) S 2593 2595 32216 0 -1 4202496 539120 0 1 0 179959 62 0 0 23 0 22 0 830393057 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2595/statm: 2638949 532743 2266 9 0 2629683 0
[pid=2595/tid=2598] ppid=2593 vsize=10555796 CPUtime=0.35 cores=1,3,5,7
/proc/2595/task/2598/stat : 2598 (java) S 2593 2595 32216 0 -1 4202560 16866 0 1 0 33 2 0 0 15 0 22 0 830393057 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2606] ppid=2593 vsize=10555796 CPUtime=1.12 cores=1,3,5,7
/proc/2595/task/2606/stat : 2606 (java) S 2593 2595 32216 0 -1 4202560 936 0 0 0 112 0 0 0 15 0 22 0 830393059 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2607] ppid=2593 vsize=10555796 CPUtime=1.14 cores=1,3,5,7
/proc/2595/task/2607/stat : 2607 (java) S 2593 2595 32216 0 -1 4202560 805 0 0 0 114 0 0 0 16 0 22 0 830393059 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2609] ppid=2593 vsize=10555796 CPUtime=1.11 cores=1,3,5,7
/proc/2595/task/2609/stat : 2609 (java) S 2593 2595 32216 0 -1 4202560 1300 0 0 0 111 0 0 0 15 0 22 0 830393059 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2610] ppid=2593 vsize=10555796 CPUtime=1.08 cores=1,3,5,7
/proc/2595/task/2610/stat : 2610 (java) S 2593 2595 32216 0 -1 4202560 678 0 0 0 108 0 0 0 16 0 22 0 830393059 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2611] ppid=2593 vsize=10555796 CPUtime=1.04 cores=1,3,5,7
/proc/2595/task/2611/stat : 2611 (java) S 2593 2595 32216 0 -1 4202560 1025 0 0 0 104 0 0 0 16 0 22 0 830393059 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2613] ppid=2593 vsize=10555796 CPUtime=0.99 cores=1,3,5,7
/proc/2595/task/2613/stat : 2613 (java) S 2593 2595 32216 0 -1 4202560 549 0 0 0 99 0 0 0 15 0 22 0 830393059 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2614] ppid=2593 vsize=10555796 CPUtime=1.01 cores=1,3,5,7
/proc/2595/task/2614/stat : 2614 (java) S 2593 2595 32216 0 -1 4202560 1088 0 0 0 101 0 0 0 15 0 22 0 830393059 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2616] ppid=2593 vsize=10555796 CPUtime=1.11 cores=1,3,5,7
/proc/2595/task/2616/stat : 2616 (java) S 2593 2595 32216 0 -1 4202560 1145 0 0 0 111 0 0 0 15 0 22 0 830393059 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2628] ppid=2593 vsize=10555796 CPUtime=112.01 cores=1,3,5,7
/proc/2595/task/2628/stat : 2628 (java) S 2593 2595 32216 0 -1 4202560 86935 0 0 0 11191 10 0 0 16 0 22 0 830393060 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 0 0 16800975 18446604459668595072 0 0 -1 1 0 0 0
[pid=2595/tid=2629] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2629/stat : 2629 (java) S 2593 2595 32216 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830393061 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2630] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2630/stat : 2630 (java) S 2593 2595 32216 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830393061 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2636] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2636/stat : 2636 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830393064 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284512689 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2637] ppid=2593 vsize=10555796 CPUtime=1.31 cores=1,3,5,7
/proc/2595/task/2637/stat : 2637 (java) S 2593 2595 32216 0 -1 4202560 6396 0 0 0 131 0 0 0 16 0 22 0 830393064 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2638] ppid=2593 vsize=10555796 CPUtime=1.16 cores=1,3,5,7
/proc/2595/task/2638/stat : 2638 (java) S 2593 2595 32216 0 -1 4202560 6720 0 0 0 116 0 0 0 16 0 22 0 830393064 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2640] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2640/stat : 2640 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830393064 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284504985 0 4 0 16800975 18446604459668595072 0 0 -1 3 0 0 0
[pid=2595/tid=2641] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2641/stat : 2641 (java) S 2593 2595 32216 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 830393064 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
[pid=2595/tid=2650] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2650/stat : 2650 (java) S 2593 2595 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830393097 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 5 0 0 0
[pid=2595/tid=2736] ppid=2593 vsize=10555796 CPUtime=170.13 cores=1,3,5,7
/proc/2595/task/2736/stat : 2736 (java) R 2593 2595 32216 0 -1 4202560 2 0 0 0 17013 0 0 0 16 0 22 0 830468458 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 46912505771276 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2595/tid=2737] ppid=2593 vsize=10555796 CPUtime=170.14 cores=1,3,5,7
/proc/2595/task/2737/stat : 2737 (java) R 2593 2595 32216 0 -1 4202560 0 0 0 0 17014 0 0 0 16 0 22 0 830468458 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 46912505974383 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2595/tid=2741] ppid=2593 vsize=10555796 CPUtime=0 cores=1,3,5,7
/proc/2595/task/2741/stat : 2741 (java) S 2593 2595 32216 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830468459 10809135104 532743 33554432000 1073741824 1073778376 140736217657760 18446744073709551615 268284505600 0 4 0 16800975 18446604459668595072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 10555796
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): 958.728
CPU time (s): 1800.4
CPU user time (s): 1799.7
CPU system time (s): 0.705892
CPU usage (%): 187.791
Max. virtual memory (cumulated for all children) (KiB): 10563500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.705892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 539154
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= 30410
involuntary context switches= 19289
runsolver used 5.65314 second user time and 13.461 second system time
The end