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-3454218-1307190814/watcher-3454218-1307190814 -o /tmp/evaluation-result-3454218-1307190814/solver-3454218-1307190814 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454218-1307190814.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: 3.87 3.90 3.67 1/512 19151
/proc/meminfo: memFree=21510040/32950928 swapFree=34259960/67111528
[pid=19151] ppid=19149 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19151/stat : 19151 (java) S 19149 19151 15618 0 -1 4202496 5541 0 1 0 0 0 0 0 25 0 2 0 830678047 10694979584 5244 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/19151/statm: 2611079 5257 917 9 0 2602235 0
[pid=19151/tid=19152] ppid=19149 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19152/stat : 19152 (java) R 19149 19151 15618 0 -1 4202560 7741 0 1 0 0 0 0 0 25 0 2 0 830678047 10694979584 8557 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0572751 s]
/proc/loadavg: 3.87 3.90 3.67 1/512 19151
/proc/meminfo: memFree=21510040/32950928 swapFree=34259960/67111528
[pid=19151] ppid=19149 vsize=10468644 CPUtime=0.05 cores=1,3,5,7
/proc/19151/stat : 19151 (java) S 19149 19151 15618 0 -1 4202496 11555 0 1 0 4 1 0 0 25 0 14 0 830678047 10719891456 11253 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19151/statm: 2617418 11256 1696 9 0 2608166 0
[pid=19151/tid=19152] ppid=19149 vsize=10469672 CPUtime=0.04 cores=1,3,5,7
/proc/19151/task/19152/stat : 19152 (java) R 19149 19151 15618 0 -1 4202560 10409 0 1 0 4 0 0 0 19 0 15 0 830678047 10720944128 11264 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254500645175 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10468644
[startup+0.104361 s]
/proc/loadavg: 3.87 3.90 3.67 1/512 19151
/proc/meminfo: memFree=21510040/32950928 swapFree=34259960/67111528
[pid=19151] ppid=19149 vsize=10539844 CPUtime=0.11 cores=1,3,5,7
/proc/19151/stat : 19151 (java) S 19149 19151 15618 0 -1 4202496 13101 0 1 0 10 1 0 0 25 0 18 0 830678047 10792800256 12777 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19151/statm: 2634961 12778 2092 9 0 2625695 0
[pid=19151/tid=19152] ppid=19149 vsize=10539844 CPUtime=0.09 cores=1,3,5,7
/proc/19151/task/19152/stat : 19152 (java) R 19149 19151 15618 0 -1 4202560 11171 0 1 0 8 1 0 0 22 0 18 0 830678047 10792800256 12778 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 47478473232389 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539844
[startup+0.300202 s]
/proc/loadavg: 3.87 3.90 3.67 1/512 19151
/proc/meminfo: memFree=21510040/32950928 swapFree=34259960/67111528
[pid=19151] ppid=19149 vsize=10561088 CPUtime=0.6 cores=1,3,5,7
/proc/19151/stat : 19151 (java) S 19149 19151 15618 0 -1 4202496 26284 0 1 0 57 3 0 0 25 0 18 0 830678047 10814554112 21927 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19151/statm: 2640272 21927 2188 9 0 2631006 0
[pid=19151/tid=19152] ppid=19149 vsize=10561088 CPUtime=0.28 cores=1,3,5,7
/proc/19151/task/19152/stat : 19152 (java) R 19149 19151 15618 0 -1 4202560 12807 0 1 0 27 1 0 0 22 0 18 0 830678047 10814554112 21927 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 47478477732660 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10561088
[startup+0.701065 s]
/proc/loadavg: 3.87 3.90 3.67 1/512 19151
/proc/meminfo: memFree=21510040/32950928 swapFree=34259960/67111528
[pid=19151] ppid=19149 vsize=10566480 CPUtime=1.88 cores=1,3,5,7
/proc/19151/stat : 19151 (java) S 19149 19151 15618 0 -1 4202496 39031 0 1 0 184 4 0 0 25 0 22 0 830678047 10820075520 32602 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19151/statm: 2641620 32602 2222 9 0 2632354 0
[pid=19151/tid=19152] ppid=19149 vsize=10566480 CPUtime=0.55 cores=1,3,5,7
/proc/19151/task/19152/stat : 19152 (java) S 19149 19151 15618 0 -1 4202560 21189 0 1 0 53 2 0 0 24 0 22 0 830678047 10820075520 32602 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10566480
[startup+1.50091 s]
/proc/loadavg: 4.28 3.98 3.70 3/557 19206
/proc/meminfo: memFree=21185672/32950928 swapFree=34259960/67111528
[pid=19151] ppid=19149 vsize=10566480 CPUtime=3.85 cores=1,3,5,7
/proc/19151/stat : 19151 (java) S 19149 19151 15618 0 -1 4202496 130103 0 1 0 369 16 0 0 25 0 22 0 830678047 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19151/statm: 2641620 123249 2226 9 0 2632354 0
[pid=19151/tid=19152] ppid=19149 vsize=10566480 CPUtime=0.55 cores=1,3,5,7
/proc/19151/task/19152/stat : 19152 (java) S 19149 19151 15618 0 -1 4202560 21189 0 1 0 53 2 0 0 19 0 22 0 830678047 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19154] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19154/stat : 19154 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19155] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19155/stat : 19155 (java) S 19149 19151 15618 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19156] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19156/stat : 19156 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19157] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19157/stat : 19157 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19158] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19158/stat : 19158 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19159] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19159/stat : 19159 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19160] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19160/stat : 19160 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19161] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19161/stat : 19161 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19164] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19164/stat : 19164 (java) S 19149 19151 15618 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830678050 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 0 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19165] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19165/stat : 19165 (java) S 19149 19151 15618 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830678050 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19166] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19166/stat : 19166 (java) S 19149 19151 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830678050 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19167] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19167/stat : 19167 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830678052 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512515505 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19168] ppid=19149 vsize=10566480 CPUtime=0.65 cores=1,3,5,7
/proc/19151/task/19168/stat : 19168 (java) S 19149 19151 15618 0 -1 4202560 8645 0 0 0 65 0 0 0 18 0 22 0 830678052 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19169] ppid=19149 vsize=10566480 CPUtime=0.77 cores=1,3,5,7
/proc/19151/task/19169/stat : 19169 (java) S 19149 19151 15618 0 -1 4202560 7240 0 0 0 76 1 0 0 16 0 22 0 830678052 10820075520 123249 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19170] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19170/stat : 19170 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830678052 10820075520 123250 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19171] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19171/stat : 19171 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830678052 10820075520 123250 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19199] ppid=19149 vsize=10566480 CPUtime=0.92 cores=1,3,5,7
/proc/19151/task/19199/stat : 19199 (java) R 19149 19151 15618 0 -1 4202560 738 0 0 0 92 0 0 0 20 0 22 0 830678104 10820075520 123250 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 47478477732691 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19151/tid=19200] ppid=19149 vsize=10566480 CPUtime=0.91 cores=1,3,5,7
/proc/19151/task/19200/stat : 19200 (java) R 19149 19151 15618 0 -1 4202560 91126 0 0 0 80 11 0 0 25 0 22 0 830678104 10820075520 123250 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 46912505932910 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19151/tid=19201] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19201/stat : 19201 (java) S 19149 19151 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830678108 10820075520 123250 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19202] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19202/stat : 19202 (java) S 19149 19151 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830678109 10820075520 123250 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 10566480
[startup+3.10159 s]
/proc/loadavg: 4.28 3.98 3.70 3/557 19212
/proc/meminfo: memFree=20616132/32950928 swapFree=34259960/67111528
[pid=19151] ppid=19149 vsize=10566480 CPUtime=7.22 cores=1,3,5,7
/proc/19151/stat : 19151 (java) S 19149 19151 15618 0 -1 4202496 296527 0 1 0 685 37 0 0 25 0 22 0 830678047 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19151/statm: 2641620 289080 2226 9 0 2632354 0
[pid=19151/tid=19152] ppid=19149 vsize=10566480 CPUtime=0.55 cores=1,3,5,7
/proc/19151/task/19152/stat : 19152 (java) S 19149 19151 15618 0 -1 4202560 21189 0 1 0 53 2 0 0 15 0 22 0 830678047 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19154] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19154/stat : 19154 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19155] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19155/stat : 19155 (java) S 19149 19151 15618 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19156] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19156/stat : 19156 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19157] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19157/stat : 19157 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19158] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19158/stat : 19158 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19159] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19159/stat : 19159 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19160] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19160/stat : 19160 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19161] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19161/stat : 19161 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830678049 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19164] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19164/stat : 19164 (java) S 19149 19151 15618 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830678050 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 0 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19165] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19165/stat : 19165 (java) S 19149 19151 15618 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830678050 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19166] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19166/stat : 19166 (java) S 19149 19151 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830678050 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19167] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19167/stat : 19167 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830678052 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512515505 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19168] ppid=19149 vsize=10566480 CPUtime=0.74 cores=1,3,5,7
/proc/19151/task/19168/stat : 19168 (java) R 19149 19151 15618 0 -1 4202560 9249 0 0 0 74 0 0 0 15 0 22 0 830678052 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 47478476772004 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19151/tid=19169] ppid=19149 vsize=10566480 CPUtime=0.86 cores=1,3,5,7
/proc/19151/task/19169/stat : 19169 (java) S 19149 19151 15618 0 -1 4202560 7252 0 0 0 85 1 0 0 15 0 22 0 830678052 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19170] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19170/stat : 19170 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830678052 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19171] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19171/stat : 19171 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830678052 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19199] ppid=19149 vsize=10566480 CPUtime=2.52 cores=1,3,5,7
/proc/19151/task/19199/stat : 19199 (java) R 19149 19151 15618 0 -1 4202560 1585 0 0 0 252 0 0 0 25 0 22 0 830678104 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 46912506077966 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19151/tid=19200] ppid=19149 vsize=10566480 CPUtime=2.51 cores=1,3,5,7
/proc/19151/task/19200/stat : 19200 (java) R 19149 19151 15618 0 -1 4202560 256086 0 0 0 219 32 0 0 25 0 22 0 830678104 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 46912505540102 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19151/tid=19201] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19201/stat : 19201 (java) S 19149 19151 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830678108 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19202] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19202/stat : 19202 (java) S 19149 19151 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830678109 10820075520 289080 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 10566480
[startup+6.30095 s]
/proc/loadavg: 4.28 3.98 3.70 7/560 19224
/proc/meminfo: memFree=18619556/32950928 swapFree=34259960/67111528
[pid=19151] ppid=19149 vsize=10566480 CPUtime=13.9 cores=1,3,5,7
/proc/19151/stat : 19151 (java) S 19149 19151 15618 0 -1 4202496 668776 0 1 0 1315 75 0 0 25 0 22 0 830678047 10820075520 660097 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19151/statm: 2641620 660097 2245 9 0 2632354 0
[pid=19151/tid=19152] ppid=19149 vsize=10566480 CPUtime=0.55 cores=1,3,5,7
/proc/19151/task/19152/stat : 19152 (java) S 19149 19151 15618 0 -1 4202560 21189 0 1 0 53 2 0 0 15 0 22 0 830678047 10820075520 660097 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19154] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19154/stat : 19154 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830678049 10820075520 660097 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19155] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19155/stat : 19155 (java) S 19149 19151 15618 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830678049 10820075520 660097 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19156] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19156/stat : 19156 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830678049 10820075520 660097 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19157] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19157/stat : 19157 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830678049 10820075520 660097 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19158] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19158/stat : 19158 (java) S 19149 19151 15618 0 -1 4202560 712 0 0 0 0 0 0 0 18 0 22 0 830678049 10820075520 660098 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19159] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19159/stat : 19159 (java) S 19149 19151 15618 0 -1 4202560 1218 0 0 0 0 0 0 0 18 0 22 0 830678049 10820075520 660098 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19160] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19160/stat : 19160 (java) S 19149 19151 15618 0 -1 4202560 646 0 0 0 0 0 0 0 18 0 22 0 830678049 10820075520 660098 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19161] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19161/stat : 19161 (java) S 19149 19151 15618 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 22 0 830678049 10820075520 660098 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=16306464/32950928 swapFree=34259960/67111528
[pid=19151] ppid=19149 vsize=10566480 CPUtime=1632.06 cores=1,3,5,7
/proc/19151/stat : 19151 (java) S 19149 19151 15618 0 -1 4202496 961102 0 1 0 163094 112 0 0 25 0 22 0 830678047 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19151/statm: 2641620 951111 2259 9 0 2632354 0
[pid=19151/tid=19152] ppid=19149 vsize=10566480 CPUtime=0.55 cores=1,3,5,7
/proc/19151/task/19152/stat : 19152 (java) S 19149 19151 15618 0 -1 4202560 21221 0 1 0 53 2 0 0 15 0 22 0 830678047 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19154] ppid=19149 vsize=10566480 CPUtime=0.26 cores=1,3,5,7
/proc/19151/task/19154/stat : 19154 (java) S 19149 19151 15618 0 -1 4202560 6079 0 0 0 26 0 0 0 15 0 22 0 830678049 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19155] ppid=19149 vsize=10566480 CPUtime=0.23 cores=1,3,5,7
/proc/19151/task/19155/stat : 19155 (java) S 19149 19151 15618 0 -1 4202560 5145 0 0 0 23 0 0 0 16 0 22 0 830678049 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19156] ppid=19149 vsize=10566480 CPUtime=0.25 cores=1,3,5,7
/proc/19151/task/19156/stat : 19156 (java) S 19149 19151 15618 0 -1 4202560 4762 0 0 0 25 0 0 0 16 0 22 0 830678049 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19157] ppid=19149 vsize=10566480 CPUtime=0.22 cores=1,3,5,7
/proc/19151/task/19157/stat : 19157 (java) S 19149 19151 15618 0 -1 4202560 6766 0 0 0 22 0 0 0 15 0 22 0 830678049 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19158] ppid=19149 vsize=10566480 CPUtime=0.3 cores=1,3,5,7
/proc/19151/task/19158/stat : 19158 (java) S 19149 19151 15618 0 -1 4202560 7733 0 0 0 29 1 0 0 15 0 22 0 830678049 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19159] ppid=19149 vsize=10566480 CPUtime=0.29 cores=1,3,5,7
/proc/19151/task/19159/stat : 19159 (java) S 19149 19151 15618 0 -1 4202560 9647 0 0 0 28 1 0 0 16 0 22 0 830678049 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19160] ppid=19149 vsize=10566480 CPUtime=0.31 cores=1,3,5,7
/proc/19151/task/19160/stat : 19160 (java) S 19149 19151 15618 0 -1 4202560 7682 0 0 0 30 1 0 0 15 0 22 0 830678049 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19161] ppid=19149 vsize=10566480 CPUtime=0.36 cores=1,3,5,7
/proc/19151/task/19161/stat : 19161 (java) S 19149 19151 15618 0 -1 4202560 9166 0 0 0 35 1 0 0 16 0 22 0 830678049 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19164] ppid=19149 vsize=10566480 CPUtime=15.49 cores=1,3,5,7
/proc/19151/task/19164/stat : 19164 (java) S 19149 19151 15618 0 -1 4202560 44113 0 0 0 1544 5 0 0 15 0 22 0 830678050 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 0 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19165] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19165/stat : 19165 (java) S 19149 19151 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830678050 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19166] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19166/stat : 19166 (java) S 19149 19151 15618 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830678050 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19167] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19167/stat : 19167 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830678052 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512515505 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19168] ppid=19149 vsize=10566480 CPUtime=1.19 cores=1,3,5,7
/proc/19151/task/19168/stat : 19168 (java) S 19149 19151 15618 0 -1 4202560 10383 0 0 0 118 1 0 0 15 0 22 0 830678052 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19169] ppid=19149 vsize=10566480 CPUtime=1.48 cores=1,3,5,7
/proc/19151/task/19169/stat : 19169 (java) S 19149 19151 15618 0 -1 4202560 7423 0 0 0 147 1 0 0 15 0 22 0 830678052 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19170] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19170/stat : 19170 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830678052 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19171] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19171/stat : 19171 (java) S 19149 19151 15618 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830678052 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19199] ppid=19149 vsize=10566480 CPUtime=805.53 cores=1,3,5,7
/proc/19151/task/19199/stat : 19199 (java) R 19149 19151 15618 0 -1 4202560 2432 0 0 0 80552 1 0 0 25 0 22 0 830678104 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 46912505863970 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19151/tid=19200] ppid=19149 vsize=10566480 CPUtime=805.43 cores=1,3,5,7
/proc/19151/task/19200/stat : 19200 (java) R 19149 19151 15618 0 -1 4202560 817345 0 0 0 80453 90 0 0 25 0 22 0 830678104 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 46912505932825 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19151/tid=19201] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19201/stat : 19201 (java) S 19149 19151 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830678108 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19202] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19202/stat : 19202 (java) S 19149 19151 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830678109 10820075520 951111 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1632.06
Current children cumulated vsize (KiB) 10566480
[startup+882.302 s]
/proc/loadavg: 3.83 3.87 3.78 5/560 19248
/proc/meminfo: memFree=16287916/32950928 swapFree=34259960/67111528
[pid=19151] ppid=19149 vsize=10566480 CPUtime=1750.6 cores=1,3,5,7
/proc/19151/stat : 19151 (java) S 19149 19151 15618 0 -1 4202496 965731 0 1 0 174948 112 0 0 25 0 22 0 830678047 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19151/statm: 2641620 955727 2259 9 0 2632354 0
[pid=19151/tid=19152] ppid=19149 vsize=10566480 CPUtime=0.55 cores=1,3,5,7
/proc/19151/task/19152/stat : 19152 (java) S 19149 19151 15618 0 -1 4202560 21225 0 1 0 53 2 0 0 15 0 22 0 830678047 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19154] ppid=19149 vsize=10566480 CPUtime=0.29 cores=1,3,5,7
/proc/19151/task/19154/stat : 19154 (java) S 19149 19151 15618 0 -1 4202560 6079 0 0 0 29 0 0 0 16 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19155] ppid=19149 vsize=10566480 CPUtime=0.25 cores=1,3,5,7
/proc/19151/task/19155/stat : 19155 (java) S 19149 19151 15618 0 -1 4202560 5145 0 0 0 25 0 0 0 16 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19156] ppid=19149 vsize=10566480 CPUtime=0.26 cores=1,3,5,7
/proc/19151/task/19156/stat : 19156 (java) S 19149 19151 15618 0 -1 4202560 4762 0 0 0 26 0 0 0 15 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19157] ppid=19149 vsize=10566480 CPUtime=0.24 cores=1,3,5,7
/proc/19151/task/19157/stat : 19157 (java) S 19149 19151 15618 0 -1 4202560 6766 0 0 0 24 0 0 0 15 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19158] ppid=19149 vsize=10566480 CPUtime=0.31 cores=1,3,5,7
/proc/19151/task/19158/stat : 19158 (java) S 19149 19151 15618 0 -1 4202560 7735 0 0 0 30 1 0 0 15 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19159] ppid=19149 vsize=10566480 CPUtime=0.29 cores=1,3,5,7
/proc/19151/task/19159/stat : 19159 (java) S 19149 19151 15618 0 -1 4202560 9647 0 0 0 28 1 0 0 15 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19160] ppid=19149 vsize=10566480 CPUtime=0.33 cores=1,3,5,7
/proc/19151/task/19160/stat : 19160 (java) S 19149 19151 15618 0 -1 4202560 7682 0 0 0 32 1 0 0 16 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19161] ppid=19149 vsize=10566480 CPUtime=0.37 cores=1,3,5,7
/proc/19151/task/19161/stat : 19161 (java) S 19149 19151 15618 0 -1 4202560 9166 0 0 0 36 1 0 0 16 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19164] ppid=19149 vsize=10566480 CPUtime=17.01 cores=1,3,5,7
/proc/19151/task/19164/stat : 19164 (java) S 19149 19151 15618 0 -1 4202560 48729 0 0 0 1696 5 0 0 15 0 22 0 830678050 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 0 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19165] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19165/stat : 19165 (java) S 19149 19151 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830678050 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19166] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19166/stat : 19166 (java) S 19149 19151 15618 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830678050 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19167] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19167/stat : 19167 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830678052 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512515505 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19168] ppid=19149 vsize=10566480 CPUtime=1.2 cores=1,3,5,7
/proc/19151/task/19168/stat : 19168 (java) S 19149 19151 15618 0 -1 4202560 10386 0 0 0 119 1 0 0 16 0 22 0 830678052 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19169] ppid=19149 vsize=10566480 CPUtime=1.49 cores=1,3,5,7
/proc/19151/task/19169/stat : 19169 (java) S 19149 19151 15618 0 -1 4202560 7423 0 0 0 148 1 0 0 15 0 22 0 830678052 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19170] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19170/stat : 19170 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830678052 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19171] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19171/stat : 19171 (java) S 19149 19151 15618 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830678052 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19199] ppid=19149 vsize=10566480 CPUtime=863.98 cores=1,3,5,7
/proc/19151/task/19199/stat : 19199 (java) R 19149 19151 15618 0 -1 4202560 2432 0 0 0 86397 1 0 0 25 0 22 0 830678104 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 46912506077880 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19151/tid=19200] ppid=19149 vsize=10566480 CPUtime=863.87 cores=1,3,5,7
/proc/19151/task/19200/stat : 19200 (java) R 19149 19151 15618 0 -1 4202560 817345 0 0 0 86297 90 0 0 25 0 22 0 830678104 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 46912506006730 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19151/tid=19201] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19201/stat : 19201 (java) S 19149 19151 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830678108 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19202] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19202/stat : 19202 (java) S 19149 19151 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830678109 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1750.6
Current children cumulated vsize (KiB) 10566480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+907.401 s]
/proc/loadavg: 3.89 3.88 3.79 5/560 19248
/proc/meminfo: memFree=16287640/32950928 swapFree=34259960/67111528
[pid=19151] ppid=19149 vsize=10566480 CPUtime=1800.13 cores=1,3,5,7
/proc/19151/stat : 19151 (java) S 19149 19151 15618 0 -1 4202496 965732 0 1 0 179901 112 0 0 25 0 22 0 830678047 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19151/statm: 2641620 955727 2259 9 0 2632354 0
[pid=19151/tid=19152] ppid=19149 vsize=10566480 CPUtime=0.55 cores=1,3,5,7
/proc/19151/task/19152/stat : 19152 (java) S 19149 19151 15618 0 -1 4202560 21226 0 1 0 53 2 0 0 15 0 22 0 830678047 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19154] ppid=19149 vsize=10566480 CPUtime=0.3 cores=1,3,5,7
/proc/19151/task/19154/stat : 19154 (java) S 19149 19151 15618 0 -1 4202560 6079 0 0 0 30 0 0 0 16 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19155] ppid=19149 vsize=10566480 CPUtime=0.26 cores=1,3,5,7
/proc/19151/task/19155/stat : 19155 (java) S 19149 19151 15618 0 -1 4202560 5145 0 0 0 26 0 0 0 16 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19156] ppid=19149 vsize=10566480 CPUtime=0.26 cores=1,3,5,7
/proc/19151/task/19156/stat : 19156 (java) S 19149 19151 15618 0 -1 4202560 4762 0 0 0 26 0 0 0 15 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19157] ppid=19149 vsize=10566480 CPUtime=0.24 cores=1,3,5,7
/proc/19151/task/19157/stat : 19157 (java) S 19149 19151 15618 0 -1 4202560 6766 0 0 0 24 0 0 0 15 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19158] ppid=19149 vsize=10566480 CPUtime=0.32 cores=1,3,5,7
/proc/19151/task/19158/stat : 19158 (java) S 19149 19151 15618 0 -1 4202560 7735 0 0 0 31 1 0 0 16 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19159] ppid=19149 vsize=10566480 CPUtime=0.3 cores=1,3,5,7
/proc/19151/task/19159/stat : 19159 (java) S 19149 19151 15618 0 -1 4202560 9647 0 0 0 29 1 0 0 16 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19160] ppid=19149 vsize=10566480 CPUtime=0.33 cores=1,3,5,7
/proc/19151/task/19160/stat : 19160 (java) S 19149 19151 15618 0 -1 4202560 7682 0 0 0 32 1 0 0 15 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19161] ppid=19149 vsize=10566480 CPUtime=0.37 cores=1,3,5,7
/proc/19151/task/19161/stat : 19161 (java) S 19149 19151 15618 0 -1 4202560 9166 0 0 0 36 1 0 0 15 0 22 0 830678049 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19164] ppid=19149 vsize=10566480 CPUtime=17.77 cores=1,3,5,7
/proc/19151/task/19164/stat : 19164 (java) S 19149 19151 15618 0 -1 4202560 48729 0 0 0 1772 5 0 0 15 0 22 0 830678050 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 0 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19165] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19165/stat : 19165 (java) S 19149 19151 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830678050 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19166] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19166/stat : 19166 (java) S 19149 19151 15618 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830678050 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19167] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19167/stat : 19167 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830678052 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512515505 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19168] ppid=19149 vsize=10566480 CPUtime=1.2 cores=1,3,5,7
/proc/19151/task/19168/stat : 19168 (java) S 19149 19151 15618 0 -1 4202560 10386 0 0 0 119 1 0 0 16 0 22 0 830678052 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
[pid=19151/tid=19169] ppid=19149 vsize=10566480 CPUtime=1.49 cores=1,3,5,7
/proc/19151/task/19169/stat : 19169 (java) S 19149 19151 15618 0 -1 4202560 7423 0 0 0 148 1 0 0 15 0 22 0 830678052 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 5 0 0 0
[pid=19151/tid=19170] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19170/stat : 19170 (java) S 19149 19151 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830678052 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512507801 0 4 0 16800975 18446604470876670912 0 0 -1 1 0 0 0
[pid=19151/tid=19171] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19171/stat : 19171 (java) S 19149 19151 15618 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830678052 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19199] ppid=19149 vsize=10566480 CPUtime=888.35 cores=1,3,5,7
/proc/19151/task/19199/stat : 19199 (java) R 19149 19151 15618 0 -1 4202560 2432 0 0 0 88834 1 0 0 21 0 22 0 830678104 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 46912505864463 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19151/tid=19200] ppid=19149 vsize=10566480 CPUtime=888.25 cores=1,3,5,7
/proc/19151/task/19200/stat : 19200 (java) R 19149 19151 15618 0 -1 4202560 817345 0 0 0 88735 90 0 0 22 0 22 0 830678104 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 46912506006730 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19151/tid=19201] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19201/stat : 19201 (java) S 19149 19151 15618 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830678108 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 3 0 0 0
[pid=19151/tid=19202] ppid=19149 vsize=10566480 CPUtime=0 cores=1,3,5,7
/proc/19151/task/19202/stat : 19202 (java) S 19149 19151 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830678109 10820075520 955727 33554432000 1073741824 1073778376 140735817520816 18446744073709551615 254512508416 0 4 0 16800975 18446604470876670912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10566480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+907.6 s]
/proc/loadavg: 3.89 3.88 3.79 5/560 19248
/proc/meminfo: memFree=16287640/32950928 swapFree=34259960/67111528
[pid=19151] ppid=19149 vsize=0 CPUtime=1800.32 cores=1,3,5,7
/proc/19151/stat : 19151 (java) Z 19149 19151 15618 0 -1 4203548 965765 0 1 0 179906 126 0 0 17 0 2 0 830678047 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/19151/statm: 0 0 0 0 0 0 0
[pid=19151/tid=19200] ppid=19149 vsize=0 CPUtime=888.4 cores=1,3,5,7
/proc/19151/task/19200/stat : 19200 (java) R 19149 19151 15618 0 -1 4203588 817345 0 0 0 88736 104 0 0 22 0 2 0 830678104 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 907.602
CPU time (s): 1800.34
CPU user time (s): 1799.07
CPU system time (s): 1.26781
CPU usage (%): 198.362
Max. virtual memory (cumulated for all children) (KiB): 10566480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.26781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 965765
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= 23158
involuntary context switches= 17246
runsolver used 4.72128 second user time and 11.7682 second system time
The end