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-3453583-1307195781/watcher-3453583-1307195781 -o /tmp/evaluation-result-3453583-1307195781/solver-3453583-1307195781 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453583-1307195781.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: 1.91 2.84 3.35 3/490 17813
/proc/meminfo: memFree=23903660/32951124 swapFree=56297244/67111528
[pid=17813] ppid=17811 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/17813/stat : 17813 (java) S 17811 17813 13385 0 -1 4202496 1244 0 0 0 0 0 0 0 25 0 2 0 909808613 31268864 963 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17813/statm: 7901 963 736 9 0 385 0
[pid=17813/tid=17814] ppid=17811 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17814/stat : 17814 (java) R 17811 17813 13385 0 -1 4202560 6676 0 1 0 0 0 0 0 25 0 2 0 909808613 10694979584 7492 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0269769 s]
/proc/loadavg: 1.91 2.84 3.35 3/490 17813
/proc/meminfo: memFree=23903660/32951124 swapFree=56297244/67111528
[pid=17813] ppid=17811 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/17813/stat : 17813 (java) S 17811 17813 13385 0 -1 4202496 10704 0 1 0 1 1 0 0 25 0 10 0 909808613 10705932288 10403 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17813/statm: 2613753 10403 1513 9 0 2604501 0
[pid=17813/tid=17814] ppid=17811 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/17813/task/17814/stat : 17814 (java) R 17811 17813 13385 0 -1 4202560 9582 0 1 0 1 1 0 0 25 0 10 0 909808613 10705932288 10404 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 47777232220931 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.100962 s]
/proc/loadavg: 1.91 2.84 3.35 3/490 17813
/proc/meminfo: memFree=23903660/32951124 swapFree=56297244/67111528
[pid=17813] ppid=17811 vsize=10539868 CPUtime=0.11 cores=1,3,5,7
/proc/17813/stat : 17813 (java) S 17811 17813 13385 0 -1 4202496 13128 0 1 0 10 1 0 0 25 0 18 0 909808613 10792824832 12787 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17813/statm: 2634967 12787 2093 9 0 2625701 0
[pid=17813/tid=17814] ppid=17811 vsize=10539868 CPUtime=0.09 cores=1,3,5,7
/proc/17813/task/17814/stat : 17814 (java) R 17811 17813 13385 0 -1 4202560 11174 0 1 0 8 1 0 0 18 0 18 0 909808613 10792824832 12787 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539868
[startup+0.300928 s]
/proc/loadavg: 1.91 2.84 3.35 3/490 17813
/proc/meminfo: memFree=23903660/32951124 swapFree=56297244/67111528
[pid=17813] ppid=17811 vsize=10540400 CPUtime=0.47 cores=1,3,5,7
/proc/17813/stat : 17813 (java) S 17811 17813 13385 0 -1 4202496 15758 0 1 0 45 2 0 0 25 0 18 0 909808613 10793369600 15109 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17813/statm: 2635100 15110 2208 9 0 2625834 0
[pid=17813/tid=17814] ppid=17811 vsize=10540400 CPUtime=0.29 cores=1,3,5,7
/proc/17813/task/17814/stat : 17814 (java) R 17811 17813 13385 0 -1 4202560 12984 0 1 0 27 2 0 0 18 0 18 0 909808613 10793369600 15111 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 47777235184755 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540400
[startup+0.70082 s]
/proc/loadavg: 1.91 2.84 3.35 3/490 17813
/proc/meminfo: memFree=23903660/32951124 swapFree=56297244/67111528
[pid=17813] ppid=17811 vsize=10552184 CPUtime=1.7 cores=1,3,5,7
/proc/17813/stat : 17813 (java) S 17811 17813 13385 0 -1 4202496 32435 0 1 0 166 4 0 0 25 0 22 0 909808613 10805436416 29942 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17813/statm: 2638046 29943 2238 9 0 2628780 0
[pid=17813/tid=17814] ppid=17811 vsize=10552184 CPUtime=0.58 cores=1,3,5,7
/proc/17813/task/17814/stat : 17814 (java) S 17811 17813 13385 0 -1 4202560 22599 0 1 0 55 3 0 0 19 0 22 0 909808613 10805436416 29943 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10552184
[startup+1.50071 s]
/proc/loadavg: 1.91 2.84 3.35 7/512 17835
/proc/meminfo: memFree=23750748/32951124 swapFree=56297244/67111528
[pid=17813] ppid=17811 vsize=10553024 CPUtime=4.32 cores=1,3,5,7
/proc/17813/stat : 17813 (java) S 17811 17813 13385 0 -1 4202496 52070 0 1 0 426 6 0 0 25 0 22 0 909808613 10806296576 47760 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17813/statm: 2638256 47761 2245 9 0 2628990 0
[pid=17813/tid=17814] ppid=17811 vsize=10553024 CPUtime=0.58 cores=1,3,5,7
/proc/17813/task/17814/stat : 17814 (java) S 17811 17813 13385 0 -1 4202560 22599 0 1 0 55 3 0 0 15 0 22 0 909808613 10806296576 47762 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 3 0 0 0
[pid=17813/tid=17816] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17816/stat : 17816 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909808615 10806296576 47763 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17817] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17817/stat : 17817 (java) S 17811 17813 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909808615 10806296576 47764 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17818] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17818/stat : 17818 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909808615 10806296576 47765 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17819] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17819/stat : 17819 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909808615 10806296576 47765 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17820] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17820/stat : 17820 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909808615 10806296576 47766 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17821] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17821/stat : 17821 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909808615 10806296576 47767 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17822] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17822/stat : 17822 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909808615 10806296576 47767 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17823] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17823/stat : 17823 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909808615 10806296576 47769 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17824] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17824/stat : 17824 (java) S 17811 17813 13385 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 22 0 909808616 10806296576 47769 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 0 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17825] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17825/stat : 17825 (java) S 17811 17813 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909808616 10806296576 47769 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17826] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17826/stat : 17826 (java) S 17811 17813 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909808616 10806296576 47769 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17827] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17827/stat : 17827 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909808618 10806296576 47769 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469889457 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17828] ppid=17811 vsize=10553024 CPUtime=0.96 cores=1,3,5,7
/proc/17813/task/17828/stat : 17828 (java) S 17811 17813 13385 0 -1 4202560 5190 0 0 0 96 0 0 0 15 0 22 0 909808618 10806296576 47769 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 1 0 0 0
[pid=17813/tid=17829] ppid=17811 vsize=10553024 CPUtime=0.94 cores=1,3,5,7
/proc/17813/task/17829/stat : 17829 (java) S 17811 17813 13385 0 -1 4202560 5159 0 0 0 94 0 0 0 15 0 22 0 909808618 10806296576 47769 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17830] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17830/stat : 17830 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909808618 10806296576 47769 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17831] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17831/stat : 17831 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909808618 10806296576 47777 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 3 0 0 0
[pid=17813/tid=17832] ppid=17811 vsize=10553024 CPUtime=0.9 cores=1,3,5,7
/proc/17813/task/17832/stat : 17832 (java) R 17811 17813 13385 0 -1 4202560 1001 0 0 0 90 0 0 0 20 0 22 0 909808672 10806296576 47781 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 47777236716371 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17813/tid=17833] ppid=17811 vsize=10553024 CPUtime=0.89 cores=1,3,5,7
/proc/17813/task/17833/stat : 17833 (java) R 17811 17813 13385 0 -1 4202560 16975 0 0 0 88 1 0 0 25 0 22 0 909808672 10806296576 47781 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 46912506364174 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17813/tid=17834] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17834/stat : 17834 (java) S 17811 17813 13385 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909808674 10806296576 47781 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17835] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17835/stat : 17835 (java) S 17811 17813 13385 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909808674 10806296576 47781 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 10553024
Solver just ended. Dumping a history of the last processes samples
[startup+2.30156 s]
/proc/loadavg: 1.91 2.84 3.35 6/512 17835
/proc/meminfo: memFree=23396108/32951124 swapFree=56297244/67111528
[pid=17813] ppid=17811 vsize=10553024 CPUtime=5.87 cores=1,3,5,7
/proc/17813/stat : 17813 (java) S 17811 17813 13385 0 -1 4202496 86346 0 1 0 577 10 0 0 25 0 19 0 909808613 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17813/statm: 2638256 82035 2246 9 0 2628990 0
[pid=17813/tid=17814] ppid=17811 vsize=10553024 CPUtime=0.58 cores=1,3,5,7
/proc/17813/task/17814/stat : 17814 (java) S 17811 17813 13385 0 -1 4202560 22599 0 1 0 55 3 0 0 15 0 19 0 909808613 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 3 0 0 0
[pid=17813/tid=17816] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17816/stat : 17816 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17817] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17817/stat : 17817 (java) S 17811 17813 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17818] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17818/stat : 17818 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17819] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17819/stat : 17819 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17820] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17820/stat : 17820 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17821] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17821/stat : 17821 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17822] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17822/stat : 17822 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17823] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17823/stat : 17823 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17824] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17824/stat : 17824 (java) S 17811 17813 13385 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 909808616 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 0 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17825] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17825/stat : 17825 (java) S 17811 17813 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909808616 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17826] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17826/stat : 17826 (java) S 17811 17813 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909808616 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17827] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17827/stat : 17827 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808618 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469889457 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17828] ppid=17811 vsize=10553024 CPUtime=0.96 cores=1,3,5,7
/proc/17813/task/17828/stat : 17828 (java) S 17811 17813 13385 0 -1 4202560 5190 0 0 0 96 0 0 0 16 0 19 0 909808618 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 1 0 0 0
[pid=17813/tid=17829] ppid=17811 vsize=10553024 CPUtime=0.95 cores=1,3,5,7
/proc/17813/task/17829/stat : 17829 (java) S 17811 17813 13385 0 -1 4202560 5159 0 0 0 95 0 0 0 16 0 19 0 909808618 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17830] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17830/stat : 17830 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808618 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17831] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17831/stat : 17831 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909808618 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 3 0 0 0
[pid=17813/tid=17835] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17835/stat : 17835 (java) S 17811 17813 13385 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 909808674 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 10553024
[startup+2.50152 s]
/proc/loadavg: 1.91 2.84 3.35 6/512 17835
/proc/meminfo: memFree=23396108/32951124 swapFree=56297244/67111528
[pid=17813] ppid=17811 vsize=10553024 CPUtime=5.87 cores=1,3,5,7
/proc/17813/stat : 17813 (java) S 17811 17813 13385 0 -1 4202496 86346 0 1 0 577 10 0 0 25 0 19 0 909808613 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17813/statm: 2638256 82035 2246 9 0 2628990 0
[pid=17813/tid=17814] ppid=17811 vsize=10553024 CPUtime=0.58 cores=1,3,5,7
/proc/17813/task/17814/stat : 17814 (java) S 17811 17813 13385 0 -1 4202560 22599 0 1 0 55 3 0 0 15 0 19 0 909808613 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 3 0 0 0
[pid=17813/tid=17816] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17816/stat : 17816 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17817] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17817/stat : 17817 (java) S 17811 17813 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17818] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17818/stat : 17818 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17819] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17819/stat : 17819 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17820] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17820/stat : 17820 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17821] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17821/stat : 17821 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17822] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17822/stat : 17822 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17823] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17823/stat : 17823 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17824] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17824/stat : 17824 (java) S 17811 17813 13385 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 909808616 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 0 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17825] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17825/stat : 17825 (java) S 17811 17813 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909808616 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17826] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17826/stat : 17826 (java) S 17811 17813 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909808616 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17827] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17827/stat : 17827 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808618 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469889457 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17828] ppid=17811 vsize=10553024 CPUtime=0.96 cores=1,3,5,7
/proc/17813/task/17828/stat : 17828 (java) S 17811 17813 13385 0 -1 4202560 5190 0 0 0 96 0 0 0 16 0 19 0 909808618 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 1 0 0 0
[pid=17813/tid=17829] ppid=17811 vsize=10553024 CPUtime=0.95 cores=1,3,5,7
/proc/17813/task/17829/stat : 17829 (java) S 17811 17813 13385 0 -1 4202560 5159 0 0 0 95 0 0 0 16 0 19 0 909808618 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17830] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17830/stat : 17830 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808618 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17831] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17831/stat : 17831 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909808618 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 3 0 0 0
[pid=17813/tid=17835] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17835/stat : 17835 (java) S 17811 17813 13385 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 909808674 10806296576 82035 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 10553024
[startup+2.6015 s]
/proc/loadavg: 1.91 2.84 3.35 6/512 17835
/proc/meminfo: memFree=23396108/32951124 swapFree=56297244/67111528
[pid=17813] ppid=17811 vsize=10553024 CPUtime=5.87 cores=1,3,5,7
/proc/17813/stat : 17813 (java) S 17811 17813 13385 0 -1 4202496 86354 0 1 0 577 10 0 0 25 0 19 0 909808613 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17813/statm: 2638256 82043 2246 9 0 2628990 0
[pid=17813/tid=17814] ppid=17811 vsize=10553024 CPUtime=0.58 cores=1,3,5,7
/proc/17813/task/17814/stat : 17814 (java) R 17811 17813 13385 0 -1 4202560 22607 0 1 0 55 3 0 0 15 0 19 0 909808613 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 46912505121170 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17813/tid=17816] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17816/stat : 17816 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17817] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17817/stat : 17817 (java) S 17811 17813 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17818] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17818/stat : 17818 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17819] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17819/stat : 17819 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17820] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17820/stat : 17820 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17821] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17821/stat : 17821 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17822] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17822/stat : 17822 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17823] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17823/stat : 17823 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808615 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17824] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17824/stat : 17824 (java) S 17811 17813 13385 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 909808616 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 0 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17825] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17825/stat : 17825 (java) S 17811 17813 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909808616 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17826] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17826/stat : 17826 (java) S 17811 17813 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909808616 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17827] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17827/stat : 17827 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808618 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469889457 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17828] ppid=17811 vsize=10553024 CPUtime=0.96 cores=1,3,5,7
/proc/17813/task/17828/stat : 17828 (java) S 17811 17813 13385 0 -1 4202560 5190 0 0 0 96 0 0 0 16 0 19 0 909808618 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 1 0 0 0
[pid=17813/tid=17829] ppid=17811 vsize=10553024 CPUtime=0.95 cores=1,3,5,7
/proc/17813/task/17829/stat : 17829 (java) S 17811 17813 13385 0 -1 4202560 5159 0 0 0 95 0 0 0 16 0 19 0 909808618 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 7 0 0 0
[pid=17813/tid=17830] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17830/stat : 17830 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909808618 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469881753 0 4 0 16800975 18446604468205017088 0 0 -1 5 0 0 0
[pid=17813/tid=17831] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17831/stat : 17831 (java) S 17811 17813 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909808618 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 3 0 0 0
[pid=17813/tid=17835] ppid=17811 vsize=10553024 CPUtime=0 cores=1,3,5,7
/proc/17813/task/17835/stat : 17835 (java) S 17811 17813 13385 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 909808674 10806296576 82043 33554432000 1073741824 1073778376 140735043295232 18446744073709551615 252469882368 0 4 0 16800975 18446604468205017088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 10553024
Child status: 10
Real time (s): 2.62094
CPU time (s): 5.8991
CPU user time (s): 5.78112
CPU system time (s): 0.117982
CPU usage (%): 225.076
Max. virtual memory (cumulated for all children) (KiB): 10553392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.78112
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86375
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= 355
involuntary context switches= 105
runsolver used 0.018997 second user time and 0.034994 second system time
The end