runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453984-1307194744/watcher-3453984-1307194744 -o /tmp/evaluation-result-3453984-1307194744/solver-3453984-1307194744 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453984-1307194744.opb
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: 1.86 3.01 3.42 1/519 30356
/proc/meminfo: memFree=23866008/32951124 swapFree=56930356/67111528
[pid=30356] ppid=30354 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/30356/stat : 30356 (java) S 30354 30356 25956 0 -1 4202496 1324 0 0 0 0 0 0 0 23 0 2 0 831072071 36646912 1025 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/30356/statm: 8947 1025 788 9 0 386 0
[pid=30356/tid=30357] ppid=30354 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30357/stat : 30357 (java) D 30354 30356 25956 0 -1 4202560 209 0 0 0 0 0 0 0 25 0 2 0 831072072 36646912 1025 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218905728711 0 0 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0275909 s]
/proc/loadavg: 1.86 3.01 3.42 1/519 30356
/proc/meminfo: memFree=23866008/32951124 swapFree=56930356/67111528
[pid=30356] ppid=30354 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/30356/stat : 30356 (java) S 30354 30356 25956 0 -1 4202496 2557 0 1 0 0 0 0 0 23 0 2 0 831072071 10681323520 2258 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/30356/statm: 2607745 2273 906 9 0 2598901 0
[pid=30356/tid=30357] ppid=30354 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30357/stat : 30357 (java) R 30354 30356 25956 0 -1 4202560 1469 0 1 0 0 0 0 0 18 0 2 0 831072072 10681323520 2285 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10430980
[startup+0.100625 s]
/proc/loadavg: 1.86 3.01 3.42 1/519 30356
/proc/meminfo: memFree=23866008/32951124 swapFree=56930356/67111528
[pid=30356] ppid=30354 vsize=10473088 CPUtime=0.08 cores=0,2,4,6
/proc/30356/stat : 30356 (java) S 30354 30356 25956 0 -1 4202496 12069 0 1 0 6 2 0 0 23 0 18 0 831072071 10724442112 11765 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30356/statm: 2618272 11765 1755 9 0 2609006 0
[pid=30356/tid=30357] ppid=30354 vsize=10473088 CPUtime=0.07 cores=0,2,4,6
/proc/30356/task/30357/stat : 30357 (java) R 30354 30356 25956 0 -1 4202560 10895 0 1 0 6 1 0 0 25 0 18 0 831072072 10724442112 11766 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 47341841000467 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10473088
[startup+0.316818 s]
/proc/loadavg: 1.86 3.01 3.42 1/519 30356
/proc/meminfo: memFree=23866008/32951124 swapFree=56930356/67111528
[pid=30356] ppid=30354 vsize=10541816 CPUtime=0.49 cores=0,2,4,6
/proc/30356/stat : 30356 (java) S 30354 30356 25956 0 -1 4202496 15437 0 1 0 46 3 0 0 23 0 18 0 831072071 10794819584 15066 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30356/statm: 2635454 15067 2207 9 0 2626188 0
[pid=30356/tid=30357] ppid=30354 vsize=10541816 CPUtime=0.28 cores=0,2,4,6
/proc/30356/task/30357/stat : 30357 (java) R 30354 30356 25956 0 -1 4202560 12861 0 1 0 26 2 0 0 18 0 18 0 831072072 10794819584 15067 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 46912505590810 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541816
[startup+0.700472 s]
/proc/loadavg: 1.86 3.01 3.42 1/519 30356
/proc/meminfo: memFree=23866008/32951124 swapFree=56930356/67111528
[pid=30356] ppid=30354 vsize=10555268 CPUtime=1.56 cores=0,2,4,6
/proc/30356/stat : 30356 (java) S 30354 30356 25956 0 -1 4202496 34345 0 1 0 151 5 0 0 23 0 18 0 831072071 10808594432 30136 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30356/statm: 2638817 30137 2224 9 0 2629551 0
[pid=30356/tid=30357] ppid=30354 vsize=10555268 CPUtime=0.66 cores=0,2,4,6
/proc/30356/task/30357/stat : 30357 (java) R 30354 30356 25956 0 -1 4202560 20049 0 1 0 63 3 0 0 18 0 18 0 831072072 10808594432 30137 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 46912505516588 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10555268
[startup+1.50133 s]
/proc/loadavg: 1.86 3.01 3.42 9/564 30407
/proc/meminfo: memFree=23607924/32951124 swapFree=56930356/67111528
[pid=30356] ppid=30354 vsize=10559380 CPUtime=3.24 cores=0,2,4,6
/proc/30356/stat : 30356 (java) S 30354 30356 25956 0 -1 4202496 52342 0 1 0 317 7 0 0 23 0 20 0 831072071 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30356/statm: 2639845 47436 2245 9 0 2630579 0
[pid=30356/tid=30357] ppid=30354 vsize=10559380 CPUtime=0.94 cores=0,2,4,6
/proc/30356/task/30357/stat : 30357 (java) S 30354 30356 25956 0 -1 4202560 33477 0 1 0 89 5 0 0 17 0 20 0 831072072 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30366] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30366/stat : 30366 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 831072075 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30367] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30367/stat : 30367 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831072075 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30368] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30368/stat : 30368 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831072075 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30369] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30369/stat : 30369 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831072075 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30370] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30370/stat : 30370 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831072075 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30371] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30371/stat : 30371 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831072075 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30372] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30372/stat : 30372 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 831072075 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30373] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30373/stat : 30373 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 831072075 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30375] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30375/stat : 30375 (java) S 30354 30356 25956 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 20 0 831072076 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 0 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30376] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30376/stat : 30376 (java) S 30354 30356 25956 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 20 0 831072077 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30377] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30377/stat : 30377 (java) S 30354 30356 25956 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 20 0 831072077 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30390] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30390/stat : 30390 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831072079 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917554609 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30391] ppid=30354 vsize=10559380 CPUtime=0.93 cores=0,2,4,6
/proc/30356/task/30391/stat : 30391 (java) R 30354 30356 25956 0 -1 4202560 8048 0 0 0 92 1 0 0 22 0 20 0 831072079 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 47341838707237 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30356/tid=30392] ppid=30354 vsize=10559380 CPUtime=0.9 cores=0,2,4,6
/proc/30356/task/30392/stat : 30392 (java) R 30354 30356 25956 0 -1 4202560 5964 0 0 0 90 0 0 0 15 0 20 0 831072079 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 47341841287865 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30356/tid=30393] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30393/stat : 30393 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831072079 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30394] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30394/stat : 30394 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831072079 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30409] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30409/stat : 30409 (java) S 30354 30356 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 831072173 10812805120 47436 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 10559380
[startup+3.10104 s]
/proc/loadavg: 1.86 3.01 3.42 1/561 30422
/proc/meminfo: memFree=23572612/32951124 swapFree=56930356/67111528
[pid=30356] ppid=30354 vsize=10559380 CPUtime=4.05 cores=0,2,4,6
/proc/30356/stat : 30356 (java) S 30354 30356 25956 0 -1 4202496 62435 0 1 0 397 8 0 0 23 0 22 0 831072071 10812805120 57528 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30356/statm: 2639845 57530 2247 9 0 2630579 0
[pid=30356/tid=30357] ppid=30354 vsize=10559380 CPUtime=0.96 cores=0,2,4,6
/proc/30356/task/30357/stat : 30357 (java) S 30354 30356 25956 0 -1 4202560 33718 0 1 0 91 5 0 0 16 0 22 0 831072072 10812805120 57530 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30366] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30366/stat : 30366 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831072075 10812805120 57532 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30367] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30367/stat : 30367 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831072075 10812805120 57532 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30368] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30368/stat : 30368 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831072075 10812805120 57533 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30369] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30369/stat : 30369 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831072075 10812805120 57534 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30370] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30370/stat : 30370 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831072075 10812805120 57535 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30371] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30371/stat : 30371 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831072075 10812805120 57535 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30372] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30372/stat : 30372 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831072075 10812805120 57536 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30373] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30373/stat : 30373 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831072075 10812805120 57537 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30375] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30375/stat : 30375 (java) S 30354 30356 25956 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 831072076 10812805120 57538 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 0 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30376] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30376/stat : 30376 (java) S 30354 30356 25956 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 831072077 10812805120 57538 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30377] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30377/stat : 30377 (java) S 30354 30356 25956 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 831072077 10812805120 57539 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30390] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30390/stat : 30390 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831072079 10812805120 57540 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917554609 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30391] ppid=30354 vsize=10559380 CPUtime=1.14 cores=0,2,4,6
/proc/30356/task/30391/stat : 30391 (java) R 30354 30356 25956 0 -1 4202560 8076 0 0 0 113 1 0 0 15 0 22 0 831072079 10812805120 57541 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 47341842148604 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30356/tid=30392] ppid=30354 vsize=10559380 CPUtime=1.11 cores=0,2,4,6
/proc/30356/task/30392/stat : 30392 (java) R 30354 30356 25956 0 -1 4202560 5992 0 0 0 111 0 0 0 16 0 22 0 831072079 10812805120 57541 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 47341841796037 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30356/tid=30393] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30393/stat : 30393 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831072079 10812805120 57542 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30394] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30394/stat : 30394 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831072079 10812805120 57543 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30409] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30409/stat : 30409 (java) S 30354 30356 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831072173 10812805120 57543 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 10559380
[startup+6.30149 s]
/proc/loadavg: 2.03 3.03 3.42 5/567 30446
/proc/meminfo: memFree=22865728/32951124 swapFree=56930356/67111528
[pid=30356] ppid=30354 vsize=10559380 CPUtime=9.3 cores=0,2,4,6
/proc/30356/stat : 30356 (java) S 30354 30356 25956 0 -1 4202496 180130 0 1 0 910 20 0 0 23 0 22 0 831072071 10812805120 175207 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30356/statm: 2639845 175210 2273 9 0 2630579 0
[pid=30356/tid=30357] ppid=30354 vsize=10559380 CPUtime=0.97 cores=0,2,4,6
/proc/30356/task/30357/stat : 30357 (java) S 30354 30356 25956 0 -1 4202560 33960 0 1 0 92 5 0 0 15 0 22 0 831072072 10812805120 175211 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30366] ppid=30354 vsize=10559380 CPUtime=0.02 cores=0,2,4,6
/proc/30356/task/30366/stat : 30366 (java) S 30354 30356 25956 0 -1 4202560 3221 0 0 0 2 0 0 0 18 0 22 0 831072075 10812805120 175213 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30367] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30367/stat : 30367 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831072075 10812805120 175215 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30368] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30368/stat : 30368 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831072075 10812805120 175216 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30369] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30369/stat : 30369 (java) S 30354 30356 25956 0 -1 4202560 539 0 0 0 0 0 0 0 18 0 22 0 831072075 10812805120 175217 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30370] ppid=30354 vsize=10559380 CPUtime=0.02 cores=0,2,4,6
/proc/30356/task/30370/stat : 30370 (java) S 30354 30356 25956 0 -1 4202560 1790 0 0 0 2 0 0 0 18 0 22 0 831072075 10812805120 175219 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30371] ppid=30354 vsize=10559380 CPUtime=0.03 cores=0,2,4,6
/proc/30356/task/30371/stat : 30371 (java) S 30354 30356 25956 0 -1 4202560 2484 0 0 0 3 0 0 0 18 0 22 0 831072075 10812805120 175221 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30372] ppid=30354 vsize=10559380 CPUtime=0.03 cores=0,2,4,6
/proc/30356/task/30372/stat : 30372 (java) S 30354 30356 25956 0 -1 4202560 3239 0 0 0 3 0 0 0 18 0 22 0 831072075 10812805120 175224 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30373] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30373/stat : 30373 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831072075 10812805120 175227 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30375] ppid=30354 vsize=10559380 CPUtime=0.14 cores=0,2,4,6
/proc/30356/task/30375/stat : 30375 (java) S 30354 30356 25956 0 -1 4202560 12730 0 0 0 14 0 0 0 16 0 22 0 831072076 10812805120 175230 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 0 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30376] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30376/stat : 30376 (java) S 30354 30356 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831072077 10812805120 175231 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30377] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30377/stat : 30377 (java) S 30354 30356 25956 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831072077 10812805120 175232 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30390] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30390/stat : 30390 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831072079 10812805120 175233 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917554609 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30391] ppid=30354 vsize=10559380 CPUtime=1.24 cores=0,2,4,6
/proc/30356/task/30391/stat : 30391 (java) S 30354 30356 25956 0 -1 4202560 8086 0 0 0 123 1 0 0 16 0 22 0 831072079 10812805120 175234 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30392] ppid=30354 vsize=10559380 CPUtime=1.43 cores=0,2,4,6
/proc/30356/task/30392/stat : 30392 (java) S 30354 30356 25956 0 -1 4202560 6025 0 0 0 143 0 0 0 15 0 22 0 831072079 10812805120 175234 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=20552452/32951124 swapFree=56930356/67111528
[pid=30356] ppid=30354 vsize=10559380 CPUtime=1590.37 cores=0,2,4,6
/proc/30356/stat : 30356 (java) S 30354 30356 25956 0 -1 4202496 620182 0 1 0 158964 73 0 0 23 0 22 0 831072071 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30356/statm: 2639845 615048 2274 9 0 2630579 0
[pid=30356/tid=30357] ppid=30354 vsize=10559380 CPUtime=0.98 cores=0,2,4,6
/proc/30356/task/30357/stat : 30357 (java) S 30354 30356 25956 0 -1 4202560 34000 0 1 0 93 5 0 0 15 0 22 0 831072072 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30366] ppid=30354 vsize=10559380 CPUtime=0.95 cores=0,2,4,6
/proc/30356/task/30366/stat : 30366 (java) S 30354 30356 25956 0 -1 4202560 7193 0 0 0 94 1 0 0 16 0 22 0 831072075 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30367] ppid=30354 vsize=10559380 CPUtime=0.93 cores=0,2,4,6
/proc/30356/task/30367/stat : 30367 (java) S 30354 30356 25956 0 -1 4202560 2010 0 0 0 93 0 0 0 15 0 22 0 831072075 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30368] ppid=30354 vsize=10559380 CPUtime=0.87 cores=0,2,4,6
/proc/30356/task/30368/stat : 30368 (java) S 30354 30356 25956 0 -1 4202560 2571 0 0 0 87 0 0 0 16 0 22 0 831072075 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30369] ppid=30354 vsize=10559380 CPUtime=0.88 cores=0,2,4,6
/proc/30356/task/30369/stat : 30369 (java) S 30354 30356 25956 0 -1 4202560 3083 0 0 0 88 0 0 0 15 0 22 0 831072075 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30370] ppid=30354 vsize=10559380 CPUtime=1.03 cores=0,2,4,6
/proc/30356/task/30370/stat : 30370 (java) S 30354 30356 25956 0 -1 4202560 9591 0 0 0 102 1 0 0 16 0 22 0 831072075 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30371] ppid=30354 vsize=10559380 CPUtime=0.73 cores=0,2,4,6
/proc/30356/task/30371/stat : 30371 (java) S 30354 30356 25956 0 -1 4202560 5064 0 0 0 73 0 0 0 15 0 22 0 831072075 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30372] ppid=30354 vsize=10559380 CPUtime=0.99 cores=0,2,4,6
/proc/30356/task/30372/stat : 30372 (java) S 30354 30356 25956 0 -1 4202560 5269 0 0 0 99 0 0 0 16 0 22 0 831072075 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30373] ppid=30354 vsize=10559380 CPUtime=0.93 cores=0,2,4,6
/proc/30356/task/30373/stat : 30373 (java) S 30354 30356 25956 0 -1 4202560 3174 0 0 0 93 0 0 0 15 0 22 0 831072075 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30375] ppid=30354 vsize=10559380 CPUtime=53.2 cores=0,2,4,6
/proc/30356/task/30375/stat : 30375 (java) S 30354 30356 25956 0 -1 4202560 132788 0 0 0 5306 14 0 0 15 0 22 0 831072076 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 0 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30376] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30376/stat : 30376 (java) S 30354 30356 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831072077 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30377] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30377/stat : 30377 (java) S 30354 30356 25956 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 831072077 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30390] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30390/stat : 30390 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831072079 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917554609 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30391] ppid=30354 vsize=10559380 CPUtime=1.42 cores=0,2,4,6
/proc/30356/task/30391/stat : 30391 (java) S 30354 30356 25956 0 -1 4202560 8111 0 0 0 141 1 0 0 15 0 22 0 831072079 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30392] ppid=30354 vsize=10559380 CPUtime=1.56 cores=0,2,4,6
/proc/30356/task/30392/stat : 30392 (java) S 30354 30356 25956 0 -1 4202560 6041 0 0 0 156 0 0 0 16 0 22 0 831072079 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30393] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30393/stat : 30393 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831072079 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30394] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30394/stat : 30394 (java) S 30354 30356 25956 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831072079 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30409] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30409/stat : 30409 (java) S 30354 30356 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831072173 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30455] ppid=30354 vsize=10559380 CPUtime=706.73 cores=0,2,4,6
/proc/30356/task/30455/stat : 30455 (java) R 30354 30356 25956 0 -1 4202560 722 0 0 0 70673 0 0 0 25 0 22 0 831078590 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 46912505925223 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30356/tid=30456] ppid=30354 vsize=10559380 CPUtime=706.65 cores=0,2,4,6
/proc/30356/task/30456/stat : 30456 (java) R 30354 30356 25956 0 -1 4202560 188678 0 0 0 70642 23 0 0 25 0 22 0 831078590 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 46912505805935 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30356/tid=30457] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30457/stat : 30457 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831078591 10812805120 615048 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1590.37
Current children cumulated vsize (KiB) 10559380
[startup+882.301 s]
/proc/loadavg: 3.74 3.70 3.64 5/567 30482
/proc/meminfo: memFree=20414152/32951124 swapFree=56930356/67111528
[pid=30356] ppid=30354 vsize=10559380 CPUtime=1706.54 cores=0,2,4,6
/proc/30356/stat : 30356 (java) S 30354 30356 25956 0 -1 4202496 651775 0 1 0 170575 79 0 0 23 0 22 0 831072071 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30356/statm: 2639845 646629 2274 9 0 2630579 0
[pid=30356/tid=30357] ppid=30354 vsize=10559380 CPUtime=0.98 cores=0,2,4,6
/proc/30356/task/30357/stat : 30357 (java) S 30354 30356 25956 0 -1 4202560 34004 0 1 0 93 5 0 0 15 0 22 0 831072072 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30366] ppid=30354 vsize=10559380 CPUtime=1 cores=0,2,4,6
/proc/30356/task/30366/stat : 30366 (java) S 30354 30356 25956 0 -1 4202560 7193 0 0 0 99 1 0 0 16 0 22 0 831072075 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30367] ppid=30354 vsize=10559380 CPUtime=1 cores=0,2,4,6
/proc/30356/task/30367/stat : 30367 (java) S 30354 30356 25956 0 -1 4202560 2010 0 0 0 100 0 0 0 16 0 22 0 831072075 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30368] ppid=30354 vsize=10559380 CPUtime=0.87 cores=0,2,4,6
/proc/30356/task/30368/stat : 30368 (java) S 30354 30356 25956 0 -1 4202560 2571 0 0 0 87 0 0 0 16 0 22 0 831072075 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30369] ppid=30354 vsize=10559380 CPUtime=0.91 cores=0,2,4,6
/proc/30356/task/30369/stat : 30369 (java) S 30354 30356 25956 0 -1 4202560 3083 0 0 0 91 0 0 0 15 0 22 0 831072075 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30370] ppid=30354 vsize=10559380 CPUtime=1.11 cores=0,2,4,6
/proc/30356/task/30370/stat : 30370 (java) S 30354 30356 25956 0 -1 4202560 9605 0 0 0 110 1 0 0 16 0 22 0 831072075 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30371] ppid=30354 vsize=10559380 CPUtime=0.81 cores=0,2,4,6
/proc/30356/task/30371/stat : 30371 (java) S 30354 30356 25956 0 -1 4202560 5068 0 0 0 81 0 0 0 16 0 22 0 831072075 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30372] ppid=30354 vsize=10559380 CPUtime=1.07 cores=0,2,4,6
/proc/30356/task/30372/stat : 30372 (java) S 30354 30356 25956 0 -1 4202560 5281 0 0 0 107 0 0 0 16 0 22 0 831072075 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30373] ppid=30354 vsize=10559380 CPUtime=0.95 cores=0,2,4,6
/proc/30356/task/30373/stat : 30373 (java) S 30354 30356 25956 0 -1 4202560 3174 0 0 0 95 0 0 0 15 0 22 0 831072075 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30375] ppid=30354 vsize=10559380 CPUtime=57.15 cores=0,2,4,6
/proc/30356/task/30375/stat : 30375 (java) S 30354 30356 25956 0 -1 4202560 138849 0 0 0 5700 15 0 0 15 0 22 0 831072076 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 0 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30376] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30376/stat : 30376 (java) S 30354 30356 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831072077 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30377] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30377/stat : 30377 (java) S 30354 30356 25956 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 831072077 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30390] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30390/stat : 30390 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831072079 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917554609 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30391] ppid=30354 vsize=10559380 CPUtime=1.42 cores=0,2,4,6
/proc/30356/task/30391/stat : 30391 (java) S 30354 30356 25956 0 -1 4202560 8111 0 0 0 141 1 0 0 15 0 22 0 831072079 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30392] ppid=30354 vsize=10559380 CPUtime=1.56 cores=0,2,4,6
/proc/30356/task/30392/stat : 30392 (java) S 30354 30356 25956 0 -1 4202560 6041 0 0 0 156 0 0 0 16 0 22 0 831072079 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30393] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30393/stat : 30393 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831072079 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30394] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30394/stat : 30394 (java) S 30354 30356 25956 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831072079 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30409] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30409/stat : 30409 (java) S 30354 30356 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831072173 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30455] ppid=30354 vsize=10559380 CPUtime=762.63 cores=0,2,4,6
/proc/30356/task/30455/stat : 30455 (java) R 30354 30356 25956 0 -1 4202560 1258 0 0 0 76263 0 0 0 25 0 22 0 831078590 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 46912506358142 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30356/tid=30456] ppid=30354 vsize=10559380 CPUtime=762.55 cores=0,2,4,6
/proc/30356/task/30456/stat : 30456 (java) R 30354 30356 25956 0 -1 4202560 213636 0 0 0 76228 27 0 0 25 0 22 0 831078590 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 46912506309442 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30356/tid=30457] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30457/stat : 30457 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831078591 10812805120 646629 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1706.54
Current children cumulated vsize (KiB) 10559380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+930.402 s]
/proc/loadavg: 3.52 3.65 3.62 5/567 30483
/proc/meminfo: memFree=20281304/32951124 swapFree=56930356/67111528
[pid=30356] ppid=30354 vsize=10559380 CPUtime=1800.04 cores=0,2,4,6
/proc/30356/stat : 30356 (java) S 30354 30356 25956 0 -1 4202496 682582 0 1 0 179922 82 0 0 23 0 22 0 831072071 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30356/statm: 2639845 677429 2274 9 0 2630579 0
[pid=30356/tid=30357] ppid=30354 vsize=10559380 CPUtime=0.98 cores=0,2,4,6
/proc/30356/task/30357/stat : 30357 (java) S 30354 30356 25956 0 -1 4202560 34007 0 1 0 93 5 0 0 15 0 22 0 831072072 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30366] ppid=30354 vsize=10559380 CPUtime=1.09 cores=0,2,4,6
/proc/30356/task/30366/stat : 30366 (java) S 30354 30356 25956 0 -1 4202560 7224 0 0 0 108 1 0 0 16 0 22 0 831072075 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30367] ppid=30354 vsize=10559380 CPUtime=1.02 cores=0,2,4,6
/proc/30356/task/30367/stat : 30367 (java) S 30354 30356 25956 0 -1 4202560 2010 0 0 0 102 0 0 0 16 0 22 0 831072075 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30368] ppid=30354 vsize=10559380 CPUtime=0.89 cores=0,2,4,6
/proc/30356/task/30368/stat : 30368 (java) S 30354 30356 25956 0 -1 4202560 2571 0 0 0 89 0 0 0 15 0 22 0 831072075 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30369] ppid=30354 vsize=10559380 CPUtime=0.94 cores=0,2,4,6
/proc/30356/task/30369/stat : 30369 (java) S 30354 30356 25956 0 -1 4202560 3083 0 0 0 94 0 0 0 15 0 22 0 831072075 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30370] ppid=30354 vsize=10559380 CPUtime=1.14 cores=0,2,4,6
/proc/30356/task/30370/stat : 30370 (java) S 30354 30356 25956 0 -1 4202560 9605 0 0 0 113 1 0 0 15 0 22 0 831072075 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30371] ppid=30354 vsize=10559380 CPUtime=0.84 cores=0,2,4,6
/proc/30356/task/30371/stat : 30371 (java) S 30354 30356 25956 0 -1 4202560 5068 0 0 0 84 0 0 0 16 0 22 0 831072075 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30372] ppid=30354 vsize=10559380 CPUtime=1.1 cores=0,2,4,6
/proc/30356/task/30372/stat : 30372 (java) S 30354 30356 25956 0 -1 4202560 5281 0 0 0 110 0 0 0 15 0 22 0 831072075 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30373] ppid=30354 vsize=10559380 CPUtime=0.99 cores=0,2,4,6
/proc/30356/task/30373/stat : 30373 (java) S 30354 30356 25956 0 -1 4202560 3174 0 0 0 99 0 0 0 16 0 22 0 831072075 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30375] ppid=30354 vsize=10559380 CPUtime=59.98 cores=0,2,4,6
/proc/30356/task/30375/stat : 30375 (java) S 30354 30356 25956 0 -1 4202560 141539 0 0 0 5983 15 0 0 15 0 22 0 831072076 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 0 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30376] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30376/stat : 30376 (java) S 30354 30356 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831072077 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30377] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30377/stat : 30377 (java) S 30354 30356 25956 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 831072077 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30390] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30390/stat : 30390 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831072079 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917554609 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30391] ppid=30354 vsize=10559380 CPUtime=1.42 cores=0,2,4,6
/proc/30356/task/30391/stat : 30391 (java) S 30354 30356 25956 0 -1 4202560 8111 0 0 0 141 1 0 0 15 0 22 0 831072079 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=30356/tid=30392] ppid=30354 vsize=10559380 CPUtime=1.56 cores=0,2,4,6
/proc/30356/task/30392/stat : 30392 (java) S 30354 30356 25956 0 -1 4202560 6041 0 0 0 156 0 0 0 16 0 22 0 831072079 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30393] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30393/stat : 30393 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831072079 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=30356/tid=30394] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30394/stat : 30394 (java) S 30354 30356 25956 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831072079 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=30356/tid=30409] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30409/stat : 30409 (java) S 30354 30356 25956 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831072173 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=30356/tid=30455] ppid=30354 vsize=10559380 CPUtime=807.83 cores=0,2,4,6
/proc/30356/task/30455/stat : 30455 (java) R 30354 30356 25956 0 -1 4202560 1301 0 0 0 80783 0 0 0 25 0 22 0 831078590 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 46912506358191 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30356/tid=30456] ppid=30354 vsize=10559380 CPUtime=807.74 cores=0,2,4,6
/proc/30356/task/30456/stat : 30456 (java) R 30354 30356 25956 0 -1 4202560 241674 0 0 0 80744 30 0 0 25 0 22 0 831078590 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 46912506304465 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30356/tid=30457] ppid=30354 vsize=10559380 CPUtime=0 cores=0,2,4,6
/proc/30356/task/30457/stat : 30457 (java) S 30354 30356 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831078591 10812805120 677429 33554432000 1073741824 1073778376 140735944637840 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10559380
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+930.527 s]
/proc/loadavg: 3.52 3.65 3.62 4/548 30486
/proc/meminfo: memFree=21953668/32951124 swapFree=56930356/67111528
[pid=30356] ppid=30354 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/30356/stat : 30356 (java) Z 30354 30356 25956 0 -1 4203548 682611 0 1 0 179934 91 0 0 17 0 2 0 831072071 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30356/statm: 0 0 0 0 0 0 0
[pid=30356/tid=30456] ppid=30354 vsize=0 CPUtime=807.87 cores=0,2,4,6
/proc/30356/task/30456/stat : 30456 (java) R 30354 30356 25956 0 -1 4203588 241674 0 0 0 80748 39 0 0 25 0 2 0 831078590 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 930.569
CPU time (s): 1800.28
CPU user time (s): 1799.34
CPU system time (s): 0.938857
CPU usage (%): 193.46
Max. virtual memory (cumulated for all children) (KiB): 10559380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.938857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 682611
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24341
involuntary context switches= 19830
runsolver used 5.47117 second user time and 11.4303 second system time
The end