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-3710166-1338157159/watcher-3710166-1338157159 -o /tmp/evaluation-result-3710166-1338157159/solver-3710166-1338157159 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710166-1338157159.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.00 2.00 2.00 4/194 32193
/proc/meminfo: memFree=30748576/32873844 swapFree=6600/6600
[pid=32193] ppid=32191 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/32193/stat : 32193 (java) R 32191 32193 28151 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 281840728 9515008 182 33554432000 1073741824 1073778376 140736264517360 140736264508392 213419638453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32193/statm: 2323 182 140 9 0 71 0
[startup+0.0436229 s]
/proc/loadavg: 2.00 2.00 2.00 4/194 32193
/proc/meminfo: memFree=30748576/32873844 swapFree=6600/6600
[pid=32193] ppid=32191 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/32193/stat : 32193 (java) S 32191 32193 28151 0 -1 4202496 3014 0 1 0 2 0 0 0 20 0 13 0 281840728 9446973440 3711 33554432000 1073741824 1073778376 140735056054512 140735056045648 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32193/statm: 2306390 3711 1692 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100327 s]
/proc/loadavg: 2.00 2.00 2.00 4/194 32193
/proc/meminfo: memFree=30748576/32873844 swapFree=6600/6600
[pid=32193] ppid=32191 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/32193/stat : 32193 (java) S 32191 32193 28151 0 -1 4202496 4276 0 1 0 8 1 0 0 20 0 18 0 281840728 9787842560 5483 33554432000 1073741824 1073778376 140735056054512 140735056045648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32193/statm: 2389610 5483 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.300303 s]
/proc/loadavg: 2.00 2.00 2.00 4/194 32193
/proc/meminfo: memFree=30748576/32873844 swapFree=6600/6600
[pid=32193] ppid=32191 vsize=9558440 CPUtime=0.48 cores=1,3,5,7
/proc/32193/stat : 32193 (java) S 32191 32193 28151 0 -1 4202496 5741 0 1 0 46 2 0 0 20 0 18 0 281840728 9787842560 8838 33554432000 1073741824 1073778376 140735056054512 140735056045648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32193/statm: 2389610 8838 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558440
[startup+0.700318 s]
/proc/loadavg: 2.00 2.00 2.00 4/194 32193
/proc/meminfo: memFree=30748576/32873844 swapFree=6600/6600
[pid=32193] ppid=32191 vsize=9558440 CPUtime=1.16 cores=1,3,5,7
/proc/32193/stat : 32193 (java) S 32191 32193 28151 0 -1 4202496 7854 0 1 0 110 6 0 0 20 0 18 0 281840728 9787842560 41435 33554432000 1073741824 1073778376 140735056054512 140735056045648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32193/statm: 2389610 41435 2253 9 0 2380296 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9558440
[startup+1.50082 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 32211
/proc/meminfo: memFree=30570944/32873844 swapFree=6600/6600
[pid=32193] ppid=32191 vsize=9558440 CPUtime=2.43 cores=1,3,5,7
/proc/32193/stat : 32193 (java) S 32191 32193 28151 0 -1 4202496 14213 0 1 0 232 11 0 0 20 0 18 0 281840728 9787842560 51126 33554432000 1073741824 1073778376 140735056054512 140735056045648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32193/statm: 2389610 51126 2264 9 0 2380296 0
[pid=32193/tid=32195] ppid=32191 vsize=9558440 CPUtime=1.4 cores=1,3,5,7
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 28151 0 -1 4202560 2580 0 1 0 136 4 0 0 20 0 18 0 281840730 9787842560 51126 33554432000 1073741824 1073778376 140735056054512 140227440308160 140227277045078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32196] ppid=32191 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 28151 0 -1 4202560 21 0 0 0 2 2 0 0 20 0 18 0 281840731 9787842560 51126 33554432000 1073741824 1073778376 140735056054512 140227401800616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32197] ppid=32191 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 28151 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 281840731 9787842560 51126 33554432000 1073741824 1073778376 140735056054512 140227400748072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32198] ppid=32191 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 28151 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 18 0 281840731 9787842560 51126 33554432000 1073741824 1073778376 140735056054512 140227399695016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32193/tid=32199] ppid=32191 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 28151 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 18 0 281840731 9787842560 51126 33554432000 1073741824 1073778376 140735056054512 140227398642472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 28151 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 281840731 9787842560 51131 33554432000 1073741824 1073778376 140735056054512 140227397589416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 28151 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 281840731 9787842560 51141 33554432000 1073741824 1073778376 140735056054512 140227396536872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 28151 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 281840731 9787842560 51155 33554432000 1073741824 1073778376 140735056054512 140227395483816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32193/tid=32203] ppid=32191 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 28151 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 281840731 9787842560 51160 33554432000 1073741824 1073778376 140735056054512 140227276433704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 28151 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 281840732 9787842560 51161 33554432000 1073741824 1073778376 140735056054512 140227264236392 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 281840732 9787842560 51164 33554432000 1073741824 1073778376 140735056054512 140227263182712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32206] ppid=32191 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 281840732 9787842560 51164 33554432000 1073741824 1073778376 140735056054512 140227262129544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32207] ppid=32191 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32207/stat : 32207 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 281840735 9787842560 51164 33554432000 1073741824 1073778376 140735056054512 140227261078288 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32208] ppid=32191 vsize=9558440 CPUtime=0.27 cores=1,3,5,7
/proc/32193/task/32208/stat : 32208 (java) R 32191 32193 28151 0 -1 4202560 2344 0 0 0 26 1 0 0 20 0 18 0 281840735 9787842560 51164 33554432000 1073741824 1073778376 140735056054512 140226521436776 140227446258878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32209] ppid=32191 vsize=9558440 CPUtime=0.46 cores=1,3,5,7
/proc/32193/task/32209/stat : 32209 (java) R 32191 32193 28151 0 -1 4202560 8006 0 0 0 45 1 0 0 20 0 18 0 281840735 9787842560 51164 33554432000 1073741824 1073778376 140735056054512 140226520393184 213423015024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32210] ppid=32191 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32210/stat : 32210 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 281840735 9787842560 51164 33554432000 1073741824 1073778376 140735056054512 140226519353592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32211] ppid=32191 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32211/stat : 32211 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 281840735 9787842560 51165 33554432000 1073741824 1073778376 140735056054512 140226518301256 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9558440
[startup+3.10084 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 32212
/proc/meminfo: memFree=30504548/32873844 swapFree=6600/6600
[pid=32193] ppid=32191 vsize=9625004 CPUtime=4.72 cores=1,3,5,7
/proc/32193/stat : 32193 (java) S 32191 32193 28151 0 -1 4202496 16058 0 1 0 449 23 0 0 20 0 19 0 281840728 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140735056045648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32193/statm: 2406251 110363 2274 9 0 2396937 0
[pid=32193/tid=32195] ppid=32191 vsize=9625004 CPUtime=2.91 cores=1,3,5,7
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 28151 0 -1 4202560 2675 0 1 0 284 7 0 0 20 0 19 0 281840730 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227440307624 140227277348733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32196] ppid=32191 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 28151 0 -1 4202560 38 0 0 0 4 2 0 0 20 0 19 0 281840731 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227401800616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32197] ppid=32191 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 28151 0 -1 4202560 43 0 0 0 4 1 0 0 20 0 19 0 281840731 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227400748072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32198] ppid=32191 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 28151 0 -1 4202560 34 0 0 0 5 2 0 0 20 0 19 0 281840731 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227399695016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32199] ppid=32191 vsize=9625004 CPUtime=0.1 cores=1,3,5,7
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 28151 0 -1 4202560 45 0 0 0 8 2 0 0 20 0 19 0 281840731 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227398642472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 28151 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 281840731 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227397589416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 28151 0 -1 4202560 41 0 0 0 4 1 0 0 20 0 19 0 281840731 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227396536872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 28151 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 19 0 281840731 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227395483816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32193/tid=32203] ppid=32191 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 28151 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 281840731 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227276433704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 28151 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 281840732 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227264236392 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281840732 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227263182712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32206] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281840732 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227262129544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32207] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32207/stat : 32207 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140227261078288 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32208] ppid=32191 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/32193/task/32208/stat : 32208 (java) S 32191 32193 28151 0 -1 4202560 3711 0 0 0 47 2 0 0 20 0 19 0 281840735 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140226521459000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32209] ppid=32191 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/32193/task/32209/stat : 32209 (java) S 32191 32193 28151 0 -1 4202560 8031 0 0 0 68 1 0 0 20 0 19 0 281840735 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140226520406456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32210] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32210/stat : 32210 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140226519353592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32211] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32211/stat : 32211 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140226518301256 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32212] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32212/stat : 32212 (java) S 32191 32193 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281840884 9856004096 110363 33554432000 1073741824 1073778376 140735056054512 140226517247528 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 9625004
[startup+6.30066 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 32212
/proc/meminfo: memFree=30075528/32873844 swapFree=6600/6600
[pid=32193] ppid=32191 vsize=9625004 CPUtime=8.28 cores=1,3,5,7
/proc/32193/stat : 32193 (java) S 32191 32193 28151 0 -1 4202496 17031 0 1 0 793 35 0 0 20 0 19 0 281840728 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140735056045648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32193/statm: 2406251 170472 2275 9 0 2396937 0
[pid=32193/tid=32195] ppid=32191 vsize=9625004 CPUtime=6.02 cores=1,3,5,7
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 28151 0 -1 4202560 3240 0 1 0 591 11 0 0 20 0 19 0 281840730 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227440306624 140227277093318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32196] ppid=32191 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 28151 0 -1 4202560 48 0 0 0 6 2 0 0 20 0 19 0 281840731 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227401800616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32197] ppid=32191 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 28151 0 -1 4202560 56 0 0 0 6 3 0 0 20 0 19 0 281840731 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227400748072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32198] ppid=32191 vsize=9625004 CPUtime=0.11 cores=1,3,5,7
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 28151 0 -1 4202560 46 0 0 0 8 3 0 0 20 0 19 0 281840731 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227399695016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32199] ppid=32191 vsize=9625004 CPUtime=0.13 cores=1,3,5,7
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 28151 0 -1 4202560 62 0 0 0 10 3 0 0 20 0 19 0 281840731 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227398642472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 28151 0 -1 4202560 41 0 0 0 5 3 0 0 20 0 19 0 281840731 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227397589416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 28151 0 -1 4202560 54 0 0 0 6 2 0 0 20 0 19 0 281840731 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227396536872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 28151 0 -1 4202560 48 0 0 0 5 3 0 0 20 0 19 0 281840731 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227395483816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32193/tid=32203] ppid=32191 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 28151 0 -1 4202560 33 0 0 0 5 1 0 0 20 0 19 0 281840731 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227276433704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 28151 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 19 0 281840732 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227264236392 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281840732 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227263182712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32206] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281840732 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227262129544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32207] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32207/stat : 32207 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140227261078288 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32208] ppid=32191 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/32193/task/32208/stat : 32208 (java) S 32191 32193 28151 0 -1 4202560 3723 0 0 0 55 2 0 0 20 0 19 0 281840735 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140226521459000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32209] ppid=32191 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/32193/task/32209/stat : 32209 (java) S 32191 32193 28151 0 -1 4202560 8032 0 0 0 77 1 0 0 20 0 19 0 281840735 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140226520406456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32210] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32210/stat : 32210 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140226519353592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32211] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32211/stat : 32211 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140226518301256 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32212] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32212/stat : 32212 (java) S 32191 32193 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281840884 9856004096 170472 33554432000 1073741824 1073778376 140735056054512 140226517247528 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.28
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 32212
/proc/meminfo: memFree=29866152/32873844 swapFree=6600/6600
################
# More data... #
################
[pid=32193/tid=32208] ppid=32191 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/32193/task/32208/stat : 32208 (java) S 32191 32193 28151 0 -1 4202560 3730 0 0 0 58 2 0 0 20 0 19 0 281840735 9856004096 577100 33554432000 1073741824 1073778376 140735056054512 140226521459000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32209] ppid=32191 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/32193/task/32209/stat : 32209 (java) S 32191 32193 28151 0 -1 4202560 8039 0 0 0 79 1 0 0 20 0 19 0 281840735 9856004096 577100 33554432000 1073741824 1073778376 140735056054512 140226520406456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32210] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32210/stat : 32210 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 577100 33554432000 1073741824 1073778376 140735056054512 140226519353592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32211] ppid=32191 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/32193/task/32211/stat : 32211 (java) S 32191 32193 28151 0 -1 4202560 95 0 0 0 22 22 0 0 20 0 19 0 281840735 9856004096 577100 33554432000 1073741824 1073778376 140735056054512 140226518301256 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32212] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32212/stat : 32212 (java) S 32191 32193 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281840884 9856004096 577100 33554432000 1073741824 1073778376 140735056054512 140226517247528 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1673.21
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/213 32285
/proc/meminfo: memFree=26101764/32873844 swapFree=6600/6600
[pid=32193] ppid=32191 vsize=9625004 CPUtime=1734.01 cores=1,3,5,7
/proc/32193/stat : 32193 (java) S 32191 32193 28151 0 -1 4202496 21699 0 1 0 173264 137 0 0 20 0 19 0 281840728 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140735056045648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32193/statm: 2406251 576824 2290 9 0 2396937 0
[pid=32193/tid=32195] ppid=32191 vsize=9625004 CPUtime=1712.19 cores=1,3,5,7
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 28151 0 -1 4202560 4909 0 1 0 171149 70 0 0 20 0 19 0 281840730 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227440307360 140227277093220 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32196] ppid=32191 vsize=9625004 CPUtime=1.91 cores=1,3,5,7
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 28151 0 -1 4202560 113 0 0 0 184 7 0 0 20 0 19 0 281840731 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227401800616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32197] ppid=32191 vsize=9625004 CPUtime=1.85 cores=1,3,5,7
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 28151 0 -1 4202560 100 0 0 0 177 8 0 0 20 0 19 0 281840731 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227400748072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32198] ppid=32191 vsize=9625004 CPUtime=1.98 cores=1,3,5,7
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 28151 0 -1 4202560 123 0 0 0 191 7 0 0 20 0 19 0 281840731 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227399695016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32199] ppid=32191 vsize=9625004 CPUtime=1.99 cores=1,3,5,7
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 28151 0 -1 4202560 132 0 0 0 191 8 0 0 20 0 19 0 281840731 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227398642472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=9625004 CPUtime=1.86 cores=1,3,5,7
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 28151 0 -1 4202560 104 0 0 0 178 8 0 0 20 0 19 0 281840731 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227397589416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=9625004 CPUtime=1.92 cores=1,3,5,7
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 28151 0 -1 4202560 108 0 0 0 185 7 0 0 20 0 19 0 281840731 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227396536872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=9625004 CPUtime=2.04 cores=1,3,5,7
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 28151 0 -1 4202560 138 0 0 0 194 10 0 0 20 0 19 0 281840731 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227395483816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32203] ppid=32191 vsize=9625004 CPUtime=1.87 cores=1,3,5,7
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 28151 0 -1 4202560 105 0 0 0 181 6 0 0 20 0 19 0 281840731 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227276433704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 28151 0 -1 4202560 2813 0 0 0 31 12 0 0 20 0 19 0 281840732 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227264236392 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281840732 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227263182712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32206] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281840732 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227262129544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32207] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32207/stat : 32207 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140227261078288 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32208] ppid=32191 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/32193/task/32208/stat : 32208 (java) S 32191 32193 28151 0 -1 4202560 3730 0 0 0 58 2 0 0 20 0 19 0 281840735 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140226521459000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32209] ppid=32191 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/32193/task/32209/stat : 32209 (java) S 32191 32193 28151 0 -1 4202560 8039 0 0 0 79 1 0 0 20 0 19 0 281840735 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140226520406456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32210] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32210/stat : 32210 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140226519353592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32211] ppid=32191 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/32193/task/32211/stat : 32211 (java) S 32191 32193 28151 0 -1 4202560 99 0 0 0 23 22 0 0 20 0 19 0 281840735 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140226518301256 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32212] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32212/stat : 32212 (java) S 32191 32193 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281840884 9856004096 576824 33554432000 1073741824 1073778376 140735056054512 140226517247528 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1734.01
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 32286
/proc/meminfo: memFree=26103264/32873844 swapFree=6600/6600
[pid=32193] ppid=32191 vsize=9625004 CPUtime=1794.83 cores=1,3,5,7
/proc/32193/stat : 32193 (java) S 32191 32193 28151 0 -1 4202496 21773 0 1 0 179343 140 0 0 20 0 19 0 281840728 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140735056045648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32193/statm: 2406251 577060 2290 9 0 2396937 0
[pid=32193/tid=32195] ppid=32191 vsize=9625004 CPUtime=1771.6 cores=1,3,5,7
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 28151 0 -1 4202560 4963 0 1 0 177090 70 0 0 20 0 19 0 281840730 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227440307424 140227277311242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32196] ppid=32191 vsize=9625004 CPUtime=2.06 cores=1,3,5,7
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 28151 0 -1 4202560 116 0 0 0 199 7 0 0 20 0 19 0 281840731 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227401800616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32193/tid=32197] ppid=32191 vsize=9625004 CPUtime=2.01 cores=1,3,5,7
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 28151 0 -1 4202560 102 0 0 0 192 9 0 0 20 0 19 0 281840731 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227400748072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32198] ppid=32191 vsize=9625004 CPUtime=2.16 cores=1,3,5,7
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 28151 0 -1 4202560 123 0 0 0 209 7 0 0 20 0 19 0 281840731 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227399695016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32199] ppid=32191 vsize=9625004 CPUtime=2.14 cores=1,3,5,7
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 28151 0 -1 4202560 133 0 0 0 206 8 0 0 20 0 19 0 281840731 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227398642472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=9625004 CPUtime=2 cores=1,3,5,7
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 28151 0 -1 4202560 105 0 0 0 192 8 0 0 20 0 19 0 281840731 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227397589416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=9625004 CPUtime=2.08 cores=1,3,5,7
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 28151 0 -1 4202560 111 0 0 0 201 7 0 0 20 0 19 0 281840731 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227396536872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=9625004 CPUtime=2.21 cores=1,3,5,7
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 28151 0 -1 4202560 140 0 0 0 210 11 0 0 20 0 19 0 281840731 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227395483816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32203] ppid=32191 vsize=9625004 CPUtime=2.03 cores=1,3,5,7
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 28151 0 -1 4202560 105 0 0 0 197 6 0 0 20 0 19 0 281840731 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227276433704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 28151 0 -1 4202560 2817 0 0 0 32 12 0 0 20 0 19 0 281840732 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227264236392 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281840732 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227263182712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32206] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281840732 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227262129544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32207] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32207/stat : 32207 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140227261078288 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32208] ppid=32191 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/32193/task/32208/stat : 32208 (java) S 32191 32193 28151 0 -1 4202560 3730 0 0 0 58 2 0 0 20 0 19 0 281840735 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140226521459000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32209] ppid=32191 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/32193/task/32209/stat : 32209 (java) S 32191 32193 28151 0 -1 4202560 8039 0 0 0 79 1 0 0 20 0 19 0 281840735 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140226520406456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32210] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32210/stat : 32210 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140226519353592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32211] ppid=32191 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/32193/task/32211/stat : 32211 (java) S 32191 32193 28151 0 -1 4202560 103 0 0 0 23 24 0 0 20 0 19 0 281840735 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140226518301256 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32212] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32212/stat : 32212 (java) S 32191 32193 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281840884 9856004096 577060 33554432000 1073741824 1073778376 140735056054512 140226517247528 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1794.83
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.4 s]
/proc/loadavg: 1.98 1.98 1.99 5/213 32286
/proc/meminfo: memFree=26104752/32873844 swapFree=6600/6600
[pid=32193] ppid=32191 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/32193/stat : 32193 (java) S 32191 32193 28151 0 -1 4202496 21778 0 1 0 179861 140 0 0 20 0 19 0 281840728 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140735056045648 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/32193/statm: 2406251 576852 2290 9 0 2396937 0
[pid=32193/tid=32195] ppid=32191 vsize=9625004 CPUtime=1776.65 cores=1,3,5,7
/proc/32193/task/32195/stat : 32195 (java) R 32191 32193 28151 0 -1 4202560 4968 0 1 0 177595 70 0 0 20 0 19 0 281840730 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227440307376 140227277311196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32196] ppid=32191 vsize=9625004 CPUtime=2.08 cores=1,3,5,7
/proc/32193/task/32196/stat : 32196 (java) S 32191 32193 28151 0 -1 4202560 116 0 0 0 201 7 0 0 20 0 19 0 281840731 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227401800616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32197] ppid=32191 vsize=9625004 CPUtime=2.03 cores=1,3,5,7
/proc/32193/task/32197/stat : 32197 (java) S 32191 32193 28151 0 -1 4202560 102 0 0 0 194 9 0 0 20 0 19 0 281840731 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227400748072 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32198] ppid=32191 vsize=9625004 CPUtime=2.18 cores=1,3,5,7
/proc/32193/task/32198/stat : 32198 (java) S 32191 32193 28151 0 -1 4202560 123 0 0 0 211 7 0 0 20 0 19 0 281840731 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227399695016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32199] ppid=32191 vsize=9625004 CPUtime=2.14 cores=1,3,5,7
/proc/32193/task/32199/stat : 32199 (java) S 32191 32193 28151 0 -1 4202560 133 0 0 0 206 8 0 0 20 0 19 0 281840731 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227398642472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32200] ppid=32191 vsize=9625004 CPUtime=2.02 cores=1,3,5,7
/proc/32193/task/32200/stat : 32200 (java) S 32191 32193 28151 0 -1 4202560 105 0 0 0 194 8 0 0 20 0 19 0 281840731 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227397589416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32201] ppid=32191 vsize=9625004 CPUtime=2.09 cores=1,3,5,7
/proc/32193/task/32201/stat : 32201 (java) S 32191 32193 28151 0 -1 4202560 111 0 0 0 202 7 0 0 20 0 19 0 281840731 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227396536872 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32202] ppid=32191 vsize=9625004 CPUtime=2.22 cores=1,3,5,7
/proc/32193/task/32202/stat : 32202 (java) S 32191 32193 28151 0 -1 4202560 140 0 0 0 211 11 0 0 20 0 19 0 281840731 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227395483816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32203] ppid=32191 vsize=9625004 CPUtime=2.03 cores=1,3,5,7
/proc/32193/task/32203/stat : 32203 (java) S 32191 32193 28151 0 -1 4202560 105 0 0 0 197 6 0 0 20 0 19 0 281840731 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227276433704 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32204] ppid=32191 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/32193/task/32204/stat : 32204 (java) S 32191 32193 28151 0 -1 4202560 2817 0 0 0 32 12 0 0 20 0 19 0 281840732 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227264236392 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32205] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32205/stat : 32205 (java) S 32191 32193 28151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281840732 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227263182712 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32206] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32206/stat : 32206 (java) S 32191 32193 28151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281840732 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227262129544 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32207] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32207/stat : 32207 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140227261078288 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32208] ppid=32191 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/32193/task/32208/stat : 32208 (java) S 32191 32193 28151 0 -1 4202560 3730 0 0 0 58 2 0 0 20 0 19 0 281840735 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140226521459000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32209] ppid=32191 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/32193/task/32209/stat : 32209 (java) S 32191 32193 28151 0 -1 4202560 8039 0 0 0 79 1 0 0 20 0 19 0 281840735 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140226520406456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32193/tid=32210] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32210/stat : 32210 (java) S 32191 32193 28151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281840735 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140226519353592 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32193/tid=32211] ppid=32191 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/32193/task/32211/stat : 32211 (java) S 32191 32193 28151 0 -1 4202560 103 0 0 0 23 24 0 0 20 0 19 0 281840735 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140226518301256 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32193/tid=32212] ppid=32191 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/32193/task/32212/stat : 32212 (java) S 32191 32193 28151 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281840884 9856004096 576852 33554432000 1073741824 1073778376 140735056054512 140226517247528 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32193 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=161246
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=851718
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1787.45
CPU time (s): 1800.01
CPU user time (s): 1798.61
CPU system time (s): 1.4
CPU usage (%): 100.703
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.16
system time used= 1.85172
maximum resident set size= 2819168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21810
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60865
involuntary context switches= 70453
runsolver used 6.20006 second user time and 15.4237 second system time
The end