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-3454727-1307186734/watcher-3454727-1307186734 -o /tmp/evaluation-result-3454727-1307186734/solver-3454727-1307186734 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454727-1307186734.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: 1.24 1.40 1.72 3/397 10353
/proc/meminfo: memFree=30059108/32950904 swapFree=56615552/67111528
[pid=10353] ppid=10351 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/10353/stat : 10353 (java) S 10351 10353 8078 0 -1 4202496 2174 0 1 0 0 0 0 0 25 0 2 0 830273176 10681323520 1875 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/10353/statm: 2607745 1888 906 9 0 2598901 0
[pid=10353/tid=10356] ppid=10351 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10356/stat : 10356 (java) R 10351 10353 8078 0 -1 4202560 4721 0 1 0 0 0 0 0 25 0 2 0 830273177 10694979584 5537 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.08874 s]
/proc/loadavg: 1.24 1.40 1.72 3/397 10353
/proc/meminfo: memFree=30059108/32950904 swapFree=56615552/67111528
[pid=10353] ppid=10351 vsize=10540484 CPUtime=0.09 cores=1,3,5,7
/proc/10353/stat : 10353 (java) S 10351 10353 8078 0 -1 4202496 12959 0 1 0 8 1 0 0 25 0 18 0 830273176 10793455616 12619 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10353/statm: 2635121 12620 2092 9 0 2625855 0
[pid=10353/tid=10356] ppid=10351 vsize=10540484 CPUtime=0.07 cores=1,3,5,7
/proc/10353/task/10356/stat : 10356 (java) R 10351 10353 8078 0 -1 4202560 11000 0 1 0 6 1 0 0 25 0 18 0 830273177 10793455616 12620 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 47800853990432 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540484
[startup+0.100474 s]
/proc/loadavg: 1.24 1.40 1.72 3/397 10353
/proc/meminfo: memFree=30059108/32950904 swapFree=56615552/67111528
[pid=10353] ppid=10351 vsize=10540484 CPUtime=0.11 cores=1,3,5,7
/proc/10353/stat : 10353 (java) S 10351 10353 8078 0 -1 4202496 13153 0 1 0 9 2 0 0 25 0 18 0 830273176 10793455616 12813 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10353/statm: 2635121 12814 2093 9 0 2625855 0
[pid=10353/tid=10356] ppid=10351 vsize=10540484 CPUtime=0.08 cores=1,3,5,7
/proc/10353/task/10356/stat : 10356 (java) R 10351 10353 8078 0 -1 4202560 11193 0 1 0 7 1 0 0 25 0 18 0 830273177 10793455616 12814 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 47800853220291 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) 10540484
[startup+0.300443 s]
/proc/loadavg: 1.24 1.40 1.72 3/397 10353
/proc/meminfo: memFree=30059108/32950904 swapFree=56615552/67111528
[pid=10353] ppid=10351 vsize=10549616 CPUtime=0.58 cores=1,3,5,7
/proc/10353/stat : 10353 (java) S 10351 10353 8078 0 -1 4202496 16311 0 1 0 56 2 0 0 25 0 22 0 830273176 10802806784 15325 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10353/statm: 2637404 15326 2209 9 0 2628138 0
[pid=10353/tid=10356] ppid=10351 vsize=10549616 CPUtime=0.16 cores=1,3,5,7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10353 8078 0 -1 4202560 11769 0 1 0 14 2 0 0 25 0 22 0 830273177 10802806784 15326 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10549616
[startup+0.700373 s]
/proc/loadavg: 1.24 1.40 1.72 3/397 10353
/proc/meminfo: memFree=30059108/32950904 swapFree=56615552/67111528
[pid=10353] ppid=10351 vsize=10566192 CPUtime=1.88 cores=1,3,5,7
/proc/10353/stat : 10353 (java) S 10351 10353 8078 0 -1 4202496 26845 0 1 0 185 3 0 0 25 0 22 0 830273176 10819780608 24137 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10353/statm: 2641548 24137 2221 9 0 2632282 0
[pid=10353/tid=10356] ppid=10351 vsize=10566192 CPUtime=0.16 cores=1,3,5,7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10353 8078 0 -1 4202560 11769 0 1 0 14 2 0 0 20 0 22 0 830273177 10819780608 24138 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10566192
[startup+1.50123 s]
/proc/loadavg: 1.24 1.40 1.72 7/443 10402
/proc/meminfo: memFree=29691160/32950904 swapFree=56615552/67111528
[pid=10353] ppid=10351 vsize=10564720 CPUtime=4.39 cores=1,3,5,7
/proc/10353/stat : 10353 (java) S 10351 10353 8078 0 -1 4202496 61054 0 1 0 432 7 0 0 25 0 22 0 830273176 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10353/statm: 2641180 51652 2256 9 0 2631914 0
[pid=10353/tid=10356] ppid=10351 vsize=10564720 CPUtime=0.16 cores=1,3,5,7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10353 8078 0 -1 4202560 11769 0 1 0 14 2 0 0 15 0 22 0 830273177 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10363] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10363/stat : 10363 (java) S 10351 10353 8078 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10364] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10364/stat : 10364 (java) S 10351 10353 8078 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10365] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10365/stat : 10365 (java) S 10351 10353 8078 0 -1 4202560 199 0 0 0 0 0 0 0 16 0 22 0 830273179 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10366] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10366/stat : 10366 (java) S 10351 10353 8078 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10367] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10367/stat : 10367 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10368] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10368/stat : 10368 (java) S 10351 10353 8078 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10369] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10369/stat : 10369 (java) S 10351 10353 8078 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10370] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10370/stat : 10370 (java) S 10351 10353 8078 0 -1 4202560 305 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10379] ppid=10351 vsize=10564720 CPUtime=0.04 cores=1,3,5,7
/proc/10353/task/10379/stat : 10379 (java) S 10351 10353 8078 0 -1 4202560 1283 0 0 0 4 0 0 0 16 0 22 0 830273180 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 0 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10380] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10380/stat : 10380 (java) S 10351 10353 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830273180 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10381] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10381/stat : 10381 (java) S 10351 10353 8078 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830273180 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10385] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10385/stat : 10385 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273182 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290703281 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10386] ppid=10351 vsize=10564720 CPUtime=0.82 cores=1,3,5,7
/proc/10353/task/10386/stat : 10386 (java) S 10351 10353 8078 0 -1 4202560 9316 0 0 0 82 0 0 0 24 0 22 0 830273182 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10387] ppid=10351 vsize=10564720 CPUtime=0.79 cores=1,3,5,7
/proc/10353/task/10387/stat : 10387 (java) S 10351 10353 8078 0 -1 4202560 6514 0 0 0 79 0 0 0 23 0 22 0 830273182 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10388] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10388/stat : 10388 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273182 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10389] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10389/stat : 10389 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830273182 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10395] ppid=10351 vsize=10564720 CPUtime=1.26 cores=1,3,5,7
/proc/10353/task/10395/stat : 10395 (java) R 10351 10353 8078 0 -1 4202560 315 0 0 0 126 0 0 0 25 0 22 0 830273194 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 46912505573658 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10353/tid=10396] ppid=10351 vsize=10564720 CPUtime=1.26 cores=1,3,5,7
/proc/10353/task/10396/stat : 10396 (java) R 10351 10353 8078 0 -1 4202560 29615 0 0 0 123 3 0 0 25 0 22 0 830273194 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 46912505913135 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10353/tid=10397] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10397/stat : 10397 (java) S 10351 10353 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273194 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10398] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10398/stat : 10398 (java) S 10351 10353 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273194 10818273280 51652 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10564720
[startup+3.10094 s]
/proc/loadavg: 1.24 1.40 1.72 5/443 10402
/proc/meminfo: memFree=29490908/32950904 swapFree=56615552/67111528
[pid=10353] ppid=10351 vsize=10564720 CPUtime=7.55 cores=1,3,5,7
/proc/10353/stat : 10353 (java) S 10351 10353 8078 0 -1 4202496 71089 0 1 0 746 9 0 0 25 0 22 0 830273176 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10353/statm: 2641180 61683 2257 9 0 2631914 0
[pid=10353/tid=10356] ppid=10351 vsize=10564720 CPUtime=0.16 cores=1,3,5,7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10353 8078 0 -1 4202560 11769 0 1 0 14 2 0 0 15 0 22 0 830273177 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10363] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10363/stat : 10363 (java) S 10351 10353 8078 0 -1 4202560 250 0 0 0 0 0 0 0 16 0 22 0 830273179 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10364] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10364/stat : 10364 (java) S 10351 10353 8078 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10365] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10365/stat : 10365 (java) S 10351 10353 8078 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10366] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10366/stat : 10366 (java) S 10351 10353 8078 0 -1 4202560 123 0 0 0 0 0 0 0 16 0 22 0 830273179 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10367] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10367/stat : 10367 (java) S 10351 10353 8078 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10368] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10368/stat : 10368 (java) S 10351 10353 8078 0 -1 4202560 81 0 0 0 0 0 0 0 16 0 22 0 830273179 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10369] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10369/stat : 10369 (java) S 10351 10353 8078 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10370] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10370/stat : 10370 (java) S 10351 10353 8078 0 -1 4202560 308 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10379] ppid=10351 vsize=10564720 CPUtime=0.13 cores=1,3,5,7
/proc/10353/task/10379/stat : 10379 (java) S 10351 10353 8078 0 -1 4202560 2590 0 0 0 13 0 0 0 15 0 22 0 830273180 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 0 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10380] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10380/stat : 10380 (java) S 10351 10353 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830273180 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10381] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10381/stat : 10381 (java) S 10351 10353 8078 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830273180 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10385] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10385/stat : 10385 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273182 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290703281 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10386] ppid=10351 vsize=10564720 CPUtime=0.84 cores=1,3,5,7
/proc/10353/task/10386/stat : 10386 (java) S 10351 10353 8078 0 -1 4202560 9319 0 0 0 84 0 0 0 20 0 22 0 830273182 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10387] ppid=10351 vsize=10564720 CPUtime=0.81 cores=1,3,5,7
/proc/10353/task/10387/stat : 10387 (java) S 10351 10353 8078 0 -1 4202560 6520 0 0 0 81 0 0 0 18 0 22 0 830273182 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10388] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10388/stat : 10388 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273182 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10389] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10389/stat : 10389 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830273182 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10395] ppid=10351 vsize=10564720 CPUtime=2.77 cores=1,3,5,7
/proc/10353/task/10395/stat : 10395 (java) R 10351 10353 8078 0 -1 4202560 354 0 0 0 277 0 0 0 25 0 22 0 830273194 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 46912505593174 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10353/tid=10396] ppid=10351 vsize=10564720 CPUtime=2.76 cores=1,3,5,7
/proc/10353/task/10396/stat : 10396 (java) R 10351 10353 8078 0 -1 4202560 38119 0 0 0 271 5 0 0 25 0 22 0 830273194 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 46912505913679 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10353/tid=10397] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10397/stat : 10397 (java) S 10351 10353 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273194 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10398] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10398/stat : 10398 (java) S 10351 10353 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273194 10818273280 61683 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 10564720
Solver just ended. Dumping a history of the last processes samples
[startup+3.9008 s]
/proc/loadavg: 1.24 1.40 1.72 4/443 10402
/proc/meminfo: memFree=29483840/32950904 swapFree=56615552/67111528
[pid=10353] ppid=10351 vsize=10564720 CPUtime=9.11 cores=1,3,5,7
/proc/10353/stat : 10353 (java) S 10351 10353 8078 0 -1 4202496 71258 0 1 0 902 9 0 0 25 0 22 0 830273176 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10353/statm: 2641180 61850 2257 9 0 2631914 0
[pid=10353/tid=10356] ppid=10351 vsize=10564720 CPUtime=0.16 cores=1,3,5,7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10353 8078 0 -1 4202560 11770 0 1 0 14 2 0 0 15 0 22 0 830273177 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10363] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10363/stat : 10363 (java) S 10351 10353 8078 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10364] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10364/stat : 10364 (java) S 10351 10353 8078 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10365] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10365/stat : 10365 (java) S 10351 10353 8078 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10366] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10366/stat : 10366 (java) S 10351 10353 8078 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10367] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10367/stat : 10367 (java) S 10351 10353 8078 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10368] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10368/stat : 10368 (java) S 10351 10353 8078 0 -1 4202560 81 0 0 0 0 0 0 0 16 0 22 0 830273179 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10369] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10369/stat : 10369 (java) S 10351 10353 8078 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10370] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10370/stat : 10370 (java) S 10351 10353 8078 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10379] ppid=10351 vsize=10564720 CPUtime=0.18 cores=1,3,5,7
/proc/10353/task/10379/stat : 10379 (java) S 10351 10353 8078 0 -1 4202560 2733 0 0 0 18 0 0 0 16 0 22 0 830273180 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 0 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10380] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10380/stat : 10380 (java) S 10351 10353 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830273180 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10381] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10381/stat : 10381 (java) S 10351 10353 8078 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830273180 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10385] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10385/stat : 10385 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273182 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290703281 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10386] ppid=10351 vsize=10564720 CPUtime=0.84 cores=1,3,5,7
/proc/10353/task/10386/stat : 10386 (java) S 10351 10353 8078 0 -1 4202560 9319 0 0 0 84 0 0 0 20 0 22 0 830273182 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10387] ppid=10351 vsize=10564720 CPUtime=0.81 cores=1,3,5,7
/proc/10353/task/10387/stat : 10387 (java) S 10351 10353 8078 0 -1 4202560 6520 0 0 0 81 0 0 0 18 0 22 0 830273182 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10388] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10388/stat : 10388 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273182 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10389] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10389/stat : 10389 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830273182 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10395] ppid=10351 vsize=10564720 CPUtime=3.51 cores=1,3,5,7
/proc/10353/task/10395/stat : 10395 (java) R 10351 10353 8078 0 -1 4202560 377 0 0 0 351 0 0 0 25 0 22 0 830273194 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 46912505625212 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10353/tid=10396] ppid=10351 vsize=10564720 CPUtime=3.51 cores=1,3,5,7
/proc/10353/task/10396/stat : 10396 (java) R 10351 10353 8078 0 -1 4202560 38119 0 0 0 346 5 0 0 25 0 22 0 830273194 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 46912505708951 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10353/tid=10397] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10397/stat : 10397 (java) S 10351 10353 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273194 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10398] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10398/stat : 10398 (java) S 10351 10353 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273194 10818273280 61850 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.11
Current children cumulated vsize (KiB) 10564720
[startup+4.70072 s]
/proc/loadavg: 1.46 1.44 1.73 5/443 10402
/proc/meminfo: memFree=29456784/32950904 swapFree=56615552/67111528
[pid=10353] ppid=10351 vsize=10564720 CPUtime=10.67 cores=1,3,5,7
/proc/10353/stat : 10353 (java) S 10351 10353 8078 0 -1 4202496 79455 0 1 0 1057 10 0 0 25 0 22 0 830273176 10818273280 70044 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10353/statm: 2641180 70045 2257 9 0 2631914 0
[pid=10353/tid=10356] ppid=10351 vsize=10564720 CPUtime=0.16 cores=1,3,5,7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10353 8078 0 -1 4202560 11770 0 1 0 14 2 0 0 15 0 22 0 830273177 10818273280 70046 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10363] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10363/stat : 10363 (java) S 10351 10353 8078 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 70046 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10364] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10364/stat : 10364 (java) S 10351 10353 8078 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 70047 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10365] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10365/stat : 10365 (java) S 10351 10353 8078 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 70048 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10366] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10366/stat : 10366 (java) S 10351 10353 8078 0 -1 4202560 124 0 0 0 0 0 0 0 16 0 22 0 830273179 10818273280 70048 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10367] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10367/stat : 10367 (java) S 10351 10353 8078 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 830273179 10818273280 70049 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10368] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10368/stat : 10368 (java) S 10351 10353 8078 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 70050 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10369] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10369/stat : 10369 (java) S 10351 10353 8078 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 70050 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10370] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10370/stat : 10370 (java) S 10351 10353 8078 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 22 0 830273179 10818273280 70050 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10379] ppid=10351 vsize=10564720 CPUtime=0.22 cores=1,3,5,7
/proc/10353/task/10379/stat : 10379 (java) S 10351 10353 8078 0 -1 4202560 3011 0 0 0 22 0 0 0 16 0 22 0 830273180 10818273280 70051 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 0 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10380] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10380/stat : 10380 (java) S 10351 10353 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830273180 10818273280 70051 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10381] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10381/stat : 10381 (java) S 10351 10353 8078 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830273180 10818273280 70052 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10385] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10385/stat : 10385 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273182 10818273280 70052 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290703281 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10386] ppid=10351 vsize=10564720 CPUtime=0.84 cores=1,3,5,7
/proc/10353/task/10386/stat : 10386 (java) S 10351 10353 8078 0 -1 4202560 9319 0 0 0 84 0 0 0 20 0 22 0 830273182 10818273280 70053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10387] ppid=10351 vsize=10564720 CPUtime=0.82 cores=1,3,5,7
/proc/10353/task/10387/stat : 10387 (java) S 10351 10353 8078 0 -1 4202560 6520 0 0 0 82 0 0 0 16 0 22 0 830273182 10818273280 70053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10388] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10388/stat : 10388 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273182 10818273280 70054 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10389] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10389/stat : 10389 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830273182 10818273280 70054 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10395] ppid=10351 vsize=10564720 CPUtime=4.27 cores=1,3,5,7
/proc/10353/task/10395/stat : 10395 (java) R 10351 10353 8078 0 -1 4202560 380 0 0 0 427 0 0 0 25 0 22 0 830273194 10818273280 70055 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 46912505592664 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10353/tid=10396] ppid=10351 vsize=10564720 CPUtime=4.26 cores=1,3,5,7
/proc/10353/task/10396/stat : 10396 (java) R 10351 10353 8078 0 -1 4202560 46050 0 0 0 420 6 0 0 25 0 22 0 830273194 10818273280 70061 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 46912505566506 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10353/tid=10397] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10397/stat : 10397 (java) S 10351 10353 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273194 10818273280 70067 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10398] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10398/stat : 10398 (java) S 10351 10353 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273194 10818273280 70074 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 10564720
[startup+5.10058 s]
/proc/loadavg: 1.46 1.44 1.73 5/443 10402
/proc/meminfo: memFree=29456784/32950904 swapFree=56615552/67111528
[pid=10353] ppid=10351 vsize=10564720 CPUtime=10.95 cores=1,3,5,7
/proc/10353/stat : 10353 (java) S 10351 10353 8078 0 -1 4202496 80465 0 1 0 1085 10 0 0 25 0 19 0 830273176 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10353/statm: 2641180 71053 2258 9 0 2631914 0
[pid=10353/tid=10356] ppid=10351 vsize=10564720 CPUtime=0.16 cores=1,3,5,7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10353 8078 0 -1 4202560 11770 0 1 0 14 2 0 0 15 0 19 0 830273177 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10363] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10363/stat : 10363 (java) S 10351 10353 8078 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10364] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10364/stat : 10364 (java) S 10351 10353 8078 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10365] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10365/stat : 10365 (java) S 10351 10353 8078 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10366] ppid=10351 vsize=10564720 CPUtime=0.01 cores=1,3,5,7
/proc/10353/task/10366/stat : 10366 (java) S 10351 10353 8078 0 -1 4202560 124 0 0 0 1 0 0 0 16 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10367] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10367/stat : 10367 (java) S 10351 10353 8078 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10368] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10368/stat : 10368 (java) S 10351 10353 8078 0 -1 4202560 83 0 0 0 0 0 0 0 16 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10369] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10369/stat : 10369 (java) S 10351 10353 8078 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10370] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10370/stat : 10370 (java) S 10351 10353 8078 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10379] ppid=10351 vsize=10564720 CPUtime=0.25 cores=1,3,5,7
/proc/10353/task/10379/stat : 10379 (java) S 10351 10353 8078 0 -1 4202560 3011 0 0 0 25 0 0 0 16 0 19 0 830273180 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 0 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10380] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10380/stat : 10380 (java) S 10351 10353 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830273180 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10381] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10381/stat : 10381 (java) S 10351 10353 8078 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830273180 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10385] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10385/stat : 10385 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830273182 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290703281 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10386] ppid=10351 vsize=10564720 CPUtime=0.84 cores=1,3,5,7
/proc/10353/task/10386/stat : 10386 (java) S 10351 10353 8078 0 -1 4202560 9319 0 0 0 84 0 0 0 20 0 19 0 830273182 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10387] ppid=10351 vsize=10564720 CPUtime=0.83 cores=1,3,5,7
/proc/10353/task/10387/stat : 10387 (java) S 10351 10353 8078 0 -1 4202560 6522 0 0 0 83 0 0 0 15 0 19 0 830273182 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10388] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10388/stat : 10388 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830273182 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10389] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10389/stat : 10389 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830273182 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10398] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10398/stat : 10398 (java) S 10351 10353 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830273194 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.95
Current children cumulated vsize (KiB) 10564720
[startup+5.20057 s]
/proc/loadavg: 1.46 1.44 1.73 5/443 10402
/proc/meminfo: memFree=29456784/32950904 swapFree=56615552/67111528
[pid=10353] ppid=10351 vsize=10564720 CPUtime=10.95 cores=1,3,5,7
/proc/10353/stat : 10353 (java) S 10351 10353 8078 0 -1 4202496 80465 0 1 0 1085 10 0 0 25 0 19 0 830273176 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10353/statm: 2641180 71053 2258 9 0 2631914 0
[pid=10353/tid=10356] ppid=10351 vsize=10564720 CPUtime=0.16 cores=1,3,5,7
/proc/10353/task/10356/stat : 10356 (java) S 10351 10353 8078 0 -1 4202560 11770 0 1 0 14 2 0 0 15 0 19 0 830273177 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10363] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10363/stat : 10363 (java) S 10351 10353 8078 0 -1 4202560 250 0 0 0 0 0 0 0 15 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10364] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10364/stat : 10364 (java) S 10351 10353 8078 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10365] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10365/stat : 10365 (java) S 10351 10353 8078 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10366] ppid=10351 vsize=10564720 CPUtime=0.01 cores=1,3,5,7
/proc/10353/task/10366/stat : 10366 (java) S 10351 10353 8078 0 -1 4202560 124 0 0 0 1 0 0 0 16 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10367] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10367/stat : 10367 (java) S 10351 10353 8078 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10368] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10368/stat : 10368 (java) S 10351 10353 8078 0 -1 4202560 83 0 0 0 0 0 0 0 16 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10369] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10369/stat : 10369 (java) S 10351 10353 8078 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10370] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10370/stat : 10370 (java) S 10351 10353 8078 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 830273179 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10379] ppid=10351 vsize=10564720 CPUtime=0.25 cores=1,3,5,7
/proc/10353/task/10379/stat : 10379 (java) S 10351 10353 8078 0 -1 4202560 3011 0 0 0 25 0 0 0 16 0 19 0 830273180 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 0 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10380] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10380/stat : 10380 (java) S 10351 10353 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830273180 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10381] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10381/stat : 10381 (java) S 10351 10353 8078 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830273180 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10385] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10385/stat : 10385 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830273182 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290703281 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10386] ppid=10351 vsize=10564720 CPUtime=0.84 cores=1,3,5,7
/proc/10353/task/10386/stat : 10386 (java) S 10351 10353 8078 0 -1 4202560 9319 0 0 0 84 0 0 0 20 0 19 0 830273182 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 7 0 0 0
[pid=10353/tid=10387] ppid=10351 vsize=10564720 CPUtime=0.83 cores=1,3,5,7
/proc/10353/task/10387/stat : 10387 (java) S 10351 10353 8078 0 -1 4202560 6522 0 0 0 83 0 0 0 15 0 19 0 830273182 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 5 0 0 0
[pid=10353/tid=10388] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10388/stat : 10388 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830273182 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
[pid=10353/tid=10389] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10389/stat : 10389 (java) S 10351 10353 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830273182 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 3 0 0 0
[pid=10353/tid=10398] ppid=10351 vsize=10564720 CPUtime=0 cores=1,3,5,7
/proc/10353/task/10398/stat : 10398 (java) S 10351 10353 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830273194 10818273280 71053 33554432000 1073741824 1073778376 140733435631328 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555008 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.95
Current children cumulated vsize (KiB) 10564720
Child status: 20
Real time (s): 5.27315
CPU time (s): 10.9863
CPU user time (s): 10.8643
CPU system time (s): 0.121981
CPU usage (%): 208.345
Max. virtual memory (cumulated for all children) (KiB): 10574320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8643
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80476
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= 747
involuntary context switches= 304
runsolver used 0.028995 second user time and 0.047992 second system time
The end