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-3454742-1307186755/watcher-3454742-1307186755 -o /tmp/evaluation-result-3454742-1307186755/solver-3454742-1307186755 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454742-1307186755.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 1.56 1.77 3/421 10577
/proc/meminfo: memFree=29716256/32950904 swapFree=56615552/67111528
[pid=10577] ppid=10575 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/10577/stat : 10577 (java) S 10575 10577 8078 0 -1 4202496 2428 0 1 0 0 0 0 0 25 0 2 0 830275262 10681323520 2131 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/10577/statm: 2607745 2145 906 9 0 2598901 0
[pid=10577/tid=10578] ppid=10575 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10578/stat : 10578 (java) R 10575 10577 8078 0 -1 4202560 4825 0 1 0 0 0 0 0 25 0 2 0 830275263 10694979584 5641 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0486709 s]
/proc/loadavg: 2.03 1.56 1.77 3/421 10577
/proc/meminfo: memFree=29716256/32950904 swapFree=56615552/67111528
[pid=10577] ppid=10575 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/10577/stat : 10577 (java) S 10575 10577 8078 0 -1 4202496 11402 0 1 0 3 1 0 0 25 0 13 0 830275262 10718838784 11100 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290682341 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/10577/statm: 2616904 11102 1684 9 0 2607652 0
[pid=10577/tid=10578] ppid=10575 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/10577/task/10578/stat : 10578 (java) R 10575 10577 8078 0 -1 4202560 10258 0 1 0 3 1 0 0 25 0 13 0 830275263 10718838784 11103 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 46993444435987 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) 10467616
[startup+0.1006 s]
/proc/loadavg: 2.03 1.56 1.77 3/421 10577
/proc/meminfo: memFree=29716256/32950904 swapFree=56615552/67111528
[pid=10577] ppid=10575 vsize=10605536 CPUtime=0.1 cores=1,3,5,7
/proc/10577/stat : 10577 (java) S 10575 10577 8078 0 -1 4202496 13142 0 1 0 9 1 0 0 25 0 18 0 830275262 10860068864 12796 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10577/statm: 2651384 12796 2092 9 0 2642118 0
[pid=10577/tid=10578] ppid=10575 vsize=10605536 CPUtime=0.08 cores=1,3,5,7
/proc/10577/task/10578/stat : 10578 (java) R 10575 10577 8078 0 -1 4202560 11182 0 1 0 7 1 0 0 25 0 18 0 830275263 10860068864 12797 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605536
[startup+0.300567 s]
/proc/loadavg: 2.03 1.56 1.77 3/421 10577
/proc/meminfo: memFree=29716256/32950904 swapFree=56615552/67111528
[pid=10577] ppid=10575 vsize=10609648 CPUtime=0.69 cores=1,3,5,7
/proc/10577/stat : 10577 (java) S 10575 10577 8078 0 -1 4202496 17641 0 1 0 67 2 0 0 25 0 22 0 830275262 10864279552 15916 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10577/statm: 2652412 15916 2212 9 0 2643146 0
[pid=10577/tid=10578] ppid=10575 vsize=10609648 CPUtime=0.15 cores=1,3,5,7
/proc/10577/task/10578/stat : 10578 (java) S 10575 10577 8078 0 -1 4202560 11751 0 1 0 14 1 0 0 25 0 22 0 830275263 10864279552 15916 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10609648
[startup+0.7005 s]
/proc/loadavg: 2.03 1.56 1.77 3/421 10577
/proc/meminfo: memFree=29716256/32950904 swapFree=56615552/67111528
[pid=10577] ppid=10575 vsize=10609648 CPUtime=2.25 cores=1,3,5,7
/proc/10577/stat : 10577 (java) S 10575 10577 8078 0 -1 4202496 50771 0 1 0 219 6 0 0 25 0 22 0 830275262 10864279552 44674 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10577/statm: 2652412 44674 2244 9 0 2643146 0
[pid=10577/tid=10578] ppid=10575 vsize=10609648 CPUtime=0.15 cores=1,3,5,7
/proc/10577/task/10578/stat : 10578 (java) R 10575 10577 8078 0 -1 4202560 11751 0 1 0 14 1 0 0 20 0 22 0 830275263 10864279552 44674 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10609648
[startup+1.50135 s]
/proc/loadavg: 2.03 1.56 1.77 6/443 10599
/proc/meminfo: memFree=29513068/32950904 swapFree=56615552/67111528
[pid=10577] ppid=10575 vsize=10609648 CPUtime=4.43 cores=1,3,5,7
/proc/10577/stat : 10577 (java) S 10575 10577 8078 0 -1 4202496 80729 0 1 0 434 9 0 0 25 0 22 0 830275262 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10577/statm: 2652412 72574 2256 9 0 2643146 0
[pid=10577/tid=10578] ppid=10575 vsize=10609648 CPUtime=0.15 cores=1,3,5,7
/proc/10577/task/10578/stat : 10578 (java) S 10575 10577 8078 0 -1 4202560 11751 0 1 0 14 1 0 0 15 0 22 0 830275263 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10580/stat : 10580 (java) S 10575 10577 8078 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 830275265 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10581/stat : 10581 (java) S 10575 10577 8078 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 22 0 830275265 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10582/stat : 10582 (java) S 10575 10577 8078 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 22 0 830275265 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10583/stat : 10583 (java) S 10575 10577 8078 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 830275265 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10584/stat : 10584 (java) S 10575 10577 8078 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 22 0 830275265 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10585] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10585/stat : 10585 (java) S 10575 10577 8078 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 22 0 830275265 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10586] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10586/stat : 10586 (java) S 10575 10577 8078 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 22 0 830275265 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10587] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10587/stat : 10587 (java) S 10575 10577 8078 0 -1 4202560 430 0 0 0 0 0 0 0 16 0 22 0 830275265 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10588] ppid=10575 vsize=10609648 CPUtime=0.07 cores=1,3,5,7
/proc/10577/task/10588/stat : 10588 (java) S 10575 10577 8078 0 -1 4202560 1253 0 0 0 7 0 0 0 15 0 22 0 830275266 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 0 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10589] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10589/stat : 10589 (java) S 10575 10577 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830275266 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10590] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10590/stat : 10590 (java) S 10575 10577 8078 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 830275266 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10591] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10591/stat : 10591 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275268 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290703281 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10592] ppid=10575 vsize=10609648 CPUtime=0.84 cores=1,3,5,7
/proc/10577/task/10592/stat : 10592 (java) S 10575 10577 8078 0 -1 4202560 7206 0 0 0 84 0 0 0 15 0 22 0 830275268 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10593] ppid=10575 vsize=10609648 CPUtime=0.84 cores=1,3,5,7
/proc/10577/task/10593/stat : 10593 (java) S 10575 10577 8078 0 -1 4202560 10306 0 0 0 83 1 0 0 22 0 22 0 830275268 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10594] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10594/stat : 10594 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275268 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10595] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10595/stat : 10595 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830275268 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10596] ppid=10575 vsize=10609648 CPUtime=1.24 cores=1,3,5,7
/proc/10577/task/10596/stat : 10596 (java) R 10575 10577 8078 0 -1 4202560 308 0 0 0 124 0 0 0 18 0 22 0 830275280 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 46912505639451 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10577/tid=10597] ppid=10575 vsize=10609648 CPUtime=1.22 cores=1,3,5,7
/proc/10577/task/10597/stat : 10597 (java) R 10575 10577 8078 0 -1 4202560 47713 0 0 0 118 4 0 0 25 0 22 0 830275280 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 46912505679171 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10577/tid=10598] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10598/stat : 10598 (java) S 10575 10577 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830275280 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10599] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10599/stat : 10599 (java) S 10575 10577 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830275280 10864279552 72574 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 10609648
[startup+3.10107 s]
/proc/loadavg: 2.03 1.56 1.77 5/443 10599
/proc/meminfo: memFree=29390556/32950904 swapFree=56615552/67111528
[pid=10577] ppid=10575 vsize=10609648 CPUtime=7.55 cores=1,3,5,7
/proc/10577/stat : 10577 (java) S 10575 10577 8078 0 -1 4202496 94496 0 1 0 744 11 0 0 25 0 22 0 830275262 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10577/statm: 2652412 86337 2256 9 0 2643146 0
[pid=10577/tid=10578] ppid=10575 vsize=10609648 CPUtime=0.15 cores=1,3,5,7
/proc/10577/task/10578/stat : 10578 (java) S 10575 10577 8078 0 -1 4202560 11751 0 1 0 14 1 0 0 15 0 22 0 830275263 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10580/stat : 10580 (java) S 10575 10577 8078 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 22 0 830275265 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10581/stat : 10581 (java) S 10575 10577 8078 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 22 0 830275265 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10582/stat : 10582 (java) S 10575 10577 8078 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 22 0 830275265 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10583/stat : 10583 (java) S 10575 10577 8078 0 -1 4202560 112 0 0 0 0 0 0 0 16 0 22 0 830275265 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10584/stat : 10584 (java) S 10575 10577 8078 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 22 0 830275265 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10585] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10585/stat : 10585 (java) S 10575 10577 8078 0 -1 4202560 190 0 0 0 0 0 0 0 16 0 22 0 830275265 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10586] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10586/stat : 10586 (java) S 10575 10577 8078 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 22 0 830275265 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10587] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10587/stat : 10587 (java) S 10575 10577 8078 0 -1 4202560 479 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10588] ppid=10575 vsize=10609648 CPUtime=0.17 cores=1,3,5,7
/proc/10577/task/10588/stat : 10588 (java) S 10575 10577 8078 0 -1 4202560 2654 0 0 0 17 0 0 0 15 0 22 0 830275266 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 0 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10589] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10589/stat : 10589 (java) S 10575 10577 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830275266 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10590] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10590/stat : 10590 (java) S 10575 10577 8078 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 830275266 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10591] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10591/stat : 10591 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275268 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290703281 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10592] ppid=10575 vsize=10609648 CPUtime=0.86 cores=1,3,5,7
/proc/10577/task/10592/stat : 10592 (java) S 10575 10577 8078 0 -1 4202560 7206 0 0 0 86 0 0 0 15 0 22 0 830275268 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10593] ppid=10575 vsize=10609648 CPUtime=0.84 cores=1,3,5,7
/proc/10577/task/10593/stat : 10593 (java) S 10575 10577 8078 0 -1 4202560 10306 0 0 0 83 1 0 0 17 0 22 0 830275268 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10594] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10594/stat : 10594 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275268 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10595] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10595/stat : 10595 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830275268 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10596] ppid=10575 vsize=10609648 CPUtime=2.72 cores=1,3,5,7
/proc/10577/task/10596/stat : 10596 (java) R 10575 10577 8078 0 -1 4202560 312 0 0 0 272 0 0 0 19 0 22 0 830275280 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 46912505639451 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10577/tid=10597] ppid=10575 vsize=10609648 CPUtime=2.71 cores=1,3,5,7
/proc/10577/task/10597/stat : 10597 (java) R 10575 10577 8078 0 -1 4202560 59791 0 0 0 265 6 0 0 25 0 22 0 830275280 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 46912505669030 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10577/tid=10598] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10598/stat : 10598 (java) S 10575 10577 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830275280 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10599] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10599/stat : 10599 (java) S 10575 10577 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830275280 10864279552 86337 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 10609648
[startup+6.3015 s]
/proc/loadavg: 2.10 1.59 1.77 5/443 10648
/proc/meminfo: memFree=29506976/32950904 swapFree=56615552/67111528
[pid=10577] ppid=10575 vsize=10609648 CPUtime=13.65 cores=1,3,5,7
/proc/10577/stat : 10577 (java) S 10575 10577 8078 0 -1 4202496 97651 0 1 0 1354 11 0 0 25 0 22 0 830275262 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10577/statm: 2652412 87783 2256 9 0 2643146 0
[pid=10577/tid=10578] ppid=10575 vsize=10609648 CPUtime=0.15 cores=1,3,5,7
/proc/10577/task/10578/stat : 10578 (java) S 10575 10577 8078 0 -1 4202560 11751 0 1 0 14 1 0 0 15 0 22 0 830275263 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10580/stat : 10580 (java) S 10575 10577 8078 0 -1 4202560 39 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10581/stat : 10581 (java) S 10575 10577 8078 0 -1 4202560 24 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10582/stat : 10582 (java) S 10575 10577 8078 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830275265 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10583/stat : 10583 (java) S 10575 10577 8078 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 22 0 830275265 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10584/stat : 10584 (java) S 10575 10577 8078 0 -1 4202560 321 0 0 0 0 0 0 0 15 0 22 0 830275265 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10585] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10585/stat : 10585 (java) S 10575 10577 8078 0 -1 4202560 192 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10586] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10586/stat : 10586 (java) S 10575 10577 8078 0 -1 4202560 105 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10587] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10587/stat : 10587 (java) S 10575 10577 8078 0 -1 4202560 479 0 0 0 1 0 0 0 16 0 22 0 830275265 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/10577/task/10591/stat : 10591 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275268 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290703281 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10592] ppid=10575 vsize=10609648 CPUtime=0.86 cores=1,3,5,7
/proc/10577/task/10592/stat : 10592 (java) S 10575 10577 8078 0 -1 4202560 7206 0 0 0 86 0 0 0 15 0 22 0 830275268 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10593] ppid=10575 vsize=10609648 CPUtime=0.84 cores=1,3,5,7
/proc/10577/task/10593/stat : 10593 (java) S 10575 10577 8078 0 -1 4202560 10306 0 0 0 83 1 0 0 17 0 22 0 830275268 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10594] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10594/stat : 10594 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275268 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10595] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10595/stat : 10595 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830275268 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10596] ppid=10575 vsize=10609648 CPUtime=5.58 cores=1,3,5,7
/proc/10577/task/10596/stat : 10596 (java) R 10575 10577 8078 0 -1 4202560 322 0 0 0 558 0 0 0 21 0 22 0 830275280 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 46912505575628 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10577/tid=10597] ppid=10575 vsize=10609648 CPUtime=5.58 cores=1,3,5,7
/proc/10577/task/10597/stat : 10597 (java) R 10575 10577 8078 0 -1 4202560 60826 0 0 0 552 6 0 0 25 0 22 0 830275280 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 46912506200271 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10577/tid=10598] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10598/stat : 10598 (java) S 10575 10577 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830275280 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10599] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10599/stat : 10599 (java) S 10575 10577 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830275280 10864279552 87783 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.65
Current children cumulated vsize (KiB) 10609648
Solver just ended. Dumping a history of the last processes samples
[startup+7.90121 s]
/proc/loadavg: 2.10 1.59 1.77 4/443 10648
/proc/meminfo: memFree=29471488/32950904 swapFree=56615552/67111528
[pid=10577] ppid=10575 vsize=10609648 CPUtime=16.69 cores=1,3,5,7
/proc/10577/stat : 10577 (java) S 10575 10577 8078 0 -1 4202496 98187 0 1 0 1658 11 0 0 25 0 22 0 830275262 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10577/statm: 2652412 88315 2256 9 0 2643146 0
[pid=10577/tid=10578] ppid=10575 vsize=10609648 CPUtime=0.15 cores=1,3,5,7
/proc/10577/task/10578/stat : 10578 (java) S 10575 10577 8078 0 -1 4202560 11751 0 1 0 14 1 0 0 15 0 22 0 830275263 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10580/stat : 10580 (java) S 10575 10577 8078 0 -1 4202560 39 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10581/stat : 10581 (java) S 10575 10577 8078 0 -1 4202560 24 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10582/stat : 10582 (java) S 10575 10577 8078 0 -1 4202560 54 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10583/stat : 10583 (java) S 10575 10577 8078 0 -1 4202560 112 0 0 0 1 0 0 0 16 0 22 0 830275265 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10584/stat : 10584 (java) S 10575 10577 8078 0 -1 4202560 323 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10585] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10585/stat : 10585 (java) S 10575 10577 8078 0 -1 4202560 192 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10586] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10586/stat : 10586 (java) S 10575 10577 8078 0 -1 4202560 105 0 0 0 1 0 0 0 16 0 22 0 830275265 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10587] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10587/stat : 10587 (java) S 10575 10577 8078 0 -1 4202560 479 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10588] ppid=10575 vsize=10609648 CPUtime=0.64 cores=1,3,5,7
/proc/10577/task/10588/stat : 10588 (java) S 10575 10577 8078 0 -1 4202560 5288 0 0 0 64 0 0 0 16 0 22 0 830275266 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 0 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10589] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10589/stat : 10589 (java) S 10575 10577 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830275266 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10590] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10590/stat : 10590 (java) S 10575 10577 8078 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 830275266 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10591] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10591/stat : 10591 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275268 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290703281 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10592] ppid=10575 vsize=10609648 CPUtime=0.86 cores=1,3,5,7
/proc/10577/task/10592/stat : 10592 (java) S 10575 10577 8078 0 -1 4202560 7206 0 0 0 86 0 0 0 15 0 22 0 830275268 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10593] ppid=10575 vsize=10609648 CPUtime=0.84 cores=1,3,5,7
/proc/10577/task/10593/stat : 10593 (java) S 10575 10577 8078 0 -1 4202560 10306 0 0 0 83 1 0 0 17 0 22 0 830275268 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10594] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10594/stat : 10594 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275268 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10595] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10595/stat : 10595 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830275268 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10596] ppid=10575 vsize=10609648 CPUtime=7.02 cores=1,3,5,7
/proc/10577/task/10596/stat : 10596 (java) R 10575 10577 8078 0 -1 4202560 326 0 0 0 702 0 0 0 25 0 22 0 830275280 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 46912505516037 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10577/tid=10597] ppid=10575 vsize=10609648 CPUtime=7.01 cores=1,3,5,7
/proc/10577/task/10597/stat : 10597 (java) R 10575 10577 8078 0 -1 4202560 60826 0 0 0 695 6 0 0 25 0 22 0 830275280 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 46912505669007 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10577/tid=10598] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10598/stat : 10598 (java) S 10575 10577 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830275280 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10599] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10599/stat : 10599 (java) S 10575 10577 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830275280 10864279552 88315 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16.69
Current children cumulated vsize (KiB) 10609648
[startup+8.70107 s]
/proc/loadavg: 2.25 1.63 1.79 5/443 10648
/proc/meminfo: memFree=29424384/32950904 swapFree=56615552/67111528
[pid=10577] ppid=10575 vsize=10609648 CPUtime=18.38 cores=1,3,5,7
/proc/10577/stat : 10577 (java) S 10575 10577 8078 0 -1 4202496 98608 0 1 0 1827 11 0 0 25 0 22 0 830275262 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10577/statm: 2652412 88734 2257 9 0 2643146 0
[pid=10577/tid=10578] ppid=10575 vsize=10609648 CPUtime=0.15 cores=1,3,5,7
/proc/10577/task/10578/stat : 10578 (java) S 10575 10577 8078 0 -1 4202560 11751 0 1 0 14 1 0 0 15 0 22 0 830275263 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10580/stat : 10580 (java) S 10575 10577 8078 0 -1 4202560 39 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10581/stat : 10581 (java) S 10575 10577 8078 0 -1 4202560 24 0 0 0 1 0 0 0 16 0 22 0 830275265 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10582/stat : 10582 (java) S 10575 10577 8078 0 -1 4202560 54 0 0 0 1 0 0 0 16 0 22 0 830275265 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10583/stat : 10583 (java) S 10575 10577 8078 0 -1 4202560 113 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10584/stat : 10584 (java) S 10575 10577 8078 0 -1 4202560 323 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10585] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10585/stat : 10585 (java) S 10575 10577 8078 0 -1 4202560 192 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10586] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10586/stat : 10586 (java) S 10575 10577 8078 0 -1 4202560 105 0 0 0 1 0 0 0 15 0 22 0 830275265 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10587] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10587/stat : 10587 (java) S 10575 10577 8078 0 -1 4202560 479 0 0 0 1 0 0 0 16 0 22 0 830275265 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10588] ppid=10575 vsize=10609648 CPUtime=0.71 cores=1,3,5,7
/proc/10577/task/10588/stat : 10588 (java) S 10575 10577 8078 0 -1 4202560 5688 0 0 0 71 0 0 0 16 0 22 0 830275266 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 0 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10589] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10589/stat : 10589 (java) S 10575 10577 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830275266 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10590] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10590/stat : 10590 (java) S 10575 10577 8078 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 830275266 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10591] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10591/stat : 10591 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275268 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290703281 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10592] ppid=10575 vsize=10609648 CPUtime=0.95 cores=1,3,5,7
/proc/10577/task/10592/stat : 10592 (java) S 10575 10577 8078 0 -1 4202560 7222 0 0 0 95 0 0 0 15 0 22 0 830275268 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10593] ppid=10575 vsize=10609648 CPUtime=0.9 cores=1,3,5,7
/proc/10577/task/10593/stat : 10593 (java) S 10575 10577 8078 0 -1 4202560 10306 0 0 0 89 1 0 0 15 0 22 0 830275268 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10594] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10594/stat : 10594 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275268 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10595] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10595/stat : 10595 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830275268 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10596] ppid=10575 vsize=10609648 CPUtime=7.75 cores=1,3,5,7
/proc/10577/task/10596/stat : 10596 (java) R 10575 10577 8078 0 -1 4202560 330 0 0 0 775 0 0 0 25 0 22 0 830275280 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 46912505572916 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10577/tid=10597] ppid=10575 vsize=10609648 CPUtime=7.75 cores=1,3,5,7
/proc/10577/task/10597/stat : 10597 (java) R 10575 10577 8078 0 -1 4202560 60826 0 0 0 769 6 0 0 25 0 22 0 830275280 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 46912505756688 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10577/tid=10598] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10598/stat : 10598 (java) S 10575 10577 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830275280 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10599] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10599/stat : 10599 (java) S 10575 10577 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830275280 10864279552 88734 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.38
Current children cumulated vsize (KiB) 10609648
[startup+8.90104 s]
/proc/loadavg: 2.25 1.63 1.79 5/443 10648
/proc/meminfo: memFree=29424384/32950904 swapFree=56615552/67111528
[pid=10577] ppid=10575 vsize=10609648 CPUtime=18.64 cores=1,3,5,7
/proc/10577/stat : 10577 (java) S 10575 10577 8078 0 -1 4202496 98609 0 1 0 1853 11 0 0 25 0 20 0 830275262 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10577/statm: 2652412 88735 2258 9 0 2643146 0
[pid=10577/tid=10578] ppid=10575 vsize=10609648 CPUtime=0.15 cores=1,3,5,7
/proc/10577/task/10578/stat : 10578 (java) S 10575 10577 8078 0 -1 4202560 11751 0 1 0 14 1 0 0 15 0 20 0 830275263 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10580/stat : 10580 (java) S 10575 10577 8078 0 -1 4202560 39 0 0 0 1 0 0 0 15 0 20 0 830275265 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10581/stat : 10581 (java) S 10575 10577 8078 0 -1 4202560 24 0 0 0 1 0 0 0 16 0 20 0 830275265 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10582/stat : 10582 (java) S 10575 10577 8078 0 -1 4202560 54 0 0 0 1 0 0 0 16 0 20 0 830275265 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10583/stat : 10583 (java) S 10575 10577 8078 0 -1 4202560 113 0 0 0 1 0 0 0 15 0 20 0 830275265 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10584/stat : 10584 (java) S 10575 10577 8078 0 -1 4202560 323 0 0 0 1 0 0 0 15 0 20 0 830275265 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10585] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10585/stat : 10585 (java) S 10575 10577 8078 0 -1 4202560 192 0 0 0 1 0 0 0 15 0 20 0 830275265 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10586] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10586/stat : 10586 (java) S 10575 10577 8078 0 -1 4202560 105 0 0 0 1 0 0 0 15 0 20 0 830275265 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10587] ppid=10575 vsize=10609648 CPUtime=0.01 cores=1,3,5,7
/proc/10577/task/10587/stat : 10587 (java) S 10575 10577 8078 0 -1 4202560 479 0 0 0 1 0 0 0 16 0 20 0 830275265 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10588] ppid=10575 vsize=10609648 CPUtime=0.71 cores=1,3,5,7
/proc/10577/task/10588/stat : 10588 (java) S 10575 10577 8078 0 -1 4202560 5688 0 0 0 71 0 0 0 16 0 20 0 830275266 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 0 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10589] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10589/stat : 10589 (java) S 10575 10577 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 830275266 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10590] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10590/stat : 10590 (java) S 10575 10577 8078 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 830275266 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10591] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10591/stat : 10591 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830275268 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290703281 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10592] ppid=10575 vsize=10609648 CPUtime=0.95 cores=1,3,5,7
/proc/10577/task/10592/stat : 10592 (java) S 10575 10577 8078 0 -1 4202560 7222 0 0 0 95 0 0 0 15 0 20 0 830275268 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 5 0 0 0
[pid=10577/tid=10593] ppid=10575 vsize=10609648 CPUtime=0.9 cores=1,3,5,7
/proc/10577/task/10593/stat : 10593 (java) S 10575 10577 8078 0 -1 4202560 10306 0 0 0 89 1 0 0 15 0 20 0 830275268 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 3 0 0 0
[pid=10577/tid=10594] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10594/stat : 10594 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830275268 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290695577 0 4 0 16800975 18446604456720025536 0 0 -1 1 0 0 0
[pid=10577/tid=10595] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10595/stat : 10595 (java) S 10575 10577 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830275268 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
[pid=10577/tid=10597] ppid=10575 vsize=10609648 CPUtime=7.93 cores=1,3,5,7
/proc/10577/task/10597/stat : 10597 (java) R 10575 10577 8078 0 -1 4202560 60826 0 0 0 787 6 0 0 25 0 20 0 830275280 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 46912505679271 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10577/tid=10599] ppid=10575 vsize=10609648 CPUtime=0 cores=1,3,5,7
/proc/10577/task/10599/stat : 10599 (java) S 10575 10577 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830275280 10864279552 88735 33554432000 1073741824 1073778376 140733627504336 18446744073709551615 237290696192 0 4 0 16800975 18446604456720025536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.64
Current children cumulated vsize (KiB) 10609648
Child status: 20
Real time (s): 8.96214
CPU time (s): 18.6812
CPU user time (s): 18.5482
CPU system time (s): 0.132979
CPU usage (%): 208.445
Max. virtual memory (cumulated for all children) (KiB): 10609648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.5482
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98619
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= 1248
involuntary context switches= 548
runsolver used 0.040993 second user time and 0.098984 second system time
The end