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-3457349-1307220342/watcher-3457349-1307220342 -o /tmp/evaluation-result-3457349-1307220342/solver-3457349-1307220342 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457349-1307220342.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.08 2.02 1.97 4/432 13823
/proc/meminfo: memFree=25948100/32950928 swapFree=52006644/67111528
[pid=13823] ppid=13821 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/13823/stat : 13823 (java) S 13821 13823 12126 0 -1 4202496 3131 0 1 0 0 0 0 0 25 0 2 0 289643657 10681323520 2833 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13823/statm: 2607745 2838 916 9 0 2598901 0
[pid=13823/tid=13824] ppid=13821 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13824/stat : 13824 (java) R 13821 13823 12126 0 -1 4202560 5032 0 1 0 0 0 0 0 25 0 2 0 289643658 10694979584 5848 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0205791 s]
/proc/loadavg: 2.08 2.02 1.97 4/432 13823
/proc/meminfo: memFree=25948100/32950928 swapFree=52006644/67111528
[pid=13823] ppid=13821 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/13823/stat : 13823 (java) S 13821 13823 12126 0 -1 4202496 9709 0 1 0 0 1 0 0 25 0 2 0 289643657 10694979584 9411 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13823/statm: 2611079 9433 917 9 0 2602235 0
[pid=13823/tid=13824] ppid=13821 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13824/stat : 13824 (java) R 13821 13823 12126 0 -1 4202560 8629 0 1 0 0 0 0 0 25 0 2 0 289643658 10694979584 9445 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.100491 s]
/proc/loadavg: 2.08 2.02 1.97 4/432 13823
/proc/meminfo: memFree=25948100/32950928 swapFree=52006644/67111528
[pid=13823] ppid=13821 vsize=10540048 CPUtime=0.1 cores=1,3,5,7
/proc/13823/stat : 13823 (java) S 13821 13823 12126 0 -1 4202496 13099 0 1 0 9 1 0 0 25 0 18 0 289643657 10793009152 12796 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13823/statm: 2635012 12797 2093 9 0 2625746 0
[pid=13823/tid=13824] ppid=13821 vsize=10540048 CPUtime=0.08 cores=1,3,5,7
/proc/13823/task/13824/stat : 13824 (java) R 13821 13823 12126 0 -1 4202560 11204 0 1 0 7 1 0 0 18 0 18 0 289643658 10793009152 12797 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 47270478716933 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540048
[startup+0.300537 s]
/proc/loadavg: 2.08 2.02 1.97 4/432 13823
/proc/meminfo: memFree=25948100/32950928 swapFree=52006644/67111528
[pid=13823] ppid=13821 vsize=10542192 CPUtime=0.44 cores=1,3,5,7
/proc/13823/stat : 13823 (java) S 13821 13823 12126 0 -1 4202496 15003 0 1 0 43 1 0 0 25 0 19 0 289643657 10795204608 14593 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13823/statm: 2635548 14594 2208 9 0 2626282 0
[pid=13823/tid=13824] ppid=13821 vsize=10542192 CPUtime=0.28 cores=1,3,5,7
/proc/13823/task/13824/stat : 13824 (java) R 13821 13823 12126 0 -1 4202560 12560 0 1 0 27 1 0 0 19 0 19 0 289643658 10795204608 14594 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10542192
[startup+0.700461 s]
/proc/loadavg: 2.08 2.02 1.97 4/432 13823
/proc/meminfo: memFree=25948100/32950928 swapFree=52006644/67111528
[pid=13823] ppid=13821 vsize=10544796 CPUtime=1.26 cores=1,3,5,7
/proc/13823/stat : 13823 (java) S 13821 13823 12126 0 -1 4202496 32126 0 1 0 122 4 0 0 25 0 19 0 289643657 10797871104 30466 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13823/statm: 2636199 30467 2220 9 0 2626933 0
[pid=13823/tid=13824] ppid=13821 vsize=10544796 CPUtime=0.68 cores=1,3,5,7
/proc/13823/task/13824/stat : 13824 (java) R 13821 13823 12126 0 -1 4202560 26941 0 1 0 65 3 0 0 19 0 19 0 289643658 10797871104 30467 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 46912505704611 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10544796
[startup+1.50132 s]
/proc/loadavg: 2.08 2.02 1.97 3/452 13843
/proc/meminfo: memFree=25626108/32950928 swapFree=52006644/67111528
[pid=13823] ppid=13821 vsize=10544796 CPUtime=2.11 cores=1,3,5,7
/proc/13823/stat : 13823 (java) S 13821 13823 12126 0 -1 4202496 79561 0 1 0 202 9 0 0 25 0 19 0 289643657 10797871104 77901 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13823/statm: 2636199 77905 2222 9 0 2626933 0
[pid=13823/tid=13824] ppid=13821 vsize=10544796 CPUtime=1.48 cores=1,3,5,7
/proc/13823/task/13824/stat : 13824 (java) R 13821 13823 12126 0 -1 4202560 74373 0 1 0 140 8 0 0 20 0 19 0 289643658 10797871104 77906 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 46912505673950 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13823/tid=13826] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13826/stat : 13826 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10797871104 77909 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13827] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13827/stat : 13827 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10797871104 77911 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13828] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13828/stat : 13828 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10797871104 77913 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13829] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13829/stat : 13829 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10797871104 77915 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13830] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13830/stat : 13830 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10797871104 77917 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13831] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13831/stat : 13831 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10797871104 77918 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 7 0 0 0
[pid=13823/tid=13832] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13832/stat : 13832 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10797871104 77920 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13833] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13833/stat : 13833 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10797871104 77920 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13834] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13834/stat : 13834 (java) S 13821 13823 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 289643660 10797871104 77920 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381696 0 0 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13835] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13835/stat : 13835 (java) S 13821 13823 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289643661 10797871104 77920 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13836] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13836/stat : 13836 (java) S 13821 13823 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 289643661 10797871104 77920 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13837] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13837/stat : 13837 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643663 10797871104 77920 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892388785 0 4 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13838] ppid=13821 vsize=10544796 CPUtime=0.33 cores=1,3,5,7
/proc/13823/task/13838/stat : 13838 (java) S 13821 13823 12126 0 -1 4202560 874 0 0 0 33 0 0 0 15 0 19 0 289643663 10797871104 77920 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13839] ppid=13821 vsize=10544796 CPUtime=0.28 cores=1,3,5,7
/proc/13823/task/13839/stat : 13839 (java) S 13821 13823 12126 0 -1 4202560 3160 0 0 0 28 0 0 0 15 0 19 0 289643663 10797871104 77924 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 1 0 0 0
[pid=13823/tid=13840] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13840/stat : 13840 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643663 10797871104 77926 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13841] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13841/stat : 13841 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289643663 10797871104 77928 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381696 0 4 0 16800975 18446604464747066432 0 0 -1 7 0 0 0
[pid=13823/tid=13843] ppid=13821 vsize=10544796 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13843/stat : 13843 (java) S 13821 13823 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643683 10797871104 77930 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381696 0 4 0 16800975 18446604464747066432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 10544796
Solver just ended. Dumping a history of the last processes samples
[startup+1.90123 s]
/proc/loadavg: 2.08 2.02 1.97 3/452 13843
/proc/meminfo: memFree=25626108/32950928 swapFree=52006644/67111528
[pid=13823] ppid=13821 vsize=10545096 CPUtime=2.62 cores=1,3,5,7
/proc/13823/stat : 13823 (java) S 13821 13823 12126 0 -1 4202496 98714 0 1 0 250 12 0 0 25 0 19 0 289643657 10798178304 96865 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13823/statm: 2636274 96865 2226 9 0 2627008 0
[pid=13823/tid=13824] ppid=13821 vsize=10545096 CPUtime=1.89 cores=1,3,5,7
/proc/13823/task/13824/stat : 13824 (java) R 13821 13823 12126 0 -1 4202560 93243 0 1 0 178 11 0 0 21 0 19 0 289643658 10798178304 96865 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 46912505826083 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13823/tid=13826] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13826/stat : 13826 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10798178304 96866 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13827] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13827/stat : 13827 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10798178304 96866 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13828] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13828/stat : 13828 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10798178304 96869 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13829] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13829/stat : 13829 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10798178304 96869 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13830] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13830/stat : 13830 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10798178304 96869 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13831] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13831/stat : 13831 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10798178304 96871 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 7 0 0 0
[pid=13823/tid=13832] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13832/stat : 13832 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10798178304 96874 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13833] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13833/stat : 13833 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643659 10798178304 96876 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13834] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13834/stat : 13834 (java) S 13821 13823 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 289643660 10798178304 96878 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381696 0 0 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13835] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13835/stat : 13835 (java) S 13821 13823 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289643661 10798178304 96880 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13836] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13836/stat : 13836 (java) S 13821 13823 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 289643661 10798178304 96880 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13837] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13837/stat : 13837 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643663 10798178304 96880 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892388785 0 4 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13838] ppid=13821 vsize=10545096 CPUtime=0.39 cores=1,3,5,7
/proc/13823/task/13838/stat : 13838 (java) S 13821 13823 12126 0 -1 4202560 1146 0 0 0 39 0 0 0 15 0 19 0 289643663 10798178304 96880 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13839] ppid=13821 vsize=10545096 CPUtime=0.32 cores=1,3,5,7
/proc/13823/task/13839/stat : 13839 (java) R 13821 13823 12126 0 -1 4202560 3165 0 0 0 32 0 0 0 15 0 19 0 289643663 10798178304 96880 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 47270478472304 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13823/tid=13840] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13840/stat : 13840 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643663 10798178304 96880 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13841] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13841/stat : 13841 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289643663 10798178304 96880 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381696 0 4 0 16800975 18446604464747066432 0 0 -1 7 0 0 0
[pid=13823/tid=13843] ppid=13821 vsize=10545096 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13843/stat : 13843 (java) S 13821 13823 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643683 10798178304 96880 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381696 0 4 0 16800975 18446604464747066432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10545096
[startup+2.10114 s]
/proc/loadavg: 2.08 2.02 1.97 4/452 13843
/proc/meminfo: memFree=25237596/32950928 swapFree=52006644/67111528
[pid=13823] ppid=13821 vsize=10546124 CPUtime=2.91 cores=1,3,5,7
/proc/13823/stat : 13823 (java) S 13821 13823 12126 0 -1 4202496 100349 0 1 0 279 12 0 0 25 0 20 0 289643657 10799230976 98496 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13823/statm: 2636531 98496 2253 9 0 2627265 0
[pid=13823/tid=13824] ppid=13821 vsize=10546124 CPUtime=2.06 cores=1,3,5,7
/proc/13823/task/13824/stat : 13824 (java) S 13821 13823 12126 0 -1 4202560 94024 0 1 0 195 11 0 0 22 0 19 0 289643658 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 1 0 0 0
[pid=13823/tid=13826] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13826/stat : 13826 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289643659 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13827] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13827/stat : 13827 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289643659 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 1 0 0 0
[pid=13823/tid=13828] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13828/stat : 13828 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289643659 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 7 0 0 0
[pid=13823/tid=13829] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13829/stat : 13829 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289643659 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 5 0 0 0
[pid=13823/tid=13830] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13830/stat : 13830 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289643659 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 1 0 0 0
[pid=13823/tid=13831] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13831/stat : 13831 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289643659 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 7 0 0 0
[pid=13823/tid=13832] ppid=13821 vsize=10546124 CPUtime=0.01 cores=1,3,5,7
/proc/13823/task/13832/stat : 13832 (java) S 13821 13823 12126 0 -1 4202560 205 0 0 0 1 0 0 0 18 0 19 0 289643659 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 7 0 0 0
[pid=13823/tid=13833] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13833/stat : 13833 (java) S 13821 13823 12126 0 -1 4202560 209 0 0 0 0 0 0 0 18 0 19 0 289643659 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 7 0 0 0
[pid=13823/tid=13834] ppid=13821 vsize=10546124 CPUtime=0.01 cores=1,3,5,7
/proc/13823/task/13834/stat : 13834 (java) S 13821 13823 12126 0 -1 4202560 419 0 0 0 1 0 0 0 17 0 19 0 289643660 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381696 0 0 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13835] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13835/stat : 13835 (java) S 13821 13823 12126 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 289643661 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13836] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13836/stat : 13836 (java) S 13821 13823 12126 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 289643661 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13837] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13837/stat : 13837 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643663 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892388785 0 4 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13838] ppid=13821 vsize=10546124 CPUtime=0.43 cores=1,3,5,7
/proc/13823/task/13838/stat : 13838 (java) R 13821 13823 12126 0 -1 4202560 1155 0 0 0 43 0 0 0 15 0 19 0 289643663 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 47270481291857 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13823/tid=13839] ppid=13821 vsize=10546124 CPUtime=0.34 cores=1,3,5,7
/proc/13823/task/13839/stat : 13839 (java) S 13821 13823 12126 0 -1 4202560 3173 0 0 0 34 0 0 0 15 0 19 0 289643663 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 1 0 0 0
[pid=13823/tid=13840] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13840/stat : 13840 (java) S 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643663 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381081 0 4 0 16800975 18446604464747066432 0 0 -1 3 0 0 0
[pid=13823/tid=13841] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13841/stat : 13841 (java) R 13821 13823 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289643663 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381696 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13823/tid=13843] ppid=13821 vsize=10546124 CPUtime=0 cores=1,3,5,7
/proc/13823/task/13843/stat : 13843 (java) S 13821 13823 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643683 10799230976 98497 33554432000 1073741824 1073778376 140735858468416 18446744073709551615 218892381696 0 4 0 16800975 18446604464747066432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 10546124
Child status: 30
Real time (s): 2.13444
CPU time (s): 2.94855
CPU user time (s): 2.80157
CPU system time (s): 0.146977
CPU usage (%): 138.141
Max. virtual memory (cumulated for all children) (KiB): 10546124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.80157
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100352
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= 308
involuntary context switches= 288
runsolver used 0.009998 second user time and 0.036994 second system time
The end