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-3456997-1307214934/watcher-3456997-1307214934 -o /tmp/evaluation-result-3456997-1307214934/solver-3456997-1307214934 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456997-1307214934.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: 1.06 1.04 1.00 2/409 13168
/proc/meminfo: memFree=26006136/32950928 swapFree=52006644/67111528
[pid=13168] ppid=13166 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13168/stat : 13168 (java) S 13166 13168 12126 0 -1 4202496 3234 0 1 0 0 0 0 0 25 0 2 0 289102841 10694979584 2935 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/13168/statm: 2611079 2949 917 9 0 2602235 0
[pid=13168/tid=13169] ppid=13166 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13169/stat : 13169 (java) R 13166 13168 12126 0 -1 4202560 5179 0 1 0 0 0 0 0 25 0 2 0 289102841 10694979584 5995 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.057656 s]
/proc/loadavg: 1.06 1.04 1.00 2/409 13168
/proc/meminfo: memFree=26006136/32950928 swapFree=52006644/67111528
[pid=13168] ppid=13166 vsize=10538156 CPUtime=0.04 cores=0,2,4,6
/proc/13168/stat : 13168 (java) S 13166 13168 12126 0 -1 4202496 11613 0 1 0 3 1 0 0 25 0 18 0 289102841 10791071744 11310 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13168/statm: 2634539 11310 1721 9 0 2625287 0
[pid=13168/tid=13169] ppid=13166 vsize=10538156 CPUtime=0.04 cores=0,2,4,6
/proc/13168/task/13169/stat : 13169 (java) R 13166 13168 12126 0 -1 4202560 10440 0 1 0 3 1 0 0 23 0 18 0 289102841 10791071744 11311 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 47324746600355 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10538156
[startup+0.104654 s]
/proc/loadavg: 1.06 1.04 1.00 2/409 13168
/proc/meminfo: memFree=26006136/32950928 swapFree=52006644/67111528
[pid=13168] ppid=13166 vsize=10539416 CPUtime=0.11 cores=0,2,4,6
/proc/13168/stat : 13168 (java) S 13166 13168 12126 0 -1 4202496 13016 0 1 0 9 2 0 0 25 0 18 0 289102841 10792361984 12712 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13168/statm: 2634854 12712 2092 9 0 2625588 0
[pid=13168/tid=13169] ppid=13166 vsize=10539416 CPUtime=0.09 cores=0,2,4,6
/proc/13168/task/13169/stat : 13169 (java) R 13166 13168 12126 0 -1 4202560 11184 0 1 0 8 1 0 0 23 0 18 0 289102841 10792361984 12712 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 46912496214959 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) 10539416
[startup+0.304569 s]
/proc/loadavg: 1.06 1.04 1.00 2/409 13168
/proc/meminfo: memFree=26006136/32950928 swapFree=52006644/67111528
[pid=13168] ppid=13166 vsize=10545368 CPUtime=0.49 cores=0,2,4,6
/proc/13168/stat : 13168 (java) S 13166 13168 12126 0 -1 4202496 20027 0 1 0 46 3 0 0 25 0 19 0 289102841 10798456832 18900 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13168/statm: 2636342 18901 2210 9 0 2627076 0
[pid=13168/tid=13169] ppid=13166 vsize=10545368 CPUtime=0.29 cores=0,2,4,6
/proc/13168/task/13169/stat : 13169 (java) R 13166 13168 12126 0 -1 4202560 15828 0 1 0 27 2 0 0 18 0 19 0 289102841 10798456832 18901 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 47324751067987 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10545368
[startup+0.700549 s]
/proc/loadavg: 1.06 1.04 1.00 2/409 13168
/proc/meminfo: memFree=26006136/32950928 swapFree=52006644/67111528
[pid=13168] ppid=13166 vsize=10554648 CPUtime=1.59 cores=0,2,4,6
/proc/13168/stat : 13168 (java) S 13166 13168 12126 0 -1 4202496 50478 0 1 0 150 9 0 0 25 0 19 0 289102841 10807959552 47139 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13168/statm: 2638662 47143 2218 9 0 2629396 0
[pid=13168/tid=13169] ppid=13166 vsize=10554648 CPUtime=0.68 cores=0,2,4,6
/proc/13168/task/13169/stat : 13169 (java) R 13166 13168 12126 0 -1 4202560 38865 0 1 0 62 6 0 0 18 0 19 0 289102841 10807959552 47144 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 46912505526954 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10554648
[startup+1.50143 s]
/proc/loadavg: 1.06 1.04 1.00 2/428 13187
/proc/meminfo: memFree=25722360/32950928 swapFree=52006644/67111528
[pid=13168] ppid=13166 vsize=10554648 CPUtime=2.64 cores=0,2,4,6
/proc/13168/stat : 13168 (java) S 13166 13168 12126 0 -1 4202496 126481 0 1 0 245 19 0 0 25 0 19 0 289102841 10807959552 121632 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13168/statm: 2638662 121637 2224 9 0 2629396 0
[pid=13168/tid=13169] ppid=13166 vsize=10554648 CPUtime=1.48 cores=0,2,4,6
/proc/13168/task/13169/stat : 13169 (java) R 13166 13168 12126 0 -1 4202560 113319 0 1 0 132 16 0 0 19 0 19 0 289102841 10807959552 121639 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 46912505537614 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13168/tid=13171] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13171/stat : 13171 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 121642 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13172] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13172/stat : 13172 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 121644 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13173] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13173/stat : 13173 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 121647 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13174] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13174/stat : 13174 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 121649 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13175] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13175/stat : 13175 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 121652 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13176] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13176/stat : 13176 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 121654 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13177] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13177/stat : 13177 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 121657 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13178] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13178/stat : 13178 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 121662 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13179] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13179/stat : 13179 (java) S 13166 13168 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 289102844 10807959552 121668 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 0 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13180] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13180/stat : 13180 (java) S 13166 13168 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289102844 10807959552 121673 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13181] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13181/stat : 13181 (java) S 13166 13168 12126 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 289102844 10807959552 121678 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13182] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13182/stat : 13182 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289102847 10807959552 121682 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892388785 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13183] ppid=13166 vsize=10554648 CPUtime=0.62 cores=0,2,4,6
/proc/13168/task/13183/stat : 13183 (java) S 13166 13168 12126 0 -1 4202560 6821 0 0 0 60 2 0 0 15 0 19 0 289102847 10807959552 121684 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13184] ppid=13166 vsize=10554648 CPUtime=0.52 cores=0,2,4,6
/proc/13168/task/13184/stat : 13184 (java) S 13166 13168 12126 0 -1 4202560 5186 0 0 0 52 0 0 0 16 0 19 0 289102847 10807959552 121685 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13185] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13185/stat : 13185 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 289102847 10807959552 121687 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13186] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13186/stat : 13186 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289102847 10807959552 121688 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13187] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13187/stat : 13187 (java) S 13166 13168 12126 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 289102858 10807959552 121688 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 10554648
[startup+3.10115 s]
/proc/loadavg: 1.05 1.04 1.00 2/428 13187
/proc/meminfo: memFree=25282160/32950928 swapFree=52006644/67111528
[pid=13168] ppid=13166 vsize=10554648 CPUtime=4.27 cores=0,2,4,6
/proc/13168/stat : 13168 (java) S 13166 13168 12126 0 -1 4202496 283569 0 1 0 391 36 0 0 25 0 19 0 289102841 10807959552 278720 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13168/statm: 2638662 278725 2224 9 0 2629396 0
[pid=13168/tid=13169] ppid=13166 vsize=10554648 CPUtime=3.08 cores=0,2,4,6
/proc/13168/task/13169/stat : 13169 (java) R 13166 13168 12126 0 -1 4202560 270403 0 1 0 276 32 0 0 24 0 19 0 289102841 10807959552 278727 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 46912505621953 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13168/tid=13171] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13171/stat : 13171 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 278729 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13172] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13172/stat : 13172 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 278732 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13173] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13173/stat : 13173 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 278734 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13174] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13174/stat : 13174 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 278736 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13175] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13175/stat : 13175 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 278739 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13176] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13176/stat : 13176 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 278742 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13177] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13177/stat : 13177 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 278745 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13178] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13178/stat : 13178 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10807959552 278747 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13179] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13179/stat : 13179 (java) S 13166 13168 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 289102844 10807959552 278750 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 0 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13180] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13180/stat : 13180 (java) S 13166 13168 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289102844 10807959552 278753 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13181] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13181/stat : 13181 (java) S 13166 13168 12126 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 289102844 10807959552 278756 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13182] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13182/stat : 13182 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289102847 10807959552 278759 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892388785 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13183] ppid=13166 vsize=10554648 CPUtime=0.63 cores=0,2,4,6
/proc/13168/task/13183/stat : 13183 (java) S 13166 13168 12126 0 -1 4202560 6821 0 0 0 61 2 0 0 15 0 19 0 289102847 10807959552 278762 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13184] ppid=13166 vsize=10554648 CPUtime=0.54 cores=0,2,4,6
/proc/13168/task/13184/stat : 13184 (java) S 13166 13168 12126 0 -1 4202560 5191 0 0 0 54 0 0 0 15 0 19 0 289102847 10807959552 278765 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13185] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13185/stat : 13185 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 289102847 10807959552 278768 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13186] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13186/stat : 13186 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289102847 10807959552 278770 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13187] ppid=13166 vsize=10554648 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13187/stat : 13187 (java) S 13166 13168 12126 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 289102858 10807959552 278772 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 10554648
[startup+6.30158 s]
/proc/loadavg: 1.05 1.04 1.00 2/428 13187
/proc/meminfo: memFree=24119780/32950928 swapFree=52006644/67111528
[pid=13168] ppid=13166 vsize=10551864 CPUtime=7.47 cores=0,2,4,6
/proc/13168/stat : 13168 (java) S 13166 13168 12126 0 -1 4202496 550957 0 1 0 681 66 0 0 25 0 19 0 289102841 10805108736 545476 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13168/statm: 2637966 545479 2225 9 0 2628700 0
[pid=13168/tid=13169] ppid=13166 vsize=10551864 CPUtime=6.28 cores=0,2,4,6
/proc/13168/task/13169/stat : 13169 (java) R 13166 13168 12126 0 -1 4202560 537787 0 1 0 565 63 0 0 25 0 19 0 289102841 10805108736 545481 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 46912505621893 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13168/tid=13171] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13171/stat : 13171 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 545484 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13172] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13172/stat : 13172 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 545486 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13173] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13173/stat : 13173 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 545488 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13174] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13174/stat : 13174 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 545491 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13175] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13175/stat : 13175 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 545494 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13176] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13176/stat : 13176 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 545496 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13177] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13177/stat : 13177 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 545499 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13178] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13178/stat : 13178 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 545502 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13179] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13179/stat : 13179 (java) S 13166 13168 12126 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 289102844 10805108736 545505 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 0 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13180] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13180/stat : 13180 (java) S 13166 13168 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289102844 10805108736 545510 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13181] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13181/stat : 13181 (java) S 13166 13168 12126 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 289102844 10805108736 545514 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13182] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13182/stat : 13182 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289102847 10805108736 545517 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892388785 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13183] ppid=13166 vsize=10551864 CPUtime=0.63 cores=0,2,4,6
/proc/13168/task/13183/stat : 13183 (java) S 13166 13168 12126 0 -1 4202560 6821 0 0 0 61 2 0 0 15 0 19 0 289102847 10805108736 545521 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13184] ppid=13166 vsize=10551864 CPUtime=0.54 cores=0,2,4,6
/proc/13168/task/13184/stat : 13184 (java) S 13166 13168 12126 0 -1 4202560 5191 0 0 0 54 0 0 0 15 0 19 0 289102847 10805108736 545525 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13185] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13185/stat : 13185 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 289102847 10805108736 545527 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13186] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13186/stat : 13186 (java) S 13166 13168 12126 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 289102847 10805108736 545532 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13187] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13187/stat : 13187 (java) S 13166 13168 12126 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 289102858 10805108736 545536 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 10551864
Solver just ended. Dumping a history of the last processes samples
[startup+7.9013 s]
/proc/loadavg: 1.05 1.04 1.00 2/428 13187
/proc/meminfo: memFree=23447672/32950928 swapFree=52006644/67111528
[pid=13168] ppid=13166 vsize=10551864 CPUtime=9.07 cores=0,2,4,6
/proc/13168/stat : 13168 (java) S 13166 13168 12126 0 -1 4202496 659496 0 1 0 829 78 0 0 25 0 19 0 289102841 10805108736 654016 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13168/statm: 2637966 654018 2225 9 0 2628700 0
[pid=13168/tid=13169] ppid=13166 vsize=10551864 CPUtime=7.88 cores=0,2,4,6
/proc/13168/task/13169/stat : 13169 (java) R 13166 13168 12126 0 -1 4202560 646324 0 1 0 713 75 0 0 25 0 19 0 289102841 10805108736 654018 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 46912506000331 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13168/tid=13171] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13171/stat : 13171 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 654021 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13172] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13172/stat : 13172 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 654025 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13173] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13173/stat : 13173 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 654029 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13174] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13174/stat : 13174 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 654032 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13175] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13175/stat : 13175 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 654036 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13176] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13176/stat : 13176 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 654040 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13177] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13177/stat : 13177 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 654044 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13178] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13178/stat : 13178 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289102843 10805108736 654048 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13179] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13179/stat : 13179 (java) S 13166 13168 12126 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 289102844 10805108736 654052 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 0 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13180] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13180/stat : 13180 (java) S 13166 13168 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289102844 10805108736 654056 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13181] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13181/stat : 13181 (java) S 13166 13168 12126 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 289102844 10805108736 654060 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13182] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13182/stat : 13182 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289102847 10805108736 654064 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892388785 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13183] ppid=13166 vsize=10551864 CPUtime=0.63 cores=0,2,4,6
/proc/13168/task/13183/stat : 13183 (java) S 13166 13168 12126 0 -1 4202560 6821 0 0 0 61 2 0 0 15 0 19 0 289102847 10805108736 654068 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13184] ppid=13166 vsize=10551864 CPUtime=0.54 cores=0,2,4,6
/proc/13168/task/13184/stat : 13184 (java) S 13166 13168 12126 0 -1 4202560 5191 0 0 0 54 0 0 0 15 0 19 0 289102847 10805108736 654072 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13185] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13185/stat : 13185 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 289102847 10805108736 654075 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13186] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13186/stat : 13186 (java) S 13166 13168 12126 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 289102847 10805108736 654079 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13187] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13187/stat : 13187 (java) S 13166 13168 12126 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 289102858 10805108736 654083 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.07
Current children cumulated vsize (KiB) 10551864
[startup+8.30122 s]
/proc/loadavg: 1.05 1.04 1.00 2/428 13187
/proc/meminfo: memFree=23447672/32950928 swapFree=52006644/67111528
[pid=13168] ppid=13166 vsize=10551864 CPUtime=9.5 cores=0,2,4,6
/proc/13168/stat : 13168 (java) S 13166 13168 12126 0 -1 4202496 669033 0 1 0 870 80 0 0 25 0 19 0 289102841 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13168/statm: 2637966 663548 2238 9 0 2628700 0
[pid=13168/tid=13169] ppid=13166 vsize=10551864 CPUtime=8.27 cores=0,2,4,6
/proc/13168/task/13169/stat : 13169 (java) R 13166 13168 12126 0 -1 4202560 651048 0 1 0 751 76 0 0 25 0 19 0 289102841 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 46912505568787 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13168/tid=13171] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13171/stat : 13171 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 0 0 0 0
[pid=13168/tid=13172] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13172/stat : 13172 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13173] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13173/stat : 13173 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13174] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13174/stat : 13174 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13175] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13175/stat : 13175 (java) S 13166 13168 12126 0 -1 4202560 93 0 0 0 0 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13176] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13176/stat : 13176 (java) S 13166 13168 12126 0 -1 4202560 1186 0 0 0 0 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13177] ppid=13166 vsize=10551864 CPUtime=0.01 cores=0,2,4,6
/proc/13168/task/13177/stat : 13177 (java) S 13166 13168 12126 0 -1 4202560 1559 0 0 0 1 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 0 0 0 0
[pid=13168/tid=13178] ppid=13166 vsize=10551864 CPUtime=0.01 cores=0,2,4,6
/proc/13168/task/13178/stat : 13178 (java) S 13166 13168 12126 0 -1 4202560 1967 0 0 0 1 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13179] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13179/stat : 13179 (java) S 13166 13168 12126 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 289102844 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 0 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13180] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13180/stat : 13180 (java) S 13166 13168 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289102844 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13181] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13181/stat : 13181 (java) S 13166 13168 12126 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 289102844 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13182] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13182/stat : 13182 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289102847 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892388785 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13183] ppid=13166 vsize=10551864 CPUtime=0.63 cores=0,2,4,6
/proc/13168/task/13183/stat : 13183 (java) S 13166 13168 12126 0 -1 4202560 6821 0 0 0 61 2 0 0 15 0 19 0 289102847 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13184] ppid=13166 vsize=10551864 CPUtime=0.54 cores=0,2,4,6
/proc/13168/task/13184/stat : 13184 (java) S 13166 13168 12126 0 -1 4202560 5191 0 0 0 54 0 0 0 15 0 19 0 289102847 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13185] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13185/stat : 13185 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 289102847 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13186] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13186/stat : 13186 (java) S 13166 13168 12126 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 289102847 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13187] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13187/stat : 13187 (java) S 13166 13168 12126 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 289102858 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.5
Current children cumulated vsize (KiB) 10551864
[startup+8.50119 s]
/proc/loadavg: 1.05 1.04 1.00 2/428 13187
/proc/meminfo: memFree=23447672/32950928 swapFree=52006644/67111528
[pid=13168] ppid=13166 vsize=10551864 CPUtime=9.7 cores=0,2,4,6
/proc/13168/stat : 13168 (java) S 13166 13168 12126 0 -1 4202496 669033 0 1 0 890 80 0 0 25 0 19 0 289102841 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13168/statm: 2637966 663548 2238 9 0 2628700 0
[pid=13168/tid=13169] ppid=13166 vsize=10551864 CPUtime=8.47 cores=0,2,4,6
/proc/13168/task/13169/stat : 13169 (java) R 13166 13168 12126 0 -1 4202560 651048 0 1 0 771 76 0 0 25 0 19 0 289102841 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 46912505568833 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13168/tid=13171] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13171/stat : 13171 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 0 0 0 0
[pid=13168/tid=13172] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13172/stat : 13172 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13173] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13173/stat : 13173 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13174] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13174/stat : 13174 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13175] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13175/stat : 13175 (java) S 13166 13168 12126 0 -1 4202560 93 0 0 0 0 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
[pid=13168/tid=13176] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13176/stat : 13176 (java) S 13166 13168 12126 0 -1 4202560 1186 0 0 0 0 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13177] ppid=13166 vsize=10551864 CPUtime=0.01 cores=0,2,4,6
/proc/13168/task/13177/stat : 13177 (java) S 13166 13168 12126 0 -1 4202560 1559 0 0 0 1 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 0 0 0 0
[pid=13168/tid=13178] ppid=13166 vsize=10551864 CPUtime=0.01 cores=0,2,4,6
/proc/13168/task/13178/stat : 13178 (java) S 13166 13168 12126 0 -1 4202560 1967 0 0 0 1 0 0 0 18 0 19 0 289102843 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13179] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13179/stat : 13179 (java) S 13166 13168 12126 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 289102844 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 0 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13180] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13180/stat : 13180 (java) S 13166 13168 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289102844 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13181] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13181/stat : 13181 (java) S 13166 13168 12126 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 289102844 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13182] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13182/stat : 13182 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 289102847 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892388785 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13183] ppid=13166 vsize=10551864 CPUtime=0.63 cores=0,2,4,6
/proc/13168/task/13183/stat : 13183 (java) S 13166 13168 12126 0 -1 4202560 6821 0 0 0 61 2 0 0 15 0 19 0 289102847 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13184] ppid=13166 vsize=10551864 CPUtime=0.54 cores=0,2,4,6
/proc/13168/task/13184/stat : 13184 (java) S 13166 13168 12126 0 -1 4202560 5191 0 0 0 54 0 0 0 15 0 19 0 289102847 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13185] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13185/stat : 13185 (java) S 13166 13168 12126 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 289102847 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381081 0 4 0 16800975 18446604443223683200 0 0 -1 2 0 0 0
[pid=13168/tid=13186] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13186/stat : 13186 (java) S 13166 13168 12126 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 289102847 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 4 0 16800975 18446604443223683200 0 0 -1 4 0 0 0
[pid=13168/tid=13187] ppid=13166 vsize=10551864 CPUtime=0 cores=0,2,4,6
/proc/13168/task/13187/stat : 13187 (java) S 13166 13168 12126 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 289102858 10805108736 663548 33554432000 1073741824 1073778376 140734210716560 18446744073709551615 218892381696 0 4 0 16800975 18446604443223683200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.7
Current children cumulated vsize (KiB) 10551864
[startup+8.60116 s]
/proc/loadavg: 1.05 1.04 1.00 2/428 13187
/proc/meminfo: memFree=23447672/32950928 swapFree=52006644/67111528
[pid=13168] ppid=13166 vsize=0 CPUtime=9.79 cores=0,2,4,6
/proc/13168/stat : 13168 (java) Z 13166 13168 12126 0 -1 4203548 669047 0 1 0 898 81 0 0 18 0 2 0 289102841 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13168/statm: 0 0 0 0 0 0 0
[pid=13168/tid=13187] ppid=13166 vsize=0 CPUtime=0.01 cores=0,2,4,6
/proc/13168/task/13187/stat : 13187 (java) R 13166 13168 12126 0 -1 4203588 7 0 0 0 0 1 0 0 18 0 2 0 289102858 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 8.68329
CPU time (s): 9.8905
CPU user time (s): 8.98863
CPU system time (s): 0.901862
CPU usage (%): 113.903
Max. virtual memory (cumulated for all children) (KiB): 10554648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.98863
system time used= 0.901862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 669047
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= 433
involuntary context switches= 56
runsolver used 0.036994 second user time and 0.097985 second system time
The end