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-3454743-1307186758/watcher-3454743-1307186758 -o /tmp/evaluation-result-3454743-1307186758/solver-3454743-1307186758 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454743-1307186758.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 1.59 1.77 3/421 10626
/proc/meminfo: memFree=29720092/32950904 swapFree=56615552/67111528
[pid=10626] ppid=10624 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/10626/stat : 10626 (java) S 10624 10626 8078 0 -1 4202496 2719 0 1 0 0 0 0 0 25 0 2 0 830275562 10681323520 2420 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/10626/statm: 2607745 2434 906 9 0 2598901 0
[pid=10626/tid=10627] ppid=10624 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10627/stat : 10627 (java) R 10624 10626 8078 0 -1 4202560 5043 0 1 0 0 0 0 0 25 0 2 0 830275562 10694979584 5859 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0424121 s]
/proc/loadavg: 2.10 1.59 1.77 3/421 10626
/proc/meminfo: memFree=29720092/32950904 swapFree=56615552/67111528
[pid=10626] ppid=10624 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/10626/stat : 10626 (java) S 10624 10626 8078 0 -1 4202496 11287 0 1 0 2 1 0 0 25 0 13 0 830275562 10718699520 10983 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/10626/statm: 2616870 10984 1675 9 0 2607618 0
[pid=10626/tid=10627] ppid=10624 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/10626/task/10627/stat : 10627 (java) R 10624 10626 8078 0 -1 4202560 10140 0 1 0 2 1 0 0 25 0 13 0 830275562 10718699520 10985 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 47789571921939 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.107455 s]
/proc/loadavg: 2.10 1.59 1.77 3/421 10626
/proc/meminfo: memFree=29720092/32950904 swapFree=56615552/67111528
[pid=10626] ppid=10624 vsize=10539500 CPUtime=0.11 cores=0,2,4,6
/proc/10626/stat : 10626 (java) S 10624 10626 8078 0 -1 4202496 13248 0 1 0 10 1 0 0 25 0 18 0 830275562 10792448000 12912 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10626/statm: 2634875 12912 2122 9 0 2625609 0
[pid=10626/tid=10627] ppid=10624 vsize=10539500 CPUtime=0.09 cores=0,2,4,6
/proc/10626/task/10627/stat : 10627 (java) R 10624 10626 8078 0 -1 4202560 11237 0 1 0 8 1 0 0 18 0 18 0 830275562 10792448000 12912 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539500
[startup+0.300418 s]
/proc/loadavg: 2.10 1.59 1.77 3/421 10626
/proc/meminfo: memFree=29720092/32950904 swapFree=56615552/67111528
[pid=10626] ppid=10624 vsize=10548392 CPUtime=0.69 cores=0,2,4,6
/proc/10626/stat : 10626 (java) S 10624 10626 8078 0 -1 4202496 18285 0 1 0 67 2 0 0 25 0 22 0 830275562 10801553408 16694 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10626/statm: 2637098 16695 2212 9 0 2627832 0
[pid=10626/tid=10627] ppid=10624 vsize=10548392 CPUtime=0.15 cores=0,2,4,6
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 8078 0 -1 4202560 11739 0 1 0 14 1 0 0 19 0 22 0 830275562 10801553408 16695 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10548392
[startup+0.700297 s]
/proc/loadavg: 2.10 1.59 1.77 3/421 10626
/proc/meminfo: memFree=29720092/32950904 swapFree=56615552/67111528
[pid=10626] ppid=10624 vsize=10553652 CPUtime=2.26 cores=0,2,4,6
/proc/10626/stat : 10626 (java) S 10624 10626 8078 0 -1 4202496 40307 0 1 0 221 5 0 0 25 0 22 0 830275562 10806939648 35787 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10626/statm: 2638413 35787 2253 9 0 2629147 0
[pid=10626/tid=10627] ppid=10624 vsize=10553652 CPUtime=0.15 cores=0,2,4,6
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 8078 0 -1 4202560 11739 0 1 0 14 1 0 0 15 0 22 0 830275562 10806939648 35787 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10553652
[startup+1.50123 s]
/proc/loadavg: 2.10 1.59 1.77 5/443 10648
/proc/meminfo: memFree=29539832/32950904 swapFree=56615552/67111528
[pid=10626] ppid=10624 vsize=10553212 CPUtime=4.33 cores=0,2,4,6
/proc/10626/stat : 10626 (java) S 10624 10626 8078 0 -1 4202496 58375 0 1 0 426 7 0 0 25 0 22 0 830275562 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10626/statm: 2638303 50561 2258 9 0 2629037 0
[pid=10626/tid=10627] ppid=10624 vsize=10553212 CPUtime=0.15 cores=0,2,4,6
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 8078 0 -1 4202560 11739 0 1 0 14 1 0 0 15 0 22 0 830275562 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10629/stat : 10629 (java) S 10624 10626 8078 0 -1 4202560 407 0 0 0 0 0 0 0 15 0 22 0 830275564 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10630/stat : 10630 (java) S 10624 10626 8078 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 22 0 830275564 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10631] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10631/stat : 10631 (java) S 10624 10626 8078 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 22 0 830275564 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10632] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10632/stat : 10632 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830275564 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10633] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10633/stat : 10633 (java) S 10624 10626 8078 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 22 0 830275564 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10634] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10634/stat : 10634 (java) S 10624 10626 8078 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 830275564 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10635] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10635/stat : 10635 (java) S 10624 10626 8078 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 22 0 830275564 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10636] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10636/stat : 10636 (java) S 10624 10626 8078 0 -1 4202560 250 0 0 0 0 0 0 0 16 0 22 0 830275564 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10637] ppid=10624 vsize=10553212 CPUtime=0.07 cores=0,2,4,6
/proc/10626/task/10637/stat : 10637 (java) S 10624 10626 8078 0 -1 4202560 1369 0 0 0 7 0 0 0 15 0 22 0 830275565 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 0 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10638] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10638/stat : 10638 (java) S 10624 10626 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830275565 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10639] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10639/stat : 10639 (java) S 10624 10626 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830275565 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10640] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10640/stat : 10640 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275568 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290703281 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10641] ppid=10624 vsize=10553212 CPUtime=0.81 cores=0,2,4,6
/proc/10626/task/10641/stat : 10641 (java) S 10624 10626 8078 0 -1 4202560 7601 0 0 0 80 1 0 0 21 0 22 0 830275568 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10642] ppid=10624 vsize=10553212 CPUtime=0.76 cores=0,2,4,6
/proc/10626/task/10642/stat : 10642 (java) S 10624 10626 8078 0 -1 4202560 6295 0 0 0 76 0 0 0 15 0 22 0 830275568 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10643] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10643/stat : 10643 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275568 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10644] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10644/stat : 10644 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830275568 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10645] ppid=10624 vsize=10553212 CPUtime=1.23 cores=0,2,4,6
/proc/10626/task/10645/stat : 10645 (java) R 10624 10626 8078 0 -1 4202560 343 0 0 0 123 0 0 0 20 0 22 0 830275579 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 46912505530984 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10626/tid=10646] ppid=10624 vsize=10553212 CPUtime=1.23 cores=0,2,4,6
/proc/10626/task/10646/stat : 10646 (java) R 10624 10626 8078 0 -1 4202560 28714 0 0 0 120 3 0 0 24 0 22 0 830275579 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 46912505733589 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10626/tid=10647] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10647/stat : 10647 (java) S 10624 10626 8078 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830275579 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10648] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10648/stat : 10648 (java) S 10624 10626 8078 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830275579 10806489088 50561 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10553212
[startup+3.10092 s]
/proc/loadavg: 2.10 1.59 1.77 5/443 10648
/proc/meminfo: memFree=29502636/32950904 swapFree=56615552/67111528
[pid=10626] ppid=10624 vsize=10553212 CPUtime=7.47 cores=0,2,4,6
/proc/10626/stat : 10626 (java) S 10624 10626 8078 0 -1 4202496 67939 0 1 0 738 9 0 0 25 0 22 0 830275562 10806489088 60121 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10626/statm: 2638303 60121 2258 9 0 2629037 0
[pid=10626/tid=10627] ppid=10624 vsize=10553212 CPUtime=0.15 cores=0,2,4,6
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 8078 0 -1 4202560 11739 0 1 0 14 1 0 0 15 0 22 0 830275562 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10629/stat : 10629 (java) S 10624 10626 8078 0 -1 4202560 408 0 0 0 0 0 0 0 16 0 22 0 830275564 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10630/stat : 10630 (java) S 10624 10626 8078 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 22 0 830275564 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10631] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10631/stat : 10631 (java) S 10624 10626 8078 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 22 0 830275564 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10632] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10632/stat : 10632 (java) S 10624 10626 8078 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 22 0 830275564 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10633] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10633/stat : 10633 (java) S 10624 10626 8078 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 22 0 830275564 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10634] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10634/stat : 10634 (java) S 10624 10626 8078 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 830275564 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10635] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10635/stat : 10635 (java) S 10624 10626 8078 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 22 0 830275564 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10636] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10636/stat : 10636 (java) S 10624 10626 8078 0 -1 4202560 295 0 0 0 0 0 0 0 16 0 22 0 830275564 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10637] ppid=10624 vsize=10553212 CPUtime=0.15 cores=0,2,4,6
/proc/10626/task/10637/stat : 10637 (java) S 10624 10626 8078 0 -1 4202560 2361 0 0 0 15 0 0 0 15 0 22 0 830275565 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 0 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10638] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10638/stat : 10638 (java) S 10624 10626 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 830275565 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10639] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10639/stat : 10639 (java) S 10624 10626 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830275565 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10640] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10640/stat : 10640 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275568 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290703281 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10641] ppid=10624 vsize=10553212 CPUtime=0.81 cores=0,2,4,6
/proc/10626/task/10641/stat : 10641 (java) S 10624 10626 8078 0 -1 4202560 7601 0 0 0 80 1 0 0 21 0 22 0 830275568 10806489088 60122 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10642] ppid=10624 vsize=10553212 CPUtime=0.78 cores=0,2,4,6
/proc/10626/task/10642/stat : 10642 (java) S 10624 10626 8078 0 -1 4202560 6297 0 0 0 78 0 0 0 15 0 22 0 830275568 10806489088 60123 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10643] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10643/stat : 10643 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830275568 10806489088 60129 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10644] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10644/stat : 10644 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830275568 10806489088 60136 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10645] ppid=10624 vsize=10553212 CPUtime=2.74 cores=0,2,4,6
/proc/10626/task/10645/stat : 10645 (java) R 10624 10626 8078 0 -1 4202560 370 0 0 0 274 0 0 0 22 0 22 0 830275579 10806489088 60140 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 46912505561804 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10626/tid=10646] ppid=10624 vsize=10553212 CPUtime=2.74 cores=0,2,4,6
/proc/10626/task/10646/stat : 10646 (java) R 10624 10626 8078 0 -1 4202560 37146 0 0 0 270 4 0 0 25 0 22 0 830275579 10806489088 60140 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 46912505755984 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10626/tid=10647] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10647/stat : 10647 (java) S 10624 10626 8078 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830275579 10806489088 60140 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10648] ppid=10624 vsize=10553212 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10648/stat : 10648 (java) S 10624 10626 8078 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830275579 10806489088 60140 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 10553212
[startup+6.30135 s]
/proc/loadavg: 2.25 1.63 1.79 5/443 10648
/proc/meminfo: memFree=29425500/32950904 swapFree=56615552/67111528
[pid=10626] ppid=10624 vsize=10562144 CPUtime=13.73 cores=0,2,4,6
/proc/10626/stat : 10626 (java) S 10624 10626 8078 0 -1 4202496 89045 0 1 0 1362 11 0 0 25 0 20 0 830275562 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10626/statm: 2640536 79788 2259 9 0 2631270 0
[pid=10626/tid=10627] ppid=10624 vsize=10562144 CPUtime=0.15 cores=0,2,4,6
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 8078 0 -1 4202560 11739 0 1 0 14 1 0 0 15 0 20 0 830275562 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10629/stat : 10629 (java) S 10624 10626 8078 0 -1 4202560 408 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10630/stat : 10630 (java) S 10624 10626 8078 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10631] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10631/stat : 10631 (java) S 10624 10626 8078 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10632] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10632/stat : 10632 (java) S 10624 10626 8078 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10633] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10633/stat : 10633 (java) S 10624 10626 8078 0 -1 4202560 255 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10634] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10634/stat : 10634 (java) S 10624 10626 8078 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10635] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10635/stat : 10635 (java) S 10624 10626 8078 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10636] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10636/stat : 10636 (java) S 10624 10626 8078 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10637] ppid=10624 vsize=10562144 CPUtime=0.36 cores=0,2,4,6
/proc/10626/task/10637/stat : 10637 (java) S 10624 10626 8078 0 -1 4202560 3294 0 0 0 36 0 0 0 15 0 20 0 830275565 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 0 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10638] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10638/stat : 10638 (java) S 10624 10626 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 20 0 830275565 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10639] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10639/stat : 10639 (java) S 10624 10626 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 830275565 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10640] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10640/stat : 10640 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290703281 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10641] ppid=10624 vsize=10562144 CPUtime=1.06 cores=0,2,4,6
/proc/10626/task/10641/stat : 10641 (java) S 10624 10626 8078 0 -1 4202560 11212 0 0 0 105 1 0 0 17 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10642] ppid=10624 vsize=10562144 CPUtime=0.82 cores=0,2,4,6
/proc/10626/task/10642/stat : 10642 (java) S 10624 10626 8078 0 -1 4202560 6297 0 0 0 82 0 0 0 15 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10643] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10643/stat : 10643 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10644] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10644/stat : 10644 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10646] ppid=10624 vsize=10562144 CPUtime=5.72 cores=0,2,4,6
/proc/10626/task/10646/stat : 10646 (java) R 10624 10626 8078 0 -1 4202560 53477 0 0 0 566 6 0 0 25 0 20 0 830275579 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 46912506208016 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10626/tid=10648] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10648/stat : 10648 (java) S 10624 10626 8078 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 830275579 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13.73
Current children cumulated vsize (KiB) 10562144
Solver just ended. Dumping a history of the last processes samples
[startup+6.70122 s]
/proc/loadavg: 2.25 1.63 1.79 7/441 10697
/proc/meminfo: memFree=29687264/32950904 swapFree=56615552/67111528
[pid=10626] ppid=10624 vsize=10562144 CPUtime=14.13 cores=0,2,4,6
/proc/10626/stat : 10626 (java) S 10624 10626 8078 0 -1 4202496 89045 0 1 0 1402 11 0 0 25 0 20 0 830275562 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10626/statm: 2640536 79788 2259 9 0 2631270 0
[pid=10626/tid=10627] ppid=10624 vsize=10562144 CPUtime=0.15 cores=0,2,4,6
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 8078 0 -1 4202560 11739 0 1 0 14 1 0 0 15 0 20 0 830275562 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10629/stat : 10629 (java) S 10624 10626 8078 0 -1 4202560 408 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10630/stat : 10630 (java) S 10624 10626 8078 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10631] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10631/stat : 10631 (java) S 10624 10626 8078 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10632] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10632/stat : 10632 (java) S 10624 10626 8078 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10633] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10633/stat : 10633 (java) S 10624 10626 8078 0 -1 4202560 255 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10634] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10634/stat : 10634 (java) S 10624 10626 8078 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10635] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10635/stat : 10635 (java) S 10624 10626 8078 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10636] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10636/stat : 10636 (java) S 10624 10626 8078 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10637] ppid=10624 vsize=10562144 CPUtime=0.36 cores=0,2,4,6
/proc/10626/task/10637/stat : 10637 (java) S 10624 10626 8078 0 -1 4202560 3294 0 0 0 36 0 0 0 15 0 20 0 830275565 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 0 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10638] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10638/stat : 10638 (java) S 10624 10626 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 20 0 830275565 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10639] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10639/stat : 10639 (java) S 10624 10626 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 830275565 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10640] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10640/stat : 10640 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290703281 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10641] ppid=10624 vsize=10562144 CPUtime=1.06 cores=0,2,4,6
/proc/10626/task/10641/stat : 10641 (java) S 10624 10626 8078 0 -1 4202560 11212 0 0 0 105 1 0 0 17 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10642] ppid=10624 vsize=10562144 CPUtime=0.82 cores=0,2,4,6
/proc/10626/task/10642/stat : 10642 (java) S 10624 10626 8078 0 -1 4202560 6297 0 0 0 82 0 0 0 15 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10643] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10643/stat : 10643 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10644] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10644/stat : 10644 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10646] ppid=10624 vsize=10562144 CPUtime=6.12 cores=0,2,4,6
/proc/10626/task/10646/stat : 10646 (java) R 10624 10626 8078 0 -1 4202560 53477 0 0 0 606 6 0 0 25 0 20 0 830275579 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 46912505836584 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10626/tid=10648] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10648/stat : 10648 (java) S 10624 10626 8078 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 830275579 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 14.13
Current children cumulated vsize (KiB) 10562144
[startup+6.80121 s]
/proc/loadavg: 2.25 1.63 1.79 7/441 10697
/proc/meminfo: memFree=29687264/32950904 swapFree=56615552/67111528
[pid=10626] ppid=10624 vsize=10562144 CPUtime=14.23 cores=0,2,4,6
/proc/10626/stat : 10626 (java) S 10624 10626 8078 0 -1 4202496 89045 0 1 0 1412 11 0 0 25 0 20 0 830275562 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10626/statm: 2640536 79788 2259 9 0 2631270 0
[pid=10626/tid=10627] ppid=10624 vsize=10562144 CPUtime=0.15 cores=0,2,4,6
/proc/10626/task/10627/stat : 10627 (java) S 10624 10626 8078 0 -1 4202560 11739 0 1 0 14 1 0 0 15 0 20 0 830275562 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10629] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10629/stat : 10629 (java) S 10624 10626 8078 0 -1 4202560 408 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10630] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10630/stat : 10630 (java) S 10624 10626 8078 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10631] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10631/stat : 10631 (java) S 10624 10626 8078 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10632] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10632/stat : 10632 (java) S 10624 10626 8078 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10633] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10633/stat : 10633 (java) S 10624 10626 8078 0 -1 4202560 255 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10634] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10634/stat : 10634 (java) S 10624 10626 8078 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10635] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10635/stat : 10635 (java) S 10624 10626 8078 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10636] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10636/stat : 10636 (java) S 10624 10626 8078 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 20 0 830275564 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10637] ppid=10624 vsize=10562144 CPUtime=0.36 cores=0,2,4,6
/proc/10626/task/10637/stat : 10637 (java) S 10624 10626 8078 0 -1 4202560 3294 0 0 0 36 0 0 0 15 0 20 0 830275565 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 0 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10638] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10638/stat : 10638 (java) S 10624 10626 8078 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 20 0 830275565 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 2 0 0 0
[pid=10626/tid=10639] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10639/stat : 10639 (java) S 10624 10626 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 830275565 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 0 0 0 0
[pid=10626/tid=10640] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10640/stat : 10640 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290703281 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10641] ppid=10624 vsize=10562144 CPUtime=1.06 cores=0,2,4,6
/proc/10626/task/10641/stat : 10641 (java) S 10624 10626 8078 0 -1 4202560 11212 0 0 0 105 1 0 0 17 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10642] ppid=10624 vsize=10562144 CPUtime=0.82 cores=0,2,4,6
/proc/10626/task/10642/stat : 10642 (java) S 10624 10626 8078 0 -1 4202560 6297 0 0 0 82 0 0 0 15 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
[pid=10626/tid=10643] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10643/stat : 10643 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290695577 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10644] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10644/stat : 10644 (java) S 10624 10626 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830275568 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 6 0 0 0
[pid=10626/tid=10646] ppid=10624 vsize=10562144 CPUtime=6.22 cores=0,2,4,6
/proc/10626/task/10646/stat : 10646 (java) R 10624 10626 8078 0 -1 4202560 53477 0 0 0 616 6 0 0 25 0 20 0 830275579 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 46912505756752 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10626/tid=10648] ppid=10624 vsize=10562144 CPUtime=0 cores=0,2,4,6
/proc/10626/task/10648/stat : 10648 (java) S 10624 10626 8078 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 830275579 10815635456 79788 33554432000 1073741824 1073778376 140735676987776 18446744073709551615 237290696192 0 4 0 16800975 18446604446225760448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 14.23
Current children cumulated vsize (KiB) 10562144
Child status: 20
Real time (s): 6.89333
CPU time (s): 14.3058
CPU user time (s): 14.1728
CPU system time (s): 0.132979
CPU usage (%): 207.531
Max. virtual memory (cumulated for all children) (KiB): 10565848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1728
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= 89055
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= 888
involuntary context switches= 428
runsolver used 0.027995 second user time and 0.075988 second system time
The end