runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4085154-1465222692/watcher-4085154-1465222692 -o /tmp/evaluation-result-4085154-1465222692/solver-4085154-1465222692 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465220764-32603 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085154-1465222692.opb
pid=1171
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.05 2.00 3/194 1174
/proc/meminfo: memFree=31171800/32872528 swapFree=12744/274376
[pid=1174] ppid=1171 vsize=9324 CPUtime=0 cores=0,2,4,6
/proc/1174/stat : 1174 (java) R 1171 1174 32587 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 104203940 9547776 182 33554432000 1073741824 1073778376 140735559486176 140735559468904 251143210368 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1174/statm: 2323 182 140 9 0 71 0
[startup+0.100126 s]
/proc/loadavg: 2.04 2.05 2.00 3/194 1174
/proc/meminfo: memFree=31171800/32872528 swapFree=12744/274376
[pid=1174] ppid=1171 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/1174/stat : 1174 (java) S 1171 1174 32587 0 -1 4202496 4182 0 1 0 7 1 0 0 20 0 18 0 104203940 9787879424 5311 33554432000 1073741824 1073778376 140735924201536 140735924192672 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1174/statm: 2389619 5334 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200292 s]
/proc/loadavg: 2.04 2.05 2.00 3/194 1174
/proc/meminfo: memFree=31171800/32872528 swapFree=12744/274376
[pid=1174] ppid=1171 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/1174/stat : 1174 (java) S 1171 1174 32587 0 -1 4202496 4691 0 1 0 22 1 0 0 20 0 18 0 104203940 9787879424 6750 33554432000 1073741824 1073778376 140735924201536 140735924192672 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1174/statm: 2389619 6750 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300278 s]
/proc/loadavg: 2.04 2.05 2.00 3/194 1174
/proc/meminfo: memFree=31171800/32872528 swapFree=12744/274376
[pid=1174] ppid=1171 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/1174/stat : 1174 (java) S 1171 1174 32587 0 -1 4202496 7321 0 1 0 49 2 0 0 20 0 19 0 104203940 9856040960 9101 33554432000 1073741824 1073778376 140735924201536 140735924192672 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1174/statm: 2406260 9101 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040
[startup+0.70022 s]
/proc/loadavg: 2.04 2.05 2.00 3/194 1174
/proc/meminfo: memFree=31171800/32872528 swapFree=12744/274376
[pid=1174] ppid=1171 vsize=9625040 CPUtime=1.18 cores=0,2,4,6
/proc/1174/stat : 1174 (java) S 1171 1174 32587 0 -1 4202496 9023 0 1 0 115 3 0 0 20 0 19 0 104203940 9856040960 11765 33554432000 1073741824 1073778376 140735924201536 140735924192672 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1174/statm: 2406260 11765 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9625040
[startup+1.50079 s]
/proc/loadavg: 2.04 2.05 2.00 3/213 1193
/proc/meminfo: memFree=31123924/32872528 swapFree=12744/274376
[pid=1174] ppid=1171 vsize=9625040 CPUtime=2.09 cores=0,2,4,6
/proc/1174/stat : 1174 (java) S 1171 1174 32587 0 -1 4202496 9735 0 1 0 206 3 0 0 20 0 19 0 104203940 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140735924192672 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1174/statm: 2406260 16436 2260 9 0 2396937 0
[pid=1174/tid=1176] ppid=1171 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/1174/task/1176/stat : 1176 (java) R 1171 1174 32587 0 -1 4202560 2426 0 1 0 144 3 0 0 20 0 19 0 104203941 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140460119682408 140459943472050 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1177] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1177/stat : 1177 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140460081174824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1178] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1178/stat : 1178 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140460080122024 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1179] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1179/stat : 1179 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140460079069736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1174/tid=1180] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1180/stat : 1180 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140460078016936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1181] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1181/stat : 1181 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140460076964648 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1182] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1182/stat : 1182 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140460075911848 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1183] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1183/stat : 1183 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140460074859560 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1184] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1184/stat : 1184 (java) S 1171 1174 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140460073806760 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1185] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1185/stat : 1185 (java) S 1171 1174 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140460061395176 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1186] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1186/stat : 1186 (java) S 1171 1174 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140459942863864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1187] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1187/stat : 1187 (java) S 1171 1174 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140459941811464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1188] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1188/stat : 1188 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140459940759952 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1189] ppid=1171 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/1174/task/1189/stat : 1189 (java) S 1171 1174 32587 0 -1 4202560 3697 0 0 0 32 0 0 0 20 0 19 0 104203947 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140459939707576 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1190] ppid=1171 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/1174/task/1190/stat : 1190 (java) S 1171 1174 32587 0 -1 4202560 2340 0 0 0 27 0 0 0 20 0 19 0 104203947 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140459938654776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1191] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1191/stat : 1191 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140459937602680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1192] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1192/stat : 1192 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140459936550088 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1193] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1193/stat : 1193 (java) S 1171 1174 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104203966 9856040960 16436 33554432000 1073741824 1073778376 140735924201536 140459935445928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9625040
[startup+3.10078 s]
/proc/loadavg: 2.04 2.05 2.00 4/213 1193
/proc/meminfo: memFree=31090420/32872528 swapFree=12744/274376
[pid=1174] ppid=1171 vsize=9625040 CPUtime=4.08 cores=0,2,4,6
/proc/1174/stat : 1174 (java) S 1171 1174 32587 0 -1 4202496 16487 0 1 0 403 5 0 0 20 0 19 0 104203940 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140735924192672 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1174/statm: 2406260 28507 2260 9 0 2396937 0
[pid=1174/tid=1176] ppid=1171 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/1174/task/1176/stat : 1176 (java) R 1171 1174 32587 0 -1 4202560 2443 0 1 0 303 3 0 0 20 0 19 0 104203941 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140460119674592 140459943634932 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1177] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1177/stat : 1177 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140460081174824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1178] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1178/stat : 1178 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140460080122024 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1179] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1179/stat : 1179 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140460079069736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1174/tid=1180] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1180/stat : 1180 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140460078016936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1181] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1181/stat : 1181 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140460076964648 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1182] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1182/stat : 1182 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140460075911848 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1183] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1183/stat : 1183 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140460074859560 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1184] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1184/stat : 1184 (java) S 1171 1174 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140460073806760 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1185] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1185/stat : 1185 (java) S 1171 1174 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140460061395176 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1186] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1186/stat : 1186 (java) S 1171 1174 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140459942863864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1187] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1187/stat : 1187 (java) S 1171 1174 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140459941811464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1188] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1188/stat : 1188 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140459940759952 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1189] ppid=1171 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/1174/task/1189/stat : 1189 (java) S 1171 1174 32587 0 -1 4202560 10389 0 0 0 64 2 0 0 20 0 19 0 104203947 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140459939707576 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1190] ppid=1171 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/1174/task/1190/stat : 1190 (java) R 1171 1174 32587 0 -1 4202560 2383 0 0 0 32 0 0 0 20 0 19 0 104203947 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140459938654776 140460126472720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1191] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1191/stat : 1191 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140459937602680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1192] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1192/stat : 1192 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140459936550088 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1193] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1193/stat : 1193 (java) S 1171 1174 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104203966 9856040960 28507 33554432000 1073741824 1073778376 140735924201536 140459935445928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 9625040
[startup+6.30082 s]
/proc/loadavg: 2.04 2.05 2.00 3/213 1193
/proc/meminfo: memFree=31020312/32872528 swapFree=12744/274376
[pid=1174] ppid=1171 vsize=9625040 CPUtime=7.67 cores=0,2,4,6
/proc/1174/stat : 1174 (java) S 1171 1174 32587 0 -1 4202496 20698 0 1 0 761 6 0 0 20 0 19 0 104203940 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140735924192672 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1174/statm: 2406260 44712 2261 9 0 2396937 0
[pid=1174/tid=1176] ppid=1171 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/1174/task/1176/stat : 1176 (java) R 1171 1174 32587 0 -1 4202560 2474 0 1 0 622 4 0 0 20 0 19 0 104203941 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140460119681488 140459943472066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1177] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1177/stat : 1177 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140460081174824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1178] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1178/stat : 1178 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140460080122024 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1179] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1179/stat : 1179 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140460079069736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1174/tid=1180] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1180/stat : 1180 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140460078016936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1181] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1181/stat : 1181 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140460076964648 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1182] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1182/stat : 1182 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140460075911848 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1183] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1183/stat : 1183 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140460074859560 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1184] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1184/stat : 1184 (java) S 1171 1174 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104203942 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140460073806760 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1185] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1185/stat : 1185 (java) S 1171 1174 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140460061395176 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1186] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1186/stat : 1186 (java) S 1171 1174 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140459942863864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1187] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1187/stat : 1187 (java) S 1171 1174 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140459941811464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1188] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1188/stat : 1188 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140459940759952 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1189] ppid=1171 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/1174/task/1189/stat : 1189 (java) S 1171 1174 32587 0 -1 4202560 10389 0 0 0 66 2 0 0 20 0 19 0 104203947 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140459939707576 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1190] ppid=1171 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/1174/task/1190/stat : 1190 (java) S 1171 1174 32587 0 -1 4202560 6562 0 0 0 70 0 0 0 20 0 19 0 104203947 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140459938654776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1191] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1191/stat : 1191 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140459937602680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1192] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1192/stat : 1192 (java) S 1171 1174 32587 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140459936550088 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1193] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1193/stat : 1193 (java) S 1171 1174 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104203966 9856040960 44712 33554432000 1073741824 1073778376 140735924201536 140459935445928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=1174/tid=1186] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1186/stat : 1186 (java) S 1171 1174 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 62414 33554432000 1073741824 1073778376 140735924201536 140459942863864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1187] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1187/stat : 1187 (java) S 1171 1174 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 62414 33554432000 1073741824 1073778376 140735924201536 140459941811464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1188] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1188/stat : 1188 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 62414 33554432000 1073741824 1073778376 140735924201536 140459940759952 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1189] ppid=1171 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/1174/task/1189/stat : 1189 (java) S 1171 1174 32587 0 -1 4202560 10389 0 0 0 66 2 0 0 20 0 19 0 104203947 9856040960 62414 33554432000 1073741824 1073778376 140735924201536 140459939707576 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1190] ppid=1171 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/1174/task/1190/stat : 1190 (java) S 1171 1174 32587 0 -1 4202560 6565 0 0 0 74 1 0 0 20 0 19 0 104203947 9856040960 62414 33554432000 1073741824 1073778376 140735924201536 140459938654776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1191] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1191/stat : 1191 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 62414 33554432000 1073741824 1073778376 140735924201536 140459937602680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1192] ppid=1171 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/1174/task/1192/stat : 1192 (java) S 1171 1174 32587 0 -1 4202560 96 0 0 0 37 25 0 0 20 0 19 0 104203947 9856040960 62414 33554432000 1073741824 1073778376 140735924201536 140459936550088 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1193] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1193/stat : 1193 (java) S 1171 1174 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104203966 9856040960 62414 33554432000 1073741824 1073778376 140735924201536 140459935445928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1677.09
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.23 2.10 2.02 3/213 1304
/proc/meminfo: memFree=31204676/32872528 swapFree=12744/274376
[pid=1174] ppid=1171 vsize=9625040 CPUtime=1737.62 cores=0,2,4,6
/proc/1174/stat : 1174 (java) S 1171 1174 32587 0 -1 4202496 37733 0 1 0 173589 173 0 0 20 0 19 0 104203940 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140735924192672 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1174/statm: 2406260 64295 2283 9 0 2396937 0
[pid=1174/tid=1176] ppid=1171 vsize=9625040 CPUtime=1711.58 cores=0,2,4,6
/proc/1174/task/1176/stat : 1176 (java) R 1171 1174 32587 0 -1 4202560 2905 0 1 0 171125 33 0 0 20 0 19 0 104203941 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140460119682272 140459943452153 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=1174/tid=1177] ppid=1171 vsize=9625040 CPUtime=2.61 cores=0,2,4,6
/proc/1174/task/1177/stat : 1177 (java) S 1171 1174 32587 0 -1 4202560 1613 0 0 0 240 21 0 0 20 0 19 0 104203942 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140460081174824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1178] ppid=1171 vsize=9625040 CPUtime=2.42 cores=0,2,4,6
/proc/1174/task/1178/stat : 1178 (java) S 1171 1174 32587 0 -1 4202560 1633 0 0 0 225 17 0 0 20 0 19 0 104203942 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140460080122024 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1179] ppid=1171 vsize=9625040 CPUtime=2.52 cores=0,2,4,6
/proc/1174/task/1179/stat : 1179 (java) S 1171 1174 32587 0 -1 4202560 2479 0 0 0 234 18 0 0 20 0 19 0 104203942 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140460079069736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1174/tid=1180] ppid=1171 vsize=9625040 CPUtime=2.47 cores=0,2,4,6
/proc/1174/task/1180/stat : 1180 (java) S 1171 1174 32587 0 -1 4202560 2278 0 0 0 232 15 0 0 20 0 19 0 104203942 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140460078016936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1181] ppid=1171 vsize=9625040 CPUtime=2.69 cores=0,2,4,6
/proc/1174/task/1181/stat : 1181 (java) S 1171 1174 32587 0 -1 4202560 2536 0 0 0 247 22 0 0 20 0 19 0 104203942 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140460076964648 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1182] ppid=1171 vsize=9625040 CPUtime=2.45 cores=0,2,4,6
/proc/1174/task/1182/stat : 1182 (java) S 1171 1174 32587 0 -1 4202560 1332 0 0 0 228 17 0 0 20 0 19 0 104203942 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140460075911848 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1183] ppid=1171 vsize=9625040 CPUtime=2.46 cores=0,2,4,6
/proc/1174/task/1183/stat : 1183 (java) S 1171 1174 32587 0 -1 4202560 1356 0 0 0 232 14 0 0 20 0 19 0 104203942 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140460074859560 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1174/tid=1184] ppid=1171 vsize=9625040 CPUtime=2.49 cores=0,2,4,6
/proc/1174/task/1184/stat : 1184 (java) S 1171 1174 32587 0 -1 4202560 1987 0 0 0 232 17 0 0 20 0 19 0 104203942 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140460073806760 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1185] ppid=1171 vsize=9625040 CPUtime=4.34 cores=0,2,4,6
/proc/1174/task/1185/stat : 1185 (java) S 1171 1174 32587 0 -1 4202560 1302 0 0 0 426 8 0 0 20 0 19 0 104203944 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140460061395176 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1186] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1186/stat : 1186 (java) S 1171 1174 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140459942863864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1187] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1187/stat : 1187 (java) S 1171 1174 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140459941811464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1188] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1188/stat : 1188 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140459940759952 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1189] ppid=1171 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/1174/task/1189/stat : 1189 (java) S 1171 1174 32587 0 -1 4202560 10389 0 0 0 66 2 0 0 20 0 19 0 104203947 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140459939707576 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1190] ppid=1171 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/1174/task/1190/stat : 1190 (java) S 1171 1174 32587 0 -1 4202560 6565 0 0 0 74 1 0 0 20 0 19 0 104203947 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140459938654776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1191] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1191/stat : 1191 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140459937602680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1192] ppid=1171 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/1174/task/1192/stat : 1192 (java) S 1171 1174 32587 0 -1 4202560 100 0 0 0 38 26 0 0 20 0 19 0 104203947 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140459936550088 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1193] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1193/stat : 1193 (java) S 1171 1174 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104203966 9856040960 64295 33554432000 1073741824 1073778376 140735924201536 140459935445928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1737.62
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.12 2.09 2.02 3/213 1305
/proc/meminfo: memFree=30948480/32872528 swapFree=12744/274376
[pid=1174] ppid=1171 vsize=9625040 CPUtime=1798.36 cores=0,2,4,6
/proc/1174/stat : 1174 (java) S 1171 1174 32587 0 -1 4202496 38720 0 1 0 179654 182 0 0 20 0 19 0 104203940 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140735924192672 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1174/statm: 2406260 54446 2283 9 0 2396937 0
[pid=1174/tid=1176] ppid=1171 vsize=9625040 CPUtime=1771 cores=0,2,4,6
/proc/1174/task/1176/stat : 1176 (java) R 1171 1174 32587 0 -1 4202560 2930 0 1 0 177067 33 0 0 20 0 19 0 104203941 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140460119682256 140459943495802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1177] ppid=1171 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/1174/task/1177/stat : 1177 (java) S 1171 1174 32587 0 -1 4202560 1743 0 0 0 253 22 0 0 20 0 19 0 104203942 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140460081174824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1178] ppid=1171 vsize=9625040 CPUtime=2.56 cores=0,2,4,6
/proc/1174/task/1178/stat : 1178 (java) S 1171 1174 32587 0 -1 4202560 1724 0 0 0 239 17 0 0 20 0 19 0 104203942 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140460080122024 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1179] ppid=1171 vsize=9625040 CPUtime=2.71 cores=0,2,4,6
/proc/1174/task/1179/stat : 1179 (java) S 1171 1174 32587 0 -1 4202560 2639 0 0 0 251 20 0 0 20 0 19 0 104203942 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140460079069736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1174/tid=1180] ppid=1171 vsize=9625040 CPUtime=2.58 cores=0,2,4,6
/proc/1174/task/1180/stat : 1180 (java) S 1171 1174 32587 0 -1 4202560 2372 0 0 0 242 16 0 0 20 0 19 0 104203942 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140460078016936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1181] ppid=1171 vsize=9625040 CPUtime=2.83 cores=0,2,4,6
/proc/1174/task/1181/stat : 1181 (java) S 1171 1174 32587 0 -1 4202560 2548 0 0 0 260 23 0 0 20 0 19 0 104203942 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140460076964648 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1182] ppid=1171 vsize=9625040 CPUtime=2.58 cores=0,2,4,6
/proc/1174/task/1182/stat : 1182 (java) S 1171 1174 32587 0 -1 4202560 1340 0 0 0 241 17 0 0 20 0 19 0 104203942 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140460075911848 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1183] ppid=1171 vsize=9625040 CPUtime=2.58 cores=0,2,4,6
/proc/1174/task/1183/stat : 1183 (java) S 1171 1174 32587 0 -1 4202560 1739 0 0 0 243 15 0 0 20 0 19 0 104203942 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140460074859560 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1184] ppid=1171 vsize=9625040 CPUtime=2.6 cores=0,2,4,6
/proc/1174/task/1184/stat : 1184 (java) S 1171 1174 32587 0 -1 4202560 2002 0 0 0 243 17 0 0 20 0 19 0 104203942 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140460073806760 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1185] ppid=1171 vsize=9625040 CPUtime=4.58 cores=0,2,4,6
/proc/1174/task/1185/stat : 1185 (java) S 1171 1174 32587 0 -1 4202560 1367 0 0 0 450 8 0 0 20 0 19 0 104203944 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140460061395176 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1186] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1186/stat : 1186 (java) S 1171 1174 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140459942863864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1187] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1187/stat : 1187 (java) S 1171 1174 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140459941811464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1188] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1188/stat : 1188 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140459940759952 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1189] ppid=1171 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/1174/task/1189/stat : 1189 (java) S 1171 1174 32587 0 -1 4202560 10389 0 0 0 66 2 0 0 20 0 19 0 104203947 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140459939707576 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1190] ppid=1171 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/1174/task/1190/stat : 1190 (java) S 1171 1174 32587 0 -1 4202560 6565 0 0 0 74 1 0 0 20 0 19 0 104203947 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140459938654776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1191] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1191/stat : 1191 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140459937602680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1192] ppid=1171 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/1174/task/1192/stat : 1192 (java) S 1171 1174 32587 0 -1 4202560 104 0 0 0 39 28 0 0 20 0 19 0 104203947 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140459936550088 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1193] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1193/stat : 1193 (java) S 1171 1174 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104203966 9856040960 54446 33554432000 1073741824 1073778376 140735924201536 140459935445928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.36
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1784 s]
/proc/loadavg: 2.12 2.09 2.02 3/213 1305
/proc/meminfo: memFree=30948480/32872528 swapFree=12744/274376
[pid=1174] ppid=1171 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/1174/stat : 1174 (java) S 1171 1174 32587 0 -1 4202496 38721 0 1 0 179826 183 0 0 20 0 19 0 104203940 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140735924192672 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1174/statm: 2406260 54445 2283 9 0 2396937 0
[pid=1174/tid=1176] ppid=1171 vsize=9625040 CPUtime=1772.68 cores=0,2,4,6
/proc/1174/task/1176/stat : 1176 (java) R 1171 1174 32587 0 -1 4202560 2931 0 1 0 177235 33 0 0 20 0 19 0 104203941 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140460119682256 140459943452401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1177] ppid=1171 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/1174/task/1177/stat : 1177 (java) S 1171 1174 32587 0 -1 4202560 1743 0 0 0 253 22 0 0 20 0 19 0 104203942 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140460081174824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1178] ppid=1171 vsize=9625040 CPUtime=2.56 cores=0,2,4,6
/proc/1174/task/1178/stat : 1178 (java) S 1171 1174 32587 0 -1 4202560 1724 0 0 0 239 17 0 0 20 0 19 0 104203942 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140460080122024 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1179] ppid=1171 vsize=9625040 CPUtime=2.72 cores=0,2,4,6
/proc/1174/task/1179/stat : 1179 (java) S 1171 1174 32587 0 -1 4202560 2639 0 0 0 252 20 0 0 20 0 19 0 104203942 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140460079069736 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1174/tid=1180] ppid=1171 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/1174/task/1180/stat : 1180 (java) S 1171 1174 32587 0 -1 4202560 2372 0 0 0 243 16 0 0 20 0 19 0 104203942 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140460078016936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1181] ppid=1171 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/1174/task/1181/stat : 1181 (java) S 1171 1174 32587 0 -1 4202560 2548 0 0 0 261 23 0 0 20 0 19 0 104203942 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140460076964648 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1182] ppid=1171 vsize=9625040 CPUtime=2.58 cores=0,2,4,6
/proc/1174/task/1182/stat : 1182 (java) S 1171 1174 32587 0 -1 4202560 1340 0 0 0 241 17 0 0 20 0 19 0 104203942 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140460075911848 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1183] ppid=1171 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/1174/task/1183/stat : 1183 (java) S 1171 1174 32587 0 -1 4202560 1739 0 0 0 244 15 0 0 20 0 19 0 104203942 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140460074859560 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1184] ppid=1171 vsize=9625040 CPUtime=2.6 cores=0,2,4,6
/proc/1174/task/1184/stat : 1184 (java) S 1171 1174 32587 0 -1 4202560 2002 0 0 0 243 17 0 0 20 0 19 0 104203942 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140460073806760 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1185] ppid=1171 vsize=9625040 CPUtime=4.58 cores=0,2,4,6
/proc/1174/task/1185/stat : 1185 (java) S 1171 1174 32587 0 -1 4202560 1367 0 0 0 450 8 0 0 20 0 19 0 104203944 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140460061395176 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1186] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1186/stat : 1186 (java) S 1171 1174 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140459942863864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1187] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1187/stat : 1187 (java) S 1171 1174 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104203944 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140459941811464 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1188] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1188/stat : 1188 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140459940759952 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1189] ppid=1171 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/1174/task/1189/stat : 1189 (java) S 1171 1174 32587 0 -1 4202560 10389 0 0 0 66 2 0 0 20 0 19 0 104203947 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140459939707576 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1174/tid=1190] ppid=1171 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/1174/task/1190/stat : 1190 (java) S 1171 1174 32587 0 -1 4202560 6565 0 0 0 74 1 0 0 20 0 19 0 104203947 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140459938654776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1191] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1191/stat : 1191 (java) S 1171 1174 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104203947 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140459937602680 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1174/tid=1192] ppid=1171 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/1174/task/1192/stat : 1192 (java) S 1171 1174 32587 0 -1 4202560 104 0 0 0 39 28 0 0 20 0 19 0 104203947 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140459936550088 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1174/tid=1193] ppid=1171 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1174/task/1193/stat : 1193 (java) S 1171 1174 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104203966 9856040960 54445 33554432000 1073741824 1073778376 140735924201536 140459935445928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1174 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1784.04
CPU time (s): 1800.9
CPU user time (s): 1798.57
CPU system time (s): 2.32965
CPU usage (%): 100.945
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 2.32965
maximum resident set size= 672056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38760
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= 51734
involuntary context switches= 48717
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.66368 second user time and 15.2727 second system time
The end