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.01 | 1800.31 |
| 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.19/2.27 c 2012-06-02T14:46:10+0200 2.19/2.27 c arch = x86_64 2.19/2.27 c os = linux 2.19/2.27 c compiler = ghc 7.4 2.19/2.27 c packages: 2.19/2.27 c OptDir-0.0.1 2.19/2.27 c array-0.4.0.0 2.19/2.27 c base-4.5.0.0 2.19/2.27 c bytestring-0.9.2.1 2.19/2.27 c containers-0.4.2.1 2.19/2.27 c deepseq-1.3.0.0 2.19/2.27 c mtl-2.1.1 2.19/2.27 c old_locale-1.0.0.4 2.19/2.27 c parse_dimacs-1.2 2.19/2.27 c parsec-3.1.2 2.19/2.27 c queue-0.1.2 2.19/2.27 c stm-2.3 2.19/2.27 c time-1.4 2.19/2.27 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724717-1338641170.opb"] 2.19/2.27 c #vars 7810 2.19/2.27 c #constraints 32627 2.19/2.27 c Solving starts ... 5.39/5.47 c solving time = 3.193s 5.39/5.47 c #decision = 536981 5.39/5.47 c #conflict = 567 5.39/5.47 c #restart = 3 5.39/5.47 o 59206341818 5.39/5.47 c Solving starts ... 9.09/9.10 c solving time = 3.627s 9.09/9.10 c #decision = 539149 9.09/9.10 c #conflict = 645 9.09/9.10 c #restart = 3 9.09/9.10 o 59202841185 9.09/9.11 c Solving starts ... 10.69/10.76 c solving time = 1.648s 10.69/10.76 c #decision = 539730 10.69/10.76 c #conflict = 650 10.69/10.76 c #restart = 3 10.69/10.76 o 59202841184 10.69/10.77 c Solving starts ... 11.89/11.98 c solving time = 1.210s 11.89/11.98 c #decision = 540308 11.89/11.98 c #conflict = 652 11.89/11.98 c #restart = 3 11.89/11.98 o 59202841183 11.89/11.98 c Solving starts ... 13.19/13.23 c solving time = 1.245s 13.19/13.23 c #decision = 540893 13.19/13.23 c #conflict = 654 13.19/13.23 c #restart = 3 13.19/13.23 o 59202841182 13.19/13.24 c Solving starts ... 26.19/26.24 c solving time = 13.000s 26.19/26.24 c #decision = 541534 26.19/26.24 c #conflict = 684 26.19/26.24 c #restart = 3 26.19/26.24 o 59202841181 26.19/26.25 c Solving starts ... 30.68/30.75 c solving time = 4.500s 30.68/30.75 c #decision = 542226 30.68/30.75 c #conflict = 694 30.68/30.75 c #restart = 3 30.68/30.76 o 59202841180 30.68/30.76 c Solving starts ... 39.38/39.44 c solving time = 8.675s 39.38/39.44 c #decision = 542813 39.38/39.44 c #conflict = 711 39.38/39.44 c #restart = 3 39.38/39.44 o 59202841179 39.38/39.44 c Solving starts ... 52.97/53.03 c solving time = 13.582s 52.97/53.03 c #decision = 543422 52.97/53.03 c #conflict = 739 52.97/53.03 c #restart = 3 52.97/53.03 o 59202841178 52.97/53.04 c Solving starts ... 79.85/79.91 c solving time = 26.856s 79.85/79.91 c #decision = 544080 79.85/79.91 c #conflict = 794 79.85/79.91 c #restart = 3 79.85/79.91 o 59202841177 79.85/79.92 c Solving starts ... 211.24/211.31 c solving time = 131.366s 211.24/211.31 c #decision = 547581 211.24/211.31 c #conflict = 1073 211.24/211.31 c #restart = 5 211.24/211.31 o 59202841176 211.24/211.31 c Solving starts ... 323.33/323.46 c solving time = 112.132s 323.33/323.46 c #decision = 548575 323.33/323.46 c #conflict = 1289 323.33/323.46 c #restart = 6 323.33/323.46 o 59202841175 323.33/323.49 c Solving starts ... 372.82/372.99 c solving time = 49.487s 372.82/372.99 c #decision = 549255 372.82/372.99 c #conflict = 1385 372.82/372.99 c #restart = 6 372.82/372.99 o 59202841174 372.82/373.00 c Solving starts ... 441.20/441.35 c solving time = 68.338s 441.20/441.35 c #decision = 550942 441.20/441.35 c #conflict = 1520 441.20/441.35 c #restart = 7 441.20/441.35 o 59199340534 441.20/441.35 c Solving starts ... 500.30/500.43 c solving time = 59.069s 500.30/500.43 c #decision = 551783 500.30/500.43 c #conflict = 1632 500.30/500.43 c #restart = 8 500.30/500.43 o 59199340533 500.30/500.44 c Solving starts ... 757.86/758.08 c solving time = 257.597s 757.86/758.08 c #decision = 554336 757.86/758.08 c #conflict = 2137 757.86/758.08 c #restart = 11 757.86/758.08 o 59199340532 757.86/758.08 c Solving starts ... 824.35/824.53 c solving time = 66.437s 824.35/824.53 c #decision = 556091 824.35/824.53 c #conflict = 2266 824.35/824.53 c #restart = 12 824.35/824.53 o 59195839896 824.35/824.54 c Solving starts ... 826.14/826.31 c solving time = 1.767s 826.14/826.31 c #decision = 556575 826.14/826.31 c #conflict = 2268 826.14/826.31 c #restart = 12 826.14/826.31 o 59195839895 826.14/826.31 c Solving starts ... 827.45/827.61 c solving time = 1.295s 827.45/827.61 c #decision = 557048 827.45/827.61 c #conflict = 2269 827.45/827.61 c #restart = 12 827.45/827.62 o 59195839894 827.45/827.62 c Solving starts ... 834.44/834.62 c solving time = 6.992s 834.44/834.62 c #decision = 557541 834.44/834.62 c #conflict = 2281 834.44/834.62 c #restart = 12 834.44/834.62 o 59195839893 834.44/834.62 c Solving starts ... 853.24/853.48 c solving time = 18.855s 853.24/853.48 c #decision = 558061 853.24/853.48 c #conflict = 2317 853.24/853.48 c #restart = 12 853.24/853.48 o 59195839892 853.24/853.49 c Solving starts ... 918.34/918.59 c solving time = 65.087s 918.34/918.59 c #decision = 558825 918.34/918.59 c #conflict = 2442 918.34/918.59 c #restart = 13 918.34/918.59 o 59195839891 918.34/918.59 c Solving starts ... 997.22/997.45 c solving time = 78.838s 997.22/997.45 c #decision = 561930 997.22/997.45 c #conflict = 2598 997.22/997.45 c #restart = 14 997.22/997.45 o 59192339255 997.22/997.45 c Solving starts ... 1000.82/1001.10 c solving time = 3.638s 1000.82/1001.10 c #decision = 562428 1000.82/1001.10 c #conflict = 2603 1000.82/1001.10 c #restart = 14 1000.92/1001.10 o 59192339254 1000.92/1001.10 c Solving starts ... 1008.22/1008.46 c solving time = 7.350s 1008.22/1008.46 c #decision = 562917 1008.22/1008.46 c #conflict = 2616 1008.22/1008.46 c #restart = 14 1008.22/1008.46 o 59192339253 1008.22/1008.46 c Solving starts ... 1014.62/1014.85 c solving time = 6.386s 1014.62/1014.85 c #decision = 563424 1014.62/1014.85 c #conflict = 2626 1014.62/1014.85 c #restart = 14 1014.62/1014.85 o 59192339252 1014.62/1014.86 c Solving starts ... 1081.61/1081.89 c solving time = 67.023s 1081.61/1081.89 c #decision = 564197 1081.61/1081.89 c #conflict = 2751 1081.61/1081.89 c #restart = 15 1081.61/1081.89 o 59192339251 1081.71/1081.90 c Solving starts ... 1130.20/1130.47 c solving time = 48.562s 1130.20/1130.47 c #decision = 564823 1130.20/1130.47 c #conflict = 2841 1130.20/1130.47 c #restart = 15 1130.20/1130.47 o 59192339250 1130.20/1130.48 c Solving starts ... 1238.39/1238.65 c solving time = 108.152s 1238.39/1238.65 c #decision = 566345 1238.39/1238.65 c #conflict = 3046 1238.39/1238.65 c #restart = 16 1238.39/1238.65 o 59192339249 1238.39/1238.65 c Solving starts ... 1314.97/1315.21 c solving time = 76.536s 1314.97/1315.21 c #decision = 567098 1314.97/1315.21 c #conflict = 3186 1314.97/1315.21 c #restart = 17 1314.97/1315.21 o 59192339248 1314.97/1315.21 c Solving starts ... 1451.95/1452.25 c solving time = 137.014s 1451.95/1452.25 c #decision = 569166 1451.95/1452.25 c #conflict = 3439 1451.95/1452.25 c #restart = 19 1451.95/1452.25 o 59188838622 1451.95/1452.25 c Solving starts ... 1455.75/1456.02 c solving time = 3.758s 1455.75/1456.02 c #decision = 569622 1455.75/1456.02 c #conflict = 3445 1455.75/1456.02 c #restart = 19 1455.75/1456.02 o 59188838621 1455.75/1456.02 c Solving starts ... 1458.95/1459.21 c solving time = 3.184s 1458.95/1459.21 c #decision = 570072 1458.95/1459.21 c #conflict = 3448 1458.95/1459.21 c #restart = 19 1458.95/1459.21 o 59188838620 1458.95/1459.21 c Solving starts ... 1468.45/1468.70 c solving time = 9.476s 1468.45/1468.70 c #decision = 570551 1468.45/1468.70 c #conflict = 3467 1468.45/1468.70 c #restart = 19 1468.45/1468.70 o 59188838619 1468.45/1468.70 c Solving starts ... 1471.75/1472.01 c solving time = 3.307s 1471.75/1472.01 c #decision = 571001 1471.75/1472.01 c #conflict = 3470 1471.75/1472.01 c #restart = 19 1471.75/1472.01 o 59188838618 1471.75/1472.02 c Solving starts ... 1477.35/1477.61 c solving time = 5.591s 1477.35/1477.61 c #decision = 571449 1477.35/1477.61 c #conflict = 3477 1477.35/1477.61 c #restart = 19 1477.35/1477.61 o 59188838617 1477.35/1477.62 c Solving starts ... 1483.45/1483.79 c solving time = 6.168s 1483.45/1483.79 c #decision = 571903 1483.45/1483.79 c #conflict = 3485 1483.45/1483.79 c #restart = 19 1483.45/1483.79 o 59188838616 1483.45/1483.80 c Solving starts ... 1489.74/1490.03 c solving time = 6.226s 1489.74/1490.03 c #decision = 572358 1489.74/1490.03 c #conflict = 3493 1489.74/1490.03 c #restart = 19 1489.74/1490.03 o 59188838615 1489.74/1490.03 c Solving starts ... 1515.64/1515.91 c solving time = 25.868s 1515.64/1515.91 c #decision = 572890 1515.64/1515.91 c #conflict = 3538 1515.64/1515.91 c #restart = 19 1515.64/1515.91 o 59188838614 1515.64/1515.92 c Solving starts ... 1523.04/1523.38 c solving time = 7.458s 1523.04/1523.38 c #decision = 573342 1523.04/1523.38 c #conflict = 3548 1523.04/1523.38 c #restart = 19 1523.04/1523.38 o 59188838613 1523.04/1523.38 c Solving starts ... 1565.93/1566.21 c solving time = 42.812s 1565.93/1566.21 c #decision = 573929 1565.93/1566.21 c #conflict = 3623 1565.93/1566.21 c #restart = 19 1565.93/1566.21 o 59188838612 1565.93/1566.21 c Solving starts ... 1578.53/1578.81 c solving time = 12.584s 1578.53/1578.81 c #decision = 574405 1578.53/1578.81 c #conflict = 3642 1578.53/1578.81 c #restart = 19 1578.53/1578.81 o 59188838611 1578.53/1578.81 c Solving starts ... 1619.93/1620.26 c solving time = 41.444s 1619.93/1620.26 c #decision = 574972 1619.93/1620.26 c #conflict = 3714 1619.93/1620.26 c #restart = 19 1619.93/1620.26 o 59188838610 1619.93/1620.27 c Solving starts ... 1676.22/1676.58 c solving time = 56.298s 1676.22/1676.58 c #decision = 575602 1676.22/1676.58 c #conflict = 3812 1676.22/1676.58 c #restart = 19 1676.22/1676.58 o 59188838609 1676.22/1676.59 c Solving starts ... 1704.21/1704.52 c solving time = 27.928s 1704.21/1704.52 c #decision = 576133 1704.21/1704.52 c #conflict = 3859 1704.21/1704.52 c #restart = 19 1704.21/1704.52 o 59188838608 1704.21/1704.53 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-3724717-1338641170/watcher-3724717-1338641170 -o /tmp/evaluation-result-3724717-1338641170/solver-3724717-1338641170 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724717-1338641170.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 2/176 672 /proc/meminfo: memFree=25283992/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=6224 CPUtime=0 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 774 0 0 0 0 0 0 0 20 0 1 0 330244299 6373376 694 33554432000 4194304 8989770 140734590012384 140737303121800 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/672/statm: 1556 698 424 1171 0 333 0 [startup+0.0885861 s] /proc/loadavg: 2.00 2.00 2.00 2/176 672 /proc/meminfo: memFree=25283992/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=11344 CPUtime=0.08 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 2057 0 0 0 8 0 0 0 20 0 1 0 330244299 11616256 1977 33554432000 4194304 8989770 140734590012384 140734590011880 5654065 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/672/statm: 2836 1977 431 1171 0 1613 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11344 [startup+0.100238 s] /proc/loadavg: 2.00 2.00 2.00 2/176 672 /proc/meminfo: memFree=25283992/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=11344 CPUtime=0.09 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 2113 0 0 0 9 0 0 0 20 0 1 0 330244299 11616256 2033 33554432000 4194304 8989770 140734590012384 140734590011880 4208855 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/672/statm: 2836 2033 431 1171 0 1613 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11344 [startup+0.300222 s] /proc/loadavg: 2.00 2.00 2.00 2/176 672 /proc/meminfo: memFree=25283992/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=23632 CPUtime=0.29 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 5185 0 0 0 28 1 0 0 20 0 1 0 330244299 24199168 5105 33554432000 4194304 8989770 140734590012384 140734590011880 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/672/statm: 5908 5105 431 1171 0 4685 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23632 [startup+0.700212 s] /proc/loadavg: 2.00 2.00 2.00 2/176 672 /proc/meminfo: memFree=25283992/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=48208 CPUtime=0.68 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 11351 0 0 0 66 2 0 0 20 0 1 0 330244299 49364992 11271 33554432000 4194304 8989770 140734590012384 140734590011880 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/672/statm: 12052 11271 447 1171 0 10829 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 48208 [startup+1.50018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 673 /proc/meminfo: memFree=25240816/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=48208 CPUtime=1.48 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 11352 0 0 0 146 2 0 0 20 0 1 0 330244299 49364992 11272 33554432000 4194304 8989770 140734590012384 140734590011880 4457832 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/672/statm: 12052 11272 448 1171 0 10829 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 48208 [startup+3.10023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 673 /proc/meminfo: memFree=25240444/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=48208 CPUtime=3.09 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 11364 0 0 0 306 3 0 0 20 0 1 0 330244299 49364992 11284 33554432000 4194304 8989770 140734590012384 140734590011648 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/672/statm: 12052 11284 460 1171 0 10829 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 48208 [startup+6.30024 s] /proc/loadavg: 2.00 2.00 2.00 3/177 673 /proc/meminfo: memFree=25240336/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=48208 CPUtime=6.29 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 11377 0 0 0 625 4 0 0 20 0 1 0 330244299 49364992 11297 33554432000 4194304 8989770 140734590012384 140734590011880 4400792 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/672/statm: 12052 11297 473 1171 0 10829 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48208 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 673 /proc/meminfo: memFree=25238424/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=51280 CPUtime=12.68 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 12145 0 0 0 1262 6 0 0 20 0 1 0 330244299 52510720 12065 33554432000 4194304 8989770 140734590012384 140734590011880 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/672/statm: 12820 12065 473 1171 0 11597 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 51280 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 673 /proc/meminfo: memFree=25233240/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=52304 CPUtime=25.49 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 12401 0 0 0 2538 11 0 0 20 0 1 0 330244299 53559296 12321 33554432000 4194304 8989770 140734590012384 140734590011880 4425928 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/672/statm: 13076 12321 473 1171 0 11853 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 52304 [startup+51.1002 s] /proc/loadavg: 1.92 1.98 1.99 3/177 712 /proc/meminfo: memFree=25446452/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=55376 CPUtime=51.07 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 13169 0 0 0 5090 17 0 0 20 0 1 0 330244299 56705024 13089 33554432000 4194304 8989770 140734590012384 140734590011880 4425412 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/672/statm: 13844 13089 473 1171 0 12621 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 55376 [startup+102.307 s] /proc/loadavg: 1.96 1.98 1.99 3/177 712 /proc/meminfo: memFree=25442856/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=57424 CPUtime=102.26 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 13697 0 0 0 10195 31 0 0 20 0 1 0 330244299 58802176 13606 33554432000 4194304 8989770 140734590012384 140734590011880 6833368 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 14356 13606 473 1171 0 13133 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 57424 [startup+162.3 s] /proc/loadavg: 1.98 1.98 1.99 3/177 713 /proc/meminfo: memFree=25441892/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=58448 CPUtime=162.25 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 13953 0 0 0 16173 52 0 0 20 0 1 0 330244299 59850752 13862 33554432000 4194304 8989770 140734590012384 140734590010304 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 14612 13862 473 1171 0 13389 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 58448 [startup+222.3 s] /proc/loadavg: 2.03 2.00 2.00 3/177 713 /proc/meminfo: memFree=25435756/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=59472 CPUtime=222.23 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 14209 0 0 0 22150 73 0 0 20 0 1 0 330244299 60899328 14118 33554432000 4194304 8989770 140734590012384 140734590011648 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 14868 14118 473 1171 0 13645 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 59472 [startup+282.3 s] /proc/loadavg: 2.01 2.00 2.00 3/178 716 /proc/meminfo: memFree=25427784/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=60496 CPUtime=282.23 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 14465 0 0 0 28133 90 0 0 20 0 1 0 330244299 61947904 14374 33554432000 4194304 8989770 140734590012384 140734590011648 4204320 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 15124 14374 473 1171 0 13901 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 60496 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 716 /proc/meminfo: memFree=25418488/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=61520 CPUtime=342.22 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 14722 0 0 0 34111 111 0 0 20 0 1 0 330244299 62996480 14630 33554432000 4194304 8989770 140734590012384 140734590011648 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 15380 14630 473 1171 0 14157 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 61520 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 716 /proc/meminfo: memFree=25410556/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=62544 CPUtime=402.21 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 14978 0 0 0 40091 130 0 0 20 0 1 0 330244299 64045056 14886 33554432000 4194304 8989770 140734590012384 140734590010304 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 15636 14886 473 1171 0 14413 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 62544 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 717 /proc/meminfo: memFree=25407456/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=63568 CPUtime=462.2 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 15234 0 0 0 46071 149 0 0 20 0 1 0 330244299 65093632 15142 33554432000 4194304 8989770 140734590012384 140734590011880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 15892 15142 473 1171 0 14669 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 63568 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 717 /proc/meminfo: memFree=25402432/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=65616 CPUtime=522.2 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 15746 0 0 0 52054 166 0 0 20 0 1 0 330244299 67190784 15654 33554432000 4194304 8989770 140734590012384 140734590011880 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 16404 15654 473 1171 0 15181 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 65616 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 717 /proc/meminfo: memFree=25401872/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=65616 CPUtime=582.18 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 15746 0 0 0 58032 186 0 0 20 0 1 0 330244299 67190784 15654 33554432000 4194304 8989770 140734590012384 140734590011648 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 16404 15654 473 1171 0 15181 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 65616 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 721 /proc/meminfo: memFree=25395228/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=72784 CPUtime=882.14 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 17538 0 0 0 87926 288 0 0 20 0 1 0 330244299 74530816 17446 33554432000 4194304 8989770 140734590012384 140734590011880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 18196 17446 473 1171 0 16973 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 72784 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 745 /proc/meminfo: memFree=25391228/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=74832 CPUtime=942.12 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 18050 0 0 0 93905 307 0 0 20 0 1 0 330244299 76627968 17958 33554432000 4194304 8989770 140734590012384 140734590011880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 18708 17958 473 1171 0 17485 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 74832 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 745 /proc/meminfo: memFree=25389996/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=75856 CPUtime=1002.12 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 18306 0 0 0 99884 328 0 0 20 0 1 0 330244299 77676544 18214 33554432000 4194304 8989770 140734590012384 140734590011880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 18964 18214 473 1171 0 17741 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 75856 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 746 /proc/meminfo: memFree=25383608/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=78928 CPUtime=1062.11 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 19075 0 0 0 105861 350 0 0 20 0 1 0 330244299 80822272 18982 33554432000 4194304 8989770 140734590012384 140734590011648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 19732 18982 473 1171 0 18509 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 78928 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 746 /proc/meminfo: memFree=25382616/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=79952 CPUtime=1122.1 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 19331 0 0 0 111839 371 0 0 20 0 1 0 330244299 81870848 19238 33554432000 4194304 8989770 140734590012384 140734590011880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 19988 19238 473 1171 0 18765 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 79952 [startup+1182.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 746 /proc/meminfo: memFree=25379764/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=80976 CPUtime=1182.1 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 19587 0 0 0 117819 391 0 0 20 0 1 0 330244299 82919424 19494 33554432000 4194304 8989770 140734590012384 140734590011648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 20244 19494 473 1171 0 19021 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 80976 [startup+1242.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 746 /proc/meminfo: memFree=25378460/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=82000 CPUtime=1242.08 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 19843 0 0 0 123794 414 0 0 20 0 1 0 330244299 83968000 19750 33554432000 4194304 8989770 140734590012384 140734590011880 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 20500 19750 473 1171 0 19277 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 82000 [startup+1302.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 746 /proc/meminfo: memFree=25377468/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=83024 CPUtime=1302.08 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 20099 0 0 0 129774 434 0 0 20 0 1 0 330244299 85016576 20006 33554432000 4194304 8989770 140734590012384 140734590011648 4209328 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 20756 20006 473 1171 0 19533 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 83024 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 747 /proc/meminfo: memFree=25376040/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=84048 CPUtime=1362.06 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 20355 0 0 0 135750 456 0 0 20 0 1 0 330244299 86065152 20262 33554432000 4194304 8989770 140734590012384 140734590011648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 21012 20262 473 1171 0 19789 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 84048 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 747 /proc/meminfo: memFree=25375976/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=84048 CPUtime=1422.06 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 20355 0 0 0 141730 476 0 0 20 0 1 0 330244299 86065152 20262 33554432000 4194304 8989770 140734590012384 140734590011880 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 21012 20262 473 1171 0 19789 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 84048 [startup+1482.3 s] /proc/loadavg: 2.04 2.01 2.00 3/178 750 /proc/meminfo: memFree=25367792/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=89168 CPUtime=1482.04 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 21635 0 0 0 147707 497 0 0 20 0 1 0 330244299 91308032 21542 33554432000 4194304 8989770 140734590012384 140734590011648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 22292 21542 473 1171 0 21069 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 89168 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 750 /proc/meminfo: memFree=25364200/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=93264 CPUtime=1542.03 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 22662 0 0 0 153684 519 0 0 20 0 1 0 330244299 95502336 22566 33554432000 4194304 8989770 140734590012384 140734590011648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 23316 22566 473 1171 0 22093 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 93264 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 750 /proc/meminfo: memFree=25359984/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=95312 CPUtime=1602.03 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 23174 0 0 0 159664 539 0 0 20 0 1 0 330244299 97599488 23078 33554432000 4194304 8989770 140734590012384 140734590011648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 23828 23078 473 1171 0 22605 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 95312 [startup+1662.3 s] /proc/loadavg: 2.10 2.03 2.01 3/177 751 /proc/meminfo: memFree=25359116/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=96336 CPUtime=1662.02 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 23430 0 0 0 165643 559 0 0 20 0 1 0 330244299 98648064 23334 33554432000 4194304 8989770 140734590012384 140734590011648 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 24084 23334 473 1171 0 22861 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 96336 [startup+1722.3 s] /proc/loadavg: 2.12 2.05 2.01 3/177 751 /proc/meminfo: memFree=25356384/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=98384 CPUtime=1722.01 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 23942 0 0 0 171621 580 0 0 20 0 1 0 330244299 100745216 23846 33554432000 4194304 8989770 140734590012384 140734590011648 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 24596 23846 473 1171 0 23373 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 98384 [startup+1782.3 s] /proc/loadavg: 2.08 2.05 2.01 3/177 751 /proc/meminfo: memFree=25352788/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=99408 CPUtime=1782 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 24198 0 0 0 177602 598 0 0 20 0 1 0 330244299 101793792 24102 33554432000 4194304 8989770 140734590012384 140734590011648 7676480 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 24852 24102 473 1171 0 23629 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 99408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.05 2.05 2.01 3/177 751 /proc/meminfo: memFree=25352912/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=99408 CPUtime=1800 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 24198 0 0 0 179395 605 0 0 20 0 1 0 330244299 101793792 24102 33554432000 4194304 8989770 140734590012384 140734590011880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 24852 24102 473 1171 0 23629 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 99408 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.05 2.05 2.01 3/177 751 /proc/meminfo: memFree=25352912/32873648 swapFree=6852/6852 [pid=672] ppid=670 vsize=99408 CPUtime=1800 cores=0,2,4,6 /proc/672/stat : 672 (toysat) R 670 672 32340 0 -1 4202496 24198 0 0 0 179395 605 0 0 20 0 1 0 330244299 101793792 24102 33554432000 4194304 8989770 140734590012384 140734590011880 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/672/statm: 24852 24102 473 1171 0 23629 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 99408 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.01 CPU user time (s): 1793.96 CPU system time (s): 6.05308 CPU usage (%): 99.9837 Max. virtual memory (cumulated for all children) (KiB): 99408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.96 system time used= 6.05308 maximum resident set size= 96408 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24198 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= 24 involuntary context switches= 2107 runsolver used 3.57146 second user time and 9.27259 second system time The end
Begin job on node112 at 2012-06-02 14:46:10 IDJOB=3724717 IDBENCH=72357 IDSOLVER=2308 FILE ID=node112/3724717-1338641170 RUNJOBID= node112-1338631508-32356 PBS_JOBID= 14636468 Free space on /tmp= 71232 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randd1cab2.cudf.trendy.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724717-1338641170/watcher-3724717-1338641170 -o /tmp/evaluation-result-3724717-1338641170/solver-3724717-1338641170 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724717-1338641170.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 128970b85b6efe83a3eeaa76631470ff RANDOM SEED=1659572850 node112.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.763 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.52 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.763 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.763 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.92 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.763 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.763 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.92 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.763 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.92 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.763 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.763 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: 32873648 kB MemFree: 25284256 kB Buffers: 531576 kB Cached: 5825656 kB SwapCached: 0 kB Active: 2019452 kB Inactive: 4710660 kB Active(anon): 361840 kB Inactive(anon): 10936 kB Active(file): 1657612 kB Inactive(file): 4699724 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 8652 kB Writeback: 0 kB AnonPages: 377216 kB Mapped: 16436 kB Shmem: 200 kB Slab: 722576 kB SReclaimable: 166016 kB SUnreclaim: 556560 kB KernelStack: 1472 kB PageTables: 4788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 484088 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 344064 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= 71220 MiB End job on node112 at 2012-06-02 15:16:13