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.04 | 1800.31 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_3_mh_ic.opb |
| MD5SUM | bd1f23f2ad95dce248911d20ecda08b7 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4397958 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| 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 | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 109215352 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 5000695793 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 109215352 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 5000695793 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2.28/2.30 c 2012-06-02T16:36:47+0200 2.28/2.30 c arch = x86_64 2.28/2.30 c os = linux 2.28/2.30 c compiler = ghc 7.4 2.28/2.30 c packages: 2.28/2.30 c OptDir-0.0.1 2.28/2.30 c array-0.4.0.0 2.28/2.30 c base-4.5.0.0 2.28/2.30 c bytestring-0.9.2.1 2.28/2.30 c containers-0.4.2.1 2.28/2.30 c deepseq-1.3.0.0 2.28/2.30 c mtl-2.1.1 2.28/2.30 c old_locale-1.0.0.4 2.28/2.30 c parse_dimacs-1.2 2.28/2.30 c parsec-3.1.2 2.28/2.30 c queue-0.1.2 2.28/2.30 c stm-2.3 2.28/2.30 c time-1.4 2.28/2.30 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724896-1338647807.opb"] 2.28/2.30 c #vars 9765 2.28/2.30 c #constraints 21293 2.28/2.30 c Solving starts ... 104.57/104.61 c learnt constraints deletion: 37918 -> 18974 166.96/167.03 c learnt constraints deletion: 44351 -> 22180 229.06/229.12 c learnt constraints deletion: 46502 -> 23251 315.65/315.72 c learnt constraints deletion: 50206 -> 25103 379.83/379.98 c solving time = 377.615s 379.83/379.98 c #decision = 299345 379.83/379.98 c #conflict = 133994 379.83/379.98 c #restart = 16 379.83/379.98 o 329440568 379.83/379.99 c Solving starts ... 380.13/380.23 c learnt constraints deletion: 44509 -> 22255 380.43/380.58 c learnt constraints deletion: 22255 -> 11128 380.43/380.59 c learnt constraints deletion: 11128 -> 5564 380.63/380.77 c solving time = 0.776s 380.63/380.77 c #decision = 299885 380.63/380.77 c #conflict = 133996 380.63/380.77 c #restart = 16 380.63/380.77 o 189617864 380.63/380.78 c Solving starts ... 381.74/381.88 c solving time = 1.091s 381.74/381.88 c #decision = 300720 381.74/381.88 c #conflict = 134210 381.74/381.88 c #restart = 17 381.74/381.88 o 189454926 381.74/381.88 c Solving starts ... 382.23/382.31 c solving time = 0.421s 382.23/382.31 c #decision = 301399 382.23/382.31 c #conflict = 134260 382.23/382.31 c #restart = 17 382.23/382.31 o 48645080 382.23/382.32 c Solving starts ... 382.33/382.41 c solving time = 0.083s 382.33/382.41 c #decision = 301905 382.33/382.41 c #conflict = 134263 382.33/382.41 c #restart = 17 382.33/382.41 o 48234692 382.33/382.42 c Solving starts ... 382.43/382.51 c solving time = 0.089s 382.43/382.51 c #decision = 302474 382.43/382.51 c #conflict = 134265 382.43/382.51 c #restart = 17 382.43/382.51 o 41758579 382.43/382.52 c Solving starts ... 382.53/382.62 c solving time = 0.095s 382.53/382.62 c #decision = 302723 382.53/382.62 c #conflict = 134266 382.53/382.62 c #restart = 17 382.53/382.62 o 41727292 382.53/382.63 c Solving starts ... 382.64/382.74 c solving time = 0.101s 382.64/382.74 c #decision = 303016 382.64/382.74 c #conflict = 134268 382.64/382.74 c #restart = 17 382.64/382.74 o 41638480 382.64/382.75 c Solving starts ... 383.74/383.84 c solving time = 1.084s 383.74/383.84 c #decision = 303397 383.74/383.84 c #conflict = 134329 383.74/383.84 c #restart = 17 383.74/383.84 o 41583776 383.74/383.85 c Solving starts ... 410.93/411.00 c solving time = 27.142s 410.93/411.00 c #decision = 303691 410.93/411.00 c #conflict = 134355 410.93/411.00 c #restart = 17 410.93/411.00 o 41572463 410.93/411.07 c Solving starts ... 412.93/413.00 c solving time = 1.925s 412.93/413.00 c #decision = 304022 412.93/413.00 c #conflict = 134360 412.93/413.00 c #restart = 17 412.93/413.01 o 41479138 412.93/413.01 c Solving starts ... 525.51/525.67 c solving time = 112.634s 525.51/525.67 c #decision = 320252 525.51/525.67 c #conflict = 141992 525.51/525.67 c #restart = 26 525.51/525.67 o 41109082 525.51/525.68 c Solving starts ... 525.71/525.83 c learnt constraints deletion: 13548 -> 6774 527.51/527.61 c solving time = 1.926s 527.51/527.61 c #decision = 320670 527.51/527.61 c #conflict = 142065 527.51/527.61 c #restart = 26 527.51/527.61 o 41085557 527.51/527.62 c Solving starts ... 527.81/527.93 c solving time = 0.296s 527.81/527.93 c #decision = 320911 527.81/527.93 c #conflict = 142068 527.81/527.93 c #restart = 26 527.81/527.93 o 41075849 527.81/527.93 c Solving starts ... 530.91/531.04 c solving time = 3.103s 530.91/531.04 c #decision = 322181 530.91/531.04 c #conflict = 142263 530.91/531.04 c #restart = 27 530.91/531.04 o 40667938 530.91/531.05 c Solving starts ... 532.01/532.18 c solving time = 1.118s 532.01/532.18 c #decision = 322516 532.01/532.18 c #conflict = 142275 532.01/532.18 c #restart = 27 532.01/532.18 o 40659152 532.01/532.19 c Solving starts ... 532.31/532.49 c solving time = 0.296s 532.31/532.49 c #decision = 322776 532.31/532.49 c #conflict = 142277 532.31/532.49 c #restart = 27 532.31/532.49 o 40633286 532.41/532.50 c Solving starts ... 532.91/533.00 c solving time = 0.500s 532.91/533.00 c #decision = 323113 532.91/533.00 c #conflict = 142281 532.91/533.00 c #restart = 27 532.91/533.00 o 40541547 532.91/533.01 c Solving starts ... 533.81/533.90 c solving time = 0.881s 533.81/533.90 c #decision = 323347 533.81/533.90 c #conflict = 142287 533.81/533.90 c #restart = 27 533.81/533.90 o 40537582 533.81/533.91 c Solving starts ... 534.11/534.23 c solving time = 0.317s 534.11/534.23 c #decision = 323629 534.11/534.23 c #conflict = 142288 534.11/534.23 c #restart = 27 534.11/534.23 o 40489259 534.11/534.24 c Solving starts ... 534.42/534.51 c solving time = 0.267s 534.42/534.51 c #decision = 323896 534.42/534.51 c #conflict = 142289 534.42/534.51 c #restart = 27 534.42/534.52 o 40460364 534.42/534.52 c Solving starts ... 538.01/538.17 c solving time = 3.640s 538.01/538.17 c #decision = 324479 538.01/538.17 c #conflict = 142442 538.01/538.17 c #restart = 28 538.01/538.17 o 40458023 538.01/538.18 c Solving starts ... 539.21/539.39 c solving time = 1.203s 539.21/539.39 c #decision = 324751 539.21/539.39 c #conflict = 142459 539.21/539.39 c #restart = 28 539.21/539.39 o 40457608 539.31/539.40 c Solving starts ... 539.91/540.03 c solving time = 0.621s 539.91/540.03 c #decision = 325148 539.91/540.03 c #conflict = 142470 539.91/540.03 c #restart = 28 539.91/540.03 o 40354524 539.91/540.04 c Solving starts ... 544.41/544.51 c solving time = 4.468s 544.41/544.51 c #decision = 326255 544.41/544.51 c #conflict = 142588 544.41/544.51 c #restart = 29 544.41/544.51 o 28265646 544.41/544.52 c Solving starts ... 545.10/545.26 c solving time = 0.729s 545.10/545.26 c #decision = 326887 545.10/545.26 c #conflict = 142599 545.10/545.26 c #restart = 29 545.10/545.26 o 23669683 545.10/545.26 c Solving starts ... 545.52/545.64 c solving time = 0.372s 545.52/545.64 c #decision = 327335 545.52/545.64 c #conflict = 142600 545.52/545.64 c #restart = 29 545.52/545.64 o 23466217 545.52/545.65 c Solving starts ... 545.91/546.00 c solving time = 0.345s 545.91/546.00 c #decision = 327943 545.91/546.00 c #conflict = 142602 545.91/546.00 c #restart = 29 545.91/546.00 o 22374259 545.91/546.01 c Solving starts ... 546.71/546.85 c solving time = 0.830s 546.71/546.85 c #decision = 328329 546.71/546.85 c #conflict = 142608 546.71/546.85 c #restart = 29 546.71/546.85 o 22266876 546.71/546.86 c Solving starts ... 751.57/751.78 c solving time = 204.886s 751.57/751.78 c #decision = 331825 751.57/751.78 c #conflict = 143995 751.57/751.78 c #restart = 34 751.57/751.78 o 22183629 751.57/751.79 c Solving starts ... 753.78/753.93 c solving time = 2.137s 753.78/753.93 c #decision = 332093 753.78/753.93 c #conflict = 144015 753.78/753.93 c #restart = 34 753.78/753.93 o 22178019 753.78/753.94 c Solving starts ... 761.17/761.34 c solving time = 7.386s 761.17/761.34 c #decision = 332460 761.17/761.34 c #conflict = 144053 761.17/761.34 c #restart = 34 761.17/761.34 o 22169754 761.17/761.35 c Solving starts ... 761.78/761.90 c solving time = 0.546s 761.78/761.90 c #decision = 332795 761.78/761.90 c #conflict = 144054 761.78/761.90 c #restart = 34 761.78/761.90 o 22091805 761.78/761.91 c Solving starts ... 812.26/812.40 c solving time = 50.476s 812.26/812.40 c #decision = 335108 812.26/812.40 c #conflict = 144760 812.26/812.40 c #restart = 37 812.26/812.40 o 18278752 812.26/812.41 c Solving starts ... 812.77/812.99 c solving time = 0.571s 812.77/812.99 c #decision = 335492 812.77/812.99 c #conflict = 144765 812.77/812.99 c #restart = 37 812.77/812.99 o 18204282 812.77/812.99 c Solving starts ... 813.26/813.43 c solving time = 0.428s 813.26/813.43 c #decision = 335910 813.26/813.43 c #conflict = 144766 813.26/813.43 c #restart = 37 813.26/813.43 o 18073926 813.26/813.44 c Solving starts ... 814.17/814.33 c solving time = 0.887s 814.17/814.33 c #decision = 336306 814.17/814.33 c #conflict = 144774 814.17/814.33 c #restart = 37 814.17/814.33 o 17996708 814.17/814.34 c Solving starts ... 815.47/815.63 c solving time = 1.280s 815.47/815.63 c #decision = 336968 815.47/815.63 c #conflict = 144780 815.47/815.63 c #restart = 37 815.47/815.63 o 17409838 815.47/815.64 c Solving starts ... 815.86/816.04 c solving time = 0.396s 815.86/816.04 c #decision = 337364 815.86/816.04 c #conflict = 144781 815.86/816.04 c #restart = 37 815.86/816.04 o 17298135 815.86/816.05 c Solving starts ... 816.26/816.46 c solving time = 0.408s 816.26/816.46 c #decision = 337818 816.26/816.46 c #conflict = 144782 816.26/816.46 c #restart = 37 816.26/816.46 o 17096778 816.26/816.47 c Solving starts ... 816.77/816.90 c solving time = 0.424s 816.77/816.90 c #decision = 338179 816.77/816.90 c #conflict = 144783 816.77/816.90 c #restart = 37 816.77/816.90 o 16991737 816.77/816.91 c Solving starts ... 818.47/818.67 c solving time = 1.757s 818.47/818.67 c #decision = 338598 818.47/818.67 c #conflict = 144801 818.47/818.67 c #restart = 37 818.47/818.67 o 16901896 818.47/818.68 c Solving starts ... 819.17/819.32 c solving time = 0.633s 819.17/819.32 c #decision = 338956 819.17/819.32 c #conflict = 144802 819.17/819.32 c #restart = 37 819.17/819.32 o 16813566 819.17/819.33 c Solving starts ... 819.76/819.92 c solving time = 0.581s 819.76/819.92 c #decision = 339295 819.76/819.92 c #conflict = 144803 819.76/819.92 c #restart = 37 819.76/819.92 o 16735617 819.76/819.93 c Solving starts ... 820.97/821.11 c solving time = 1.175s 820.97/821.11 c #decision = 339804 820.97/821.11 c #conflict = 144807 820.97/821.11 c #restart = 37 820.97/821.11 o 16441179 820.97/821.12 c Solving starts ... 821.76/821.92 c solving time = 0.795s 821.76/821.92 c #decision = 340102 821.76/821.92 c #conflict = 144809 821.76/821.92 c #restart = 37 821.76/821.92 o 16383476 821.76/821.93 c Solving starts ... 822.36/822.52 c solving time = 0.578s 822.36/822.52 c #decision = 340428 822.36/822.52 c #conflict = 144810 822.36/822.52 c #restart = 37 822.36/822.52 o 16305527 822.36/822.52 c Solving starts ... 827.16/827.37 c solving time = 4.842s 827.16/827.37 c #decision = 340857 827.16/827.37 c #conflict = 144829 827.16/827.37 c #restart = 37 827.16/827.37 o 16163868 827.16/827.38 c Solving starts ... 851.66/851.86 c solving time = 24.465s 851.66/851.86 c #decision = 341487 851.66/851.86 c #conflict = 144917 851.66/851.86 c #restart = 37 851.66/851.86 o 16126348 851.66/851.87 c Solving starts ... 1066.32/1066.56 c solving time = 214.651s 1066.32/1066.56 c #decision = 342997 1066.32/1066.56 c #conflict = 145319 1066.32/1066.56 c #restart = 39 1066.32/1066.56 o 16119851 1066.32/1066.57 c Solving starts ... 1142.32/1142.60 c solving time = 76.009s 1142.32/1142.60 c #decision = 343377 1142.32/1142.60 c #conflict = 145393 1142.32/1142.60 c #restart = 39 1142.42/1142.60 o 16083345 1142.42/1142.60 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-3724896-1338647807/watcher-3724896-1338647807 -o /tmp/evaluation-result-3724896-1338647807/solver-3724896-1338647807 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724896-1338647807.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: 1.99 2.00 2.00 3/177 8374 /proc/meminfo: memFree=24236576/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=6224 CPUtime=0 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 819 0 0 0 0 0 0 0 20 0 1 0 330905805 6373376 740 33554432000 4194304 8989770 140735214467856 140733586100936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 1556 740 424 1171 0 333 0 [startup+0.0117301 s] /proc/loadavg: 1.99 2.00 2.00 3/177 8374 /proc/meminfo: memFree=24236576/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=7248 CPUtime=0 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 975 0 0 0 0 0 0 0 20 0 1 0 330905805 7421952 896 33554432000 4194304 8989770 140735214467856 140733586100936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 1812 896 425 1171 0 589 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7248 [startup+0.100277 s] /proc/loadavg: 1.99 2.00 2.00 3/177 8374 /proc/meminfo: memFree=24236576/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=12368 CPUtime=0.09 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 2368 0 0 0 9 0 0 0 20 0 1 0 330905805 12664832 2289 33554432000 4194304 8989770 140735214467856 140733586100936 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 3092 2289 431 1171 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12368 [startup+0.300268 s] /proc/loadavg: 1.99 2.00 2.00 3/177 8374 /proc/meminfo: memFree=24236576/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=23632 CPUtime=0.29 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 5184 0 0 0 28 1 0 0 20 0 1 0 330905805 24199168 5105 33554432000 4194304 8989770 140735214467856 140733586100936 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 5908 5105 431 1171 0 4685 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23632 [startup+0.700273 s] /proc/loadavg: 1.99 2.00 2.00 3/177 8374 /proc/meminfo: memFree=24236576/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=38992 CPUtime=0.69 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 9048 0 0 0 68 1 0 0 20 0 1 0 330905805 39927808 8969 33554432000 4194304 8989770 140735214467856 140735214467352 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 9748 8969 449 1171 0 8525 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38992 [startup+1.50024 s] /proc/loadavg: 1.99 2.00 2.00 3/178 8375 /proc/meminfo: memFree=24202344/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=38992 CPUtime=1.49 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 9048 0 0 0 147 2 0 0 20 0 1 0 330905805 39927808 8969 33554432000 4194304 8989770 140735214467856 140735214467352 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 9748 8969 449 1171 0 8525 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38992 [startup+3.10029 s] /proc/loadavg: 1.99 2.00 2.00 3/178 8375 /proc/meminfo: memFree=24201972/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=47184 CPUtime=3.09 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 11109 0 0 0 306 3 0 0 20 0 1 0 330905805 48316416 11030 33554432000 4194304 8989770 140735214467856 140735214467120 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 11796 11030 462 1171 0 10573 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47184 [startup+6.30029 s] /proc/loadavg: 1.99 2.00 2.00 3/178 8375 /proc/meminfo: memFree=24192424/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=49232 CPUtime=6.29 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 11621 0 0 0 625 4 0 0 20 0 1 0 330905805 50413568 11542 33554432000 4194304 8989770 140735214467856 140735214465792 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 12308 11542 462 1171 0 11085 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49232 [startup+12.7003 s] /proc/loadavg: 1.99 2.00 2.00 3/177 8375 /proc/meminfo: memFree=23738112/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=52304 CPUtime=12.69 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 12389 0 0 0 1264 5 0 0 20 0 1 0 330905805 53559296 12310 33554432000 4194304 8989770 140735214467856 140735214467352 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 13076 12310 462 1171 0 11853 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52304 [startup+25.5003 s] /proc/loadavg: 2.07 2.02 2.00 3/177 8375 /proc/meminfo: memFree=23182088/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=60496 CPUtime=25.49 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 14437 0 0 0 2541 8 0 0 20 0 1 0 330905805 61947904 14358 33554432000 4194304 8989770 140735214467856 140735214467352 4204276 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 15124 14358 462 1171 0 13901 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60496 [startup+51.1003 s] /proc/loadavg: 2.04 2.01 2.00 3/177 8375 /proc/meminfo: memFree=21705820/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=78928 CPUtime=51.08 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 19045 0 0 0 5093 15 0 0 20 0 1 0 330905805 80822272 18966 33554432000 4194304 8989770 140735214467856 140735214467352 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 19732 18966 462 1171 0 18509 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 78928 [startup+102.306 s] /proc/loadavg: 2.02 2.01 2.00 3/177 8375 /proc/meminfo: memFree=20075512/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=125008 CPUtime=102.27 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 30565 0 0 0 10198 29 0 0 20 0 1 0 330905805 128008192 30486 33554432000 4194304 8989770 140735214467856 140735214467120 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 31252 30486 462 1171 0 30029 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 125008 [startup+162.3 s] /proc/loadavg: 2.05 2.02 2.00 3/177 8375 /proc/meminfo: memFree=20048756/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=151632 CPUtime=162.26 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 37223 0 0 0 16183 43 0 0 20 0 1 0 330905805 155271168 37144 33554432000 4194304 8989770 140735214467856 140735214467352 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 37908 37144 464 1171 0 36685 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 151632 [startup+222.3 s] /proc/loadavg: 2.06 2.03 2.00 3/178 8378 /proc/meminfo: memFree=19508880/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=159824 CPUtime=222.25 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 39271 0 0 0 22171 54 0 0 20 0 1 0 330905805 163659776 39192 33554432000 4194304 8989770 140735214467856 140735214465792 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 39956 39192 464 1171 0 38733 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 159824 [startup+282.3 s] /proc/loadavg: 2.08 2.04 2.00 3/177 8378 /proc/meminfo: memFree=19500360/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=168016 CPUtime=282.25 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 41319 0 0 0 28160 65 0 0 20 0 1 0 330905805 172048384 41240 33554432000 4194304 8989770 140735214467856 140735214467352 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 42004 41240 464 1171 0 40781 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 168016 [startup+342.3 s] /proc/loadavg: 2.03 2.03 2.00 3/177 8379 /proc/meminfo: memFree=19486996/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=181328 CPUtime=342.24 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 44647 0 0 0 34146 78 0 0 20 0 1 0 330905805 185679872 44568 33554432000 4194304 8989770 140735214467856 140735214467120 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 45332 44568 464 1171 0 44109 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 181328 [startup+402.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 8379 /proc/meminfo: memFree=19487148/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=181328 CPUtime=402.23 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 44658 0 0 0 40132 91 0 0 20 0 1 0 330905805 185679872 44579 33554432000 4194304 8989770 140735214467856 140735214467352 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 45332 44579 475 1171 0 44109 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 181328 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 8379 /proc/meminfo: memFree=19487052/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=181328 CPUtime=462.22 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 44658 0 0 0 46112 110 0 0 20 0 1 0 330905805 185679872 44579 33554432000 4194304 8989770 140735214467856 140735214467120 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 45332 44579 475 1171 0 44109 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 181328 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 8379 /proc/meminfo: memFree=19487204/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=181328 CPUtime=522.21 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 44658 0 0 0 52088 133 0 0 20 0 1 0 330905805 185679872 44579 33554432000 4194304 8989770 140735214467856 140735214465792 4213617 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 45332 44579 475 1171 0 44109 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 181328 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8379 /proc/meminfo: memFree=19487108/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=181328 CPUtime=582.2 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 44658 0 0 0 58064 156 0 0 20 0 1 0 330905805 185679872 44579 33554432000 4194304 8989770 140735214467856 140735214467120 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 45332 44579 475 1171 0 44109 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 181328 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8383 /proc/meminfo: memFree=19475840/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=192592 CPUtime=882.15 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47474 0 0 0 87962 253 0 0 20 0 1 0 330905805 197214208 47395 33554432000 4194304 8989770 140735214467856 140735214467352 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48148 47395 475 1171 0 46925 0 Current children cumulated CPU time (s) 882.15 Current children cumulated vsize (KiB) 192592 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8384 /proc/meminfo: memFree=19476116/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=192592 CPUtime=942.15 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47474 0 0 0 93946 269 0 0 20 0 1 0 330905805 197214208 47395 33554432000 4194304 8989770 140735214467856 140735214465792 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48148 47395 475 1171 0 46925 0 Current children cumulated CPU time (s) 942.15 Current children cumulated vsize (KiB) 192592 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8384 /proc/meminfo: memFree=19475896/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=192592 CPUtime=1002.14 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47474 0 0 0 99925 289 0 0 20 0 1 0 330905805 197214208 47395 33554432000 4194304 8989770 140735214467856 140735214467120 4209410 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48148 47395 475 1171 0 46925 0 Current children cumulated CPU time (s) 1002.14 Current children cumulated vsize (KiB) 192592 [startup+1062.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 8384 /proc/meminfo: memFree=19475924/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=192592 CPUtime=1062.13 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47474 0 0 0 105908 305 0 0 20 0 1 0 330905805 197214208 47395 33554432000 4194304 8989770 140735214467856 140735214465792 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48148 47395 475 1171 0 46925 0 Current children cumulated CPU time (s) 1062.13 Current children cumulated vsize (KiB) 192592 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 8384 /proc/meminfo: memFree=19474960/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=193616 CPUtime=1122.12 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47730 0 0 0 111889 323 0 0 20 0 1 0 330905805 198262784 47651 33554432000 4194304 8989770 140735214467856 140735214467352 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48404 47651 475 1171 0 47181 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 193616 [startup+1182.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 8384 /proc/meminfo: memFree=19473748/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1182.11 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47986 0 0 0 117872 339 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214467120 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 194640 [startup+1242.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 8385 /proc/meminfo: memFree=19473652/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1242.1 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47986 0 0 0 123852 358 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214467120 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 194640 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 8385 /proc/meminfo: memFree=19473432/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1302.1 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47986 0 0 0 129834 376 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214465664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1302.1 Current children cumulated vsize (KiB) 194640 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8385 /proc/meminfo: memFree=19474080/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1362.08 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47986 0 0 0 135816 392 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214467352 4209256 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 194640 [startup+1422.31 s] /proc/loadavg: 2.03 2.01 2.00 3/178 8388 /proc/meminfo: memFree=19473976/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1422.08 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47986 0 0 0 141798 410 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214467120 4209365 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 194640 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 8411 /proc/meminfo: memFree=19474004/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1482.06 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47986 0 0 0 147775 431 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214467352 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 194640 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8412 /proc/meminfo: memFree=19474040/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1542.05 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47986 0 0 0 153755 450 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214467352 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 194640 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8412 /proc/meminfo: memFree=19473944/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1602.05 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47986 0 0 0 159734 471 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214467120 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1602.05 Current children cumulated vsize (KiB) 194640 [startup+1662.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 8412 /proc/meminfo: memFree=19473476/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1662.04 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47986 0 0 0 165712 492 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214465856 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 194640 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 8412 /proc/meminfo: memFree=19473008/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1722.03 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 47986 0 0 0 171695 508 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214467120 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 194640 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8451 /proc/meminfo: memFree=27397388/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1782.01 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 48002 0 0 0 177675 526 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214467120 4208816 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 194640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8451 /proc/meminfo: memFree=27397852/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1800.02 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 48002 0 0 0 179471 531 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214467120 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 194640 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 8451 /proc/meminfo: memFree=27397852/32873844 swapFree=7116/7116 [pid=8374] ppid=8372 vsize=194640 CPUtime=1800.02 cores=0,2,4,6 /proc/8374/stat : 8374 (toysat) R 8372 8374 6938 0 -1 4202496 48002 0 0 0 179471 531 0 0 20 0 1 0 330905805 199311360 47907 33554432000 4194304 8989770 140735214467856 140735214467120 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/8374/statm: 48660 47907 475 1171 0 47437 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 194640 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.31 CPU time (s): 1800.04 CPU user time (s): 1794.72 CPU system time (s): 5.31819 CPU usage (%): 99.9846 Max. virtual memory (cumulated for all children) (KiB): 194640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.72 system time used= 5.31819 maximum resident set size= 191628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48002 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= 19 involuntary context switches= 1859 runsolver used 3.19051 second user time and 9.03463 second system time The end
Begin job on node138 at 2012-06-02 16:36:47 IDJOB=3724896 IDBENCH=92657 IDSOLVER=2308 FILE ID=node138/3724896-1338647807 RUNJOBID= node138-1338631507-6954 PBS_JOBID= 14636442 Free space on /tmp= 70616 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_3_mh_ic.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724896-1338647807/watcher-3724896-1338647807 -o /tmp/evaluation-result-3724896-1338647807/solver-3724896-1338647807 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724896-1338647807.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bd1f23f2ad95dce248911d20ecda08b7 RANDOM SEED=1756608851 node138.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.347 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.69 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.347 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 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.347 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.347 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.347 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.92 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.347 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: 32873844 kB MemFree: 24237220 kB Buffers: 698720 kB Cached: 3794364 kB SwapCached: 208 kB Active: 5601892 kB Inactive: 2129816 kB Active(anon): 3223100 kB Inactive(anon): 11388 kB Active(file): 2378792 kB Inactive(file): 2118428 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108648 kB Dirty: 8152 kB Writeback: 0 kB AnonPages: 3238852 kB Mapped: 16036 kB Shmem: 200 kB Slab: 760472 kB SReclaimable: 202788 kB SUnreclaim: 557684 kB KernelStack: 1464 kB PageTables: 9908 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 3346448 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 70824 MiB End job on node138 at 2012-06-02 17:06:50