Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | ? (TO) | 1800.03 | 1800.31 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-1.opb |
MD5SUM | 5a9e4c8983ff8fc3ce01109a5c224dd2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6352 |
Total number of constraints | 13453 |
Number of constraints which are clauses | 13453 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 6352 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.10/0.17 c Converting 13039 PB-constraints to clauses... 0.10/0.17 c -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.10/0.18 c -- Detecting intervals from adjacent constraints: (none) 0.10/0.18 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.10/0.19 c ==================================[MINISAT+]================================== 0.10/0.19 c | Conflicts | Original | Learnt | Progress | 0.10/0.19 c | | Clauses Literals | Max Clauses Literals LPC | | 0.10/0.19 c ============================================================================== 0.10/0.19 c | 0 | 9878 24638 | 3292 0 0 nan | 0.000 % | 0.19/0.20 c | 101 | 9878 24638 | 3621 101 1231 12.2 | 23.867 % | 0.19/0.21 c | 251 | 9878 24638 | 3983 251 5277 21.0 | 23.867 % | 0.19/0.23 c | 476 | 9878 24638 | 4381 476 8655 18.2 | 23.867 % | 0.19/0.27 c | 814 | 9878 24638 | 4819 814 19600 24.1 | 23.867 % | 0.29/0.32 c | 1320 | 9878 24638 | 5301 1320 27899 21.1 | 23.867 % | 0.29/0.44 c | 2082 | 9878 24638 | 5831 2082 57645 27.7 | 23.867 % | 0.59/0.68 c | 3221 | 9878 24638 | 6415 3221 93388 29.0 | 23.867 % | 0.89/0.97 c | 4931 | 9878 24638 | 7056 4931 143848 29.2 | 23.867 % | 1.39/1.44 c | 7493 | 9878 24638 | 7762 7493 210661 28.1 | 23.867 % | 2.19/2.25 c | 11338 | 9878 24638 | 8538 6644 169658 25.5 | 23.867 % | 3.29/3.33 c | 17105 | 9878 24638 | 9392 7285 177959 24.4 | 23.867 % | 5.19/5.29 c | 25754 | 9878 24638 | 10331 10409 254945 24.5 | 23.867 % | 8.38/8.43 c | 38729 | 9878 24638 | 11364 11455 286759 25.0 | 23.867 % | 13.08/13.16 c | 58191 | 9878 24638 | 12501 11386 282530 24.8 | 23.867 % | 20.38/20.49 c | 87384 | 9878 24638 | 13751 12309 296202 24.1 | 23.867 % | 29.58/29.64 c | 131173 | 9868 24616 | 15126 10027 237728 23.7 | 23.929 % | 44.48/44.54 c | 196858 | 9868 24616 | 16639 8659 223250 25.8 | 23.929 % | 66.09/66.13 c | 295384 | 9868 24616 | 18303 16056 367503 22.9 | 23.929 % | 99.38/99.41 c | 443174 | 9868 24616 | 20133 14387 321561 22.4 | 23.929 % | 148.87/148.93 c | 664858 | 9868 24616 | 22146 18049 394101 21.8 | 23.929 % | 222.16/222.26 c | 997385 | 9868 24616 | 24361 17695 374068 21.1 | 23.929 % | 328.94/329.02 c | 1496173 | 9868 24616 | 26797 19173 479744 25.0 | 23.929 % | 486.61/486.78 c | 2244355 | 9868 24616 | 29477 24774 508082 20.5 | 23.929 % | 723.28/723.44 c | 3366629 | 9868 24616 | 32425 28268 582162 20.6 | 23.929 % | 1110.72/1110.97 c | 5050044 | 9868 24616 | 35667 22070 455497 20.6 | 23.929 % | 1698.23/1698.51 c | 7575160 | 9868 24616 | 39234 22056 427102 19.4 | 23.929 % | 1800.02/1800.30 c 1800.02/1800.30 c *** TERMINATED *** 1800.02/1800.30 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3721269-1338554419/watcher-3721269-1338554419 -o /tmp/evaluation-result-3721269-1338554419/solver-3721269-1338554419 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721269-1338554419.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.50 1.19 0.95 3/177 23926 /proc/meminfo: memFree=28091816/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=2080 CPUtime=0 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 321566262 2129920 330 33554432000 134512640 135395479 4289820976 4289819944 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 520 330 67 216 0 302 0 [startup+0.106099 s] /proc/loadavg: 1.50 1.19 0.95 3/177 23926 /proc/meminfo: memFree=28091816/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=4196 CPUtime=0.1 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 872 0 0 0 10 0 0 0 20 0 1 0 321566262 4296704 829 33554432000 134512640 135395479 4289820976 4289819388 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 1049 829 75 216 0 831 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4196 [startup+0.200264 s] /proc/loadavg: 1.50 1.19 0.95 3/177 23926 /proc/meminfo: memFree=28091816/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=6036 CPUtime=0.19 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 1403 0 0 0 19 0 0 0 20 0 1 0 321566262 6180864 1322 33554432000 134512640 135395479 4289820976 4289819280 134580311 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 1509 1322 100 216 0 1291 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6036 [startup+0.300265 s] /proc/loadavg: 1.50 1.19 0.95 3/177 23926 /proc/meminfo: memFree=28091816/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=6036 CPUtime=0.29 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 1405 0 0 0 29 0 0 0 20 0 1 0 321566262 6180864 1324 33554432000 134512640 135395479 4289820976 4289819328 134581451 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 1509 1324 102 216 0 1291 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6036 [startup+0.700228 s] /proc/loadavg: 1.50 1.19 0.95 3/177 23926 /proc/meminfo: memFree=28091816/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=6036 CPUtime=0.69 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 1405 0 0 0 69 0 0 0 20 0 1 0 321566262 6180864 1324 33554432000 134512640 135395479 4289820976 4289819328 134581036 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 1509 1324 102 216 0 1291 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6036 [startup+1.50023 s] /proc/loadavg: 1.70 1.24 0.97 3/178 23927 /proc/meminfo: memFree=28087196/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=6036 CPUtime=1.49 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 1405 0 0 0 149 0 0 0 20 0 1 0 321566262 6180864 1324 33554432000 134512640 135395479 4289820976 4289819328 134580768 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 1509 1324 102 216 0 1291 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6036 [startup+3.10023 s] /proc/loadavg: 1.70 1.24 0.97 3/178 23927 /proc/meminfo: memFree=28084840/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=6036 CPUtime=3.09 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 1405 0 0 0 309 0 0 0 20 0 1 0 321566262 6180864 1324 33554432000 134512640 135395479 4289820976 4289819280 134580418 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 1509 1324 102 216 0 1291 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6036 [startup+6.30023 s] /proc/loadavg: 1.72 1.25 0.97 3/178 23927 /proc/meminfo: memFree=28082028/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=6444 CPUtime=6.29 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 1497 0 0 0 629 0 0 0 20 0 1 0 321566262 6598656 1416 33554432000 134512640 135395479 4289820976 4289819328 134580732 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 1611 1416 102 216 0 1393 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6444 [startup+12.7002 s] /proc/loadavg: 1.74 1.26 0.98 3/178 23927 /proc/meminfo: memFree=28075196/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=6860 CPUtime=12.68 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 1590 0 0 0 1268 0 0 0 20 0 1 0 321566262 7024640 1509 33554432000 134512640 135395479 4289820976 4289819328 134580732 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 1715 1509 102 216 0 1497 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 6860 [startup+25.5003 s] /proc/loadavg: 1.86 1.30 1.00 3/178 23927 /proc/meminfo: memFree=28069304/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=7256 CPUtime=25.48 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 1710 0 0 0 2548 0 0 0 20 0 1 0 321566262 7430144 1636 33554432000 134512640 135395479 4289820976 4289819328 134580756 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 1814 1636 102 216 0 1596 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 7256 [startup+51.1003 s] /proc/loadavg: 2.00 1.38 1.03 3/177 23927 /proc/meminfo: memFree=28062912/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=8276 CPUtime=51.07 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 1930 0 0 0 5107 0 0 0 20 0 1 0 321566262 8474624 1865 33554432000 134512640 135395479 4289820976 4289819328 134581036 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 2069 1865 102 216 0 1851 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 8276 [startup+102.3 s] /proc/loadavg: 2.05 1.49 1.08 3/177 23927 /proc/meminfo: memFree=28043436/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=9016 CPUtime=102.28 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 2104 0 0 0 10227 1 0 0 20 0 1 0 321566262 9232384 2039 33554432000 134512640 135395479 4289820976 4289818944 134577079 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 2254 2039 102 216 0 2036 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 9016 [startup+162.3 s] /proc/loadavg: 2.05 1.60 1.14 3/177 23927 /proc/meminfo: memFree=28035788/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=9436 CPUtime=162.27 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 2240 0 0 0 16226 1 0 0 20 0 1 0 321566262 9662464 2175 33554432000 134512640 135395479 4289820976 4289819328 134581451 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 2359 2175 102 216 0 2141 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 9436 [startup+222.306 s] /proc/loadavg: 2.07 1.68 1.20 3/177 23928 /proc/meminfo: memFree=28014768/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=9772 CPUtime=222.26 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 2313 0 0 0 22225 1 0 0 20 0 1 0 321566262 10006528 2255 33554432000 134512640 135395479 4289820976 4289819328 134580774 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 2443 2255 102 216 0 2225 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 9772 [startup+282.3 s] /proc/loadavg: 2.08 1.75 1.25 3/177 23928 /proc/meminfo: memFree=27973416/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=10580 CPUtime=282.24 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 2497 0 0 0 28223 1 0 0 20 0 1 0 321566262 10833920 2439 33554432000 134512640 135395479 4289820976 4289819408 134581534 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 2645 2439 102 216 0 2427 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 10580 [startup+342.3 s] /proc/loadavg: 2.03 1.79 1.30 3/177 23928 /proc/meminfo: memFree=27972236/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=11348 CPUtime=342.23 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 2657 0 0 0 34222 1 0 0 20 0 1 0 321566262 11620352 2630 33554432000 134512640 135395479 4289820976 4289819328 134580859 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 2837 2630 102 216 0 2619 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 11348 [startup+402.3 s] /proc/loadavg: 2.07 1.84 1.34 3/177 23928 /proc/meminfo: memFree=27937172/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=11624 CPUtime=402.22 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 2717 0 0 0 40221 1 0 0 20 0 1 0 321566262 11902976 2690 33554432000 134512640 135395479 4289820976 4289819328 134580750 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 2906 2690 102 216 0 2688 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 11624 [startup+462.3 s] /proc/loadavg: 2.08 1.89 1.39 3/177 23928 /proc/meminfo: memFree=27934692/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=11776 CPUtime=462.22 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 2757 0 0 0 46221 1 0 0 20 0 1 0 321566262 12058624 2730 33554432000 134512640 135395479 4289820976 4289819296 134580249 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 2944 2730 102 216 0 2726 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 11776 [startup+522.3 s] /proc/loadavg: 2.08 1.92 1.43 3/177 23929 /proc/meminfo: memFree=27934256/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=12192 CPUtime=522.21 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 2844 0 0 0 52220 1 0 0 20 0 1 0 321566262 12484608 2817 33554432000 134512640 135395479 4289820976 4289819328 134581053 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3048 2817 102 216 0 2830 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 12192 [startup+582.3 s] /proc/loadavg: 2.17 1.96 1.47 3/177 23929 /proc/meminfo: memFree=27922228/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=12504 CPUtime=582.2 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 2922 0 0 0 58219 1 0 0 20 0 1 0 321566262 12804096 2895 33554432000 134512640 135395479 4289820976 4289819296 134572721 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3126 2895 102 216 0 2908 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 12504 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.09 2.02 1.60 3/177 23933 /proc/meminfo: memFree=27921656/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=13260 CPUtime=822.16 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3070 0 0 0 82215 1 0 0 20 0 1 0 321566262 13578240 3098 33554432000 134512640 135395479 4289820976 4289818944 134579235 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3315 3098 102 216 0 3097 0 Current children cumulated CPU time (s) 822.16 Current children cumulated vsize (KiB) 13260 [startup+882.307 s] /proc/loadavg: 2.09 2.03 1.63 3/177 23933 /proc/meminfo: memFree=27921284/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=13552 CPUtime=882.16 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3137 0 0 0 88215 1 0 0 20 0 1 0 321566262 13877248 3165 33554432000 134512640 135395479 4289820976 4289819328 134581216 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3388 3165 102 216 0 3170 0 Current children cumulated CPU time (s) 882.16 Current children cumulated vsize (KiB) 13552 [startup+942.3 s] /proc/loadavg: 2.09 2.04 1.65 3/177 23933 /proc/meminfo: memFree=27921408/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=13552 CPUtime=942.14 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3143 0 0 0 94213 1 0 0 20 0 1 0 321566262 13877248 3171 33554432000 134512640 135395479 4289820976 4289819328 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3388 3171 102 216 0 3170 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 13552 [startup+1002.3 s] /proc/loadavg: 2.03 2.03 1.67 3/177 23933 /proc/meminfo: memFree=27921408/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=13552 CPUtime=1002.13 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3153 0 0 0 100212 1 0 0 20 0 1 0 321566262 13877248 3181 33554432000 134512640 135395479 4289820976 4289819328 134581436 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3388 3181 102 216 0 3170 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 13552 [startup+1062.3 s] /proc/loadavg: 2.07 2.04 1.69 3/177 23933 /proc/meminfo: memFree=27921284/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=13876 CPUtime=1062.12 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3210 0 0 0 106211 1 0 0 20 0 1 0 321566262 14209024 3238 33554432000 134512640 135395479 4289820976 4289819328 134581500 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3469 3238 102 216 0 3251 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 13876 [startup+1122.3 s] /proc/loadavg: 2.13 2.06 1.72 3/177 23934 /proc/meminfo: memFree=27921284/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=14016 CPUtime=1122.11 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3260 0 0 0 112210 1 0 0 20 0 1 0 321566262 14352384 3288 33554432000 134512640 135395479 4289820976 4289819328 134581082 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3504 3288 102 216 0 3286 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 14016 [startup+1182.3 s] /proc/loadavg: 2.10 2.06 1.74 3/177 23934 /proc/meminfo: memFree=27901064/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=14480 CPUtime=1182.11 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3380 0 0 0 118210 1 0 0 20 0 1 0 321566262 14827520 3408 33554432000 134512640 135395479 4289820976 4289819300 134580248 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3620 3408 102 216 0 3402 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 14480 [startup+1242.3 s] /proc/loadavg: 2.04 2.05 1.75 3/178 23937 /proc/meminfo: memFree=27884680/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=14616 CPUtime=1242.1 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3393 0 0 0 124209 1 0 0 20 0 1 0 321566262 14966784 3421 33554432000 134512640 135395479 4289820976 4289819328 134580789 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3654 3421 102 216 0 3436 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 14616 [startup+1302.3 s] /proc/loadavg: 2.01 2.04 1.76 3/178 23960 /proc/meminfo: memFree=27883564/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=14784 CPUtime=1302.09 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3428 0 0 0 130208 1 0 0 20 0 1 0 321566262 15138816 3456 33554432000 134512640 135395479 4289820976 4289818944 134579309 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3696 3456 102 216 0 3478 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 14784 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 1.78 3/177 23960 /proc/meminfo: memFree=27883740/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=14784 CPUtime=1362.08 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3429 0 0 0 136207 1 0 0 20 0 1 0 321566262 15138816 3457 33554432000 134512640 135395479 4289820976 4289819328 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3696 3457 102 216 0 3478 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 14784 [startup+1422.3 s] /proc/loadavg: 2.06 2.04 1.79 3/177 23961 /proc/meminfo: memFree=27883988/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=14784 CPUtime=1422.07 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3449 0 0 0 142206 1 0 0 20 0 1 0 321566262 15138816 3477 33554432000 134512640 135395479 4289820976 4289819328 134581204 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3696 3477 102 216 0 3478 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 14784 [startup+1482.3 s] /proc/loadavg: 2.08 2.04 1.81 3/177 23961 /proc/meminfo: memFree=27883740/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=14960 CPUtime=1482.06 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3467 0 0 0 148205 1 0 0 20 0 1 0 321566262 15319040 3495 33554432000 134512640 135395479 4289820976 4289818944 134579844 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3740 3495 102 216 0 3522 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 14960 [startup+1542.31 s] /proc/loadavg: 2.03 2.03 1.82 3/177 23961 /proc/meminfo: memFree=27883740/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=14960 CPUtime=1542.06 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3481 0 0 0 154205 1 0 0 20 0 1 0 321566262 15319040 3509 33554432000 134512640 135395479 4289820976 4289818944 134579871 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3740 3509 102 216 0 3522 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 14960 [startup+1602.3 s] /proc/loadavg: 2.12 2.05 1.84 3/177 23961 /proc/meminfo: memFree=27883864/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=14960 CPUtime=1602.04 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3498 0 0 0 160203 1 0 0 20 0 1 0 321566262 15319040 3526 33554432000 134512640 135395479 4289820976 4289819280 134580508 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3740 3526 102 216 0 3522 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 14960 [startup+1662.3 s] /proc/loadavg: 2.04 2.04 1.84 3/177 23961 /proc/meminfo: memFree=27883864/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=15092 CPUtime=1662.03 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3506 0 0 0 166202 1 0 0 20 0 1 0 321566262 15454208 3534 33554432000 134512640 135395479 4289820976 4289819328 134580732 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3773 3534 102 216 0 3555 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 15092 [startup+1722.3 s] /proc/loadavg: 2.07 2.05 1.85 3/177 23962 /proc/meminfo: memFree=27882560/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=15880 CPUtime=1722.02 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3732 0 0 0 172201 1 0 0 20 0 1 0 321566262 16261120 3801 33554432000 134512640 135395479 4289820976 4289819328 134581428 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3970 3801 102 216 0 3752 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 15880 [startup+1782.3 s] /proc/loadavg: 2.08 2.05 1.87 3/178 24014 /proc/meminfo: memFree=28108952/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=15880 CPUtime=1782.01 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3732 0 0 0 178200 1 0 0 20 0 1 0 321566262 16261120 3801 33554432000 134512640 135395479 4289820976 4289819328 134581192 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 3970 3801 102 216 0 3752 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 15880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.06 2.05 1.87 3/178 24062 /proc/meminfo: memFree=28079184/32873844 swapFree=7628/7628 [pid=23926] ppid=23924 vsize=16012 CPUtime=1800.02 cores=1,3,5,7 /proc/23926/stat : 23926 (minisat+) R 23924 23926 23511 0 -1 4202496 3751 0 0 0 180001 1 0 0 20 0 1 0 321566262 16396288 3820 33554432000 134512640 135395479 4289820976 4289819328 134580732 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23926/statm: 4003 3820 102 216 0 3785 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 16012 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.31 CPU time (s): 1800.03 CPU user time (s): 1800.01 CPU system time (s): 0.015997 CPU usage (%): 99.9844 Max. virtual memory (cumulated for all children) (KiB): 16012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.015997 maximum resident set size= 15284 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3752 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 1855 runsolver used 3.17252 second user time and 8.24375 second system time The end
Begin job on node143 at 2012-06-01 14:40:19 IDJOB=3721269 IDBENCH=2208 IDSOLVER=2306 FILE ID=node143/3721269-1338554419 RUNJOBID= node143-1338554380-23594 PBS_JOBID= 14635841 Free space on /tmp= 68544 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721269-1338554419/watcher-3721269-1338554419 -o /tmp/evaluation-result-3721269-1338554419/solver-3721269-1338554419 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721269-1338554419.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5a9e4c8983ff8fc3ce01109a5c224dd2 RANDOM SEED=2025528868 node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5298.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28092452 kB Buffers: 330896 kB Cached: 3507616 kB SwapCached: 112 kB Active: 1941884 kB Inactive: 1946312 kB Active(anon): 41096 kB Inactive(anon): 10916 kB Active(file): 1900788 kB Inactive(file): 1935396 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108424 kB Dirty: 5268 kB Writeback: 0 kB AnonPages: 58244 kB Mapped: 10744 kB Shmem: 160 kB Slab: 755312 kB SReclaimable: 196916 kB SUnreclaim: 558396 kB KernelStack: 1480 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 166604 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721269-1338554419.opb Free space on /tmp at the end= 68544 MiB End job on node143 at 2012-06-01 15:10:21