Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2012-06-01 | ? (TO) | 1800.02 | 1800.31 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-randc18b26.cudf.trendy.opb |
| MD5SUM | 16fcb87ec6e0d214403f64d4df628c22 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 30185484701 |
| Best CPU time to get the best result obtained on this benchmark | 3.43348 |
| 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 | 7205 |
| Total number of constraints | 30168 |
| Number of constraints which are clauses | 29862 |
| Number of constraints which are cardinality constraints (but not clauses) | 306 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 553 |
| Number of terms in the objective function | 3416 |
| Biggest coefficient in the objective function | 5000211000 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 2760110624957 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 5000211000 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 2760110624957 |
| Number of bits of the biggest sum of numbers | 42 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.78/1.84 c 2012-06-02T14:44:28+0200 1.78/1.84 c arch = x86_64 1.78/1.84 c os = linux 1.78/1.84 c compiler = ghc 7.4 1.78/1.84 c packages: 1.78/1.84 c OptDir-0.0.1 1.78/1.84 c array-0.4.0.0 1.78/1.84 c base-4.5.0.0 1.78/1.84 c bytestring-0.9.2.1 1.78/1.84 c containers-0.4.2.1 1.78/1.84 c deepseq-1.3.0.0 1.78/1.84 c mtl-2.1.1 1.78/1.84 c old_locale-1.0.0.4 1.78/1.84 c parse_dimacs-1.2 1.78/1.84 c parsec-3.1.2 1.78/1.84 c queue-0.1.2 1.78/1.84 c stm-2.3 1.78/1.84 c time-1.4 1.78/1.84 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724721-1338641068.opb"] 1.78/1.84 c #vars 7205 1.78/1.84 c #constraints 30168 1.78/1.84 c Solving starts ... 3.99/4.07 c solving time = 2.218s 3.99/4.07 c #decision = 360850 3.99/4.07 c #conflict = 438 3.99/4.07 c #restart = 2 3.99/4.07 o 40238540515 3.99/4.09 c Solving starts ... 4.59/4.68 c solving time = 0.585s 4.59/4.68 c #decision = 362243 4.59/4.68 c #conflict = 444 4.59/4.68 c #restart = 2 4.59/4.68 o 40238540514 4.59/4.68 c Solving starts ... 24.19/24.25 c solving time = 19.564s 24.19/24.25 c #decision = 364461 24.19/24.25 c #conflict = 532 24.19/24.25 c #restart = 2 24.19/24.25 o 40238540513 24.19/24.26 c Solving starts ... 79.37/79.48 c solving time = 55.202s 79.37/79.48 c #decision = 365392 79.37/79.48 c #conflict = 676 79.37/79.48 c #restart = 3 79.37/79.48 o 40238540512 79.37/79.48 c Solving starts ... 112.97/113.02 c solving time = 33.532s 112.97/113.02 c #decision = 366086 112.97/113.02 c #conflict = 763 112.97/113.02 c #restart = 3 112.97/113.02 o 40238540511 112.97/113.03 c Solving starts ... 142.16/142.23 c solving time = 29.195s 142.16/142.23 c #decision = 366722 142.16/142.23 c #conflict = 834 142.16/142.23 c #restart = 3 142.16/142.23 o 40238540510 142.16/142.23 c Solving starts ... 175.25/175.35 c solving time = 33.104s 175.25/175.35 c #decision = 367406 175.25/175.35 c #conflict = 917 175.25/175.35 c #restart = 3 175.25/175.35 o 40238540509 175.25/175.35 c Solving starts ... 265.14/265.26 c solving time = 89.892s 265.14/265.26 c #decision = 368653 265.14/265.26 c #conflict = 1150 265.14/265.26 c #restart = 4 265.14/265.26 o 40238540508 265.14/265.27 c Solving starts ... 321.23/321.32 c solving time = 56.038s 321.23/321.32 c #decision = 369542 321.23/321.32 c #conflict = 1290 321.23/321.32 c #restart = 5 321.23/321.32 o 40238540507 321.23/321.32 c Solving starts ... 867.34/867.58 c solving time = 546.171s 867.34/867.58 c #decision = 372997 867.34/867.58 c #conflict = 2455 867.34/867.58 c #restart = 9 867.34/867.58 o 40238540506 867.34/867.58 c Solving starts ... 944.04/944.20 c solving time = 76.594s 944.04/944.20 c #decision = 374456 944.04/944.20 c #conflict = 2616 944.04/944.20 c #restart = 10 944.04/944.20 o 40235616417 944.04/944.20 c Solving starts ... 946.84/947.03 c solving time = 2.827s 946.84/947.03 c #decision = 374897 946.84/947.03 c #conflict = 2621 946.84/947.03 c #restart = 10 946.84/947.03 o 40235616416 946.84/947.03 c Solving starts ... 949.63/949.85 c solving time = 2.814s 949.63/949.85 c #decision = 375328 949.63/949.85 c #conflict = 2626 949.63/949.85 c #restart = 10 949.63/949.85 o 40235616415 949.63/949.86 c Solving starts ... 957.53/957.71 c solving time = 7.845s 957.53/957.71 c #decision = 375789 957.53/957.71 c #conflict = 2642 957.53/957.71 c #restart = 10 957.53/957.71 o 40235616414 957.53/957.71 c Solving starts ... 965.64/965.89 c solving time = 8.178s 965.64/965.89 c #decision = 376250 965.64/965.89 c #conflict = 2658 965.64/965.89 c #restart = 10 965.64/965.89 o 40235616413 965.73/965.90 c Solving starts ... 970.13/970.36 c solving time = 4.457s 970.13/970.36 c #decision = 376691 970.13/970.36 c #conflict = 2666 970.13/970.36 c #restart = 10 970.13/970.36 o 40235616412 970.13/970.36 c Solving starts ... 975.54/975.75 c solving time = 5.383s 975.54/975.75 c #decision = 377130 975.54/975.75 c #conflict = 2676 975.54/975.75 c #restart = 10 975.54/975.75 o 40235616411 975.54/975.76 c Solving starts ... 987.93/988.17 c solving time = 12.406s 987.93/988.17 c #decision = 377602 987.93/988.17 c #conflict = 2700 987.93/988.17 c #restart = 10 987.93/988.17 o 40235616410 987.93/988.17 c Solving starts ... 998.23/998.40 c solving time = 10.220s 998.23/998.40 c #decision = 378063 998.23/998.40 c #conflict = 2720 998.23/998.40 c #restart = 10 998.23/998.40 o 40235616409 998.23/998.41 c Solving starts ... 1017.12/1017.34 c solving time = 18.925s 1017.12/1017.34 c #decision = 378569 1017.12/1017.34 c #conflict = 2757 1017.12/1017.34 c #restart = 10 1017.12/1017.34 o 40235616408 1017.12/1017.34 c Solving starts ... 1047.91/1048.12 c solving time = 30.765s 1047.91/1048.12 c #decision = 379135 1047.91/1048.12 c #conflict = 2819 1047.91/1048.12 c #restart = 10 1047.91/1048.12 o 40235616407 1047.91/1048.12 c Solving starts ... 1142.40/1142.64 c solving time = 94.504s 1142.40/1142.64 c #decision = 380082 1142.40/1142.64 c #conflict = 3011 1142.40/1142.64 c #restart = 11 1142.40/1142.64 o 40235616406 1142.40/1142.65 c Solving starts ... 1304.38/1304.69 c solving time = 162.019s 1304.38/1304.69 c #decision = 381274 1304.38/1304.69 c #conflict = 3343 1304.38/1304.69 c #restart = 13 1304.38/1304.69 o 40235616405 1304.48/1304.70 c Solving starts ... 1406.46/1406.77 c solving time = 102.047s 1406.46/1406.77 c #decision = 383606 1406.46/1406.77 c #conflict = 3568 1406.46/1406.77 c #restart = 14 1406.46/1406.77 o 40232692324 1406.46/1406.77 c Solving starts ... 1410.66/1410.95 c solving time = 4.173s 1410.66/1410.95 c #decision = 384034 1410.66/1410.95 c #conflict = 3575 1410.66/1410.95 c #restart = 14 1410.66/1410.95 o 40232692323 1410.66/1410.95 c Solving starts ... 1413.46/1413.73 c solving time = 2.775s 1413.46/1413.73 c #decision = 384455 1413.46/1413.73 c #conflict = 3579 1413.46/1413.73 c #restart = 14 1413.46/1413.73 o 40232692322 1413.46/1413.74 c Solving starts ... 1419.16/1419.48 c solving time = 5.741s 1419.16/1419.48 c #decision = 384898 1419.16/1419.48 c #conflict = 3589 1419.16/1419.48 c #restart = 14 1419.16/1419.48 o 40232692321 1419.16/1419.49 c Solving starts ... 1424.56/1424.81 c solving time = 5.314s 1424.56/1424.81 c #decision = 385323 1424.56/1424.81 c #conflict = 3598 1424.56/1424.81 c #restart = 14 1424.56/1424.81 o 40232692320 1424.56/1424.81 c Solving starts ... 1431.26/1431.58 c solving time = 6.764s 1431.26/1431.58 c #decision = 386167 1431.26/1431.58 c #conflict = 3611 1431.26/1431.58 c #restart = 14 1431.26/1431.58 o 40232692318 1431.26/1431.58 c Solving starts ... 1442.36/1442.67 c solving time = 11.077s 1442.36/1442.67 c #decision = 386625 1442.36/1442.67 c #conflict = 3632 1442.36/1442.67 c #restart = 14 1442.36/1442.67 o 40232692317 1442.36/1442.67 c Solving starts ... 1513.35/1513.64 c solving time = 70.951s 1513.35/1513.64 c #decision = 387408 1513.35/1513.64 c #conflict = 3780 1513.35/1513.64 c #restart = 15 1513.35/1513.64 o 40232692316 1513.35/1513.64 c Solving starts ... 1532.94/1533.27 c solving time = 19.615s 1532.94/1533.27 c #decision = 387905 1532.94/1533.27 c #conflict = 3820 1532.94/1533.27 c #restart = 15 1532.94/1533.27 o 40232692315 1532.94/1533.27 c Solving starts ... 1567.74/1568.06 c solving time = 34.778s 1567.74/1568.06 c #decision = 388464 1567.74/1568.06 c #conflict = 3891 1567.74/1568.06 c #restart = 15 1567.74/1568.06 o 40232692314 1567.74/1568.06 c Solving starts ... 1578.04/1578.39 c solving time = 10.318s 1578.04/1578.39 c #decision = 388937 1578.04/1578.39 c #conflict = 3910 1578.04/1578.39 c #restart = 15 1578.04/1578.39 o 40232692313 1578.04/1578.39 c Solving starts ... 1610.53/1610.88 c solving time = 32.473s 1610.53/1610.88 c #decision = 389488 1610.53/1610.88 c #conflict = 3976 1610.53/1610.88 c #restart = 15 1610.53/1610.88 o 40232692312 1610.53/1610.88 c Solving starts ... 1658.53/1658.81 c solving time = 47.920s 1658.53/1658.81 c #decision = 390151 1658.53/1658.81 c #conflict = 4074 1658.53/1658.81 c #restart = 15 1658.53/1658.81 o 40232692311 1658.53/1658.82 c Solving starts ... 1736.41/1736.79 c solving time = 77.962s 1736.41/1736.79 c #decision = 391019 1736.41/1736.79 c #conflict = 4230 1736.41/1736.79 c #restart = 16 1736.41/1736.79 o 40232692310 1736.41/1736.80 c Solving starts ... 1784.91/1785.22 c solving time = 48.405s 1784.91/1785.22 c #decision = 391709 1784.91/1785.22 c #conflict = 4329 1784.91/1785.22 c #restart = 16 1784.91/1785.22 o 40232692309 1784.91/1785.22 c Solving starts ...
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-3724721-1338641068/watcher-3724721-1338641068 -o /tmp/evaluation-result-3724721-1338641068/solver-3724721-1338641068 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724721-1338641068.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.06 2.01 2.00 3/176 10671 /proc/meminfo: memFree=27165652/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=7248 CPUtime=0 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 834 0 0 0 0 0 0 0 20 0 1 0 330232531 7421952 754 33554432000 4194304 8989770 140735245309360 140735757273688 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 1812 754 425 1171 0 589 0 [startup+0.077334 s] /proc/loadavg: 2.06 2.01 2.00 3/176 10671 /proc/meminfo: memFree=27165652/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=11344 CPUtime=0.07 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 2089 0 0 0 7 0 0 0 20 0 1 0 330232531 11616256 2009 33554432000 4194304 8989770 140735245309360 140735757273688 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 2836 2009 431 1171 0 1613 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11344 [startup+0.100256 s] /proc/loadavg: 2.06 2.01 2.00 3/176 10671 /proc/meminfo: memFree=27165652/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=12368 CPUtime=0.09 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 2260 0 0 0 9 0 0 0 20 0 1 0 330232531 12664832 2180 33554432000 4194304 8989770 140735245309360 140735757273688 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 3092 2185 431 1171 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12368 [startup+0.300228 s] /proc/loadavg: 2.06 2.01 2.00 3/176 10671 /proc/meminfo: memFree=27165652/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=25680 CPUtime=0.29 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 5699 0 0 0 28 1 0 0 20 0 1 0 330232531 26296320 5619 33554432000 4194304 8989770 140735245309360 140735757273688 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 6420 5619 431 1171 0 5197 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25680 [startup+0.700231 s] /proc/loadavg: 2.06 2.01 2.00 3/176 10671 /proc/meminfo: memFree=27165652/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=44112 CPUtime=0.69 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 10191 0 0 0 67 2 0 0 20 0 1 0 330232531 45170688 10111 33554432000 4194304 8989770 140735245309360 140735245308624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 11028 10111 448 1171 0 9805 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44112 [startup+1.50018 s] /proc/loadavg: 2.05 2.01 2.00 3/177 10672 /proc/meminfo: memFree=27127352/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=44112 CPUtime=1.48 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 10191 0 0 0 146 2 0 0 20 0 1 0 330232531 45170688 10111 33554432000 4194304 8989770 140735245309360 140735245308624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 11028 10111 448 1171 0 9805 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 44112 [startup+3.10032 s] /proc/loadavg: 2.05 2.01 2.00 3/177 10672 /proc/meminfo: memFree=27125980/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=44112 CPUtime=3.09 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 10342 0 0 0 306 3 0 0 20 0 1 0 330232531 45170688 10262 33554432000 4194304 8989770 140735245309360 140735245308856 7696016 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 11028 10262 460 1171 0 9805 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44112 [startup+6.30032 s] /proc/loadavg: 2.05 2.01 2.00 3/177 10672 /proc/meminfo: memFree=27125260/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=46160 CPUtime=6.29 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 10867 0 0 0 625 4 0 0 20 0 1 0 330232531 47267840 10787 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 11540 10787 473 1171 0 10317 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46160 [startup+12.7003 s] /proc/loadavg: 2.04 2.01 2.00 3/177 10672 /proc/meminfo: memFree=27119732/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=46160 CPUtime=12.68 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 10867 0 0 0 1262 6 0 0 20 0 1 0 330232531 47267840 10787 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 11540 10787 473 1171 0 10317 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46160 [startup+25.5002 s] /proc/loadavg: 2.03 2.01 2.00 3/177 10672 /proc/meminfo: memFree=27135340/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=47184 CPUtime=25.48 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 11124 0 0 0 2538 10 0 0 20 0 1 0 330232531 48316416 11048 33554432000 4194304 8989770 140735245309360 140735245308856 4214507 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 11796 11048 473 1171 0 10573 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47184 [startup+51.1003 s] /proc/loadavg: 2.02 2.01 2.00 3/177 10672 /proc/meminfo: memFree=27083660/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=47184 CPUtime=51.07 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 11133 0 0 0 5087 20 0 0 20 0 1 0 330232531 48316416 11048 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 11796 11048 473 1171 0 10573 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 47184 [startup+102.307 s] /proc/loadavg: 2.01 2.00 2.00 3/177 10672 /proc/meminfo: memFree=27114460/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=48208 CPUtime=102.27 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 11389 0 0 0 10189 38 0 0 20 0 1 0 330232531 49364992 11304 33554432000 4194304 8989770 140735245309360 140735245307328 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 12052 11304 473 1171 0 10829 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 48208 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10672 /proc/meminfo: memFree=27110900/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=51280 CPUtime=162.25 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 12157 0 0 0 16167 58 0 0 20 0 1 0 330232531 52510720 12072 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 12820 12072 473 1171 0 11597 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 51280 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10672 /proc/meminfo: memFree=27074856/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=52304 CPUtime=222.24 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 12414 0 0 0 22143 81 0 0 20 0 1 0 330232531 53559296 12328 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 13076 12328 473 1171 0 11853 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 52304 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10673 /proc/meminfo: memFree=27108244/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=54352 CPUtime=282.24 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 12926 0 0 0 28121 103 0 0 20 0 1 0 330232531 55656448 12840 33554432000 4194304 8989770 140735245309360 140735245308624 4205032 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 13588 12840 473 1171 0 12365 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 54352 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10676 /proc/meminfo: memFree=27063912/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=55376 CPUtime=342.23 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 13182 0 0 0 34103 120 0 0 20 0 1 0 330232531 56705024 13096 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 13844 13096 473 1171 0 12621 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 55376 [startup+402.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 10676 /proc/meminfo: memFree=27044008/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=56400 CPUtime=402.22 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 13439 0 0 0 40084 138 0 0 20 0 1 0 330232531 57753600 13352 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 14100 13352 473 1171 0 12877 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 56400 [startup+462.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 10676 /proc/meminfo: memFree=27042992/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=56400 CPUtime=462.2 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 13439 0 0 0 46063 157 0 0 20 0 1 0 330232531 57753600 13352 33554432000 4194304 8989770 140735245309360 140735245308624 7675308 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 14100 13352 473 1171 0 12877 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 56400 [startup+522.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 10676 /proc/meminfo: memFree=27063708/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=56400 CPUtime=522.2 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 13439 0 0 0 52044 176 0 0 20 0 1 0 330232531 57753600 13352 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 14100 13352 473 1171 0 12877 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 56400 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10677 /proc/meminfo: memFree=27024936/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=57424 CPUtime=582.19 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 13695 0 0 0 58024 195 0 0 20 0 1 0 330232531 58802176 13608 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 14356 13608 473 1171 0 13133 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 57424 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 10678 /proc/meminfo: memFree=27059312/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=59472 CPUtime=882.14 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 14208 0 0 0 87925 289 0 0 20 0 1 0 330232531 60899328 14120 33554432000 4194304 8989770 140735245309360 140735245308856 4209888 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 14868 14120 473 1171 0 13645 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 59472 [startup+942.3 s] /proc/loadavg: 2.07 2.03 2.00 3/178 10681 /proc/meminfo: memFree=27046164/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=60496 CPUtime=942.13 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 14464 0 0 0 93906 307 0 0 20 0 1 0 330232531 61947904 14376 33554432000 4194304 8989770 140735245309360 140735245308856 4425796 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 15124 14376 473 1171 0 13901 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 60496 [startup+1002.3 s] /proc/loadavg: 2.02 2.02 2.00 3/178 10704 /proc/meminfo: memFree=27009088/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=67664 CPUtime=1002.12 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 16256 0 0 0 99886 326 0 0 20 0 1 0 330232531 69287936 16168 33554432000 4194304 8989770 140735245309360 140735245308624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 16916 16168 473 1171 0 15693 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 67664 [startup+1062.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 10704 /proc/meminfo: memFree=27061504/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=69712 CPUtime=1062.11 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 16768 0 0 0 105868 343 0 0 20 0 1 0 330232531 71385088 16680 33554432000 4194304 8989770 140735245309360 140735245308624 4208846 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 17428 16680 473 1171 0 16205 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 69712 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 10704 /proc/meminfo: memFree=27045976/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=70736 CPUtime=1122.11 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 17024 0 0 0 111848 363 0 0 20 0 1 0 330232531 72433664 16936 33554432000 4194304 8989770 140735245309360 140735245308624 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 17684 16936 473 1171 0 16461 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 70736 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10705 /proc/meminfo: memFree=27006492/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=71760 CPUtime=1182.09 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 17280 0 0 0 117828 381 0 0 20 0 1 0 330232531 73482240 17192 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 17940 17192 473 1171 0 16717 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 71760 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10705 /proc/meminfo: memFree=27039164/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=71760 CPUtime=1242.08 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 17280 0 0 0 123809 399 0 0 20 0 1 0 330232531 73482240 17192 33554432000 4194304 8989770 140735245309360 140735245307328 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 17940 17192 473 1171 0 16717 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 71760 [startup+1302.3 s] /proc/loadavg: 1.95 1.98 1.99 3/177 10744 /proc/meminfo: memFree=26934120/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=71760 CPUtime=1302.08 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 17280 0 0 0 129793 415 0 0 20 0 1 0 330232531 73482240 17192 33554432000 4194304 8989770 140735245309360 140735245308856 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 17940 17192 473 1171 0 16717 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 71760 [startup+1362.3 s] /proc/loadavg: 1.98 1.98 1.99 3/177 10744 /proc/meminfo: memFree=26913768/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=73808 CPUtime=1362.07 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 17792 0 0 0 135772 435 0 0 20 0 1 0 330232531 75579392 17704 33554432000 4194304 8989770 140735245309360 140735245308624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 18452 17704 473 1171 0 17229 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 73808 [startup+1422.31 s] /proc/loadavg: 2.04 2.00 2.00 3/177 10744 /proc/meminfo: memFree=26883168/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=76880 CPUtime=1422.07 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 18560 0 0 0 141755 452 0 0 20 0 1 0 330232531 78725120 18472 33554432000 4194304 8989770 140735245309360 140735245308856 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 19220 18472 473 1171 0 17997 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 76880 [startup+1482.3 s] /proc/loadavg: 2.04 2.01 2.00 3/176 10744 /proc/meminfo: memFree=26857412/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=79952 CPUtime=1482.05 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 19328 0 0 0 147734 471 0 0 20 0 1 0 330232531 81870848 19240 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 19988 19240 473 1171 0 18765 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 79952 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 10748 /proc/meminfo: memFree=26830488/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=82000 CPUtime=1542.04 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 19840 0 0 0 153713 491 0 0 20 0 1 0 330232531 83968000 19752 33554432000 4194304 8989770 140735245309360 140735245308624 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 20500 19752 473 1171 0 19277 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 82000 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10748 /proc/meminfo: memFree=26805776/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=84048 CPUtime=1602.03 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 20352 0 0 0 159691 512 0 0 20 0 1 0 330232531 86065152 20264 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 21012 20264 473 1171 0 19789 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 84048 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10748 /proc/meminfo: memFree=26779184/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=86096 CPUtime=1662.02 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 20864 0 0 0 165670 532 0 0 20 0 1 0 330232531 88162304 20776 33554432000 4194304 8989770 140735245309360 140735245308624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 21524 20776 473 1171 0 20301 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 86096 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10748 /proc/meminfo: memFree=26754260/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=86096 CPUtime=1722.01 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 20864 0 0 0 171647 554 0 0 20 0 1 0 330232531 88162304 20776 33554432000 4194304 8989770 140735245309360 140735245308856 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 21524 20776 473 1171 0 20301 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 86096 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10748 /proc/meminfo: memFree=26729464/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=87120 CPUtime=1782.01 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 21120 0 0 0 177629 572 0 0 20 0 1 0 330232531 89210880 21032 33554432000 4194304 8989770 140735245309360 140735245308624 4213876 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 21780 21032 473 1171 0 20557 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 87120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10749 /proc/meminfo: memFree=26722024/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=88144 CPUtime=1800.01 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 21376 0 0 0 179424 577 0 0 20 0 1 0 330232531 90259456 21288 33554432000 4194304 8989770 140735245309360 140735245308856 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 22036 21288 473 1171 0 20813 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 88144 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10749 /proc/meminfo: memFree=26722024/32873660 swapFree=7120/7120 [pid=10671] ppid=10669 vsize=88144 CPUtime=1800.01 cores=1,3,5,7 /proc/10671/stat : 10671 (toysat) R 10669 10671 9917 0 -1 4202496 21376 0 0 0 179424 577 0 0 20 0 1 0 330232531 90259456 21288 33554432000 4194304 8989770 140735245309360 140735245308856 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/10671/statm: 22036 21288 473 1171 0 20813 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 88144 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.02 CPU user time (s): 1794.25 CPU system time (s): 5.77312 CPU usage (%): 99.984 Max. virtual memory (cumulated for all children) (KiB): 88144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.25 system time used= 5.77312 maximum resident set size= 85152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21376 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= 15 involuntary context switches= 1852 runsolver used 2.97355 second user time and 9.73152 second system time The end
Begin job on node117 at 2012-06-02 14:44:28 IDJOB=3724721 IDBENCH=72292 IDSOLVER=2308 FILE ID=node117/3724721-1338641068 RUNJOBID= node117-1338631508-9934 PBS_JOBID= 14636463 Free space on /tmp= 69128 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc18b26.cudf.trendy.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724721-1338641068/watcher-3724721-1338641068 -o /tmp/evaluation-result-3724721-1338641068/solver-3724721-1338641068 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724721-1338641068.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 16fcb87ec6e0d214403f64d4df628c22 RANDOM SEED=967587950 node117.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 : 2667.148 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 : 5334.29 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 : 2667.148 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 : 2667.148 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 : 2667.148 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.95 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 : 2667.148 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.91 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 : 2667.148 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 : 5331.91 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 : 2667.148 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 : 2667.148 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: 32873660 kB MemFree: 27165808 kB Buffers: 589824 kB Cached: 4038128 kB SwapCached: 776 kB Active: 2389176 kB Inactive: 2404836 kB Active(anon): 151732 kB Inactive(anon): 9984 kB Active(file): 2237444 kB Inactive(file): 2394852 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67107012 kB Dirty: 8188 kB Writeback: 0 kB AnonPages: 165376 kB Mapped: 14040 kB Shmem: 80 kB Slab: 774800 kB SReclaimable: 219252 kB SUnreclaim: 555548 kB KernelStack: 1464 kB PageTables: 4364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545684 kB Committed_AS: 274344 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 69112 MiB End job on node117 at 2012-06-02 15:14:30