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-3709822-1338124654/watcher-3709822-1338124654 -o /tmp/evaluation-result-3709822-1338124654/solver-3709822-1338124654 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709822-1338124654.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.06 2.01 2.00 3/194 17263
/proc/meminfo: memFree=27582508/32873660 swapFree=7120/7120
[pid=17263] ppid=17261 vsize=9216 CPUtime=0 cores=1,3,5,7
/proc/17263/stat : 17263 (java) R 17261 17263 16973 0 -1 4202496 114 0 0 0 0 0 0 0 20 0 1 0 278591175 9437184 67 33554432000 1073741824 1073778376 140734086192720 140734086189848 270320860527 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17263/statm: 2306 81 62 9 0 38 0
[startup+0.010216 s]
/proc/loadavg: 2.06 2.01 2.00 3/194 17263
/proc/meminfo: memFree=27582508/32873660 swapFree=7120/7120
[pid=17263] ppid=17261 vsize=91880 CPUtime=0 cores=1,3,5,7
/proc/17263/stat : 17263 (java) S 17261 17263 16973 0 -1 4202496 1187 0 0 0 0 0 0 0 20 0 2 0 278591175 94085120 906 33554432000 1073741824 1073778376 140737474993520 140737474984656 270333411389 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17263/statm: 22954 909 689 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 91880
[startup+0.100216 s]
/proc/loadavg: 2.06 2.01 2.00 3/194 17263
/proc/meminfo: memFree=27582508/32873660 swapFree=7120/7120
[pid=17263] ppid=17261 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/17263/stat : 17263 (java) S 17261 17263 16973 0 -1 4202496 4356 0 1 0 9 1 0 0 20 0 18 0 278591175 9787842560 6074 33554432000 1073741824 1073778376 140737474993520 140737474984656 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17263/statm: 2389610 6076 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300237 s]
/proc/loadavg: 2.06 2.01 2.00 3/194 17263
/proc/meminfo: memFree=27582508/32873660 swapFree=7120/7120
[pid=17263] ppid=17261 vsize=9625472 CPUtime=0.52 cores=1,3,5,7
/proc/17263/stat : 17263 (java) S 17261 17263 16973 0 -1 4202496 7082 0 1 0 51 1 0 0 20 0 19 0 278591175 9856483328 9301 33554432000 1073741824 1073778376 140737474993520 140737474984656 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17263/statm: 2406368 9331 2229 9 0 2397054 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625472
[startup+0.700224 s]
/proc/loadavg: 2.06 2.01 2.00 3/194 17263
/proc/meminfo: memFree=27582508/32873660 swapFree=7120/7120
[pid=17263] ppid=17261 vsize=9625004 CPUtime=1.17 cores=1,3,5,7
/proc/17263/stat : 17263 (java) S 17261 17263 16973 0 -1 4202496 8355 0 1 0 115 2 0 0 20 0 19 0 278591175 9856004096 10525 33554432000 1073741824 1073778376 140737474993520 140737474984656 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17263/statm: 2406251 10525 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9625004
[startup+1.50066 s]
/proc/loadavg: 2.22 2.05 2.01 3/213 17282
/proc/meminfo: memFree=27535772/32873660 swapFree=7120/7120
[pid=17263] ppid=17261 vsize=9625004 CPUtime=2.08 cores=1,3,5,7
/proc/17263/stat : 17263 (java) S 17261 17263 16973 0 -1 4202496 8822 0 1 0 205 3 0 0 20 0 19 0 278591175 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140737474984656 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17263/statm: 2406251 14158 2276 9 0 2396937 0
[pid=17263/tid=17265] ppid=17261 vsize=9625004 CPUtime=1.44 cores=1,3,5,7
/proc/17263/task/17265/stat : 17265 (java) R 17261 17263 16973 0 -1 4202560 2552 0 1 0 143 1 0 0 20 0 19 0 278591176 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219545817544 140219418711383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17266] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17266/stat : 17266 (java) S 17261 17263 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219389823144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17267] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17267/stat : 17267 (java) S 17261 17263 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219388770600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17268] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17268/stat : 17268 (java) S 17261 17263 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219387718056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17263/tid=17269] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17269/stat : 17269 (java) S 17261 17263 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219386665512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17270] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17270/stat : 17270 (java) S 17261 17263 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219385612968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17271] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17271/stat : 17271 (java) S 17261 17263 16973 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219384560424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17272] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17272/stat : 17272 (java) S 17261 17263 16973 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219383507880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17263/tid=17273] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17273/stat : 17273 (java) S 17261 17263 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219382455336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17263/tid=17274] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17274/stat : 17274 (java) S 17261 17263 16973 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 278591177 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219370043496 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17275] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17275/stat : 17275 (java) S 17261 17263 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278591178 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219368989816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17276] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17276/stat : 17276 (java) S 17261 17263 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278591178 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219367937160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17277] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17277/stat : 17277 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219366885904 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17278] ppid=17261 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/17263/task/17278/stat : 17278 (java) S 17261 17263 16973 0 -1 4202560 2806 0 0 0 28 0 0 0 20 0 19 0 278591180 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219365833272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17279] ppid=17261 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/17263/task/17279/stat : 17279 (java) S 17261 17263 16973 0 -1 4202560 2201 0 0 0 28 0 0 0 20 0 19 0 278591180 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219364780728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17280] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17280/stat : 17280 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219363728376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17281] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17281/stat : 17281 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219362676040 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17282] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17282/stat : 17282 (java) S 17261 17263 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278591199 9856004096 14158 33554432000 1073741824 1073778376 140737474993520 140219361620776 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 9625004
[startup+3.10072 s]
/proc/loadavg: 2.22 2.05 2.01 3/213 17282
/proc/meminfo: memFree=27527128/32873660 swapFree=7120/7120
[pid=17263] ppid=17261 vsize=9625004 CPUtime=3.76 cores=1,3,5,7
/proc/17263/stat : 17263 (java) S 17261 17263 16973 0 -1 4202496 8847 0 1 0 372 4 0 0 20 0 19 0 278591175 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140737474984656 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17263/statm: 2406251 16220 2276 9 0 2396937 0
[pid=17263/tid=17265] ppid=17261 vsize=9625004 CPUtime=2.99 cores=1,3,5,7
/proc/17263/task/17265/stat : 17265 (java) R 17261 17263 16973 0 -1 4202560 2553 0 1 0 298 1 0 0 20 0 19 0 278591176 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219545817392 140219418668352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17266] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17266/stat : 17266 (java) S 17261 17263 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219389823144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17267] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17267/stat : 17267 (java) S 17261 17263 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219388770600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17263/tid=17268] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17268/stat : 17268 (java) S 17261 17263 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219387718056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17269] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17269/stat : 17269 (java) S 17261 17263 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219386665512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17270] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17270/stat : 17270 (java) S 17261 17263 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219385612968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17271] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17271/stat : 17271 (java) S 17261 17263 16973 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219384560424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17272] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17272/stat : 17272 (java) S 17261 17263 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219383507880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17263/tid=17273] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17273/stat : 17273 (java) S 17261 17263 16973 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219382455336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17274] ppid=17261 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17263/task/17274/stat : 17274 (java) S 17261 17263 16973 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 19 0 278591177 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219370043496 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17263/tid=17275] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17275/stat : 17275 (java) S 17261 17263 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278591178 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219368989816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17276] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17276/stat : 17276 (java) S 17261 17263 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278591178 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219367937160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17277] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17277/stat : 17277 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219366885904 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17278] ppid=17261 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/17263/task/17278/stat : 17278 (java) S 17261 17263 16973 0 -1 4202560 2813 0 0 0 33 0 0 0 20 0 19 0 278591180 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219365833272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17279] ppid=17261 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/17263/task/17279/stat : 17279 (java) S 17261 17263 16973 0 -1 4202560 2201 0 0 0 29 0 0 0 20 0 19 0 278591180 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219364780728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17280] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17280/stat : 17280 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219363728376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17281] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17281/stat : 17281 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219362676040 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17282] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17282/stat : 17282 (java) S 17261 17263 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278591199 9856004096 16220 33554432000 1073741824 1073778376 140737474993520 140219361620776 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9625004
[startup+6.30067 s]
/proc/loadavg: 2.20 2.05 2.01 3/213 17282
/proc/meminfo: memFree=27517268/32873660 swapFree=7120/7120
[pid=17263] ppid=17261 vsize=9625004 CPUtime=7 cores=1,3,5,7
/proc/17263/stat : 17263 (java) S 17261 17263 16973 0 -1 4202496 8859 0 1 0 696 4 0 0 20 0 19 0 278591175 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140737474984656 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17263/statm: 2406251 17155 2276 9 0 2396937 0
[pid=17263/tid=17265] ppid=17261 vsize=9625004 CPUtime=6.12 cores=1,3,5,7
/proc/17263/task/17265/stat : 17265 (java) R 17261 17263 16973 0 -1 4202560 2559 0 1 0 611 1 0 0 20 0 19 0 278591176 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219545817512 140219418691695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17266] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17266/stat : 17266 (java) S 17261 17263 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219389823144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17267] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17267/stat : 17267 (java) S 17261 17263 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219388770600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17268] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17268/stat : 17268 (java) S 17261 17263 16973 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219387718056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17269] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17269/stat : 17269 (java) S 17261 17263 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219386665512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17270] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17270/stat : 17270 (java) S 17261 17263 16973 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219385612968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17271] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17271/stat : 17271 (java) S 17261 17263 16973 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219384560424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17272] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17272/stat : 17272 (java) S 17261 17263 16973 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219383507880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17263/tid=17273] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17273/stat : 17273 (java) S 17261 17263 16973 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 278591176 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219382455336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17263/tid=17274] ppid=17261 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/17263/task/17274/stat : 17274 (java) S 17261 17263 16973 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 19 0 278591177 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219370043496 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17275] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17275/stat : 17275 (java) S 17261 17263 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278591178 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219368989816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17276] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17276/stat : 17276 (java) S 17261 17263 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278591178 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219367937160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17277] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17277/stat : 17277 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219366885904 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17278] ppid=17261 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/17263/task/17278/stat : 17278 (java) S 17261 17263 16973 0 -1 4202560 2813 0 0 0 34 0 0 0 20 0 19 0 278591180 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219365833272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17279] ppid=17261 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/17263/task/17279/stat : 17279 (java) S 17261 17263 16973 0 -1 4202560 2201 0 0 0 29 0 0 0 20 0 19 0 278591180 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219364780728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17280] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17280/stat : 17280 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219363728376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17281] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17281/stat : 17281 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219362676040 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17282] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17282/stat : 17282 (java) S 17261 17263 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278591199 9856004096 17155 33554432000 1073741824 1073778376 140737474993520 140219361620776 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 9625004
[startup+12.7048 s]
################
# More data... #
################
[pid=17263/tid=17278] ppid=17261 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/17263/task/17278/stat : 17278 (java) S 17261 17263 16973 0 -1 4202560 2821 0 0 0 36 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219365833272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17279] ppid=17261 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/17263/task/17279/stat : 17279 (java) S 17261 17263 16973 0 -1 4202560 2201 0 0 0 29 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219364780728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17280] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17280/stat : 17280 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219363728376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17281] ppid=17261 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/17263/task/17281/stat : 17281 (java) S 17261 17263 16973 0 -1 4202560 99 0 0 0 24 37 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219362676040 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17282] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17282/stat : 17282 (java) S 17261 17263 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278591199 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219361620776 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.6
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17297
/proc/meminfo: memFree=27134468/32873660 swapFree=7120/7120
[pid=17263] ppid=17261 vsize=9625004 CPUtime=1785.64 cores=1,3,5,7
/proc/17263/stat : 17263 (java) S 17261 17263 16973 0 -1 4202496 10514 0 1 0 178505 59 0 0 20 0 19 0 278591175 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140737474984656 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17263/statm: 2406251 58413 2277 9 0 2396937 0
[pid=17263/tid=17265] ppid=17261 vsize=9625004 CPUtime=1773.44 cores=1,3,5,7
/proc/17263/task/17265/stat : 17265 (java) R 17261 17263 16973 0 -1 4202560 2662 0 1 0 177312 32 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219545817392 140219418691609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17266] ppid=17261 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/17263/task/17266/stat : 17266 (java) S 17261 17263 16973 0 -1 4202560 310 0 0 0 44 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219389823144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17267] ppid=17261 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/17263/task/17267/stat : 17267 (java) S 17261 17263 16973 0 -1 4202560 70 0 0 0 45 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219388770600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17268] ppid=17261 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/17263/task/17268/stat : 17268 (java) S 17261 17263 16973 0 -1 4202560 105 0 0 0 44 1 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219387718056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17263/tid=17269] ppid=17261 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/17263/task/17269/stat : 17269 (java) S 17261 17263 16973 0 -1 4202560 276 0 0 0 44 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219386665512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17270] ppid=17261 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/17263/task/17270/stat : 17270 (java) S 17261 17263 16973 0 -1 4202560 145 0 0 0 45 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219385612968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17271] ppid=17261 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/17263/task/17271/stat : 17271 (java) S 17261 17263 16973 0 -1 4202560 135 0 0 0 46 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219384560424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17272] ppid=17261 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/17263/task/17272/stat : 17272 (java) S 17261 17263 16973 0 -1 4202560 280 0 0 0 46 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219383507880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17273] ppid=17261 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/17263/task/17273/stat : 17273 (java) S 17261 17263 16973 0 -1 4202560 87 0 0 0 38 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219382455336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17274] ppid=17261 vsize=9625004 CPUtime=2.83 cores=1,3,5,7
/proc/17263/task/17274/stat : 17274 (java) S 17261 17263 16973 0 -1 4202560 133 0 0 0 281 2 0 0 20 0 19 0 278591177 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219370043496 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17275] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17275/stat : 17275 (java) S 17261 17263 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278591178 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219368989816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17276] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17276/stat : 17276 (java) S 17261 17263 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278591178 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219367937160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17277] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17277/stat : 17277 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219366885904 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17278] ppid=17261 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/17263/task/17278/stat : 17278 (java) S 17261 17263 16973 0 -1 4202560 2821 0 0 0 36 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219365833272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17279] ppid=17261 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/17263/task/17279/stat : 17279 (java) S 17261 17263 16973 0 -1 4202560 2201 0 0 0 29 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219364780728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17280] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17280/stat : 17280 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219363728376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17281] ppid=17261 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/17263/task/17281/stat : 17281 (java) S 17261 17263 16973 0 -1 4202560 103 0 0 0 25 38 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219362676040 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17282] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17282/stat : 17282 (java) S 17261 17263 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278591199 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219361620776 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.7 s]
/proc/loadavg: 1.93 1.98 1.99 5/211 17412
/proc/meminfo: memFree=27301004/32873660 swapFree=7120/7120
[pid=17263] ppid=17261 vsize=9625004 CPUtime=1800.04 cores=1,3,5,7
/proc/17263/stat : 17263 (java) S 17261 17263 16973 0 -1 4202496 10514 0 1 0 179945 59 0 0 20 0 19 0 278591175 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140737474984656 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17263/statm: 2406251 58413 2277 9 0 2396937 0
[pid=17263/tid=17265] ppid=17261 vsize=9625004 CPUtime=1787.81 cores=1,3,5,7
/proc/17263/task/17265/stat : 17265 (java) R 17261 17263 16973 0 -1 4202560 2662 0 1 0 178748 33 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219545817392 140219418711383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17266] ppid=17261 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/17263/task/17266/stat : 17266 (java) S 17261 17263 16973 0 -1 4202560 310 0 0 0 44 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219389823144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17267] ppid=17261 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/17263/task/17267/stat : 17267 (java) S 17261 17263 16973 0 -1 4202560 70 0 0 0 45 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219388770600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17268] ppid=17261 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/17263/task/17268/stat : 17268 (java) S 17261 17263 16973 0 -1 4202560 105 0 0 0 44 1 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219387718056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17263/tid=17269] ppid=17261 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/17263/task/17269/stat : 17269 (java) S 17261 17263 16973 0 -1 4202560 276 0 0 0 44 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219386665512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17270] ppid=17261 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/17263/task/17270/stat : 17270 (java) S 17261 17263 16973 0 -1 4202560 145 0 0 0 45 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219385612968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17271] ppid=17261 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/17263/task/17271/stat : 17271 (java) S 17261 17263 16973 0 -1 4202560 135 0 0 0 46 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219384560424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17272] ppid=17261 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/17263/task/17272/stat : 17272 (java) S 17261 17263 16973 0 -1 4202560 280 0 0 0 46 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219383507880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17273] ppid=17261 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/17263/task/17273/stat : 17273 (java) S 17261 17263 16973 0 -1 4202560 87 0 0 0 38 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219382455336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17274] ppid=17261 vsize=9625004 CPUtime=2.84 cores=1,3,5,7
/proc/17263/task/17274/stat : 17274 (java) S 17261 17263 16973 0 -1 4202560 133 0 0 0 282 2 0 0 20 0 19 0 278591177 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219370043496 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17275] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17275/stat : 17275 (java) S 17261 17263 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278591178 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219368989816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17276] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17276/stat : 17276 (java) S 17261 17263 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278591178 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219367937160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17277] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17277/stat : 17277 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219366885904 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17278] ppid=17261 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/17263/task/17278/stat : 17278 (java) S 17261 17263 16973 0 -1 4202560 2821 0 0 0 36 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219365833272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17279] ppid=17261 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/17263/task/17279/stat : 17279 (java) S 17261 17263 16973 0 -1 4202560 2201 0 0 0 29 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219364780728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17280] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17280/stat : 17280 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219363728376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17281] ppid=17261 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/17263/task/17281/stat : 17281 (java) S 17261 17263 16973 0 -1 4202560 103 0 0 0 26 38 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219362676040 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17282] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17282/stat : 17282 (java) S 17261 17263 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278591199 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219361620776 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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
[startup+1796.7 s]
/proc/loadavg: 1.93 1.98 1.99 5/211 17412
/proc/meminfo: memFree=27301004/32873660 swapFree=7120/7120
[pid=17263] ppid=17261 vsize=9625004 CPUtime=1800.04 cores=1,3,5,7
/proc/17263/stat : 17263 (java) S 17261 17263 16973 0 -1 4202496 10514 0 1 0 179945 59 0 0 20 0 19 0 278591175 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140737474984656 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17263/statm: 2406251 58413 2277 9 0 2396937 0
[pid=17263/tid=17265] ppid=17261 vsize=9625004 CPUtime=1787.81 cores=1,3,5,7
/proc/17263/task/17265/stat : 17265 (java) R 17261 17263 16973 0 -1 4202560 2662 0 1 0 178748 33 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219545817392 140219418711383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17266] ppid=17261 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/17263/task/17266/stat : 17266 (java) S 17261 17263 16973 0 -1 4202560 310 0 0 0 44 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219389823144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17267] ppid=17261 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/17263/task/17267/stat : 17267 (java) S 17261 17263 16973 0 -1 4202560 70 0 0 0 45 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219388770600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17268] ppid=17261 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/17263/task/17268/stat : 17268 (java) S 17261 17263 16973 0 -1 4202560 105 0 0 0 44 1 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219387718056 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17263/tid=17269] ppid=17261 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/17263/task/17269/stat : 17269 (java) S 17261 17263 16973 0 -1 4202560 276 0 0 0 44 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219386665512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17270] ppid=17261 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/17263/task/17270/stat : 17270 (java) S 17261 17263 16973 0 -1 4202560 145 0 0 0 45 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219385612968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17271] ppid=17261 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/17263/task/17271/stat : 17271 (java) S 17261 17263 16973 0 -1 4202560 135 0 0 0 46 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219384560424 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17272] ppid=17261 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/17263/task/17272/stat : 17272 (java) S 17261 17263 16973 0 -1 4202560 280 0 0 0 46 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219383507880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17273] ppid=17261 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/17263/task/17273/stat : 17273 (java) S 17261 17263 16973 0 -1 4202560 87 0 0 0 38 2 0 0 20 0 19 0 278591176 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219382455336 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17263/tid=17274] ppid=17261 vsize=9625004 CPUtime=2.84 cores=1,3,5,7
/proc/17263/task/17274/stat : 17274 (java) S 17261 17263 16973 0 -1 4202560 133 0 0 0 282 2 0 0 20 0 19 0 278591177 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219370043496 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17275] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17275/stat : 17275 (java) S 17261 17263 16973 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278591178 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219368989816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17276] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17276/stat : 17276 (java) S 17261 17263 16973 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278591178 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219367937160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17277] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17277/stat : 17277 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219366885904 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17278] ppid=17261 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/17263/task/17278/stat : 17278 (java) S 17261 17263 16973 0 -1 4202560 2821 0 0 0 36 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219365833272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17279] ppid=17261 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/17263/task/17279/stat : 17279 (java) S 17261 17263 16973 0 -1 4202560 2201 0 0 0 29 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219364780728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17280] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17280/stat : 17280 (java) S 17261 17263 16973 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219363728376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17263/tid=17281] ppid=17261 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/17263/task/17281/stat : 17281 (java) S 17261 17263 16973 0 -1 4202560 103 0 0 0 26 38 0 0 20 0 19 0 278591180 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219362676040 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17263/tid=17282] ppid=17261 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17263/task/17282/stat : 17282 (java) S 17261 17263 16973 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278591199 9856004096 58413 33554432000 1073741824 1073778376 140737474993520 140219361620776 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17263 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=928129
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=21844
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.75
CPU time (s): 1800.04
CPU user time (s): 1799.45
CPU system time (s): 0.59
CPU usage (%): 100.183
Max. virtual memory (cumulated for all children) (KiB): 9625472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.93
system time used= 1.02184
maximum resident set size= 233812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10558
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40427
involuntary context switches= 28728
runsolver used 6.53201 second user time and 15.1607 second system time
The end