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-3457331-1307220050/watcher-3457331-1307220050 -o /tmp/evaluation-result-3457331-1307220050/solver-3457331-1307220050 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457331-1307220050.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.14 2.08 2.00 2/499 21866
/proc/meminfo: memFree=22167080/32950928 swapFree=39617324/67111528
[pid=21866] ppid=21864 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21866/stat : 21866 (java) S 21864 21866 20277 0 -1 4202496 6199 0 1 0 0 0 0 0 25 0 2 0 833604694 10694979584 5900 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/21866/statm: 2611079 5914 917 9 0 2602235 0
[pid=21866/tid=21867] ppid=21864 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21867/stat : 21867 (java) R 21864 21866 20277 0 -1 4202560 7059 0 1 0 0 0 0 0 25 0 2 0 833604695 10694979584 7874 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.029737 s]
/proc/loadavg: 2.14 2.08 2.00 2/499 21866
/proc/meminfo: memFree=22167080/32950928 swapFree=39617324/67111528
[pid=21866] ppid=21864 vsize=10520548 CPUtime=0.02 cores=0,2,4,6
/proc/21866/stat : 21866 (java) S 21864 21866 20277 0 -1 4202496 10830 0 1 0 1 1 0 0 25 0 10 0 833604694 10773041152 10528 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/21866/statm: 2630137 10528 1522 9 0 2620885 0
[pid=21866/tid=21867] ppid=21864 vsize=10520548 CPUtime=0.02 cores=0,2,4,6
/proc/21866/task/21867/stat : 21867 (java) R 21864 21866 20277 0 -1 4202560 9707 0 1 0 1 1 0 0 25 0 10 0 833604695 10773041152 10528 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208080230459 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10520548
[startup+0.100721 s]
/proc/loadavg: 2.14 2.08 2.00 2/499 21866
/proc/meminfo: memFree=22167080/32950928 swapFree=39617324/67111528
[pid=21866] ppid=21864 vsize=10540364 CPUtime=0.09 cores=0,2,4,6
/proc/21866/stat : 21866 (java) S 21864 21866 20277 0 -1 4202496 13039 0 1 0 8 1 0 0 25 0 18 0 833604694 10793332736 12735 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21866/statm: 2635091 12735 2093 9 0 2625825 0
[pid=21866/tid=21867] ppid=21864 vsize=10540364 CPUtime=0.08 cores=0,2,4,6
/proc/21866/task/21867/stat : 21867 (java) R 21864 21866 20277 0 -1 4202560 11135 0 1 0 7 1 0 0 25 0 18 0 833604695 10793332736 12736 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208079893537 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540364
[startup+0.300738 s]
/proc/loadavg: 2.14 2.08 2.00 2/499 21866
/proc/meminfo: memFree=22167080/32950928 swapFree=39617324/67111528
[pid=21866] ppid=21864 vsize=10542428 CPUtime=0.53 cores=0,2,4,6
/proc/21866/stat : 21866 (java) S 21864 21866 20277 0 -1 4202496 17974 0 1 0 51 2 0 0 25 0 18 0 833604694 10795446272 17165 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21866/statm: 2635607 17165 2202 9 0 2626341 0
[pid=21866/tid=21867] ppid=21864 vsize=10542428 CPUtime=0.28 cores=0,2,4,6
/proc/21866/task/21867/stat : 21867 (java) R 21864 21866 20277 0 -1 4202560 14057 0 1 0 26 2 0 0 25 0 18 0 833604695 10795446272 17165 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 46912505543270 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10542428
[startup+0.700656 s]
/proc/loadavg: 2.14 2.08 2.00 2/499 21866
/proc/meminfo: memFree=22167080/32950928 swapFree=39617324/67111528
[pid=21866] ppid=21864 vsize=10549672 CPUtime=1.5 cores=0,2,4,6
/proc/21866/stat : 21866 (java) S 21864 21866 20277 0 -1 4202496 26773 0 1 0 147 3 0 0 25 0 19 0 833604694 10802864128 24317 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21866/statm: 2637418 24317 2230 9 0 2628152 0
[pid=21866/tid=21867] ppid=21864 vsize=10549672 CPUtime=0.68 cores=0,2,4,6
/proc/21866/task/21867/stat : 21867 (java) R 21864 21866 20277 0 -1 4202560 19587 0 1 0 66 2 0 0 18 0 19 0 833604695 10802864128 24317 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 46912505872171 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10549672
[startup+1.50151 s]
/proc/loadavg: 2.14 2.08 2.00 3/518 21885
/proc/meminfo: memFree=22019748/32950928 swapFree=39617324/67111528
[pid=21866] ppid=21864 vsize=10553888 CPUtime=2.58 cores=0,2,4,6
/proc/21866/stat : 21866 (java) S 21864 21866 20277 0 -1 4202496 73267 0 1 0 249 9 0 0 25 0 19 0 833604694 10807181312 69971 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21866/statm: 2638472 69971 2236 9 0 2629206 0
[pid=21866/tid=21867] ppid=21864 vsize=10553888 CPUtime=1.48 cores=0,2,4,6
/proc/21866/task/21867/stat : 21867 (java) R 21864 21866 20277 0 -1 4202560 63904 0 1 0 140 8 0 0 18 0 19 0 833604695 10807181312 69971 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 46912505702168 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21866/tid=21869] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21869/stat : 21869 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 69971 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21870] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21870/stat : 21870 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 69972 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21871] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21871/stat : 21871 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 69972 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21872] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21872/stat : 21872 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 69972 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21873] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21873/stat : 21873 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 69972 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21874] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21874/stat : 21874 (java) S 21864 21866 20277 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 69972 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21875] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21875/stat : 21875 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 69972 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21876] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21876/stat : 21876 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 69972 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21877] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21877/stat : 21877 (java) S 21864 21866 20277 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833604697 10807181312 69972 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048896 0 0 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21878] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21878/stat : 21878 (java) S 21864 21866 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833604698 10807181312 69973 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21879] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21879/stat : 21879 (java) S 21864 21866 20277 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833604698 10807181312 69973 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21880] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21880/stat : 21880 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604700 10807181312 69973 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092055985 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21881] ppid=21864 vsize=10553888 CPUtime=0.58 cores=0,2,4,6
/proc/21866/task/21881/stat : 21881 (java) S 21864 21866 20277 0 -1 4202560 5008 0 0 0 58 0 0 0 20 0 19 0 833604700 10807181312 69973 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 0 0 0 0
[pid=21866/tid=21882] ppid=21864 vsize=10553888 CPUtime=0.49 cores=0,2,4,6
/proc/21866/task/21882/stat : 21882 (java) S 21864 21866 20277 0 -1 4202560 3192 0 0 0 49 0 0 0 19 0 19 0 833604700 10807181312 69973 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21883] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21883/stat : 21883 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604700 10807181312 69973 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21884] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21884/stat : 21884 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833604700 10807181312 69973 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048896 0 4 0 16800975 18446604453539699712 0 0 -1 0 0 0 0
[pid=21866/tid=21885] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21885/stat : 21885 (java) S 21864 21866 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833604733 10807181312 69974 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048896 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 10553888
Solver just ended. Dumping a history of the last processes samples
[startup+2.30142 s]
/proc/loadavg: 2.14 2.08 2.00 3/518 21885
/proc/meminfo: memFree=21729568/32950928 swapFree=39617324/67111528
[pid=21866] ppid=21864 vsize=10553888 CPUtime=3.42 cores=0,2,4,6
/proc/21866/stat : 21866 (java) S 21864 21866 20277 0 -1 4202496 128284 0 1 0 327 15 0 0 25 0 19 0 833604694 10807181312 124988 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21866/statm: 2638472 124992 2236 9 0 2629206 0
[pid=21866/tid=21867] ppid=21864 vsize=10553888 CPUtime=2.28 cores=0,2,4,6
/proc/21866/task/21867/stat : 21867 (java) R 21864 21866 20277 0 -1 4202560 118920 0 1 0 214 14 0 0 19 0 19 0 833604695 10807181312 124993 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 46912505783333 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21866/tid=21869] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21869/stat : 21869 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 124996 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21870] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21870/stat : 21870 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 124998 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21871] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21871/stat : 21871 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 125000 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21872] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21872/stat : 21872 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 125002 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21873] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21873/stat : 21873 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 125003 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21874] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21874/stat : 21874 (java) S 21864 21866 20277 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 125005 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21875] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21875/stat : 21875 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 125007 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21876] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21876/stat : 21876 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 125010 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21877] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21877/stat : 21877 (java) S 21864 21866 20277 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833604697 10807181312 125011 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048896 0 0 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21878] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21878/stat : 21878 (java) S 21864 21866 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833604698 10807181312 125013 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21879] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21879/stat : 21879 (java) S 21864 21866 20277 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833604698 10807181312 125015 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21880] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21880/stat : 21880 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604700 10807181312 125017 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092055985 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21881] ppid=21864 vsize=10553888 CPUtime=0.6 cores=0,2,4,6
/proc/21866/task/21881/stat : 21881 (java) S 21864 21866 20277 0 -1 4202560 5012 0 0 0 60 0 0 0 15 0 19 0 833604700 10807181312 125019 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 0 0 0 0
[pid=21866/tid=21882] ppid=21864 vsize=10553888 CPUtime=0.51 cores=0,2,4,6
/proc/21866/task/21882/stat : 21882 (java) S 21864 21866 20277 0 -1 4202560 3194 0 0 0 51 0 0 0 15 0 19 0 833604700 10807181312 125020 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21883] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21883/stat : 21883 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604700 10807181312 125023 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21884] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21884/stat : 21884 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833604700 10807181312 125024 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048896 0 4 0 16800975 18446604453539699712 0 0 -1 0 0 0 0
[pid=21866/tid=21885] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21885/stat : 21885 (java) S 21864 21866 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833604733 10807181312 125026 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048896 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 10553888
[startup+2.50138 s]
/proc/loadavg: 2.14 2.08 2.00 3/518 21885
/proc/meminfo: memFree=21729568/32950928 swapFree=39617324/67111528
[pid=21866] ppid=21864 vsize=10553888 CPUtime=3.62 cores=0,2,4,6
/proc/21866/stat : 21866 (java) S 21864 21866 20277 0 -1 4202496 141303 0 1 0 345 17 0 0 25 0 19 0 833604694 10807181312 138007 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21866/statm: 2638472 138011 2236 9 0 2629206 0
[pid=21866/tid=21867] ppid=21864 vsize=10553888 CPUtime=2.48 cores=0,2,4,6
/proc/21866/task/21867/stat : 21867 (java) R 21864 21866 20277 0 -1 4202560 131940 0 1 0 232 16 0 0 19 0 19 0 833604695 10807181312 138013 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 46912505760369 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21866/tid=21869] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21869/stat : 21869 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 138015 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21870] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21870/stat : 21870 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 138018 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21871] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21871/stat : 21871 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 138020 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21872] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21872/stat : 21872 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 138023 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21873] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21873/stat : 21873 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 138024 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21874] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21874/stat : 21874 (java) S 21864 21866 20277 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 138026 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21875] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21875/stat : 21875 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 138027 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21876] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21876/stat : 21876 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604696 10807181312 138028 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21877] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21877/stat : 21877 (java) S 21864 21866 20277 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833604697 10807181312 138030 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048896 0 0 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21878] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21878/stat : 21878 (java) S 21864 21866 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833604698 10807181312 138031 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21879] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21879/stat : 21879 (java) S 21864 21866 20277 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833604698 10807181312 138032 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21880] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21880/stat : 21880 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604700 10807181312 138034 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092055985 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21881] ppid=21864 vsize=10553888 CPUtime=0.6 cores=0,2,4,6
/proc/21866/task/21881/stat : 21881 (java) S 21864 21866 20277 0 -1 4202560 5012 0 0 0 60 0 0 0 15 0 19 0 833604700 10807181312 138035 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 0 0 0 0
[pid=21866/tid=21882] ppid=21864 vsize=10553888 CPUtime=0.51 cores=0,2,4,6
/proc/21866/task/21882/stat : 21882 (java) S 21864 21866 20277 0 -1 4202560 3194 0 0 0 51 0 0 0 15 0 19 0 833604700 10807181312 138037 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
[pid=21866/tid=21883] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21883/stat : 21883 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833604700 10807181312 138038 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048281 0 4 0 16800975 18446604453539699712 0 0 -1 4 0 0 0
[pid=21866/tid=21884] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21884/stat : 21884 (java) S 21864 21866 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833604700 10807181312 138040 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048896 0 4 0 16800975 18446604453539699712 0 0 -1 0 0 0 0
[pid=21866/tid=21885] ppid=21864 vsize=10553888 CPUtime=0 cores=0,2,4,6
/proc/21866/task/21885/stat : 21885 (java) S 21864 21866 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833604733 10807181312 138042 33554432000 1073741824 1073778376 140734862483696 18446744073709551615 208092048896 0 4 0 16800975 18446604453539699712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 10553888
Child status: 30
Real time (s): 2.58872
CPU time (s): 3.73343
CPU user time (s): 3.52446
CPU system time (s): 0.208968
CPU usage (%): 144.219
Max. virtual memory (cumulated for all children) (KiB): 10553888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.52446
system time used= 0.208968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144663
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= 279
involuntary context switches= 26
runsolver used 0.019996 second user time and 0.035994 second system time
The end