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-3457339-1307220166/watcher-3457339-1307220166 -o /tmp/evaluation-result-3457339-1307220166/solver-3457339-1307220166 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457339-1307220166.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.00 2.01 1.95 2/418 17629
/proc/meminfo: memFree=29724036/32950904 swapFree=56615552/67111528
[pid=17629] ppid=17627 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17629/stat : 17629 (java) S 17627 17629 15661 0 -1 4202496 4122 0 1 0 0 0 0 0 25 0 2 0 833616397 10694979584 3825 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/17629/statm: 2611079 3839 917 9 0 2602235 0
[pid=17629/tid=17630] ppid=17627 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17630/stat : 17630 (java) R 17627 17629 15661 0 -1 4202560 5055 0 1 0 0 0 0 0 25 0 2 0 833616398 10694979584 5871 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0997429 s]
/proc/loadavg: 2.00 2.01 1.95 2/418 17629
/proc/meminfo: memFree=29724036/32950904 swapFree=56615552/67111528
[pid=17629] ppid=17627 vsize=10539680 CPUtime=0.1 cores=1,3,5,7
/proc/17629/stat : 17629 (java) S 17627 17629 15661 0 -1 4202496 12967 0 1 0 9 1 0 0 25 0 18 0 833616397 10792632320 12665 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17629/statm: 2634920 12667 2092 9 0 2625654 0
[pid=17629/tid=17630] ppid=17627 vsize=10539680 CPUtime=0.08 cores=1,3,5,7
/proc/17629/task/17630/stat : 17630 (java) R 17627 17629 15661 0 -1 4202560 11099 0 1 0 7 1 0 0 22 0 18 0 833616398 10792632320 12667 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237278540833 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) 10539680
[startup+0.100755 s]
/proc/loadavg: 2.00 2.01 1.95 2/418 17629
/proc/meminfo: memFree=29724036/32950904 swapFree=56615552/67111528
[pid=17629] ppid=17627 vsize=10539680 CPUtime=0.1 cores=1,3,5,7
/proc/17629/stat : 17629 (java) S 17627 17629 15661 0 -1 4202496 12987 0 1 0 9 1 0 0 25 0 18 0 833616397 10792632320 12685 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17629/statm: 2634920 12686 2092 9 0 2625654 0
[pid=17629/tid=17630] ppid=17627 vsize=10539680 CPUtime=0.08 cores=1,3,5,7
/proc/17629/task/17630/stat : 17630 (java) R 17627 17629 15661 0 -1 4202560 11118 0 1 0 7 1 0 0 22 0 18 0 833616398 10792632320 12686 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 47439818838787 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) 10539680
[startup+0.36565 s]
/proc/loadavg: 2.00 2.01 1.95 2/418 17629
/proc/meminfo: memFree=29724036/32950904 swapFree=56615552/67111528
[pid=17629] ppid=17627 vsize=10546156 CPUtime=0.6 cores=1,3,5,7
/proc/17629/stat : 17629 (java) S 17627 17629 15661 0 -1 4202496 16324 0 1 0 58 2 0 0 25 0 19 0 833616397 10799263744 15802 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17629/statm: 2636539 15802 2216 9 0 2627273 0
[pid=17629/tid=17630] ppid=17627 vsize=10546156 CPUtime=0.34 cores=1,3,5,7
/proc/17629/task/17630/stat : 17630 (java) R 17627 17629 15661 0 -1 4202560 12688 0 1 0 33 1 0 0 23 0 19 0 833616398 10799263744 15802 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 46912505217820 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10546156
[startup+0.700592 s]
/proc/loadavg: 2.00 2.01 1.95 2/418 17629
/proc/meminfo: memFree=29724036/32950904 swapFree=56615552/67111528
[pid=17629] ppid=17627 vsize=10547180 CPUtime=1.23 cores=1,3,5,7
/proc/17629/stat : 17629 (java) S 17627 17629 15661 0 -1 4202496 33145 0 1 0 119 4 0 0 25 0 19 0 833616397 10800312320 31035 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17629/statm: 2636795 31035 2219 9 0 2627529 0
[pid=17629/tid=17630] ppid=17627 vsize=10547180 CPUtime=0.67 cores=1,3,5,7
/proc/17629/task/17630/stat : 17630 (java) R 17627 17629 15661 0 -1 4202560 27609 0 1 0 64 3 0 0 25 0 19 0 833616398 10800312320 31035 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 46912505727277 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10547180
[startup+1.50145 s]
/proc/loadavg: 2.16 2.05 1.96 3/437 17648
/proc/meminfo: memFree=29339756/32950904 swapFree=56615552/67111528
[pid=17629] ppid=17627 vsize=10547180 CPUtime=2.09 cores=1,3,5,7
/proc/17629/stat : 17629 (java) S 17627 17629 15661 0 -1 4202496 79773 0 1 0 199 10 0 0 25 0 19 0 833616397 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17629/statm: 2636795 77553 2222 9 0 2627529 0
[pid=17629/tid=17630] ppid=17627 vsize=10547180 CPUtime=1.46 cores=1,3,5,7
/proc/17629/task/17630/stat : 17630 (java) R 17627 17629 15661 0 -1 4202560 74116 0 1 0 137 9 0 0 25 0 19 0 833616398 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 46912505651441 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=17629/tid=17632] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17632/stat : 17632 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17633] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17633/stat : 17633 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17634] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17634/stat : 17634 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17635] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17635/stat : 17635 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17636] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17636/stat : 17636 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17637] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17637/stat : 17637 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17638] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17638/stat : 17638 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17639] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17639/stat : 17639 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17640] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17640/stat : 17640 (java) S 17627 17629 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833616400 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290696192 0 0 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17641] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17641/stat : 17641 (java) S 17627 17629 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833616401 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17642] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17642/stat : 17642 (java) S 17627 17629 15661 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833616401 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 7 0 0 0
[pid=17629/tid=17643] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17643/stat : 17643 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833616403 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290703281 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17644] ppid=17627 vsize=10547180 CPUtime=0.33 cores=1,3,5,7
/proc/17629/task/17644/stat : 17644 (java) S 17627 17629 15661 0 -1 4202560 1427 0 0 0 33 0 0 0 15 0 19 0 833616403 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 3 0 0 0
[pid=17629/tid=17645] ppid=17627 vsize=10547180 CPUtime=0.27 cores=1,3,5,7
/proc/17629/task/17645/stat : 17645 (java) S 17627 17629 15661 0 -1 4202560 3070 0 0 0 27 0 0 0 15 0 19 0 833616403 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17646] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17646/stat : 17646 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833616403 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17647] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17647/stat : 17647 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833616403 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290696192 0 4 0 16800975 18446604456627817216 0 0 -1 7 0 0 0
[pid=17629/tid=17648] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17648/stat : 17648 (java) S 17627 17629 15661 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833616423 10800312320 77553 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290696192 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 10547180
Solver just ended. Dumping a history of the last processes samples
[startup+1.60143 s]
/proc/loadavg: 2.16 2.05 1.96 3/437 17648
/proc/meminfo: memFree=29339756/32950904 swapFree=56615552/67111528
[pid=17629] ppid=17627 vsize=10547180 CPUtime=2.18 cores=1,3,5,7
/proc/17629/stat : 17629 (java) S 17627 17629 15661 0 -1 4202496 85307 0 1 0 208 10 0 0 25 0 19 0 833616397 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17629/statm: 2636795 83087 2222 9 0 2627529 0
[pid=17629/tid=17630] ppid=17627 vsize=10547180 CPUtime=1.57 cores=1,3,5,7
/proc/17629/task/17630/stat : 17630 (java) R 17627 17629 15661 0 -1 4202560 79650 0 1 0 147 10 0 0 25 0 19 0 833616398 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 46912505696117 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=17629/tid=17632] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17632/stat : 17632 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17633] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17633/stat : 17633 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17634] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17634/stat : 17634 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17635] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17635/stat : 17635 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17636] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17636/stat : 17636 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17637] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17637/stat : 17637 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17638] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17638/stat : 17638 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17639] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17639/stat : 17639 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833616399 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17640] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17640/stat : 17640 (java) S 17627 17629 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833616400 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290696192 0 0 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17641] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17641/stat : 17641 (java) S 17627 17629 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833616401 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17642] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17642/stat : 17642 (java) S 17627 17629 15661 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833616401 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 7 0 0 0
[pid=17629/tid=17643] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17643/stat : 17643 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833616403 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290703281 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17644] ppid=17627 vsize=10547180 CPUtime=0.33 cores=1,3,5,7
/proc/17629/task/17644/stat : 17644 (java) S 17627 17629 15661 0 -1 4202560 1427 0 0 0 33 0 0 0 15 0 19 0 833616403 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 3 0 0 0
[pid=17629/tid=17645] ppid=17627 vsize=10547180 CPUtime=0.27 cores=1,3,5,7
/proc/17629/task/17645/stat : 17645 (java) S 17627 17629 15661 0 -1 4202560 3070 0 0 0 27 0 0 0 15 0 19 0 833616403 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17646] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17646/stat : 17646 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833616403 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290695577 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
[pid=17629/tid=17647] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17647/stat : 17647 (java) S 17627 17629 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833616403 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290696192 0 4 0 16800975 18446604456627817216 0 0 -1 7 0 0 0
[pid=17629/tid=17648] ppid=17627 vsize=10547180 CPUtime=0 cores=1,3,5,7
/proc/17629/task/17648/stat : 17648 (java) S 17627 17629 15661 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833616423 10800312320 83087 33554432000 1073741824 1073778376 140735432500128 18446744073709551615 237290696192 0 4 0 16800975 18446604456627817216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 10547180
Child status: 30
Real time (s): 1.70043
CPU time (s): 2.30965
CPU user time (s): 2.18167
CPU system time (s): 0.12798
CPU usage (%): 135.827
Max. virtual memory (cumulated for all children) (KiB): 10547180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.18167
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88609
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= 250
involuntary context switches= 85
runsolver used 0.009998 second user time and 0.021996 second system time
The end