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-3454732-1307186740/watcher-3454732-1307186740 -o /tmp/evaluation-result-3454732-1307186740/solver-3454732-1307186740 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454732-1307186740.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.46 1.44 1.73 3/421 10429
/proc/meminfo: memFree=29717468/32950904 swapFree=56615552/67111528
[pid=10429] ppid=10427 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/10429/stat : 10429 (java) S 10427 10429 8078 0 -1 4202496 2628 0 1 0 0 0 0 0 25 0 2 0 830273732 10681323520 2330 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10429/statm: 2607745 2344 906 9 0 2598901 0
[pid=10429/tid=10430] ppid=10427 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10430/stat : 10430 (java) R 10427 10429 8078 0 -1 4202560 5011 0 1 0 0 0 0 0 25 0 2 0 830273733 10694979584 5827 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0477501 s]
/proc/loadavg: 1.46 1.44 1.73 3/421 10429
/proc/meminfo: memFree=29717468/32950904 swapFree=56615552/67111528
[pid=10429] ppid=10427 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/10429/stat : 10429 (java) S 10427 10429 8078 0 -1 4202496 11382 0 1 0 3 1 0 0 25 0 13 0 830273732 10718699520 11079 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290682341 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/10429/statm: 2616870 11080 1682 9 0 2607618 0
[pid=10429/tid=10430] ppid=10427 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/10429/task/10430/stat : 10430 (java) R 10427 10429 8078 0 -1 4202560 10235 0 1 0 2 1 0 0 25 0 13 0 830273733 10718699520 11080 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290706379 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480
[startup+0.100739 s]
/proc/loadavg: 1.46 1.44 1.73 3/421 10429
/proc/meminfo: memFree=29717468/32950904 swapFree=56615552/67111528
[pid=10429] ppid=10427 vsize=10540460 CPUtime=0.11 cores=1,3,5,7
/proc/10429/stat : 10429 (java) S 10427 10429 8078 0 -1 4202496 13151 0 1 0 9 2 0 0 25 0 18 0 830273732 10793431040 12824 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10429/statm: 2635115 12824 2092 9 0 2625849 0
[pid=10429/tid=10430] ppid=10427 vsize=10540460 CPUtime=0.08 cores=1,3,5,7
/proc/10429/task/10430/stat : 10430 (java) R 10427 10429 8078 0 -1 4202560 11206 0 1 0 7 1 0 0 25 0 18 0 830273733 10793431040 12825 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 47221870459731 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) 10540460
[startup+0.300707 s]
/proc/loadavg: 1.46 1.44 1.73 3/421 10429
/proc/meminfo: memFree=29717468/32950904 swapFree=56615552/67111528
[pid=10429] ppid=10427 vsize=10549148 CPUtime=0.7 cores=1,3,5,7
/proc/10429/stat : 10429 (java) S 10427 10429 8078 0 -1 4202496 17566 0 1 0 67 3 0 0 25 0 22 0 830273732 10802327552 16294 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10429/statm: 2637287 16294 2211 9 0 2628021 0
[pid=10429/tid=10430] ppid=10427 vsize=10549148 CPUtime=0.15 cores=1,3,5,7
/proc/10429/task/10430/stat : 10430 (java) S 10427 10429 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 25 0 22 0 830273733 10802327552 16294 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10549148
[startup+0.700639 s]
/proc/loadavg: 1.46 1.44 1.73 3/421 10429
/proc/meminfo: memFree=29717468/32950904 swapFree=56615552/67111528
[pid=10429] ppid=10427 vsize=10565620 CPUtime=2.24 cores=1,3,5,7
/proc/10429/stat : 10429 (java) S 10427 10429 8078 0 -1 4202496 50881 0 1 0 218 6 0 0 25 0 22 0 830273732 10819194880 44843 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10429/statm: 2641405 44846 2250 9 0 2632139 0
[pid=10429/tid=10430] ppid=10427 vsize=10565620 CPUtime=0.15 cores=1,3,5,7
/proc/10429/task/10430/stat : 10430 (java) S 10427 10429 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 20 0 22 0 830273733 10819194880 44847 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10565620
[startup+1.5015 s]
/proc/loadavg: 1.46 1.44 1.73 6/443 10451
/proc/meminfo: memFree=29474944/32950904 swapFree=56615552/67111528
[pid=10429] ppid=10427 vsize=10556964 CPUtime=4.35 cores=1,3,5,7
/proc/10429/stat : 10429 (java) S 10427 10429 8078 0 -1 4202496 84289 0 1 0 426 9 0 0 25 0 22 0 830273732 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10429/statm: 2639241 74968 2257 9 0 2629975 0
[pid=10429/tid=10430] ppid=10427 vsize=10556964 CPUtime=0.15 cores=1,3,5,7
/proc/10429/task/10430/stat : 10430 (java) S 10427 10429 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 15 0 22 0 830273733 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10432] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10432/stat : 10432 (java) S 10427 10429 8078 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 22 0 830273734 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10433] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10433/stat : 10433 (java) S 10427 10429 8078 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 22 0 830273735 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10434] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10434/stat : 10434 (java) S 10427 10429 8078 0 -1 4202560 240 0 0 0 0 0 0 0 16 0 22 0 830273735 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10435] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10435/stat : 10435 (java) S 10427 10429 8078 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 22 0 830273735 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10436] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10436/stat : 10436 (java) S 10427 10429 8078 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 22 0 830273735 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10437] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10437/stat : 10437 (java) S 10427 10429 8078 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 22 0 830273735 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10438] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10438/stat : 10438 (java) S 10427 10429 8078 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 22 0 830273735 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10439] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10439/stat : 10439 (java) S 10427 10429 8078 0 -1 4202560 180 0 0 0 0 0 0 0 16 0 22 0 830273735 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10440] ppid=10427 vsize=10556964 CPUtime=0.07 cores=1,3,5,7
/proc/10429/task/10440/stat : 10440 (java) S 10427 10429 8078 0 -1 4202560 1379 0 0 0 7 0 0 0 15 0 22 0 830273736 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 0 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10441] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10441/stat : 10441 (java) S 10427 10429 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830273736 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10442] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10442/stat : 10442 (java) S 10427 10429 8078 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 22 0 830273736 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10443] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10443/stat : 10443 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273738 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290703281 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10444] ppid=10427 vsize=10556964 CPUtime=0.74 cores=1,3,5,7
/proc/10429/task/10444/stat : 10444 (java) S 10427 10429 8078 0 -1 4202560 6346 0 0 0 74 0 0 0 21 0 22 0 830273738 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10445] ppid=10427 vsize=10556964 CPUtime=0.84 cores=1,3,5,7
/proc/10429/task/10445/stat : 10445 (java) S 10427 10429 8078 0 -1 4202560 9866 0 0 0 84 0 0 0 22 0 22 0 830273738 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10446] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10446/stat : 10446 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273738 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10447] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10447/stat : 10447 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830273738 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10448] ppid=10427 vsize=10556964 CPUtime=1.24 cores=1,3,5,7
/proc/10429/task/10448/stat : 10448 (java) R 10427 10429 8078 0 -1 4202560 298 0 0 0 124 0 0 0 18 0 22 0 830273750 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 46912505637287 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10429/tid=10449] ppid=10427 vsize=10556964 CPUtime=1.22 cores=1,3,5,7
/proc/10429/task/10449/stat : 10449 (java) R 10427 10429 8078 0 -1 4202560 52206 0 0 0 118 4 0 0 25 0 22 0 830273750 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 46912506203203 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10429/tid=10450] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10450/stat : 10450 (java) S 10427 10429 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273750 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10451] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10451/stat : 10451 (java) S 10427 10429 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273750 10810331136 74968 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 10556964
[startup+3.10121 s]
/proc/loadavg: 1.46 1.44 1.73 5/443 10451
/proc/meminfo: memFree=29379224/32950904 swapFree=56615552/67111528
[pid=10429] ppid=10427 vsize=10556964 CPUtime=7.5 cores=1,3,5,7
/proc/10429/stat : 10429 (java) S 10427 10429 8078 0 -1 4202496 105531 0 1 0 739 11 0 0 25 0 22 0 830273732 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10429/statm: 2639241 96206 2257 9 0 2629975 0
[pid=10429/tid=10430] ppid=10427 vsize=10556964 CPUtime=0.15 cores=1,3,5,7
/proc/10429/task/10430/stat : 10430 (java) S 10427 10429 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 15 0 22 0 830273733 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10432] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10432/stat : 10432 (java) S 10427 10429 8078 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 22 0 830273734 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10433] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10433/stat : 10433 (java) S 10427 10429 8078 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 22 0 830273735 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10434] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10434/stat : 10434 (java) S 10427 10429 8078 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 22 0 830273735 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10435] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10435/stat : 10435 (java) S 10427 10429 8078 0 -1 4202560 225 0 0 0 0 0 0 0 16 0 22 0 830273735 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10436] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10436/stat : 10436 (java) S 10427 10429 8078 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 22 0 830273735 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10437] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10437/stat : 10437 (java) S 10427 10429 8078 0 -1 4202560 151 0 0 0 0 0 0 0 16 0 22 0 830273735 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10438] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10438/stat : 10438 (java) S 10427 10429 8078 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 22 0 830273735 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10439] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10439/stat : 10439 (java) S 10427 10429 8078 0 -1 4202560 234 0 0 0 0 0 0 0 16 0 22 0 830273735 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10440] ppid=10427 vsize=10556964 CPUtime=0.14 cores=1,3,5,7
/proc/10429/task/10440/stat : 10440 (java) S 10427 10429 8078 0 -1 4202560 2949 0 0 0 14 0 0 0 15 0 22 0 830273736 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 0 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10441] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10441/stat : 10441 (java) S 10427 10429 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830273736 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10442] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10442/stat : 10442 (java) S 10427 10429 8078 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 22 0 830273736 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10443] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10443/stat : 10443 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273738 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290703281 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10444] ppid=10427 vsize=10556964 CPUtime=0.74 cores=1,3,5,7
/proc/10429/task/10444/stat : 10444 (java) S 10427 10429 8078 0 -1 4202560 6346 0 0 0 74 0 0 0 20 0 22 0 830273738 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10445] ppid=10427 vsize=10556964 CPUtime=0.85 cores=1,3,5,7
/proc/10429/task/10445/stat : 10445 (java) S 10427 10429 8078 0 -1 4202560 9866 0 0 0 85 0 0 0 15 0 22 0 830273738 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10446] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10446/stat : 10446 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273738 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10447] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10447/stat : 10447 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830273738 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10448] ppid=10427 vsize=10556964 CPUtime=2.76 cores=1,3,5,7
/proc/10429/task/10448/stat : 10448 (java) R 10427 10429 8078 0 -1 4202560 301 0 0 0 276 0 0 0 20 0 22 0 830273750 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 46912505529214 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10429/tid=10449] ppid=10427 vsize=10556964 CPUtime=2.74 cores=1,3,5,7
/proc/10429/task/10449/stat : 10449 (java) R 10427 10429 8078 0 -1 4202560 71640 0 0 0 268 6 0 0 25 0 22 0 830273750 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 46912505731396 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10429/tid=10450] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10450/stat : 10450 (java) S 10427 10429 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273750 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10451] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10451/stat : 10451 (java) S 10427 10429 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273750 10810331136 96206 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 10556964
Solver just ended. Dumping a history of the last processes samples
[startup+4.70098 s]
/proc/loadavg: 1.67 1.48 1.74 7/443 10500
/proc/meminfo: memFree=29601040/32950904 swapFree=56615552/67111528
[pid=10429] ppid=10427 vsize=10556964 CPUtime=10.58 cores=1,3,5,7
/proc/10429/stat : 10429 (java) S 10427 10429 8078 0 -1 4202496 106705 0 1 0 1047 11 0 0 25 0 22 0 830273732 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10429/statm: 2639241 97375 2257 9 0 2629975 0
[pid=10429/tid=10430] ppid=10427 vsize=10556964 CPUtime=0.15 cores=1,3,5,7
/proc/10429/task/10430/stat : 10430 (java) S 10427 10429 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 15 0 22 0 830273733 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10432] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10432/stat : 10432 (java) S 10427 10429 8078 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 830273734 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10433] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10433/stat : 10433 (java) S 10427 10429 8078 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 22 0 830273735 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10434] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10434/stat : 10434 (java) S 10427 10429 8078 0 -1 4202560 292 0 0 0 0 0 0 0 16 0 22 0 830273735 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10435] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10435/stat : 10435 (java) S 10427 10429 8078 0 -1 4202560 226 0 0 0 0 0 0 0 16 0 22 0 830273735 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10436] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10436/stat : 10436 (java) S 10427 10429 8078 0 -1 4202560 231 0 0 0 0 0 0 0 16 0 22 0 830273735 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10437] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10437/stat : 10437 (java) S 10427 10429 8078 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 22 0 830273735 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10438] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10438/stat : 10438 (java) S 10427 10429 8078 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 22 0 830273735 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10439] ppid=10427 vsize=10556964 CPUtime=0.01 cores=1,3,5,7
/proc/10429/task/10439/stat : 10439 (java) S 10427 10429 8078 0 -1 4202560 235 0 0 0 1 0 0 0 16 0 22 0 830273735 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10440] ppid=10427 vsize=10556964 CPUtime=0.27 cores=1,3,5,7
/proc/10429/task/10440/stat : 10440 (java) S 10427 10429 8078 0 -1 4202560 4113 0 0 0 27 0 0 0 15 0 22 0 830273736 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 0 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10441] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10441/stat : 10441 (java) S 10427 10429 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830273736 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10442] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10442/stat : 10442 (java) S 10427 10429 8078 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 22 0 830273736 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10443] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10443/stat : 10443 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273738 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290703281 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10444] ppid=10427 vsize=10556964 CPUtime=0.74 cores=1,3,5,7
/proc/10429/task/10444/stat : 10444 (java) S 10427 10429 8078 0 -1 4202560 6346 0 0 0 74 0 0 0 20 0 22 0 830273738 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10445] ppid=10427 vsize=10556964 CPUtime=0.85 cores=1,3,5,7
/proc/10429/task/10445/stat : 10445 (java) S 10427 10429 8078 0 -1 4202560 9866 0 0 0 85 0 0 0 15 0 22 0 830273738 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10446] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10446/stat : 10446 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830273738 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10447] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10447/stat : 10447 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830273738 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10448] ppid=10427 vsize=10556964 CPUtime=4.22 cores=1,3,5,7
/proc/10429/task/10448/stat : 10448 (java) R 10427 10429 8078 0 -1 4202560 305 0 0 0 422 0 0 0 23 0 22 0 830273750 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 46912505612163 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10429/tid=10449] ppid=10427 vsize=10556964 CPUtime=4.21 cores=1,3,5,7
/proc/10429/task/10449/stat : 10449 (java) R 10427 10429 8078 0 -1 4202560 71641 0 0 0 415 6 0 0 25 0 22 0 830273750 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 46912505731345 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10429/tid=10450] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10450/stat : 10450 (java) S 10427 10429 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273750 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10451] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10451/stat : 10451 (java) S 10427 10429 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830273750 10810331136 97375 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.58
Current children cumulated vsize (KiB) 10556964
[startup+5.51584 s]
/proc/loadavg: 1.67 1.48 1.74 4/441 10500
/proc/meminfo: memFree=29418404/32950904 swapFree=56615552/67111528
[pid=10429] ppid=10427 vsize=10556964 CPUtime=11.88 cores=1,3,5,7
/proc/10429/stat : 10429 (java) S 10427 10429 8078 0 -1 4202496 106793 0 1 0 1177 11 0 0 25 0 19 0 830273732 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10429/statm: 2639241 97385 2258 9 0 2629975 0
[pid=10429/tid=10430] ppid=10427 vsize=10556964 CPUtime=0.15 cores=1,3,5,7
/proc/10429/task/10430/stat : 10430 (java) S 10427 10429 8078 0 -1 4202560 11772 0 1 0 14 1 0 0 15 0 19 0 830273733 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10432] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10432/stat : 10432 (java) S 10427 10429 8078 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 19 0 830273734 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10433] ppid=10427 vsize=10556964 CPUtime=0.01 cores=1,3,5,7
/proc/10429/task/10433/stat : 10433 (java) S 10427 10429 8078 0 -1 4202560 156 0 0 0 1 0 0 0 15 0 19 0 830273735 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10434] ppid=10427 vsize=10556964 CPUtime=0.01 cores=1,3,5,7
/proc/10429/task/10434/stat : 10434 (java) S 10427 10429 8078 0 -1 4202560 292 0 0 0 1 0 0 0 16 0 19 0 830273735 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10435] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10435/stat : 10435 (java) S 10427 10429 8078 0 -1 4202560 226 0 0 0 0 0 0 0 16 0 19 0 830273735 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10436] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10436/stat : 10436 (java) S 10427 10429 8078 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 830273735 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10437] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10437/stat : 10437 (java) S 10427 10429 8078 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 19 0 830273735 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10438] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10438/stat : 10438 (java) S 10427 10429 8078 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 19 0 830273735 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10439] ppid=10427 vsize=10556964 CPUtime=0.01 cores=1,3,5,7
/proc/10429/task/10439/stat : 10439 (java) S 10427 10429 8078 0 -1 4202560 235 0 0 0 1 0 0 0 15 0 19 0 830273735 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10440] ppid=10427 vsize=10556964 CPUtime=0.34 cores=1,3,5,7
/proc/10429/task/10440/stat : 10440 (java) S 10427 10429 8078 0 -1 4202560 4197 0 0 0 34 0 0 0 15 0 19 0 830273736 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 0 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10441] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10441/stat : 10441 (java) S 10427 10429 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 830273736 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10442] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10442/stat : 10442 (java) S 10427 10429 8078 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 830273736 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10443] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10443/stat : 10443 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830273738 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290703281 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10444] ppid=10427 vsize=10556964 CPUtime=0.74 cores=1,3,5,7
/proc/10429/task/10444/stat : 10444 (java) S 10427 10429 8078 0 -1 4202560 6346 0 0 0 74 0 0 0 20 0 19 0 830273738 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10445] ppid=10427 vsize=10556964 CPUtime=0.85 cores=1,3,5,7
/proc/10429/task/10445/stat : 10445 (java) S 10427 10429 8078 0 -1 4202560 9866 0 0 0 85 0 0 0 15 0 19 0 830273738 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10446] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10446/stat : 10446 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830273738 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10447] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10447/stat : 10447 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830273738 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10451] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10451/stat : 10451 (java) S 10427 10429 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830273750 10810331136 97385 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 10556964
[startup+5.70081 s]
/proc/loadavg: 1.67 1.48 1.74 4/441 10500
/proc/meminfo: memFree=29418404/32950904 swapFree=56615552/67111528
[pid=10429] ppid=10427 vsize=10556964 CPUtime=11.89 cores=1,3,5,7
/proc/10429/stat : 10429 (java) S 10427 10429 8078 0 -1 4202496 106796 0 1 0 1178 11 0 0 25 0 20 0 830273732 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10429/statm: 2639241 97388 2258 9 0 2629975 0
[pid=10429/tid=10430] ppid=10427 vsize=10556964 CPUtime=0.15 cores=1,3,5,7
/proc/10429/task/10430/stat : 10430 (java) S 10427 10429 8078 0 -1 4202560 11774 0 1 0 14 1 0 0 16 0 20 0 830273733 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10432] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10432/stat : 10432 (java) S 10427 10429 8078 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 20 0 830273734 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10433] ppid=10427 vsize=10556964 CPUtime=0.01 cores=1,3,5,7
/proc/10429/task/10433/stat : 10433 (java) S 10427 10429 8078 0 -1 4202560 156 0 0 0 1 0 0 0 15 0 20 0 830273735 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 3 0 0 0
[pid=10429/tid=10434] ppid=10427 vsize=10556964 CPUtime=0.01 cores=1,3,5,7
/proc/10429/task/10434/stat : 10434 (java) S 10427 10429 8078 0 -1 4202560 292 0 0 0 1 0 0 0 16 0 20 0 830273735 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10435] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10435/stat : 10435 (java) S 10427 10429 8078 0 -1 4202560 226 0 0 0 0 0 0 0 16 0 20 0 830273735 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10436] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10436/stat : 10436 (java) S 10427 10429 8078 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 20 0 830273735 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10437] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10437/stat : 10437 (java) S 10427 10429 8078 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 20 0 830273735 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10438] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10438/stat : 10438 (java) S 10427 10429 8078 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 20 0 830273735 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10439] ppid=10427 vsize=10556964 CPUtime=0.01 cores=1,3,5,7
/proc/10429/task/10439/stat : 10439 (java) S 10427 10429 8078 0 -1 4202560 235 0 0 0 1 0 0 0 15 0 20 0 830273735 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10440] ppid=10427 vsize=10556964 CPUtime=0.34 cores=1,3,5,7
/proc/10429/task/10440/stat : 10440 (java) S 10427 10429 8078 0 -1 4202560 4197 0 0 0 34 0 0 0 15 0 20 0 830273736 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 0 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10441] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10441/stat : 10441 (java) S 10427 10429 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 830273736 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10442] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10442/stat : 10442 (java) S 10427 10429 8078 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 20 0 830273736 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10443] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10443/stat : 10443 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830273738 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290703281 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10444] ppid=10427 vsize=10556964 CPUtime=0.74 cores=1,3,5,7
/proc/10429/task/10444/stat : 10444 (java) S 10427 10429 8078 0 -1 4202560 6346 0 0 0 74 0 0 0 20 0 20 0 830273738 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 7 0 0 0
[pid=10429/tid=10445] ppid=10427 vsize=10556964 CPUtime=0.85 cores=1,3,5,7
/proc/10429/task/10445/stat : 10445 (java) S 10427 10429 8078 0 -1 4202560 9866 0 0 0 85 0 0 0 15 0 20 0 830273738 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
[pid=10429/tid=10446] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10446/stat : 10446 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830273738 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290695577 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10447] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10447/stat : 10447 (java) S 10427 10429 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830273738 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 1 0 0 0
[pid=10429/tid=10451] ppid=10427 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/10429/task/10451/stat : 10451 (java) S 10427 10429 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830273750 10810331136 97388 33554432000 1073741824 1073778376 140734602612832 18446744073709551615 237290696192 0 4 0 16800975 18446604457038555904 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 10556964
Child status: 10
Real time (s): 5.72098
CPU time (s): 11.9212
CPU user time (s): 11.7892
CPU system time (s): 0.131979
CPU usage (%): 208.377
Max. virtual memory (cumulated for all children) (KiB): 10567444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7892
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106808
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= 725
involuntary context switches= 193
runsolver used 0.027995 second user time and 0.06299 second system time
The end