runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3710814-1338155108/watcher-3710814-1338155108 -o /tmp/evaluation-result-3710814-1338155108/solver-3710814-1338155108 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710814-1338155108.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.03 2.00 3/194 22826
/proc/meminfo: memFree=31074716/32873648 swapFree=7112/7112
[pid=22826] ppid=22824 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22826/stat : 22826 (java) D 22824 22826 21838 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 281636735 9515008 182 33554432000 1073741824 1073778376 140735184539040 140735184530072 242167398069 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/22826/statm: 2323 182 140 9 0 71 0
[startup+0.0263661 s]
/proc/loadavg: 2.07 2.03 2.00 3/194 22826
/proc/meminfo: memFree=31074716/32873648 swapFree=7112/7112
[pid=22826] ppid=22824 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/22826/stat : 22826 (java) S 22824 22826 21838 0 -1 4202496 2647 0 1 0 0 0 0 0 20 0 10 0 281636735 9233014784 2835 33554432000 1073741824 1073778376 140734705491280 140734705482416 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22826/statm: 2254154 2843 1421 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100186 s]
/proc/loadavg: 2.07 2.03 2.00 3/194 22826
/proc/meminfo: memFree=31074716/32873648 swapFree=7112/7112
[pid=22826] ppid=22824 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/22826/stat : 22826 (java) S 22824 22826 21838 0 -1 4202496 4354 0 1 0 9 1 0 0 20 0 18 0 281636735 9787842560 5556 33554432000 1073741824 1073778376 140734705491280 140734705482416 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22826/statm: 2389610 5556 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300172 s]
/proc/loadavg: 2.07 2.03 2.00 3/194 22826
/proc/meminfo: memFree=31074716/32873648 swapFree=7112/7112
[pid=22826] ppid=22824 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/22826/stat : 22826 (java) S 22824 22826 21838 0 -1 4202496 6837 0 1 0 49 2 0 0 20 0 19 0 281636735 9856004096 7714 33554432000 1073741824 1073778376 140734705491280 140734705482416 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22826/statm: 2406251 7714 2214 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625004
[startup+0.704065 s]
/proc/loadavg: 2.07 2.03 2.00 3/194 22826
/proc/meminfo: memFree=31074716/32873648 swapFree=7112/7112
[pid=22826] ppid=22824 vsize=9625004 CPUtime=1.03 cores=1,3,5,7
/proc/22826/stat : 22826 (java) S 22824 22826 21838 0 -1 4202496 7592 0 1 0 101 2 0 0 20 0 19 0 281636735 9856004096 10497 33554432000 1073741824 1073778376 140734705491280 140734705482416 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22826/statm: 2406251 10497 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9625004
[startup+1.50071 s]
/proc/loadavg: 2.07 2.03 2.00 3/213 22845
/proc/meminfo: memFree=31041296/32873648 swapFree=7112/7112
[pid=22826] ppid=22824 vsize=9625004 CPUtime=1.87 cores=1,3,5,7
/proc/22826/stat : 22826 (java) S 22824 22826 21838 0 -1 4202496 7624 0 1 0 185 2 0 0 20 0 19 0 281636735 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140734705482416 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22826/statm: 2406251 10526 2270 9 0 2396937 0
[pid=22826/tid=22828] ppid=22824 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/22826/task/22828/stat : 22828 (java) R 22824 22826 21838 0 -1 4202560 2546 0 1 0 141 1 0 0 20 0 19 0 281636736 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679906750888 140679846879998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22829] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636737 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679845481256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22830] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281636737 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679844428456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22831] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679843376168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 21838 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679747156904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22833] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679746103592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679745050792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22835] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22835/stat : 22835 (java) S 22824 22826 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679743998504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22836] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22836/stat : 22836 (java) S 22824 22826 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679742945704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22837] ppid=22824 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/22826/task/22837/stat : 22837 (java) S 22824 22826 21838 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 281636739 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679730748136 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22838] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22838/stat : 22838 (java) S 22824 22826 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679729694200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22839] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22839/stat : 22839 (java) S 22824 22826 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679728641800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22840] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22840/stat : 22840 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679727590288 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22841] ppid=22824 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/22826/task/22841/stat : 22841 (java) S 22824 22826 21838 0 -1 4202560 1660 0 0 0 16 0 0 0 20 0 19 0 281636741 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679726536888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22842] ppid=22824 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/22826/task/22842/stat : 22842 (java) S 22824 22826 21838 0 -1 4202560 2159 0 0 0 19 0 0 0 20 0 19 0 281636741 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679725484088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22843] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22843/stat : 22843 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679724431992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22844] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22844/stat : 22844 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679723379400 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22845] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22845/stat : 22845 (java) S 22824 22826 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636750 9856004096 10526 33554432000 1073741824 1073778376 140734705491280 140679722325416 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 9625004
[startup+3.10064 s]
/proc/loadavg: 2.07 2.03 2.00 3/213 22845
/proc/meminfo: memFree=31039372/32873648 swapFree=7112/7112
[pid=22826] ppid=22824 vsize=9625004 CPUtime=3.49 cores=1,3,5,7
/proc/22826/stat : 22826 (java) S 22824 22826 21838 0 -1 4202496 7640 0 1 0 347 2 0 0 20 0 19 0 281636735 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140734705482416 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22826/statm: 2406251 11050 2270 9 0 2396937 0
[pid=22826/tid=22828] ppid=22824 vsize=9625004 CPUtime=2.99 cores=1,3,5,7
/proc/22826/task/22828/stat : 22828 (java) R 22824 22826 21838 0 -1 4202560 2549 0 1 0 298 1 0 0 20 0 19 0 281636736 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679906750768 140679846916432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22829] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281636737 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679845481256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22830] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281636737 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679844428456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22831] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679843376168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 21838 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679747156904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22833] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679746103592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679745050792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22835] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22835/stat : 22835 (java) S 22824 22826 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679743998504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22836] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22836/stat : 22836 (java) S 22824 22826 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679742945704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22837] ppid=22824 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/22826/task/22837/stat : 22837 (java) S 22824 22826 21838 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 281636739 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679730748136 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22838] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22838/stat : 22838 (java) S 22824 22826 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679729694200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22839] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22839/stat : 22839 (java) S 22824 22826 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679728641800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22840] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22840/stat : 22840 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679727590288 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22841] ppid=22824 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/22826/task/22841/stat : 22841 (java) S 22824 22826 21838 0 -1 4202560 1660 0 0 0 16 0 0 0 20 0 19 0 281636741 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679726536888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22842] ppid=22824 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/22826/task/22842/stat : 22842 (java) S 22824 22826 21838 0 -1 4202560 2159 0 0 0 19 0 0 0 20 0 19 0 281636741 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679725484088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22843] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22843/stat : 22843 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679724431992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22844] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22844/stat : 22844 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679723379400 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22845] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22845/stat : 22845 (java) S 22824 22826 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636750 9856004096 11050 33554432000 1073741824 1073778376 140734705491280 140679722325416 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 9625004
[startup+6.30055 s]
/proc/loadavg: 2.07 2.03 2.00 3/213 22845
/proc/meminfo: memFree=31038988/32873648 swapFree=7112/7112
[pid=22826] ppid=22824 vsize=9625004 CPUtime=6.73 cores=1,3,5,7
/proc/22826/stat : 22826 (java) S 22824 22826 21838 0 -1 4202496 7668 0 1 0 670 3 0 0 20 0 19 0 281636735 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140734705482416 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22826/statm: 2406251 11568 2270 9 0 2396937 0
[pid=22826/tid=22828] ppid=22824 vsize=9625004 CPUtime=6.12 cores=1,3,5,7
/proc/22826/task/22828/stat : 22828 (java) R 22824 22826 21838 0 -1 4202560 2554 0 1 0 611 1 0 0 20 0 19 0 281636736 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679906750768 140679846863547 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22829] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281636737 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679845481256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22830] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 21838 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281636737 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679844428456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22831] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679843376168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679747156904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22833] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679746103592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679745050792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22835] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22835/stat : 22835 (java) S 22824 22826 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679743998504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22836] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22836/stat : 22836 (java) S 22824 22826 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281636738 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679742945704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22837] ppid=22824 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/22826/task/22837/stat : 22837 (java) S 22824 22826 21838 0 -1 4202560 35 0 0 0 9 0 0 0 20 0 19 0 281636739 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679730748136 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22838] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22838/stat : 22838 (java) S 22824 22826 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679729694200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22839] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22839/stat : 22839 (java) S 22824 22826 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679728641800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22840] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22840/stat : 22840 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679727590288 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22841] ppid=22824 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/22826/task/22841/stat : 22841 (java) S 22824 22826 21838 0 -1 4202560 1660 0 0 0 16 0 0 0 20 0 19 0 281636741 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679726536888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22842] ppid=22824 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/22826/task/22842/stat : 22842 (java) S 22824 22826 21838 0 -1 4202560 2159 0 0 0 19 0 0 0 20 0 19 0 281636741 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679725484088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22843] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22843/stat : 22843 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679724431992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22844] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22844/stat : 22844 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679723379400 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22845] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22845/stat : 22845 (java) S 22824 22826 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636750 9856004096 11568 33554432000 1073741824 1073778376 140734705491280 140679722325416 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
[pid=22826/tid=22834] ppid=22824 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 21838 0 -1 4202560 243 0 0 0 50 0 0 0 20 0 19 0 281636738 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679745050792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22835] ppid=22824 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/22826/task/22835/stat : 22835 (java) S 22824 22826 21838 0 -1 4202560 201 0 0 0 49 0 0 0 20 0 19 0 281636738 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679743998504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22836] ppid=22824 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/22826/task/22836/stat : 22836 (java) S 22824 22826 21838 0 -1 4202560 49 0 0 0 45 0 0 0 20 0 19 0 281636738 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679742945704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22837] ppid=22824 vsize=9625004 CPUtime=4.03 cores=1,3,5,7
/proc/22826/task/22837/stat : 22837 (java) S 22824 22826 21838 0 -1 4202560 146 0 0 0 400 3 0 0 20 0 19 0 281636739 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679730748136 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22838] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22838/stat : 22838 (java) S 22824 22826 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679729694200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22839] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22839/stat : 22839 (java) S 22824 22826 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679728641800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22840] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22840/stat : 22840 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679727590288 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22841] ppid=22824 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/22826/task/22841/stat : 22841 (java) S 22824 22826 21838 0 -1 4202560 1660 0 0 0 16 0 0 0 20 0 19 0 281636741 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679726536888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22842] ppid=22824 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/22826/task/22842/stat : 22842 (java) S 22824 22826 21838 0 -1 4202560 2199 0 0 0 22 0 0 0 20 0 19 0 281636741 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679725484088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22843] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22843/stat : 22843 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679724431992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22844] ppid=22824 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/22826/task/22844/stat : 22844 (java) S 22824 22826 21838 0 -1 4202560 95 0 0 0 18 20 0 0 20 0 19 0 281636741 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679723379400 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22845] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22845/stat : 22845 (java) S 22824 22826 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636750 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679722325416 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1665.61
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.03 2.09 2.03 3/213 22952
/proc/meminfo: memFree=28211420/32873648 swapFree=7112/7112
[pid=22826] ppid=22824 vsize=9625004 CPUtime=1725.68 cores=1,3,5,7
/proc/22826/stat : 22826 (java) S 22824 22826 21838 0 -1 4202496 9238 0 1 0 172536 32 0 0 20 0 19 0 281636735 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140734705482416 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22826/statm: 2406251 30729 2271 9 0 2396937 0
[pid=22826/tid=22828] ppid=22824 vsize=9625004 CPUtime=1717.03 cores=1,3,5,7
/proc/22826/task/22828/stat : 22828 (java) R 22824 22826 21838 0 -1 4202560 2681 0 1 0 171675 28 0 0 20 0 19 0 281636736 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679906750768 140679846872871 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22829] ppid=22824 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 21838 0 -1 4202560 264 0 0 0 42 1 0 0 20 0 19 0 281636737 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679845481256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22830] ppid=22824 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 21838 0 -1 4202560 176 0 0 0 49 0 0 0 20 0 19 0 281636737 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679844428456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22831] ppid=22824 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 21838 0 -1 4202560 140 0 0 0 47 0 0 0 20 0 19 0 281636738 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679843376168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 21838 0 -1 4202560 123 0 0 0 51 0 0 0 20 0 19 0 281636738 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679747156904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22833] ppid=22824 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 21838 0 -1 4202560 73 0 0 0 45 0 0 0 20 0 19 0 281636738 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679746103592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 21838 0 -1 4202560 243 0 0 0 51 0 0 0 20 0 19 0 281636738 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679745050792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22835] ppid=22824 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/22826/task/22835/stat : 22835 (java) S 22824 22826 21838 0 -1 4202560 201 0 0 0 50 0 0 0 20 0 19 0 281636738 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679743998504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22836] ppid=22824 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/22826/task/22836/stat : 22836 (java) S 22824 22826 21838 0 -1 4202560 49 0 0 0 46 0 0 0 20 0 19 0 281636738 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679742945704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22837] ppid=22824 vsize=9625004 CPUtime=4.15 cores=1,3,5,7
/proc/22826/task/22837/stat : 22837 (java) S 22824 22826 21838 0 -1 4202560 148 0 0 0 412 3 0 0 20 0 19 0 281636739 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679730748136 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22838] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22838/stat : 22838 (java) S 22824 22826 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679729694200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22839] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22839/stat : 22839 (java) S 22824 22826 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679728641800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22840] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22840/stat : 22840 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679727590288 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22841] ppid=22824 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/22826/task/22841/stat : 22841 (java) S 22824 22826 21838 0 -1 4202560 1660 0 0 0 16 0 0 0 20 0 19 0 281636741 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679726536888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22842] ppid=22824 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/22826/task/22842/stat : 22842 (java) S 22824 22826 21838 0 -1 4202560 2199 0 0 0 22 0 0 0 20 0 19 0 281636741 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679725484088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22843] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22843/stat : 22843 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679724431992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22844] ppid=22824 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/22826/task/22844/stat : 22844 (java) S 22824 22826 21838 0 -1 4202560 99 0 0 0 19 21 0 0 20 0 19 0 281636741 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679723379400 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22845] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22845/stat : 22845 (java) S 22824 22826 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636750 9856004096 30729 33554432000 1073741824 1073778376 140734705491280 140679722325416 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.68
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.02 3/213 22952
/proc/meminfo: memFree=28196528/32873648 swapFree=7112/7112
[pid=22826] ppid=22824 vsize=9625004 CPUtime=1785.77 cores=1,3,5,7
/proc/22826/stat : 22826 (java) S 22824 22826 21838 0 -1 4202496 9253 0 1 0 178543 34 0 0 20 0 19 0 281636735 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140734705482416 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22826/statm: 2406251 31753 2271 9 0 2396937 0
[pid=22826/tid=22828] ppid=22824 vsize=9625004 CPUtime=1776.9 cores=1,3,5,7
/proc/22826/task/22828/stat : 22828 (java) R 22824 22826 21838 0 -1 4202560 2683 0 1 0 177661 29 0 0 20 0 19 0 281636736 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679906750768 140679846863346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22829] ppid=22824 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 21838 0 -1 4202560 265 0 0 0 44 1 0 0 20 0 19 0 281636737 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679845481256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22830] ppid=22824 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 21838 0 -1 4202560 176 0 0 0 49 0 0 0 20 0 19 0 281636737 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679844428456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22831] ppid=22824 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 21838 0 -1 4202560 141 0 0 0 49 0 0 0 20 0 19 0 281636738 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679843376168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 21838 0 -1 4202560 123 0 0 0 51 1 0 0 20 0 19 0 281636738 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679747156904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22833] ppid=22824 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 21838 0 -1 4202560 74 0 0 0 46 0 0 0 20 0 19 0 281636738 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679746103592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 21838 0 -1 4202560 243 0 0 0 52 0 0 0 20 0 19 0 281636738 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679745050792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22835] ppid=22824 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/22826/task/22835/stat : 22835 (java) S 22824 22826 21838 0 -1 4202560 201 0 0 0 51 0 0 0 20 0 19 0 281636738 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679743998504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22836] ppid=22824 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/22826/task/22836/stat : 22836 (java) S 22824 22826 21838 0 -1 4202560 50 0 0 0 48 0 0 0 20 0 19 0 281636738 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679742945704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22837] ppid=22824 vsize=9625004 CPUtime=4.25 cores=1,3,5,7
/proc/22826/task/22837/stat : 22837 (java) S 22824 22826 21838 0 -1 4202560 153 0 0 0 422 3 0 0 20 0 19 0 281636739 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679730748136 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22838] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22838/stat : 22838 (java) S 22824 22826 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679729694200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22839] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22839/stat : 22839 (java) S 22824 22826 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679728641800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22840] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22840/stat : 22840 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679727590288 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22841] ppid=22824 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/22826/task/22841/stat : 22841 (java) S 22824 22826 21838 0 -1 4202560 1660 0 0 0 16 0 0 0 20 0 19 0 281636741 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679726536888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22842] ppid=22824 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/22826/task/22842/stat : 22842 (java) S 22824 22826 21838 0 -1 4202560 2199 0 0 0 22 0 0 0 20 0 19 0 281636741 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679725484088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22843] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22843/stat : 22843 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679724431992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22844] ppid=22824 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/22826/task/22844/stat : 22844 (java) S 22824 22826 21838 0 -1 4202560 103 0 0 0 20 22 0 0 20 0 19 0 281636741 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679723379400 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22845] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22845/stat : 22845 (java) S 22824 22826 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636750 9856004096 31753 33554432000 1073741824 1073778376 140734705491280 140679722325416 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.77
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 2.01 2.07 2.02 3/213 22952
/proc/meminfo: memFree=28194608/32873648 swapFree=7112/7112
[pid=22826] ppid=22824 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7
/proc/22826/stat : 22826 (java) S 22824 22826 21838 0 -1 4202496 9254 0 1 0 179973 34 0 0 20 0 19 0 281636735 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140734705482416 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22826/statm: 2406251 32265 2271 9 0 2396937 0
[pid=22826/tid=22828] ppid=22824 vsize=9625004 CPUtime=1791.21 cores=1,3,5,7
/proc/22826/task/22828/stat : 22828 (java) R 22824 22826 21838 0 -1 4202560 2684 0 1 0 179092 29 0 0 20 0 19 0 281636736 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679906750768 140679847046256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22829] ppid=22824 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/22826/task/22829/stat : 22829 (java) S 22824 22826 21838 0 -1 4202560 265 0 0 0 44 1 0 0 20 0 19 0 281636737 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679845481256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22830] ppid=22824 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/22826/task/22830/stat : 22830 (java) S 22824 22826 21838 0 -1 4202560 176 0 0 0 49 0 0 0 20 0 19 0 281636737 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679844428456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22831] ppid=22824 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/22826/task/22831/stat : 22831 (java) S 22824 22826 21838 0 -1 4202560 141 0 0 0 49 0 0 0 20 0 19 0 281636738 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679843376168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22832] ppid=22824 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/22826/task/22832/stat : 22832 (java) S 22824 22826 21838 0 -1 4202560 123 0 0 0 51 1 0 0 20 0 19 0 281636738 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679747156904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22833] ppid=22824 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/22826/task/22833/stat : 22833 (java) S 22824 22826 21838 0 -1 4202560 74 0 0 0 46 0 0 0 20 0 19 0 281636738 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679746103592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22834] ppid=22824 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/22826/task/22834/stat : 22834 (java) S 22824 22826 21838 0 -1 4202560 243 0 0 0 52 0 0 0 20 0 19 0 281636738 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679745050792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22835] ppid=22824 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/22826/task/22835/stat : 22835 (java) S 22824 22826 21838 0 -1 4202560 201 0 0 0 51 0 0 0 20 0 19 0 281636738 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679743998504 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22836] ppid=22824 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/22826/task/22836/stat : 22836 (java) S 22824 22826 21838 0 -1 4202560 50 0 0 0 48 0 0 0 20 0 19 0 281636738 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679742945704 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22826/tid=22837] ppid=22824 vsize=9625004 CPUtime=4.25 cores=1,3,5,7
/proc/22826/task/22837/stat : 22837 (java) S 22824 22826 21838 0 -1 4202560 153 0 0 0 422 3 0 0 20 0 19 0 281636739 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679730748136 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22838] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22838/stat : 22838 (java) S 22824 22826 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679729694200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22839] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22839/stat : 22839 (java) S 22824 22826 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281636739 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679728641800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22840] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22840/stat : 22840 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679727590288 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22826/tid=22841] ppid=22824 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/22826/task/22841/stat : 22841 (java) S 22824 22826 21838 0 -1 4202560 1660 0 0 0 16 0 0 0 20 0 19 0 281636741 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679726536888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22826/tid=22842] ppid=22824 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/22826/task/22842/stat : 22842 (java) S 22824 22826 21838 0 -1 4202560 2199 0 0 0 22 0 0 0 20 0 19 0 281636741 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679725484088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22843] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22843/stat : 22843 (java) S 22824 22826 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281636741 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679724431992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22844] ppid=22824 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/22826/task/22844/stat : 22844 (java) S 22824 22826 21838 0 -1 4202560 103 0 0 0 20 22 0 0 20 0 19 0 281636741 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679723379400 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22826/tid=22845] ppid=22824 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/22826/task/22845/stat : 22845 (java) S 22824 22826 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281636750 9856004096 32265 33554432000 1073741824 1073778376 140734705491280 140679722325416 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625004
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): 1796.65
CPU time (s): 1800.54
CPU user time (s): 1799.84
CPU system time (s): 0.703892
CPU usage (%): 100.217
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.703892
maximum resident set size= 133324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9303
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41556
involuntary context switches= 9977
runsolver used 6.22005 second user time and 14.5758 second system time
The end