Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2012-05-17 | ? (TO) | 1800.09 | 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 |
5.99/6.02 c 2012-05-29T02:12:58+0200 5.99/6.02 c arch = x86_64 5.99/6.02 c os = linux 5.99/6.02 c compiler = ghc 7.4 5.99/6.02 c packages: 5.99/6.02 c OptDir-0.0.1 5.99/6.02 c array-0.4.0.0 5.99/6.02 c base-4.5.0.0 5.99/6.02 c bytestring-0.9.2.1 5.99/6.02 c containers-0.4.2.1 5.99/6.02 c deepseq-1.3.0.0 5.99/6.02 c mtl-2.1.1 5.99/6.02 c old_locale-1.0.0.4 5.99/6.02 c parse_dimacs-1.2 5.99/6.02 c parsec-3.1.2 5.99/6.02 c queue-0.1.2 5.99/6.02 c stm-2.3 5.99/6.02 c time-1.4 5.99/6.02 c command line = ["--pb","HOME/instance-3706598-1338250378.opb"] 5.99/6.02 c #vars 62963 5.99/6.02 c #constraints 304567 5.99/6.02 c Solving starts ... 7.59/7.60 c solving time = 1.539s 7.59/7.60 c #decision = 285948 7.59/7.60 c #conflict = 479 7.59/7.60 c #restart = 3 7.59/7.60 o 3768 7.59/7.61 c Solving starts ... 7.69/7.75 c solving time = 0.101s 7.69/7.75 c #decision = 316278 7.69/7.75 c #conflict = 479 7.69/7.75 c #restart = 3 7.69/7.75 o 3767 7.69/7.76 c Solving starts ... 7.88/7.91 c solving time = 0.104s 7.88/7.91 c #decision = 346745 7.88/7.91 c #conflict = 480 7.88/7.91 c #restart = 3 7.88/7.91 o 3766 7.88/7.91 c Solving starts ... 8.38/8.43 c solving time = 0.466s 8.38/8.43 c #decision = 381373 8.38/8.43 c #conflict = 505 8.38/8.43 c #restart = 3 8.38/8.43 o 3765 8.38/8.43 c Solving starts ... 8.59/8.61 c solving time = 0.138s 8.59/8.61 c #decision = 411951 8.59/8.61 c #conflict = 507 8.59/8.61 c #restart = 3 8.59/8.61 o 3764 8.59/8.62 c Solving starts ... 8.89/8.94 c solving time = 0.269s 8.89/8.94 c #decision = 445987 8.89/8.94 c #conflict = 526 8.89/8.94 c #restart = 3 8.89/8.94 o 3763 8.89/8.94 c Solving starts ... 10.19/10.26 c solving time = 1.271s 10.19/10.26 c #decision = 488537 10.19/10.26 c #conflict = 624 10.19/10.26 c #restart = 3 10.19/10.26 o 3762 10.19/10.26 c Solving starts ... 101.95/102.02 c solving time = 91.665s 101.95/102.02 c #decision = 574730 101.95/102.02 c #conflict = 2076 101.95/102.02 c #restart = 8 101.95/102.02 o 3761 101.95/102.02 c Solving starts ... 198.13/198.28 c solving time = 96.192s 198.13/198.28 c #decision = 616708 198.13/198.28 c #conflict = 3957 198.13/198.28 c #restart = 13 198.13/198.28 o 3430 198.13/198.29 c Solving starts ... 198.32/198.48 c solving time = 0.145s 198.32/198.48 c #decision = 643852 198.32/198.48 c #conflict = 3958 198.32/198.48 c #restart = 13 198.32/198.48 o 3429 198.32/198.48 c Solving starts ... 201.83/201.99 c solving time = 3.457s 201.83/201.99 c #decision = 685065 201.83/201.99 c #conflict = 4046 201.83/201.99 c #restart = 13 201.83/201.99 o 3428 201.83/201.99 c Solving starts ... 202.03/202.16 c solving time = 0.124s 202.03/202.16 c #decision = 714912 202.03/202.16 c #conflict = 4046 202.03/202.16 c #restart = 13 202.03/202.16 o 3427 202.03/202.17 c Solving starts ... 202.53/202.65 c solving time = 0.435s 202.53/202.65 c #decision = 744326 202.53/202.65 c #conflict = 4047 202.53/202.65 c #restart = 13 202.53/202.65 o 3426 202.53/202.65 c Solving starts ... 202.93/203.02 c solving time = 0.317s 202.93/203.02 c #decision = 773243 202.93/203.02 c #conflict = 4057 202.93/203.02 c #restart = 13 202.93/203.02 o 3425 202.93/203.02 c Solving starts ... 206.02/206.11 c solving time = 3.044s 206.02/206.11 c #decision = 802798 206.02/206.11 c #conflict = 4101 206.02/206.11 c #restart = 13 206.02/206.11 o 3424 206.02/206.11 c Solving starts ... 209.43/209.55 c solving time = 3.391s 209.43/209.55 c #decision = 836162 209.43/209.55 c #conflict = 4200 209.43/209.55 c #restart = 13 209.43/209.55 o 3423 209.43/209.55 c Solving starts ... 212.33/212.47 c solving time = 2.868s 212.33/212.47 c #decision = 868965 212.33/212.47 c #conflict = 4266 212.33/212.47 c #restart = 13 212.33/212.47 o 3422 212.33/212.47 c Solving starts ... 294.51/294.70 c solving time = 82.163s 294.51/294.70 c #decision = 920770 294.51/294.70 c #conflict = 5615 294.51/294.70 c #restart = 18 294.51/294.70 o 3421 294.51/294.70 c Solving starts ... 294.71/294.87 c solving time = 0.128s 294.71/294.87 c #decision = 950763 294.71/294.87 c #conflict = 5616 294.71/294.87 c #restart = 18 294.71/294.87 o 3080 294.71/294.88 c Solving starts ... 343.00/343.14 c solving time = 48.203s 343.00/343.14 c #decision = 994950 343.00/343.14 c #conflict = 6670 343.00/343.14 c #restart = 22 343.00/343.14 o 2743 343.00/343.14 c Solving starts ... 343.70/343.83 c solving time = 0.648s 343.70/343.83 c #decision = 1025650 343.70/343.83 c #conflict = 6698 343.70/343.83 c #restart = 22 343.70/343.83 o 2742 343.70/343.84 c Solving starts ... 344.80/344.94 c solving time = 1.053s 344.80/344.94 c #decision = 1064042 344.80/344.94 c #conflict = 6735 344.80/344.94 c #restart = 22 344.80/344.94 o 2741 344.80/344.94 c Solving starts ... 386.59/386.70 c solving time = 41.703s 386.59/386.70 c #decision = 1112355 386.59/386.70 c #conflict = 7672 386.59/386.70 c #restart = 26 386.59/386.70 o 2740 386.59/386.70 c Solving starts ... 386.79/386.95 c solving time = 0.197s 386.79/386.95 c #decision = 1143774 386.79/386.95 c #conflict = 7674 386.79/386.95 c #restart = 26 386.79/386.95 o 2739 386.79/386.95 c Solving starts ... 399.10/399.24 c solving time = 12.244s 399.10/399.24 c #decision = 1196720 399.10/399.24 c #conflict = 8084 399.10/399.24 c #restart = 28 399.10/399.24 o 2738 399.10/399.25 c Solving starts ... 399.29/399.43 c solving time = 0.137s 399.29/399.43 c #decision = 1229121 399.29/399.43 c #conflict = 8085 399.29/399.43 c #restart = 28 399.29/399.43 o 2397 399.29/399.43 c Solving starts ... 399.49/399.62 c solving time = 0.134s 399.49/399.62 c #decision = 1260877 399.49/399.62 c #conflict = 8086 399.49/399.62 c #restart = 28 399.49/399.62 o 2396 399.49/399.62 c Solving starts ... 408.89/409.01 c solving time = 9.345s 408.89/409.01 c #decision = 1297810 408.89/409.01 c #conflict = 8358 408.89/409.01 c #restart = 30 408.89/409.01 o 2057 408.89/409.01 c Solving starts ... 420.79/420.99 c solving time = 11.792s 420.79/420.99 c #decision = 1330213 420.79/420.99 c #conflict = 8463 420.79/420.99 c #restart = 31 420.79/420.99 o 1719 420.79/420.99 c Solving starts ... 420.99/421.17 c solving time = 0.134s 420.99/421.17 c #decision = 1360288 420.99/421.17 c #conflict = 8463 420.99/421.17 c #restart = 31 420.99/421.17 o 1718 420.99/421.18 c Solving starts ... 421.19/421.36 c solving time = 0.132s 421.19/421.36 c #decision = 1390715 421.19/421.36 c #conflict = 8463 421.19/421.36 c #restart = 31 421.19/421.36 o 1717 421.19/421.36 c Solving starts ... 421.38/421.54 c solving time = 0.134s 421.38/421.54 c #decision = 1420899 421.38/421.54 c #conflict = 8463 421.38/421.54 c #restart = 31 421.38/421.54 o 1716 421.38/421.54 c Solving starts ... 423.29/423.41 c solving time = 1.821s 423.29/423.41 c #decision = 1452236 423.29/423.41 c #conflict = 8505 423.29/423.41 c #restart = 31 423.29/423.41 o 1715 423.29/423.42 c Solving starts ... 441.39/441.57 c solving time = 18.099s 441.39/441.57 c #decision = 1485846 441.39/441.57 c #conflict = 8672 441.39/441.57 c #restart = 32 441.39/441.57 o 1714 441.39/441.57 c Solving starts ... 443.28/443.44 c solving time = 1.822s 443.28/443.44 c #decision = 1518990 443.28/443.44 c #conflict = 8708 443.28/443.44 c #restart = 32 443.28/443.44 o 1713 443.28/443.44 c Solving starts ... 458.48/458.65 c solving time = 15.160s 458.48/458.65 c #decision = 1551822 458.48/458.65 c #conflict = 8909 458.48/458.65 c #restart = 33 458.48/458.65 o 1379 458.48/458.66 c Solving starts ... 458.78/458.96 c solving time = 0.257s 458.78/458.96 c #decision = 1584082 458.78/458.96 c #conflict = 8909 458.78/458.96 c #restart = 33 458.78/458.96 o 1378 458.78/458.96 c Solving starts ... 459.18/459.36 c solving time = 0.343s 459.18/459.36 c #decision = 1616731 459.18/459.36 c #conflict = 8919 459.18/459.36 c #restart = 33 459.18/459.36 o 1377 459.18/459.36 c Solving starts ... 459.38/459.54 c solving time = 0.139s 459.38/459.54 c #decision = 1648520 459.38/459.54 c #conflict = 8919 459.38/459.54 c #restart = 33 459.38/459.54 o 1376 459.38/459.55 c Solving starts ... 459.59/459.78 c solving time = 0.183s 459.59/459.78 c #decision = 1680406 459.59/459.78 c #conflict = 8922 459.59/459.78 c #restart = 33 459.59/459.78 o 1375 459.59/459.78 c Solving starts ... 460.18/460.31 c solving time = 0.477s 460.18/460.31 c #decision = 1712551 460.18/460.31 c #conflict = 8923 460.18/460.31 c #restart = 33 460.18/460.31 o 1374 460.18/460.31 c Solving starts ... 460.88/461.04 c solving time = 0.676s 460.88/461.04 c #decision = 1745055 460.88/461.04 c #conflict = 8932 460.88/461.04 c #restart = 33 460.88/461.04 o 1373 460.88/461.04 c Solving starts ... 461.18/461.33 c solving time = 0.237s 461.18/461.33 c #decision = 1778555 461.18/461.33 c #conflict = 8933 461.18/461.33 c #restart = 33 461.18/461.33 o 1372 461.18/461.33 c Solving starts ... 596.96/597.17 c solving time = 135.769s 596.96/597.17 c #decision = 1812995 596.96/597.17 c #conflict = 9750 596.96/597.17 c #restart = 37 596.96/597.17 o 1035 596.96/597.17 c Solving starts ... 597.17/597.36 c solving time = 0.139s 597.17/597.36 c #decision = 1845128 597.17/597.36 c #conflict = 9750 597.17/597.36 c #restart = 37 597.17/597.36 o 1034 597.17/597.36 c Solving starts ... 597.36/597.58 c solving time = 0.169s 597.36/597.58 c #decision = 1877468 597.36/597.58 c #conflict = 9752 597.36/597.58 c #restart = 37 597.36/597.58 o 1033 597.36/597.58 c Solving starts ... 597.76/597.91 c solving time = 0.135s 597.76/597.91 c #decision = 1910072 597.76/597.91 c #conflict = 9752 597.76/597.91 c #restart = 37 597.76/597.91 o 1032 597.76/597.91 c Solving starts ... 855.72/855.90 c solving time = 257.908s 855.72/855.90 c #decision = 1944848 855.72/855.90 c #conflict = 10826 855.72/855.90 c #restart = 41 855.72/855.90 o 695 855.72/855.91 c Solving starts ... 856.02/856.24 c solving time = 0.277s 856.02/856.24 c #decision = 1977222 856.02/856.24 c #conflict = 10826 856.02/856.24 c #restart = 41 856.02/856.24 o 694 856.02/856.24 c Solving starts ... 856.22/856.43 c solving time = 0.145s 856.22/856.43 c #decision = 2009325 856.22/856.43 c #conflict = 10826 856.22/856.43 c #restart = 41 856.22/856.43 o 693 856.22/856.44 c Solving starts ... 856.42/856.65 c solving time = 0.167s 856.42/856.65 c #decision = 2041623 856.42/856.65 c #conflict = 10827 856.42/856.65 c #restart = 41 856.42/856.65 o 692 856.42/856.65 c Solving starts ... 1013.59/1013.84 c solving time = 157.117s 1013.59/1013.84 c #decision = 2086863 1013.59/1013.84 c #conflict = 13299 1013.59/1013.84 c #restart = 47 1013.59/1013.84 o 355 1013.59/1013.85 c Solving starts ... 1014.10/1014.35 c solving time = 0.457s 1014.10/1014.35 c #decision = 2117778 1014.10/1014.35 c #conflict = 13306 1014.10/1014.35 c #restart = 47 1014.10/1014.35 o 354 1014.10/1014.35 c Solving starts ... 1030.40/1030.65 c solving time = 16.104s 1030.40/1030.65 c #decision = 2154704 1030.40/1030.65 c #conflict = 13858 1030.40/1030.65 c #restart = 50 1030.40/1030.65 o 353 1030.40/1030.65 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-3706598-1338250378/watcher-3706598-1338250378 -o /tmp/evaluation-result-3706598-1338250378/solver-3706598-1338250378 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706598-1338250378.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/178 26906 /proc/meminfo: memFree=30415808/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=6208 CPUtime=0 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 790 0 0 0 0 0 0 0 20 0 1 0 291162584 6356992 711 33554432000 4194304 8973514 140733663760496 140735185570696 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/26906/statm: 1552 711 412 1167 0 333 0 [startup+0.0655859 s] /proc/loadavg: 2.00 2.00 2.00 3/178 26906 /proc/meminfo: memFree=30415808/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=10304 CPUtime=0.05 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 1771 0 0 0 5 0 0 0 20 0 1 0 291162584 10551296 1692 33554432000 4194304 8973514 140733663760496 140735185570696 5781549 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/26906/statm: 2576 1692 418 1167 0 1357 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10304 [startup+0.100237 s] /proc/loadavg: 2.00 2.00 2.00 3/178 26906 /proc/meminfo: memFree=30415808/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=12352 CPUtime=0.09 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 2187 0 0 0 9 0 0 0 20 0 1 0 291162584 12648448 2108 33554432000 4194304 8973514 140733663760496 140735185570696 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/26906/statm: 3088 2108 418 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.300211 s] /proc/loadavg: 2.00 2.00 2.00 3/178 26906 /proc/meminfo: memFree=30415808/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=25664 CPUtime=0.28 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 5684 0 0 0 28 0 0 0 20 0 1 0 291162584 26279936 5605 33554432000 4194304 8973514 140733663760496 140735185570696 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/26906/statm: 6416 5605 418 1167 0 5197 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 25664 [startup+0.700228 s] /proc/loadavg: 2.00 2.00 2.00 3/178 26906 /proc/meminfo: memFree=30415808/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=48192 CPUtime=0.69 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 11081 0 0 0 67 2 0 0 20 0 1 0 291162584 49348608 11002 33554432000 4194304 8973514 140733663760496 140735185570696 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/26906/statm: 12048 11010 418 1167 0 10829 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 48192 [startup+1.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26907 /proc/meminfo: memFree=30348592/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=94272 CPUtime=1.49 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 22836 0 0 0 145 4 0 0 20 0 1 0 291162584 96534528 22757 33554432000 4194304 8973514 140733663760496 140733663759992 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/26906/statm: 23568 22757 418 1167 0 22349 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 94272 [startup+3.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26907 /proc/meminfo: memFree=30296148/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=180288 CPUtime=3.09 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 44213 0 0 0 301 8 0 0 20 0 1 0 291162584 184614912 44134 33554432000 4194304 8973514 140733663760496 140733663759992 4209439 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/26906/statm: 45072 44141 418 1167 0 43853 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 180288 [startup+6.30021 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26907 /proc/meminfo: memFree=30081628/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=337984 CPUtime=6.28 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83795 0 0 0 612 16 0 0 20 0 1 0 291162584 346095616 83716 33554432000 4194304 8973514 140733663760496 140733663759992 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/26906/statm: 84496 83716 443 1167 0 83277 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 337984 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26907 /proc/meminfo: memFree=30151812/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=267328 CPUtime=12.69 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83807 0 0 0 1250 19 0 0 20 0 1 0 291162584 273743872 66064 33554432000 4194304 8973514 140733663760496 140733663759992 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/26906/statm: 66832 66064 455 1167 0 65613 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 267328 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26907 /proc/meminfo: memFree=30152044/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=267328 CPUtime=25.49 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83807 0 0 0 2526 23 0 0 20 0 1 0 291162584 273743872 66064 33554432000 4194304 8973514 140733663760496 140733663759992 4427820 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/26906/statm: 66832 66064 455 1167 0 65613 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 267328 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26907 /proc/meminfo: memFree=30152384/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=267328 CPUtime=51.07 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83807 0 0 0 5074 33 0 0 20 0 1 0 291162584 273743872 66064 33554432000 4194304 8973514 140733663760496 140733663759760 4414896 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/26906/statm: 66832 66064 455 1167 0 65613 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 267328 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26907 /proc/meminfo: memFree=30152352/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=267328 CPUtime=102.26 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83828 0 0 0 10173 53 0 0 20 0 1 0 291162584 273743872 66069 33554432000 4194304 8973514 140733663760496 140733663759760 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/26906/statm: 66832 66069 455 1167 0 65613 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 267328 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26908 /proc/meminfo: memFree=30152256/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=267328 CPUtime=162.24 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83831 0 0 0 16146 78 0 0 20 0 1 0 291162584 273743872 66069 33554432000 4194304 8973514 140733663760496 140733663759992 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 66832 66069 455 1167 0 65613 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 267328 [startup+222.3 s] /proc/loadavg: 2.11 2.03 2.01 3/179 26908 /proc/meminfo: memFree=30152284/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=267328 CPUtime=222.22 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83839 0 0 0 22113 109 0 0 20 0 1 0 291162584 273743872 66069 33554432000 4194304 8973514 140733663760496 140733663759760 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 66832 66069 455 1167 0 65613 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 267328 [startup+282.3 s] /proc/loadavg: 2.04 2.02 2.00 3/179 26908 /proc/meminfo: memFree=30151972/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=267328 CPUtime=282.21 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83840 0 0 0 28079 142 0 0 20 0 1 0 291162584 273743872 66069 33554432000 4194304 8973514 140733663760496 140733663759992 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 66832 66069 455 1167 0 65613 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 267328 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 26908 /proc/meminfo: memFree=30152344/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=267328 CPUtime=342.2 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83840 0 0 0 34047 173 0 0 20 0 1 0 291162584 273743872 66069 33554432000 4194304 8973514 140733663760496 140733663759760 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 66832 66069 455 1167 0 65613 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 267328 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 26908 /proc/meminfo: memFree=30152220/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=267328 CPUtime=402.19 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83840 0 0 0 40017 202 0 0 20 0 1 0 291162584 273743872 66069 33554432000 4194304 8973514 140733663760496 140733663759992 4214496 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 66832 66069 455 1167 0 65613 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 267328 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/180 26912 /proc/meminfo: memFree=30152460/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=267328 CPUtime=462.18 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83840 0 0 0 45984 234 0 0 20 0 1 0 291162584 273743872 66069 33554432000 4194304 8973514 140733663760496 140733663759760 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 66832 66069 455 1167 0 65613 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 267328 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26912 /proc/meminfo: memFree=30152592/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=267328 CPUtime=522.18 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83840 0 0 0 51953 265 0 0 20 0 1 0 291162584 273743872 66069 33554432000 4194304 8973514 140733663760496 140733663759992 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 66832 66069 455 1167 0 65613 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 267328 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26912 /proc/meminfo: memFree=30152840/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=267328 CPUtime=582.17 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 83840 0 0 0 57917 300 0 0 20 0 1 0 291162584 273743872 66069 33554432000 4194304 8973514 140733663760496 140733663759992 4208870 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 66832 66069 455 1167 0 65613 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 267328 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26913 /proc/meminfo: memFree=30150980/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=269376 CPUtime=822.12 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 84352 0 0 0 81782 430 0 0 20 0 1 0 291162584 275841024 66581 33554432000 4194304 8973514 140733663760496 140733663759992 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 67344 66581 455 1167 0 66125 0 Current children cumulated CPU time (s) 822.12 Current children cumulated vsize (KiB) 269376 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26913 /proc/meminfo: memFree=30150668/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=269376 CPUtime=882.12 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 84353 0 0 0 87748 464 0 0 20 0 1 0 291162584 275841024 66581 33554432000 4194304 8973514 140733663760496 140733663759760 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 67344 66581 455 1167 0 66125 0 Current children cumulated CPU time (s) 882.12 Current children cumulated vsize (KiB) 269376 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26913 /proc/meminfo: memFree=30150668/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=269376 CPUtime=942.11 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 84353 0 0 0 93716 495 0 0 20 0 1 0 291162584 275841024 66581 33554432000 4194304 8973514 140733663760496 140733663759992 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 67344 66581 455 1167 0 66125 0 Current children cumulated CPU time (s) 942.11 Current children cumulated vsize (KiB) 269376 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26913 /proc/meminfo: memFree=30150544/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=269376 CPUtime=1002.1 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 84353 0 0 0 99684 526 0 0 20 0 1 0 291162584 275841024 66581 33554432000 4194304 8973514 140733663760496 140733663759992 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 67344 66581 455 1167 0 66125 0 Current children cumulated CPU time (s) 1002.1 Current children cumulated vsize (KiB) 269376 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 26917 /proc/meminfo: memFree=30138260/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1062.09 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87425 0 0 0 105653 556 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759816 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 281664 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26917 /proc/meminfo: memFree=30138268/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1122.08 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87425 0 0 0 111622 586 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759760 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 281664 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26917 /proc/meminfo: memFree=30138268/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1182.07 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87425 0 0 0 117586 621 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759600 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 281664 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26917 /proc/meminfo: memFree=30138268/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1242.07 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87425 0 0 0 123555 652 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759760 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 281664 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26917 /proc/meminfo: memFree=30138268/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1302.06 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87425 0 0 0 129518 688 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759992 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 281664 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26918 /proc/meminfo: memFree=30138392/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1362.04 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87425 0 0 0 135483 721 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759992 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 281664 [startup+1422.31 s] /proc/loadavg: 1.92 1.98 1.99 2/173 26943 /proc/meminfo: memFree=30930988/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1422.04 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87425 0 0 0 141446 758 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759760 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 281664 [startup+1482.3 s] /proc/loadavg: 1.37 1.82 1.94 2/173 26943 /proc/meminfo: memFree=30930744/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1482.03 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87429 0 0 0 147412 791 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759760 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 281664 [startup+1542.3 s] /proc/loadavg: 1.12 1.65 1.87 2/173 26943 /proc/meminfo: memFree=30930744/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1542.01 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87429 0 0 0 153375 826 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759992 4209212 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 281664 [startup+1602.3 s] /proc/loadavg: 1.05 1.54 1.82 2/173 26943 /proc/meminfo: memFree=30930868/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1602 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87429 0 0 0 159340 860 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759992 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 281664 [startup+1662.3 s] /proc/loadavg: 1.01 1.43 1.76 2/174 26947 /proc/meminfo: memFree=30931232/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1661.99 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87429 0 0 0 165304 895 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759760 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 281664 [startup+1722.3 s] /proc/loadavg: 1.00 1.36 1.71 2/173 26947 /proc/meminfo: memFree=30931240/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1721.98 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87429 0 0 0 171270 928 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759992 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 281664 [startup+1782.3 s] /proc/loadavg: 1.00 1.28 1.66 2/173 26947 /proc/meminfo: memFree=30930992/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1781.98 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87429 0 0 0 177232 966 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759992 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 281664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.27 1.65 2/173 26947 /proc/meminfo: memFree=30931116/32873844 swapFree=7616/7616 [pid=26906] ppid=26904 vsize=281664 CPUtime=1800.08 cores=0,2,4,6 /proc/26906/stat : 26906 (toysat) R 26904 26906 23365 0 -1 4202496 87429 0 0 0 179032 976 0 0 20 0 1 0 291162584 288423936 69653 33554432000 4194304 8973514 140733663760496 140733663759992 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/26906/statm: 70416 69653 455 1167 0 69197 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 281664 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): 1790.33 CPU system time (s): 9.76451 CPU usage (%): 99.9824 Max. virtual memory (cumulated for all children) (KiB): 337984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.33 system time used= 9.76451 maximum resident set size= 334864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87429 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= 41 involuntary context switches= 1978 runsolver used 3.21051 second user time and 9.08462 second system time The end
Begin job on node135 at 2012-05-29 02:12:58 IDJOB=3706598 IDBENCH=92880 IDSOLVER=2285 FILE ID=node135/3706598-1338250378 RUNJOBID= node135-1338239177-25931 PBS_JOBID= 14624622 Free space on /tmp= 71588 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/graca/normalized-ped3.D.recomb10-0.20-13.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706598-1338250378/watcher-3706598-1338250378 -o /tmp/evaluation-result-3706598-1338250378/solver-3706598-1338250378 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706598-1338250378.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c1379e9d016589d7d827ee897cc8c35f RANDOM SEED=658382479 node135.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.820 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.64 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.820 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 : 5332.57 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.820 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 : 5332.55 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.820 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 : 5332.55 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.820 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 : 5332.54 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.820 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 : 5332.55 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.820 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 : 5238.35 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.820 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30416452 kB Buffers: 334628 kB Cached: 545728 kB SwapCached: 1716 kB Active: 1364728 kB Inactive: 272364 kB Active(anon): 747484 kB Inactive(anon): 12012 kB Active(file): 617244 kB Inactive(file): 260352 kB Unevictable: 7616 kB Mlocked: 7616 kB SwapTotal: 67108856 kB SwapFree: 67105804 kB Dirty: 16912 kB Writeback: 0 kB AnonPages: 765212 kB Mapped: 13604 kB Shmem: 132 kB Slab: 677032 kB SReclaimable: 118836 kB SUnreclaim: 558196 kB KernelStack: 1464 kB PageTables: 5440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 871144 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 604160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71628 MiB End job on node135 at 2012-05-29 02:43:00