Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2012-05-17 | ? (TO) | 1800.09 | 1800.41 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randd1cab2.cudf.trendy.opb |
| MD5SUM | 128970b85b6efe83a3eeaa76631470ff |
| 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 | 52432601474 |
| Best CPU time to get the best result obtained on this benchmark | 3.37449 |
| 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 | 7810 |
| Total number of constraints | 32627 |
| Number of constraints which are clauses | 32310 |
| Number of constraints which are cardinality constraints (but not clauses) | 317 |
| 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 | 3738 |
| Biggest coefficient in the objective function | 6549699311 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 3615427019708 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 6549699311 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 3615427019708 |
| 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 |
2.09/2.16 c 2012-05-27T20:00:04+0200 2.09/2.16 c arch = x86_64 2.09/2.16 c os = linux 2.09/2.16 c compiler = ghc 7.4 2.09/2.16 c packages: 2.09/2.16 c OptDir-0.0.1 2.09/2.16 c array-0.4.0.0 2.09/2.16 c base-4.5.0.0 2.09/2.16 c bytestring-0.9.2.1 2.09/2.16 c containers-0.4.2.1 2.09/2.16 c deepseq-1.3.0.0 2.09/2.16 c mtl-2.1.1 2.09/2.16 c old_locale-1.0.0.4 2.09/2.16 c parse_dimacs-1.2 2.09/2.16 c parsec-3.1.2 2.09/2.16 c queue-0.1.2 2.09/2.16 c stm-2.3 2.09/2.16 c time-1.4 2.09/2.16 c command line = ["--pb","HOME/instance-3706344-1338141604.opb"] 2.09/2.16 c #vars 7810 2.09/2.16 c #constraints 32627 2.09/2.16 c Solving starts ... 5.08/5.17 c solving time = 3.006s 5.08/5.17 c #decision = 536981 5.08/5.17 c #conflict = 567 5.08/5.17 c #restart = 3 5.08/5.17 o 59206341818 5.08/5.17 c Solving starts ... 8.58/8.64 c solving time = 3.464s 8.58/8.64 c #decision = 539149 8.58/8.64 c #conflict = 645 8.58/8.64 c #restart = 3 8.58/8.64 o 59202841185 8.58/8.65 c Solving starts ... 10.18/10.23 c solving time = 1.574s 10.18/10.23 c #decision = 539730 10.18/10.23 c #conflict = 650 10.18/10.23 c #restart = 3 10.18/10.23 o 59202841184 10.18/10.25 c Solving starts ... 11.28/11.39 c solving time = 1.131s 11.28/11.39 c #decision = 540308 11.28/11.39 c #conflict = 652 11.28/11.39 c #restart = 3 11.28/11.39 o 59202841183 11.28/11.39 c Solving starts ... 12.48/12.59 c solving time = 1.191s 12.48/12.59 c #decision = 540893 12.48/12.59 c #conflict = 654 12.48/12.59 c #restart = 3 12.48/12.59 o 59202841182 12.48/12.59 c Solving starts ... 24.98/25.02 c solving time = 12.420s 24.98/25.02 c #decision = 541534 24.98/25.02 c #conflict = 684 24.98/25.02 c #restart = 3 24.98/25.02 o 59202841181 24.98/25.02 c Solving starts ... 29.28/29.32 c solving time = 4.294s 29.28/29.32 c #decision = 542226 29.28/29.32 c #conflict = 694 29.28/29.32 c #restart = 3 29.28/29.32 o 59202841180 29.28/29.32 c Solving starts ... 37.87/37.93 c solving time = 8.597s 37.87/37.93 c #decision = 542813 37.87/37.93 c #conflict = 711 37.87/37.93 c #restart = 3 37.87/37.93 o 59202841179 37.87/37.93 c Solving starts ... 50.86/50.99 c solving time = 13.044s 50.86/50.99 c #decision = 543422 50.86/50.99 c #conflict = 739 50.86/50.99 c #restart = 3 50.86/50.99 o 59202841178 50.86/50.99 c Solving starts ... 78.45/78.59 c solving time = 27.580s 78.45/78.59 c #decision = 544080 78.45/78.59 c #conflict = 794 78.45/78.59 c #restart = 3 78.45/78.59 o 59202841177 78.45/78.59 c Solving starts ... 215.73/215.85 c solving time = 137.231s 215.73/215.85 c #decision = 547581 215.73/215.85 c #conflict = 1073 215.73/215.85 c #restart = 5 215.73/215.85 o 59202841176 215.73/215.85 c Solving starts ... 332.72/332.89 c solving time = 117.017s 332.72/332.89 c #decision = 548575 332.72/332.89 c #conflict = 1289 332.72/332.89 c #restart = 6 332.72/332.89 o 59202841175 332.82/332.92 c Solving starts ... 384.30/384.48 c solving time = 51.548s 384.30/384.48 c #decision = 549255 384.30/384.48 c #conflict = 1385 384.30/384.48 c #restart = 6 384.30/384.48 o 59202841174 384.30/384.49 c Solving starts ... 455.59/455.80 c solving time = 71.290s 455.59/455.80 c #decision = 550942 455.59/455.80 c #conflict = 1520 455.59/455.80 c #restart = 7 455.59/455.80 o 59199340534 455.69/455.83 c Solving starts ... 517.58/517.72 c solving time = 61.874s 517.58/517.72 c #decision = 551783 517.58/517.72 c #conflict = 1632 517.58/517.72 c #restart = 8 517.58/517.72 o 59199340533 517.58/517.72 c Solving starts ... 787.74/787.95 c solving time = 270.177s 787.74/787.95 c #decision = 554336 787.74/787.95 c #conflict = 2137 787.74/787.95 c #restart = 11 787.74/787.95 o 59199340532 787.74/787.95 c Solving starts ... 857.43/857.62 c solving time = 69.654s 857.43/857.62 c #decision = 556091 857.43/857.62 c #conflict = 2266 857.43/857.62 c #restart = 12 857.43/857.62 o 59195839896 857.43/857.63 c Solving starts ... 859.23/859.47 c solving time = 1.838s 859.23/859.47 c #decision = 556575 859.23/859.47 c #conflict = 2268 859.23/859.47 c #restart = 12 859.23/859.47 o 59195839895 859.23/859.47 c Solving starts ... 860.62/860.81 c solving time = 1.336s 860.62/860.81 c #decision = 557048 860.62/860.81 c #conflict = 2269 860.62/860.81 c #restart = 12 860.62/860.81 o 59195839894 860.62/860.82 c Solving starts ... 867.93/868.11 c solving time = 7.288s 867.93/868.11 c #decision = 557541 867.93/868.11 c #conflict = 2281 867.93/868.11 c #restart = 12 867.93/868.11 o 59195839893 867.93/868.12 c Solving starts ... 887.62/887.85 c solving time = 19.724s 887.62/887.85 c #decision = 558061 887.62/887.85 c #conflict = 2317 887.62/887.85 c #restart = 12 887.62/887.85 o 59195839892 887.62/887.85 c Solving starts ... 955.81/956.04 c solving time = 68.169s 955.81/956.04 c #decision = 558825 955.81/956.04 c #conflict = 2442 955.81/956.04 c #restart = 13 955.81/956.04 o 59195839891 955.81/956.08 c Solving starts ... 1038.40/1038.61 c solving time = 82.518s 1038.40/1038.61 c #decision = 561930 1038.40/1038.61 c #conflict = 2598 1038.40/1038.61 c #restart = 14 1038.40/1038.61 o 59192339255 1038.40/1038.62 c Solving starts ... 1042.19/1042.41 c solving time = 3.782s 1042.19/1042.41 c #decision = 562428 1042.19/1042.41 c #conflict = 2603 1042.19/1042.41 c #restart = 14 1042.19/1042.41 o 59192339254 1042.19/1042.41 c Solving starts ... 1049.90/1050.14 c solving time = 7.723s 1049.90/1050.14 c #decision = 562917 1049.90/1050.14 c #conflict = 2616 1049.90/1050.14 c #restart = 14 1049.90/1050.14 o 59192339253 1049.90/1050.14 c Solving starts ... 1056.60/1056.84 c solving time = 6.691s 1056.60/1056.84 c #decision = 563424 1056.60/1056.84 c #conflict = 2626 1056.60/1056.84 c #restart = 14 1056.60/1056.84 o 59192339252 1056.60/1056.85 c Solving starts ... 1126.79/1127.10 c solving time = 70.234s 1126.79/1127.10 c #decision = 564197 1126.79/1127.10 c #conflict = 2751 1126.79/1127.10 c #restart = 15 1126.79/1127.10 o 59192339251 1126.89/1127.10 c Solving starts ... 1177.78/1178.09 c solving time = 50.974s 1177.78/1178.09 c #decision = 564823 1177.78/1178.09 c #conflict = 2841 1177.78/1178.09 c #restart = 15 1177.78/1178.09 o 59192339250 1177.78/1178.09 c Solving starts ... 1291.36/1291.66 c solving time = 113.540s 1291.36/1291.66 c #decision = 566345 1291.36/1291.66 c #conflict = 3046 1291.36/1291.66 c #restart = 16 1291.36/1291.66 o 59192339249 1291.36/1291.66 c Solving starts ... 1371.64/1371.97 c solving time = 80.291s 1371.64/1371.97 c #decision = 567098 1371.64/1371.97 c #conflict = 3186 1371.64/1371.97 c #restart = 17 1371.64/1371.97 o 59192339248 1371.64/1371.97 c Solving starts ... 1515.32/1515.70 c solving time = 143.691s 1515.32/1515.70 c #decision = 569166 1515.32/1515.70 c #conflict = 3439 1515.32/1515.70 c #restart = 19 1515.32/1515.70 o 59188838622 1515.32/1515.70 c Solving starts ... 1519.42/1519.71 c solving time = 4.006s 1519.42/1519.71 c #decision = 569622 1519.42/1519.71 c #conflict = 3445 1519.42/1519.71 c #restart = 19 1519.42/1519.71 o 59188838621 1519.42/1519.72 c Solving starts ... 1522.82/1523.13 c solving time = 3.411s 1522.82/1523.13 c #decision = 570072 1522.82/1523.13 c #conflict = 3448 1522.82/1523.13 c #restart = 19 1522.82/1523.13 o 59188838620 1522.82/1523.14 c Solving starts ... 1532.92/1533.20 c solving time = 10.056s 1532.92/1533.20 c #decision = 570551 1532.92/1533.20 c #conflict = 3467 1532.92/1533.20 c #restart = 19 1532.92/1533.20 o 59188838619 1532.92/1533.21 c Solving starts ... 1536.62/1536.95 c solving time = 3.733s 1536.62/1536.95 c #decision = 571001 1536.62/1536.95 c #conflict = 3470 1536.62/1536.95 c #restart = 19 1536.62/1536.95 o 59188838618 1536.62/1536.95 c Solving starts ... 1542.52/1542.88 c solving time = 5.922s 1542.52/1542.88 c #decision = 571449 1542.52/1542.88 c #conflict = 3477 1542.52/1542.88 c #restart = 19 1542.52/1542.88 o 59188838617 1542.52/1542.88 c Solving starts ... 1549.02/1549.39 c solving time = 6.505s 1549.02/1549.39 c #decision = 571903 1549.02/1549.39 c #conflict = 3485 1549.02/1549.39 c #restart = 19 1549.02/1549.39 o 59188838616 1549.12/1549.40 c Solving starts ... 1555.71/1556.03 c solving time = 6.626s 1555.71/1556.03 c #decision = 572358 1555.71/1556.03 c #conflict = 3493 1555.71/1556.03 c #restart = 19 1555.71/1556.03 o 59188838615 1555.71/1556.04 c Solving starts ... 1582.91/1583.21 c solving time = 27.166s 1582.91/1583.21 c #decision = 572890 1582.91/1583.21 c #conflict = 3538 1582.91/1583.21 c #restart = 19 1582.91/1583.22 o 59188838614 1582.91/1583.26 c Solving starts ... 1590.91/1591.22 c solving time = 7.956s 1590.91/1591.22 c #decision = 573342 1590.91/1591.22 c #conflict = 3548 1590.91/1591.22 c #restart = 19 1590.91/1591.22 o 59188838613 1590.91/1591.23 c Solving starts ... 1635.90/1636.21 c solving time = 44.973s 1635.90/1636.21 c #decision = 573929 1635.90/1636.21 c #conflict = 3623 1635.90/1636.21 c #restart = 19 1635.90/1636.21 o 59188838612 1635.90/1636.22 c Solving starts ... 1649.20/1649.55 c solving time = 13.324s 1649.20/1649.55 c #decision = 574405 1649.20/1649.55 c #conflict = 3642 1649.20/1649.55 c #restart = 19 1649.20/1649.55 o 59188838611 1649.20/1649.60 c Solving starts ... 1692.69/1693.04 c solving time = 43.432s 1692.69/1693.04 c #decision = 574972 1692.69/1693.04 c #conflict = 3714 1692.69/1693.04 c #restart = 19 1692.69/1693.04 o 59188838610 1692.69/1693.04 c Solving starts ... 1751.78/1752.17 c solving time = 59.108s 1751.78/1752.17 c #decision = 575602 1751.78/1752.17 c #conflict = 3812 1751.78/1752.17 c #restart = 19 1751.78/1752.17 o 59188838609 1751.78/1752.17 c Solving starts ... 1781.17/1781.51 c solving time = 29.326s 1781.17/1781.51 c #decision = 576133 1781.17/1781.51 c #conflict = 3859 1781.17/1781.51 c #restart = 19 1781.17/1781.51 o 59188838608 1781.17/1781.51 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-3706344-1338141604/watcher-3706344-1338141604 -o /tmp/evaluation-result-3706344-1338141604/solver-3706344-1338141604 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706344-1338141604.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3037 /proc/meminfo: memFree=28512592/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/3037/stat : 3037 (runsolver) D 3035 3037 32696 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 280286276 12095488 50 33554432000 4194304 5436572 140733284743328 140733284739624 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0 /proc/3037/statm: 2953 50 31 304 0 2645 0 [startup+0.00935693 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3037 /proc/meminfo: memFree=28512592/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/3037/stat : 3037 (runsolver) D 3035 3037 32696 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 280286276 12095488 50 33554432000 4194304 5436572 140733284743328 140733284739624 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0 /proc/3037/statm: 2953 50 31 304 0 2645 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11812 [startup+0.100942 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3037 /proc/meminfo: memFree=28512592/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=11328 CPUtime=0.08 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 2012 0 0 0 8 0 0 0 20 0 1 0 280286276 11599872 1933 33554432000 4194304 8973514 140737451415168 140733284739512 4618029 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 2832 1933 418 1167 0 1613 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11328 [startup+0.300579 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3037 /proc/meminfo: memFree=28512592/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=23616 CPUtime=0.28 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 5172 0 0 0 28 0 0 0 20 0 1 0 280286276 24182784 5093 33554432000 4194304 8973514 140737451415168 140733284739512 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 5904 5093 418 1167 0 4685 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 23616 [startup+0.701086 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3037 /proc/meminfo: memFree=28512592/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=47168 CPUtime=0.68 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 11082 0 0 0 67 1 0 0 20 0 1 0 280286276 48300032 11003 33554432000 4194304 8973514 140737451415168 140733284739512 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 11792 11003 434 1167 0 10573 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 47168 [startup+1.50101 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3038 /proc/meminfo: memFree=28469672/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=47168 CPUtime=1.48 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 11083 0 0 0 146 2 0 0 20 0 1 0 280286276 48300032 11004 33554432000 4194304 8973514 140737451415168 140737451414664 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 11792 11004 434 1167 0 10573 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 47168 [startup+3.10108 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3038 /proc/meminfo: memFree=28469036/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=47168 CPUtime=3.08 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 11094 0 0 0 306 2 0 0 20 0 1 0 280286276 48300032 11015 33554432000 4194304 8973514 140737451415168 140737451414432 7672543 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 11792 11015 445 1167 0 10573 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 47168 [startup+6.30058 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3038 /proc/meminfo: memFree=28469120/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=48192 CPUtime=6.28 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 11362 0 0 0 625 3 0 0 20 0 1 0 280286276 49348608 11283 33554432000 4194304 8973514 140737451415168 140737451414664 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 12048 11283 457 1167 0 10829 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 48192 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3038 /proc/meminfo: memFree=28465480/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=51264 CPUtime=12.67 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 12130 0 0 0 1262 5 0 0 20 0 1 0 280286276 52494336 12051 33554432000 4194304 8973514 140737451415168 140737451413184 4209212 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 12816 12051 457 1167 0 11597 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 51264 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3039 /proc/meminfo: memFree=28461504/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=52288 CPUtime=25.48 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 12386 0 0 0 2539 9 0 0 20 0 1 0 280286276 53542912 12307 33554432000 4194304 8973514 140737451415168 140737451414432 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 13072 12307 457 1167 0 11853 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52288 [startup+51.1011 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3039 /proc/meminfo: memFree=28452856/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=55360 CPUtime=51.06 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 13166 0 0 0 5090 16 0 0 20 0 1 0 280286276 56688640 13075 33554432000 4194304 8973514 140737451415168 140737451414664 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 13840 13075 457 1167 0 12621 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 55360 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3061 /proc/meminfo: memFree=28438672/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=58432 CPUtime=102.26 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 13938 0 0 0 10194 32 0 0 20 0 1 0 280286276 59834368 13843 33554432000 4194304 8973514 140737451415168 140737451414664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 14608 13843 457 1167 0 13389 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 58432 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3061 /proc/meminfo: memFree=28421320/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=58432 CPUtime=162.24 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 13938 0 0 0 16172 52 0 0 20 0 1 0 280286276 59834368 13843 33554432000 4194304 8973514 140737451415168 140737451413120 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 14608 13843 457 1167 0 13389 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 58432 [startup+222.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 3061 /proc/meminfo: memFree=28415120/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=59456 CPUtime=222.23 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 14194 0 0 0 22153 70 0 0 20 0 1 0 280286276 60882944 14099 33554432000 4194304 8973514 140737451415168 140737451414664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 14864 14099 457 1167 0 13645 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 59456 [startup+282.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 3061 /proc/meminfo: memFree=28414256/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=60480 CPUtime=282.22 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 14450 0 0 0 28133 89 0 0 20 0 1 0 280286276 61931520 14355 33554432000 4194304 8973514 140737451415168 140737451414664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 15120 14355 457 1167 0 13901 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 60480 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3062 /proc/meminfo: memFree=28412156/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=61504 CPUtime=342.21 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 14706 0 0 0 34111 110 0 0 20 0 1 0 280286276 62980096 14611 33554432000 4194304 8973514 140737451415168 140737451414432 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 15376 14611 457 1167 0 14157 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 61504 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3062 /proc/meminfo: memFree=28411004/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=62528 CPUtime=402.21 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 14962 0 0 0 40093 128 0 0 20 0 1 0 280286276 64028672 14867 33554432000 4194304 8973514 140737451415168 140737451414664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 15632 14867 457 1167 0 14413 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 62528 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3062 /proc/meminfo: memFree=28409948/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=63552 CPUtime=462.19 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 15220 0 0 0 46074 145 0 0 20 0 1 0 280286276 65077248 15123 33554432000 4194304 8973514 140737451415168 140737451414432 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 15888 15123 457 1167 0 14669 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 63552 [startup+522.3 s] /proc/loadavg: 1.65 1.92 1.97 2/171 3087 /proc/meminfo: memFree=28952664/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=65600 CPUtime=522.19 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 15732 0 0 0 52050 169 0 0 20 0 1 0 280286276 67174400 15635 33554432000 4194304 8973514 140737451415168 140737451414664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 16400 15635 457 1167 0 15181 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 65600 [startup+582.301 s] /proc/loadavg: 1.24 1.75 1.91 2/171 3087 /proc/meminfo: memFree=28952664/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=65600 CPUtime=582.18 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 15732 0 0 0 58027 191 0 0 20 0 1 0 280286276 67174400 15635 33554432000 4194304 8973514 140737451415168 140737451414432 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 16400 15635 457 1167 0 15181 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 65600 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.00 1.33 1.69 2/171 3091 /proc/meminfo: memFree=28951276/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=67648 CPUtime=822.14 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 16244 0 0 0 81941 273 0 0 20 0 1 0 280286276 69271552 16147 33554432000 4194304 8973514 140737451415168 140737451414432 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 16912 16147 457 1167 0 15693 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 67648 [startup+882.301 s] /proc/loadavg: 1.00 1.26 1.64 2/171 3091 /proc/meminfo: memFree=28947060/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=71744 CPUtime=882.12 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 17268 0 0 0 87918 294 0 0 20 0 1 0 280286276 73465856 17171 33554432000 4194304 8973514 140737451415168 140737451414664 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 17936 17171 457 1167 0 16717 0 Current children cumulated CPU time (s) 882.12 Current children cumulated vsize (KiB) 71744 [startup+942.3 s] /proc/loadavg: 1.03 1.23 1.61 2/171 3092 /proc/meminfo: memFree=28946192/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=72768 CPUtime=942.11 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 17525 0 0 0 93898 313 0 0 20 0 1 0 280286276 74514432 17427 33554432000 4194304 8973514 140737451415168 140737451414664 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 18192 17427 457 1167 0 16973 0 Current children cumulated CPU time (s) 942.11 Current children cumulated vsize (KiB) 72768 [startup+1002.3 s] /proc/loadavg: 1.06 1.20 1.57 2/171 3092 /proc/meminfo: memFree=28944208/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=74816 CPUtime=1002.11 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 18037 0 0 0 99880 331 0 0 20 0 1 0 280286276 76611584 17939 33554432000 4194304 8973514 140737451415168 140737451414664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 18704 17939 457 1167 0 17485 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 74816 [startup+1062.3 s] /proc/loadavg: 1.02 1.16 1.53 2/171 3092 /proc/meminfo: memFree=28941232/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=77888 CPUtime=1062.1 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 18805 0 0 0 105858 352 0 0 20 0 1 0 280286276 79757312 18707 33554432000 4194304 8973514 140737451415168 140737451414432 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 19472 18707 457 1167 0 18253 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 77888 [startup+1122.3 s] /proc/loadavg: 1.01 1.13 1.50 2/171 3092 /proc/meminfo: memFree=28940240/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=78912 CPUtime=1122.08 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 19061 0 0 0 111839 369 0 0 20 0 1 0 280286276 80805888 18963 33554432000 4194304 8973514 140737451415168 140737451414432 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 19728 18963 457 1167 0 18509 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 78912 [startup+1182.3 s] /proc/loadavg: 1.04 1.12 1.47 2/171 3092 /proc/meminfo: memFree=28937760/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=80960 CPUtime=1182.07 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 19573 0 0 0 117818 389 0 0 20 0 1 0 280286276 82903040 19475 33554432000 4194304 8973514 140737451415168 140737451413120 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 20240 19475 457 1167 0 19021 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 80960 [startup+1242.3 s] /proc/loadavg: 1.01 1.09 1.44 2/172 3096 /proc/meminfo: memFree=28937968/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=80960 CPUtime=1242.06 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 19574 0 0 0 123798 408 0 0 20 0 1 0 280286276 82903040 19475 33554432000 4194304 8973514 140737451415168 140737451413120 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 20240 19475 457 1167 0 19021 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 80960 [startup+1302.3 s] /proc/loadavg: 1.08 1.10 1.42 2/171 3096 /proc/meminfo: memFree=28936612/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=81984 CPUtime=1302.07 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 19830 0 0 0 129778 429 0 0 20 0 1 0 280286276 83951616 19731 33554432000 4194304 8973514 140737451415168 140737451414664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 20496 19731 457 1167 0 19277 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 81984 [startup+1362.3 s] /proc/loadavg: 1.06 1.09 1.39 2/171 3096 /proc/meminfo: memFree=28935868/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=83008 CPUtime=1362.05 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 20086 0 0 0 135752 453 0 0 20 0 1 0 280286276 85000192 19987 33554432000 4194304 8973514 140737451415168 140737451414432 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 20752 19987 457 1167 0 19533 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 83008 [startup+1422.31 s] /proc/loadavg: 1.06 1.09 1.37 2/171 3096 /proc/meminfo: memFree=28934876/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=84032 CPUtime=1422.04 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 20343 0 0 0 141732 472 0 0 20 0 1 0 280286276 86048768 20243 33554432000 4194304 8973514 140737451415168 140737451414432 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 21008 20243 457 1167 0 19789 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 84032 [startup+1482.3 s] /proc/loadavg: 1.02 1.07 1.34 2/171 3096 /proc/meminfo: memFree=28934752/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=84032 CPUtime=1482.03 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 20343 0 0 0 147708 495 0 0 20 0 1 0 280286276 86048768 20243 33554432000 4194304 8973514 140737451415168 140737451414664 4208823 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 21008 20243 457 1167 0 19789 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 84032 [startup+1542.3 s] /proc/loadavg: 1.01 1.05 1.32 2/171 3097 /proc/meminfo: memFree=28930784/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=88128 CPUtime=1542.01 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 21367 0 0 0 153686 515 0 0 20 0 1 0 280286276 90243072 21267 33554432000 4194304 8973514 140737451415168 140737451414432 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 22032 21267 457 1167 0 20813 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 88128 [startup+1602.3 s] /proc/loadavg: 1.00 1.04 1.30 2/172 3098 /proc/meminfo: memFree=28925444/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=93248 CPUtime=1602.01 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 22651 0 0 0 159664 537 0 0 20 0 1 0 280286276 95485952 22547 33554432000 4194304 8973514 140737451415168 140737451414664 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 23312 22547 457 1167 0 22093 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 93248 [startup+1662.3 s] /proc/loadavg: 1.04 1.05 1.28 2/171 3098 /proc/meminfo: memFree=28923472/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=95296 CPUtime=1661.99 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 23163 0 0 0 165641 558 0 0 20 0 1 0 280286276 97583104 23059 33554432000 4194304 8973514 140737451415168 140737451414664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 23824 23059 457 1167 0 22605 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 95296 [startup+1722.3 s] /proc/loadavg: 1.01 1.04 1.26 2/171 3098 /proc/meminfo: memFree=28922044/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=96320 CPUtime=1721.98 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 23419 0 0 0 171618 580 0 0 20 0 1 0 280286276 98631680 23315 33554432000 4194304 8973514 140737451415168 140737451414432 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 24080 23315 457 1167 0 22861 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 96320 [startup+1782.3 s] /proc/loadavg: 1.00 1.03 1.24 2/171 3098 /proc/meminfo: memFree=28919440/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=98368 CPUtime=1781.97 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 23931 0 0 0 177596 601 0 0 20 0 1 0 280286276 100728832 23827 33554432000 4194304 8973514 140737451415168 140737451414664 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 24592 23827 457 1167 0 23373 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 98368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.02 1.24 2/172 3101 /proc/meminfo: memFree=28920032/32873648 swapFree=6844/6844 [pid=3037] ppid=3035 vsize=98368 CPUtime=1800.08 cores=0,2,4,6 /proc/3037/stat : 3037 (toysat) R 3035 3037 32696 0 -1 4202496 23931 0 0 0 179400 608 0 0 20 0 1 0 280286276 100728832 23827 33554432000 4194304 8973514 140737451415168 140737451414432 7937344 0 0 0 34082818 0 0 0 17 4 0 0 1 0 0 /proc/3037/statm: 24592 23827 457 1167 0 23373 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 98368 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.09 CPU user time (s): 1794.01 CPU system time (s): 6.08308 CPU usage (%): 99.9823 Max. virtual memory (cumulated for all children) (KiB): 98368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.01 system time used= 6.08308 maximum resident set size= 95308 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23931 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= 28 involuntary context switches= 1977 runsolver used 3.54046 second user time and 8.70568 second system time The end
Begin job on node124 at 2012-05-27 20:00:04 IDJOB=3706344 IDBENCH=72357 IDSOLVER=2285 FILE ID=node124/3706344-1338141604 RUNJOBID= node124-1338107934-32712 PBS_JOBID= 14624469 Free space on /tmp= 71420 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randd1cab2.cudf.trendy.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706344-1338141604/watcher-3706344-1338141604 -o /tmp/evaluation-result-3706344-1338141604/solver-3706344-1338141604 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706344-1338141604.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 128970b85b6efe83a3eeaa76631470ff RANDOM SEED=1330848483 node124.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.325 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.65 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.325 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 : 5385.03 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.325 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 : 5385.04 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.325 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 : 5357.53 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.325 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 : 5385.03 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.325 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 : 5385.04 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.325 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 : 5385.03 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.325 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 : 5385.03 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28512484 kB Buffers: 346864 kB Cached: 2703712 kB SwapCached: 0 kB Active: 1422856 kB Inactive: 2129968 kB Active(anon): 504860 kB Inactive(anon): 0 kB Active(file): 917996 kB Inactive(file): 2129968 kB Unevictable: 6844 kB Mlocked: 6844 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 8556 kB Writeback: 24 kB AnonPages: 511164 kB Mapped: 16312 kB Shmem: 200 kB Slab: 668856 kB SReclaimable: 113124 kB SUnreclaim: 555732 kB KernelStack: 1456 kB PageTables: 4936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 614400 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 442368 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= 71424 MiB End job on node124 at 2012-05-27 20:30:07