Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2012-06-01 | ? (TO) | 1800.1 | 1800.41 |
| Name | OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-13.opb |
| MD5SUM | c1379e9d016589d7d827ee897cc8c35f |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 350 |
| Best CPU time to get the best result obtained on this benchmark | 2.78857 |
| 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 | 62963 |
| Total number of constraints | 304567 |
| Number of constraints which are clauses | 304567 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 339 |
| Number of terms in the objective function | 1880 |
| Biggest coefficient in the objective function | 341 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 525480 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 341 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 525480 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
6.09/6.12 c 2012-06-02T17:14:52+0200 6.09/6.12 c arch = x86_64 6.09/6.12 c os = linux 6.09/6.12 c compiler = ghc 7.4 6.09/6.12 c packages: 6.09/6.12 c OptDir-0.0.1 6.09/6.12 c array-0.4.0.0 6.09/6.12 c base-4.5.0.0 6.09/6.12 c bytestring-0.9.2.1 6.09/6.12 c containers-0.4.2.1 6.09/6.12 c deepseq-1.3.0.0 6.09/6.12 c mtl-2.1.1 6.09/6.12 c old_locale-1.0.0.4 6.09/6.12 c parse_dimacs-1.2 6.09/6.12 c parsec-3.1.2 6.09/6.12 c queue-0.1.2 6.09/6.12 c stm-2.3 6.09/6.12 c time-1.4 6.09/6.12 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724971-1338650092.opb"] 6.09/6.12 c #vars 62963 6.09/6.12 c #constraints 304567 6.09/6.12 c Solving starts ... 7.69/7.71 c solving time = 1.545s 7.69/7.71 c #decision = 285948 7.69/7.71 c #conflict = 479 7.69/7.71 c #restart = 3 7.69/7.71 o 3768 7.69/7.72 c Solving starts ... 7.79/7.87 c solving time = 0.106s 7.79/7.87 c #decision = 316278 7.79/7.87 c #conflict = 479 7.79/7.87 c #restart = 3 7.79/7.87 o 3767 7.79/7.87 c Solving starts ... 7.99/8.03 c solving time = 0.109s 7.99/8.03 c #decision = 346745 7.99/8.03 c #conflict = 480 7.99/8.03 c #restart = 3 7.99/8.03 o 3766 7.99/8.03 c Solving starts ... 8.48/8.56 c solving time = 0.472s 8.48/8.56 c #decision = 381373 8.48/8.56 c #conflict = 505 8.48/8.56 c #restart = 3 8.48/8.56 o 3765 8.48/8.56 c Solving starts ... 8.68/8.75 c solving time = 0.137s 8.68/8.75 c #decision = 411951 8.68/8.75 c #conflict = 507 8.68/8.75 c #restart = 3 8.68/8.75 o 3764 8.68/8.75 c Solving starts ... 8.98/9.07 c solving time = 0.272s 8.98/9.07 c #decision = 445987 8.98/9.07 c #conflict = 526 8.98/9.07 c #restart = 3 8.98/9.07 o 3763 8.98/9.07 c Solving starts ... 10.29/10.39 c solving time = 1.269s 10.29/10.39 c #decision = 488537 10.29/10.39 c #conflict = 624 10.29/10.39 c #restart = 3 10.29/10.39 o 3762 10.29/10.39 c Solving starts ... 97.97/98.04 c solving time = 87.575s 97.97/98.04 c #decision = 574730 97.97/98.04 c #conflict = 2076 97.97/98.04 c #restart = 8 97.97/98.04 o 3761 97.97/98.04 c Solving starts ... 191.76/191.87 c solving time = 93.762s 191.76/191.87 c #decision = 616708 191.76/191.87 c #conflict = 3957 191.76/191.87 c #restart = 13 191.76/191.87 o 3430 191.76/191.87 c Solving starts ... 191.95/192.08 c solving time = 0.149s 191.95/192.08 c #decision = 643852 191.95/192.08 c #conflict = 3958 191.95/192.08 c #restart = 13 191.95/192.08 o 3429 191.95/192.08 c Solving starts ... 195.44/195.59 c solving time = 3.457s 195.44/195.59 c #decision = 685065 195.44/195.59 c #conflict = 4046 195.44/195.59 c #restart = 13 195.44/195.59 o 3428 195.54/195.60 c Solving starts ... 195.64/195.78 c solving time = 0.130s 195.64/195.78 c #decision = 714912 195.64/195.78 c #conflict = 4046 195.64/195.78 c #restart = 13 195.64/195.78 o 3427 195.64/195.78 c Solving starts ... 196.15/196.28 c solving time = 0.441s 196.15/196.28 c #decision = 744326 196.15/196.28 c #conflict = 4047 196.15/196.28 c #restart = 13 196.15/196.28 o 3426 196.15/196.28 c Solving starts ... 196.55/196.65 c solving time = 0.323s 196.55/196.65 c #decision = 773243 196.55/196.65 c #conflict = 4057 196.55/196.65 c #restart = 13 196.55/196.65 o 3425 196.55/196.66 c Solving starts ... 199.64/199.76 c solving time = 3.050s 199.64/199.76 c #decision = 802798 199.64/199.76 c #conflict = 4101 199.64/199.76 c #restart = 13 199.64/199.76 o 3424 199.64/199.76 c Solving starts ... 203.14/203.21 c solving time = 3.395s 203.14/203.21 c #decision = 836162 203.14/203.21 c #conflict = 4200 203.14/203.21 c #restart = 13 203.14/203.21 o 3423 203.14/203.22 c Solving starts ... 206.04/206.15 c solving time = 2.882s 206.04/206.15 c #decision = 868965 206.04/206.15 c #conflict = 4266 206.04/206.15 c #restart = 13 206.04/206.15 o 3422 206.04/206.16 c Solving starts ... 287.62/287.72 c solving time = 81.498s 287.62/287.72 c #decision = 920770 287.62/287.72 c #conflict = 5615 287.62/287.72 c #restart = 18 287.62/287.72 o 3421 287.62/287.73 c Solving starts ... 287.82/287.91 c solving time = 0.130s 287.82/287.91 c #decision = 950763 287.82/287.91 c #conflict = 5616 287.82/287.91 c #restart = 18 287.82/287.91 o 3080 287.82/287.91 c Solving starts ... 335.52/335.61 c solving time = 47.640s 335.52/335.61 c #decision = 994950 335.52/335.61 c #conflict = 6670 335.52/335.61 c #restart = 22 335.52/335.61 o 2743 335.52/335.61 c Solving starts ... 336.21/336.30 c solving time = 0.640s 336.21/336.30 c #decision = 1025650 336.21/336.30 c #conflict = 6698 336.21/336.30 c #restart = 22 336.21/336.30 o 2742 336.31/336.40 c Solving starts ... 337.22/337.39 c solving time = 0.933s 337.22/337.39 c #decision = 1064042 337.22/337.39 c #conflict = 6735 337.22/337.39 c #restart = 22 337.22/337.39 o 2741 337.22/337.39 c Solving starts ... 378.31/378.43 c solving time = 40.980s 378.31/378.43 c #decision = 1112355 378.31/378.43 c #conflict = 7672 378.31/378.43 c #restart = 26 378.31/378.43 o 2740 378.31/378.43 c Solving starts ... 378.50/378.68 c solving time = 0.196s 378.50/378.68 c #decision = 1143774 378.50/378.68 c #conflict = 7674 378.50/378.68 c #restart = 26 378.50/378.68 o 2739 378.50/378.68 c Solving starts ... 390.60/390.77 c solving time = 12.039s 390.60/390.77 c #decision = 1196720 390.60/390.77 c #conflict = 8084 390.60/390.77 c #restart = 28 390.60/390.77 o 2738 390.60/390.77 c Solving starts ... 390.80/390.96 c solving time = 0.136s 390.80/390.96 c #decision = 1229121 390.80/390.96 c #conflict = 8085 390.80/390.96 c #restart = 28 390.80/390.96 o 2397 390.80/390.96 c Solving starts ... 391.00/391.14 c solving time = 0.132s 391.00/391.14 c #decision = 1260877 391.00/391.14 c #conflict = 8086 391.00/391.14 c #restart = 28 391.00/391.14 o 2396 391.00/391.14 c Solving starts ... 400.20/400.38 c solving time = 9.183s 400.20/400.38 c #decision = 1297810 400.20/400.38 c #conflict = 8358 400.20/400.38 c #restart = 30 400.20/400.38 o 2057 400.20/400.38 c Solving starts ... 412.00/412.16 c solving time = 11.724s 412.00/412.16 c #decision = 1330213 412.00/412.16 c #conflict = 8463 412.00/412.16 c #restart = 31 412.00/412.16 o 1719 412.00/412.16 c Solving starts ... 412.20/412.35 c solving time = 0.136s 412.20/412.35 c #decision = 1360288 412.20/412.35 c #conflict = 8463 412.20/412.35 c #restart = 31 412.20/412.35 o 1718 412.20/412.35 c Solving starts ... 412.41/412.53 c solving time = 0.133s 412.41/412.53 c #decision = 1390715 412.41/412.53 c #conflict = 8463 412.41/412.53 c #restart = 31 412.41/412.53 o 1717 412.41/412.53 c Solving starts ... 412.60/412.72 c solving time = 0.134s 412.60/412.72 c #decision = 1420899 412.60/412.72 c #conflict = 8463 412.60/412.72 c #restart = 31 412.60/412.72 o 1716 412.60/412.72 c Solving starts ... 414.40/414.56 c solving time = 1.789s 414.40/414.56 c #decision = 1452236 414.40/414.56 c #conflict = 8505 414.40/414.56 c #restart = 31 414.40/414.56 o 1715 414.40/414.56 c Solving starts ... 432.30/432.41 c solving time = 17.798s 432.30/432.41 c #decision = 1485846 432.30/432.41 c #conflict = 8672 432.30/432.41 c #restart = 32 432.30/432.41 o 1714 432.30/432.42 c Solving starts ... 434.10/434.26 c solving time = 1.793s 434.10/434.26 c #decision = 1518990 434.10/434.26 c #conflict = 8708 434.10/434.26 c #restart = 32 434.10/434.26 o 1713 434.10/434.26 c Solving starts ... 449.09/449.21 c solving time = 14.896s 449.09/449.21 c #decision = 1551822 449.09/449.21 c #conflict = 8909 449.09/449.21 c #restart = 33 449.09/449.21 o 1379 449.19/449.32 c Solving starts ... 449.39/449.51 c solving time = 0.140s 449.39/449.51 c #decision = 1584082 449.39/449.51 c #conflict = 8909 449.39/449.51 c #restart = 33 449.39/449.51 o 1378 449.39/449.51 c Solving starts ... 449.69/449.90 c solving time = 0.337s 449.69/449.90 c #decision = 1616731 449.69/449.90 c #conflict = 8919 449.69/449.90 c #restart = 33 449.69/449.90 o 1377 449.69/449.90 c Solving starts ... 449.90/450.08 c solving time = 0.137s 449.90/450.08 c #decision = 1648520 449.90/450.08 c #conflict = 8919 449.90/450.08 c #restart = 33 449.90/450.08 o 1376 449.90/450.09 c Solving starts ... 450.20/450.31 c solving time = 0.179s 450.20/450.31 c #decision = 1680406 450.20/450.31 c #conflict = 8922 450.20/450.31 c #restart = 33 450.20/450.31 o 1375 450.20/450.32 c Solving starts ... 450.69/450.83 c solving time = 0.462s 450.69/450.83 c #decision = 1712551 450.69/450.83 c #conflict = 8923 450.69/450.83 c #restart = 33 450.69/450.83 o 1374 450.69/450.83 c Solving starts ... 451.39/451.55 c solving time = 0.665s 451.39/451.55 c #decision = 1745055 451.39/451.55 c #conflict = 8932 451.39/451.55 c #restart = 33 451.39/451.55 o 1373 451.39/451.55 c Solving starts ... 451.69/451.84 c solving time = 0.235s 451.69/451.84 c #decision = 1778555 451.69/451.84 c #conflict = 8933 451.69/451.84 c #restart = 33 451.69/451.84 o 1372 451.69/451.84 c Solving starts ... 584.98/585.20 c solving time = 133.291s 584.98/585.20 c #decision = 1812995 584.98/585.20 c #conflict = 9750 584.98/585.20 c #restart = 37 584.98/585.20 o 1035 584.98/585.20 c Solving starts ... 585.18/585.39 c solving time = 0.137s 585.18/585.39 c #decision = 1845128 585.18/585.39 c #conflict = 9750 585.18/585.39 c #restart = 37 585.18/585.39 o 1034 585.18/585.39 c Solving starts ... 585.47/585.60 c solving time = 0.164s 585.47/585.60 c #decision = 1877468 585.47/585.60 c #conflict = 9752 585.47/585.60 c #restart = 37 585.47/585.60 o 1033 585.47/585.61 c Solving starts ... 585.77/585.91 c solving time = 0.256s 585.77/585.91 c #decision = 1910072 585.77/585.91 c #conflict = 9752 585.77/585.91 c #restart = 37 585.77/585.91 o 1032 585.77/585.91 c Solving starts ... 839.43/839.61 c solving time = 253.612s 839.43/839.61 c #decision = 1944848 839.43/839.61 c #conflict = 10826 839.43/839.61 c #restart = 41 839.43/839.61 o 695 839.43/839.62 c Solving starts ... 839.63/839.81 c solving time = 0.146s 839.63/839.81 c #decision = 1977222 839.63/839.81 c #conflict = 10826 839.63/839.81 c #restart = 41 839.63/839.81 o 694 839.63/839.82 c Solving starts ... 839.83/840.01 c solving time = 0.142s 839.83/840.01 c #decision = 2009325 839.83/840.01 c #conflict = 10826 839.83/840.01 c #restart = 41 839.83/840.01 o 693 839.83/840.01 c Solving starts ... 840.03/840.22 c solving time = 0.162s 840.03/840.22 c #decision = 2041623 840.03/840.22 c #conflict = 10827 840.03/840.22 c #restart = 41 840.03/840.22 o 692 840.03/840.22 c Solving starts ... 994.50/994.78 c solving time = 154.488s 994.50/994.78 c #decision = 2086863 994.50/994.78 c #conflict = 13299 994.50/994.78 c #restart = 47 994.50/994.78 o 355 994.50/994.78 c Solving starts ... 995.01/995.28 c solving time = 0.450s 995.01/995.28 c #decision = 2117778 995.01/995.28 c #conflict = 13306 995.01/995.28 c #restart = 47 995.01/995.28 o 354 995.01/995.29 c Solving starts ... 1011.11/1011.31 c solving time = 15.971s 1011.11/1011.31 c #decision = 2154704 1011.11/1011.31 c #conflict = 13858 1011.11/1011.31 c #restart = 50 1011.11/1011.31 o 353 1011.11/1011.31 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-3724971-1338650092/watcher-3724971-1338650092 -o /tmp/evaluation-result-3724971-1338650092/solver-3724971-1338650092 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724971-1338650092.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.07 2.02 2.00 3/176 18172 /proc/meminfo: memFree=28214896/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=6224 CPUtime=0 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 810 0 0 0 0 0 0 0 20 0 1 0 331133712 6373376 731 33554432000 4194304 8989770 140735950681712 140735568720696 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18172/statm: 1556 731 424 1171 0 333 0 [startup+0.102008 s] /proc/loadavg: 2.07 2.02 2.00 3/176 18172 /proc/meminfo: memFree=28214896/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=12368 CPUtime=0.09 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 2229 0 0 0 9 0 0 0 20 0 1 0 331133712 12664832 2150 33554432000 4194304 8989770 140735950681712 140735568720696 4209439 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18172/statm: 3092 2150 431 1171 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12368 [startup+0.200275 s] /proc/loadavg: 2.07 2.02 2.00 3/176 18172 /proc/meminfo: memFree=28214896/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=17488 CPUtime=0.19 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 3650 0 0 0 19 0 0 0 20 0 1 0 331133712 17907712 3571 33554432000 4194304 8989770 140735950681712 140735568720696 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18172/statm: 4372 3571 431 1171 0 3149 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 17488 [startup+0.300279 s] /proc/loadavg: 2.07 2.02 2.00 3/176 18172 /proc/meminfo: memFree=28214896/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=25680 CPUtime=0.28 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 5658 0 0 0 28 0 0 0 20 0 1 0 331133712 26296320 5579 33554432000 4194304 8989770 140735950681712 140735568720696 7732715 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18172/statm: 6420 5579 431 1171 0 5197 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 25680 [startup+0.700231 s] /proc/loadavg: 2.07 2.02 2.00 3/176 18172 /proc/meminfo: memFree=28214896/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=42064 CPUtime=0.69 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 9794 0 0 0 68 1 0 0 20 0 1 0 331133712 43073536 9715 33554432000 4194304 8989770 140735950681712 140735950681208 4212503 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18172/statm: 10516 9715 431 1171 0 9293 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42064 [startup+1.50024 s] /proc/loadavg: 2.06 2.02 2.00 3/177 18173 /proc/meminfo: memFree=28148904/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=94288 CPUtime=1.49 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 22850 0 0 0 145 4 0 0 20 0 1 0 331133712 96550912 22771 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18172/statm: 23572 22771 431 1171 0 22349 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 94288 [startup+3.10024 s] /proc/loadavg: 2.06 2.02 2.00 3/177 18173 /proc/meminfo: memFree=28095460/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=164944 CPUtime=3.09 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 40514 0 0 0 301 8 0 0 20 0 1 0 331133712 168902656 40435 33554432000 4194304 8989770 140735950681712 140735950680976 4208833 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18172/statm: 41236 40435 431 1171 0 40013 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 164944 [startup+6.30024 s] /proc/loadavg: 2.06 2.01 2.00 3/177 18173 /proc/meminfo: memFree=27880072/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=338000 CPUtime=6.29 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83811 0 0 0 614 15 0 0 20 0 1 0 331133712 346112000 83732 33554432000 4194304 8989770 140735950681712 140735950680976 5399896 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18172/statm: 84500 83732 458 1171 0 83277 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 338000 [startup+12.7002 s] /proc/loadavg: 2.05 2.01 2.00 3/177 18173 /proc/meminfo: memFree=27946344/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=12.68 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83824 0 0 0 1251 17 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950681208 4204624 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 271440 [startup+25.5003 s] /proc/loadavg: 2.04 2.01 2.00 3/177 18173 /proc/meminfo: memFree=27946628/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=25.48 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83824 0 0 0 2526 22 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 271440 [startup+51.1003 s] /proc/loadavg: 2.02 2.01 2.00 3/177 18173 /proc/meminfo: memFree=27947640/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=51.08 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83824 0 0 0 5075 33 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950680976 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 271440 [startup+102.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 18174 /proc/meminfo: memFree=27947560/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=102.27 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83824 0 0 0 10176 51 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950680976 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 271440 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18174 /proc/meminfo: memFree=27947340/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=162.26 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83824 0 0 0 16151 75 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950680976 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 271440 [startup+222.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18174 /proc/meminfo: memFree=27948732/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=222.24 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83845 0 0 0 22126 98 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 271440 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18174 /proc/meminfo: memFree=27948600/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=282.22 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83851 0 0 0 28099 123 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950681208 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 271440 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18177 /proc/meminfo: memFree=27948732/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=342.21 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83855 0 0 0 34074 147 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950680976 4209309 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 271440 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18178 /proc/meminfo: memFree=27948724/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=402.2 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83861 0 0 0 40050 170 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 271440 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18178 /proc/meminfo: memFree=27948604/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=462.19 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83861 0 0 0 46026 193 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 271440 [startup+522.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 18178 /proc/meminfo: memFree=27948604/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=522.18 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83861 0 0 0 52000 218 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950680976 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 271440 [startup+582.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 18178 /proc/meminfo: memFree=27948728/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=582.18 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83861 0 0 0 57976 242 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950680976 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 271440 [startup+642.3 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18179 /proc/meminfo: memFree=27948728/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=882.13 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83861 0 0 0 87850 363 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950680976 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 271440 [startup+942.3 s] /proc/loadavg: 2.05 2.01 2.00 3/178 18182 /proc/meminfo: memFree=27948708/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=942.12 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83861 0 0 0 93826 386 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950680976 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 271440 [startup+1002.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 18182 /proc/meminfo: memFree=27948716/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=271440 CPUtime=1002.11 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 83861 0 0 0 99801 410 0 0 20 0 1 0 331133712 277954560 67105 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 67860 67105 471 1171 0 66637 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 271440 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 18184 /proc/meminfo: memFree=27947352/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=272464 CPUtime=1062.1 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 84117 0 0 0 105775 435 0 0 20 0 1 0 331133712 279003136 67361 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 68116 67361 471 1171 0 66893 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 272464 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18184 /proc/meminfo: memFree=27946492/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=273488 CPUtime=1122.09 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 84373 0 0 0 111749 460 0 0 20 0 1 0 331133712 280051712 67617 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 68372 67617 471 1171 0 67149 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 273488 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18184 /proc/meminfo: memFree=27944320/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=275536 CPUtime=1182.08 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 84885 0 0 0 117726 482 0 0 20 0 1 0 331133712 282148864 68129 33554432000 4194304 8989770 140735950681712 140735950681208 4208846 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 68884 68129 471 1171 0 67661 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 275536 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18184 /proc/meminfo: memFree=27944072/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=275536 CPUtime=1242.07 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 84885 0 0 0 123700 507 0 0 20 0 1 0 331133712 282148864 68129 33554432000 4194304 8989770 140735950681712 140735950680976 4213787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 68884 68129 471 1171 0 67661 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 275536 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18184 /proc/meminfo: memFree=27944072/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=275536 CPUtime=1302.06 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 84885 0 0 0 129678 528 0 0 20 0 1 0 331133712 282148864 68129 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 68884 68129 471 1171 0 67661 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 275536 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18185 /proc/meminfo: memFree=27942832/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=276560 CPUtime=1362.06 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 85141 0 0 0 135654 552 0 0 20 0 1 0 331133712 283197440 68385 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 69140 68385 471 1171 0 67917 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 276560 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 18185 /proc/meminfo: memFree=27943336/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=277584 CPUtime=1422.05 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 85397 0 0 0 141630 575 0 0 20 0 1 0 331133712 284246016 68641 33554432000 4194304 8989770 140735950681712 140735950679680 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 69396 68641 471 1171 0 68173 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 277584 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 18186 /proc/meminfo: memFree=27942100/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=277584 CPUtime=1482.04 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 85397 0 0 0 147606 598 0 0 20 0 1 0 331133712 284246016 68641 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 69396 68641 471 1171 0 68173 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 277584 [startup+1542.31 s] /proc/loadavg: 2.04 2.01 2.00 3/178 18189 /proc/meminfo: memFree=27942584/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=277584 CPUtime=1542.03 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 85397 0 0 0 153580 623 0 0 20 0 1 0 331133712 284246016 68641 33554432000 4194304 8989770 140735950681712 140735950680976 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 69396 68641 471 1171 0 68173 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 277584 [startup+1602.3 s] /proc/loadavg: 1.93 1.99 1.99 2/171 18214 /proc/meminfo: memFree=28371720/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=278608 CPUtime=1602.02 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 85653 0 0 0 159556 646 0 0 20 0 1 0 331133712 285294592 68897 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 69652 68897 471 1171 0 68429 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 278608 [startup+1662.3 s] /proc/loadavg: 1.34 1.81 1.93 2/171 18215 /proc/meminfo: memFree=28372300/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=278608 CPUtime=1662.01 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 85653 0 0 0 165530 671 0 0 20 0 1 0 331133712 285294592 68897 33554432000 4194304 8989770 140735950681712 140735950681208 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 69652 68897 471 1171 0 68429 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 278608 [startup+1722.3 s] /proc/loadavg: 1.12 1.66 1.87 2/171 18215 /proc/meminfo: memFree=28372424/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=278608 CPUtime=1722 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 85653 0 0 0 171504 696 0 0 20 0 1 0 331133712 285294592 68897 33554432000 4194304 8989770 140735950681712 140735950680976 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 69652 68897 471 1171 0 68429 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 278608 [startup+1782.3 s] /proc/loadavg: 1.04 1.54 1.81 2/171 18215 /proc/meminfo: memFree=28371184/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=279632 CPUtime=1781.99 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 85909 0 0 0 177478 721 0 0 20 0 1 0 331133712 286343168 69153 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 69908 69153 471 1171 0 68685 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 279632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.03 1.50 1.79 2/171 18215 /proc/meminfo: memFree=28371308/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=279632 CPUtime=1800.09 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 85909 0 0 0 179282 727 0 0 20 0 1 0 331133712 286343168 69153 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 69908 69153 471 1171 0 68685 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 279632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 1.03 1.50 1.79 2/171 18215 /proc/meminfo: memFree=28371308/32873648 swapFree=7388/7388 [pid=18172] ppid=18170 vsize=279632 CPUtime=1800.09 cores=0,2,4,6 /proc/18172/stat : 18172 (toysat) R 18170 18172 16576 0 -1 4202496 85909 0 0 0 179282 727 0 0 20 0 1 0 331133712 286343168 69153 33554432000 4194304 8989770 140735950681712 140735950681208 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18172/statm: 69908 69153 471 1171 0 68685 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 279632 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.1 CPU user time (s): 1792.83 CPU system time (s): 7.27489 CPU usage (%): 99.9831 Max. virtual memory (cumulated for all children) (KiB): 338000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.83 system time used= 7.27489 maximum resident set size= 334928 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 85909 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= 40 involuntary context switches= 2222 runsolver used 3.44148 second user time and 9.2346 second system time The end
Begin job on node148 at 2012-06-02 17:14:52 IDJOB=3724971 IDBENCH=92880 IDSOLVER=2308 FILE ID=node148/3724971-1338650092 RUNJOBID= node148-1338631508-16592 PBS_JOBID= 14636432 Free space on /tmp= 71368 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-13.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724971-1338650092/watcher-3724971-1338650092 -o /tmp/evaluation-result-3724971-1338650092/solver-3724971-1338650092 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724971-1338650092.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c1379e9d016589d7d827ee897cc8c35f RANDOM SEED=1008092689 node148.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.284 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.56 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.284 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.94 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.284 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 : 2667.284 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 : 2667.284 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 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.284 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.90 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.284 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28215160 kB Buffers: 577268 kB Cached: 2761460 kB SwapCached: 628 kB Active: 1736456 kB Inactive: 2018452 kB Active(anon): 405708 kB Inactive(anon): 10672 kB Active(file): 1330748 kB Inactive(file): 2007780 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67107564 kB Dirty: 16892 kB Writeback: 0 kB AnonPages: 420624 kB Mapped: 12740 kB Shmem: 36 kB Slab: 765096 kB SReclaimable: 208968 kB SUnreclaim: 556128 kB KernelStack: 1432 kB PageTables: 4664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 529224 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 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= 71384 MiB End job on node148 at 2012-06-02 17:44:55