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.11 | 1800.41 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_1_mh_ic.opb |
| MD5SUM | f4c34ee83da7e36be7881d34beece196 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1396365 |
| Best CPU time to get the best result obtained on this benchmark | 680.72 |
| 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 | 57066625 |
| Number of bits for the biggest coefficient in the objective function | 26 |
| Sum of the numbers in the objective function | 2537601947 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 57066625 |
| Number of bits of the biggest number in a constraint | 26 |
| Biggest sum of numbers in a constraint | 2537601947 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2.39/2.44 c 2012-05-28T18:18:33+0200 2.39/2.44 c arch = x86_64 2.39/2.44 c os = linux 2.39/2.44 c compiler = ghc 7.4 2.39/2.44 c packages: 2.39/2.44 c OptDir-0.0.1 2.39/2.44 c array-0.4.0.0 2.39/2.44 c base-4.5.0.0 2.39/2.44 c bytestring-0.9.2.1 2.39/2.44 c containers-0.4.2.1 2.39/2.44 c deepseq-1.3.0.0 2.39/2.44 c mtl-2.1.1 2.39/2.44 c old_locale-1.0.0.4 2.39/2.44 c parse_dimacs-1.2 2.39/2.44 c parsec-3.1.2 2.39/2.44 c queue-0.1.2 2.39/2.44 c stm-2.3 2.39/2.44 c time-1.4 2.39/2.44 c command line = ["--pb","HOME/instance-3706522-1338221913.opb"] 2.39/2.44 c #vars 9765 2.39/2.44 c #constraints 21293 2.39/2.44 c Solving starts ... 3.09/3.19 c solving time = 0.746s 3.09/3.19 c #decision = 3784 3.09/3.19 c #conflict = 274 3.09/3.19 c #restart = 2 3.09/3.19 o 25622869 3.09/3.20 c Solving starts ... 3.99/4.08 c solving time = 0.870s 3.99/4.08 c #decision = 4809 3.99/4.08 c #conflict = 417 3.99/4.08 c #restart = 3 3.99/4.08 o 23340519 3.99/4.08 c Solving starts ... 4.09/4.15 c solving time = 0.056s 4.09/4.15 c #decision = 5288 4.09/4.15 c #conflict = 418 4.09/4.15 c #restart = 3 4.09/4.15 o 23153015 4.09/4.16 c Solving starts ... 4.19/4.26 c solving time = 0.093s 4.19/4.26 c #decision = 5658 4.19/4.26 c #conflict = 419 4.19/4.26 c #restart = 3 4.19/4.26 o 23058462 4.19/4.26 c Solving starts ... 5.89/5.94 c solving time = 1.669s 5.89/5.94 c #decision = 7025 5.89/5.94 c #conflict = 626 5.89/5.94 c #restart = 4 5.89/5.94 o 19305427 5.89/5.95 c Solving starts ... 5.99/6.07 c solving time = 0.111s 5.99/6.07 c #decision = 7472 5.99/6.07 c #conflict = 631 5.99/6.07 c #restart = 4 5.99/6.07 o 19187730 5.99/6.08 c Solving starts ... 6.09/6.18 c solving time = 0.092s 6.09/6.18 c #decision = 7788 6.09/6.18 c #conflict = 634 6.09/6.18 c #restart = 4 6.09/6.18 o 19148144 6.19/6.21 c Solving starts ... 6.69/6.71 c solving time = 0.496s 6.69/6.71 c #decision = 8392 6.69/6.71 c #conflict = 697 6.69/6.71 c #restart = 4 6.69/6.71 o 19014865 6.69/6.72 c Solving starts ... 217.86/217.99 c learnt constraints deletion: 38783 -> 19392 217.96/218.09 c solving time = 211.330s 217.96/218.09 c #decision = 90116 217.96/218.09 c #conflict = 38816 217.96/218.09 c #restart = 16 217.96/218.09 o 17990149 218.06/218.10 c Solving starts ... 218.06/218.11 c learnt constraints deletion: 19392 -> 9696 218.36/218.48 c solving time = 0.373s 218.36/218.48 c #decision = 90623 218.36/218.48 c #conflict = 38822 218.36/218.48 c #restart = 16 218.36/218.48 o 17863903 218.36/218.48 c Solving starts ... 218.56/218.64 c solving time = 0.152s 218.56/218.64 c #decision = 90851 218.56/218.64 c #conflict = 38825 218.56/218.64 c #restart = 16 218.56/218.64 o 17862031 218.56/218.65 c Solving starts ... 219.15/219.21 c solving time = 0.552s 219.15/219.21 c #decision = 91294 219.15/219.21 c #conflict = 38846 219.15/219.21 c #restart = 16 219.15/219.21 o 17828550 219.15/219.22 c Solving starts ... 219.25/219.37 c solving time = 0.142s 219.25/219.37 c #decision = 91792 219.25/219.37 c #conflict = 38847 219.25/219.37 c #restart = 16 219.25/219.37 o 17676389 219.25/219.38 c Solving starts ... 219.45/219.53 c solving time = 0.151s 219.45/219.53 c #decision = 92127 219.45/219.53 c #conflict = 38848 219.45/219.53 c #restart = 16 219.45/219.53 o 17606465 219.45/219.54 c Solving starts ... 219.75/219.89 c solving time = 0.338s 219.75/219.89 c #decision = 92427 219.75/219.89 c #conflict = 38852 219.75/219.89 c #restart = 16 219.75/219.89 o 17584233 219.75/219.90 c Solving starts ... 220.05/220.10 c solving time = 0.198s 220.05/220.10 c #decision = 92839 220.05/220.10 c #conflict = 38855 220.05/220.10 c #restart = 16 220.05/220.10 o 17502536 220.05/220.11 c Solving starts ... 220.25/220.31 c solving time = 0.195s 220.25/220.31 c #decision = 93303 220.25/220.31 c #conflict = 38856 220.25/220.31 c #restart = 16 220.25/220.31 o 17350375 220.25/220.32 c Solving starts ... 220.45/220.53 c solving time = 0.207s 220.45/220.53 c #decision = 93633 220.45/220.53 c #conflict = 38857 220.45/220.53 c #restart = 16 220.45/220.53 o 17280451 220.45/220.54 c Solving starts ... 220.75/220.88 c solving time = 0.336s 220.75/220.88 c #decision = 93852 220.75/220.88 c #conflict = 38858 220.75/220.88 c #restart = 16 220.75/220.88 o 17278579 220.75/220.89 c Solving starts ... 230.25/230.39 c solving time = 9.487s 230.25/230.39 c #decision = 96113 230.25/230.39 c #conflict = 39684 230.25/230.39 c #restart = 20 230.25/230.39 o 17238185 230.35/230.40 c Solving starts ... 230.55/230.64 c solving time = 0.238s 230.55/230.64 c #decision = 96350 230.55/230.64 c #conflict = 39685 230.55/230.64 c #restart = 20 230.55/230.64 o 17234739 230.55/230.65 c Solving starts ... 230.86/230.92 c solving time = 0.262s 230.86/230.92 c #decision = 96614 230.86/230.92 c #conflict = 39688 230.86/230.92 c #restart = 20 230.86/230.92 o 17221307 230.86/230.93 c Solving starts ... 231.25/231.34 c solving time = 0.403s 231.25/231.34 c #decision = 96879 231.25/231.34 c #conflict = 39692 231.25/231.34 c #restart = 20 231.25/231.34 o 17202533 231.25/231.34 c Solving starts ... 231.86/231.90 c solving time = 0.549s 231.86/231.90 c #decision = 97258 231.86/231.90 c #conflict = 39716 231.86/231.90 c #restart = 20 231.86/231.90 o 17144846 231.86/231.91 c Solving starts ... 233.16/233.22 c solving time = 1.308s 233.16/233.22 c #decision = 97920 233.16/233.22 c #conflict = 39782 233.16/233.22 c #restart = 20 233.16/233.22 o 3867172 233.16/233.24 c Solving starts ... 233.35/233.49 c solving time = 0.234s 233.35/233.49 c #decision = 98132 233.35/233.49 c #conflict = 39782 233.35/233.49 c #restart = 20 233.35/233.49 o 3867172 233.35/233.49 c Solving starts ... 233.65/233.79 c solving time = 0.289s 233.65/233.79 c #decision = 98663 233.65/233.79 c #conflict = 39783 233.65/233.79 c #restart = 20 233.65/233.79 o 3513252 233.76/233.80 c Solving starts ... 234.16/234.24 c solving time = 0.434s 234.16/234.24 c #decision = 99114 234.16/234.24 c #conflict = 39784 234.16/234.24 c #restart = 20 234.16/234.24 o 3379188 234.16/234.25 c Solving starts ... 234.55/234.62 c solving time = 0.368s 234.55/234.62 c #decision = 99478 234.55/234.62 c #conflict = 39785 234.55/234.62 c #restart = 20 234.55/234.62 o 3303404 234.55/234.63 c Solving starts ... 237.96/238.02 c solving time = 3.386s 237.96/238.02 c #decision = 100070 237.96/238.02 c #conflict = 39812 237.96/238.02 c #restart = 20 237.96/238.02 o 3042163 237.96/238.03 c Solving starts ... 238.25/238.32 c solving time = 0.276s 238.25/238.32 c #decision = 100266 238.25/238.32 c #conflict = 39812 238.25/238.32 c #restart = 20 238.25/238.32 o 3042163 238.25/238.32 c Solving starts ... 246.65/246.70 c solving time = 8.369s 246.65/246.70 c #decision = 101147 246.65/246.70 c #conflict = 39913 246.65/246.70 c #restart = 21 246.65/246.70 o 2434772 246.65/246.71 c Solving starts ... 246.85/246.98 c solving time = 0.260s 246.85/246.98 c #decision = 101381 246.85/246.98 c #conflict = 39913 246.85/246.98 c #restart = 21 246.85/246.98 o 2434772 246.85/246.99 c Solving starts ... 247.15/247.28 c solving time = 0.281s 247.15/247.28 c #decision = 101663 247.15/247.28 c #conflict = 39914 247.15/247.28 c #restart = 21 247.15/247.28 o 2421340 247.15/247.28 c Solving starts ... 1622.92/1623.26 c learnt constraints deletion: 36593 -> 18297
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-3706522-1338221913/watcher-3706522-1338221913 -o /tmp/evaluation-result-3706522-1338221913/solver-3706522-1338221913 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706522-1338221913.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/176 29766 /proc/meminfo: memFree=25488128/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=6208 CPUtime=0 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 803 0 0 0 0 0 0 0 20 0 1 0 288319884 6356992 723 33554432000 4194304 8973514 140735988973472 140735183595464 5743029 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 1552 723 411 1167 0 333 0 [startup+0.0116051 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29766 /proc/meminfo: memFree=25488128/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=7232 CPUtime=0 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 925 0 0 0 0 0 0 0 20 0 1 0 288319884 7405568 845 33554432000 4194304 8973514 140735988973472 140735183595464 5782303 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 1808 845 412 1167 0 589 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7232 [startup+0.100196 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29766 /proc/meminfo: memFree=25488128/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=12352 CPUtime=0.09 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 288319884 12648448 2276 33554432000 4194304 8973514 140735988973472 140735183595464 4610879 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 3088 2276 418 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.300261 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29766 /proc/meminfo: memFree=25488128/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=23616 CPUtime=0.28 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 5172 0 0 0 28 0 0 0 20 0 1 0 288319884 24182784 5092 33554432000 4194304 8973514 140735988973472 140735988972968 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 5904 5092 418 1167 0 4685 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 23616 [startup+0.700263 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29766 /proc/meminfo: memFree=25488128/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=40000 CPUtime=0.69 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 9291 0 0 0 67 2 0 0 20 0 1 0 288319884 40960000 9211 33554432000 4194304 8973514 140735988973472 140735988972968 4481648 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 10000 9211 435 1167 0 8781 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40000 [startup+1.50018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29767 /proc/meminfo: memFree=25453152/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=40000 CPUtime=1.49 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 9291 0 0 0 147 2 0 0 20 0 1 0 288319884 40960000 9211 33554432000 4194304 8973514 140735988973472 140735988972968 6662671 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 10000 9211 435 1167 0 8781 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40000 [startup+3.10027 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29767 /proc/meminfo: memFree=25452756/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=47168 CPUtime=3.09 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 11095 0 0 0 306 3 0 0 20 0 1 0 288319884 48300032 11015 33554432000 4194304 8973514 140735988973472 140735988972968 4214368 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 11792 11015 447 1167 0 10573 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47168 [startup+6.30028 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29767 /proc/meminfo: memFree=25438992/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=54336 CPUtime=6.29 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 12898 0 0 0 625 4 0 0 20 0 1 0 288319884 55640064 12818 33554432000 4194304 8973514 140735988973472 140735988972968 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 13584 12818 458 1167 0 12365 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54336 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29767 /proc/meminfo: memFree=25431716/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=61504 CPUtime=12.69 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 14690 0 0 0 1261 8 0 0 20 0 1 0 288319884 62980096 14610 33554432000 4194304 8973514 140735988973472 140735988972968 6571896 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 15376 14610 458 1167 0 14157 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61504 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29767 /proc/meminfo: memFree=25427004/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=65600 CPUtime=25.48 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 15714 0 0 0 2536 12 0 0 20 0 1 0 288319884 67174400 15634 33554432000 4194304 8973514 140735988973472 140735988972968 4434661 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 16400 15634 458 1167 0 15181 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 65600 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29767 /proc/meminfo: memFree=25417208/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=75840 CPUtime=51.09 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 18274 0 0 0 5086 23 0 0 20 0 1 0 288319884 77660160 18194 33554432000 4194304 8973514 140735988973472 140735988972736 4436549 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 18960 18194 458 1167 0 17741 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 75840 [startup+102.306 s] /proc/loadavg: 2.04 2.01 2.00 3/178 29770 /proc/meminfo: memFree=25395748/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=96320 CPUtime=102.28 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 23394 0 0 0 10185 43 0 0 20 0 1 0 288319884 98631680 23314 33554432000 4194304 8973514 140735988973472 140735988972968 4204646 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 24080 23314 458 1167 0 22861 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 96320 [startup+162.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 29771 /proc/meminfo: memFree=25377404/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=114752 CPUtime=162.26 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 28002 0 0 0 16159 67 0 0 20 0 1 0 288319884 117506048 27922 33554432000 4194304 8973514 140735988973472 140735988972968 4434704 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 28688 27922 458 1167 0 27469 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 114752 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29771 /proc/meminfo: memFree=25358060/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=134208 CPUtime=222.26 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 32867 0 0 0 22134 92 0 0 20 0 1 0 288319884 137428992 32787 33554432000 4194304 8973514 140735988973472 140735988972968 7716779 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 33552 32787 459 1167 0 32333 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 134208 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29771 /proc/meminfo: memFree=25343800/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=148544 CPUtime=282.25 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 36451 0 0 0 28112 113 0 0 20 0 1 0 288319884 152109056 36371 33554432000 4194304 8973514 140735988973472 140735988972736 4434704 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 37136 36371 459 1167 0 35917 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 148544 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29771 /proc/meminfo: memFree=25343924/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=148544 CPUtime=342.23 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 36451 0 0 0 34089 134 0 0 20 0 1 0 288319884 152109056 36371 33554432000 4194304 8973514 140735988973472 140735988972968 4434700 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/29766/statm: 37136 36371 459 1167 0 35917 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 148544 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29810 /proc/meminfo: memFree=26058956/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=148544 CPUtime=402.22 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 36457 0 0 0 40067 155 0 0 20 0 1 0 288319884 152109056 36376 33554432000 4194304 8973514 140735988973472 140735988972968 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 37136 36376 459 1167 0 35917 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 148544 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29811 /proc/meminfo: memFree=25339784/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=148544 CPUtime=462.2 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 36478 0 0 0 46045 175 0 0 20 0 1 0 288319884 152109056 36376 33554432000 4194304 8973514 140735988973472 140735988971392 4209365 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 37136 36376 459 1167 0 35917 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 148544 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29811 /proc/meminfo: memFree=25339316/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=148544 CPUtime=522.18 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 36481 0 0 0 52022 196 0 0 20 0 1 0 288319884 152109056 36376 33554432000 4194304 8973514 140735988973472 140735988972968 4415744 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 37136 36376 459 1167 0 35917 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 148544 [startup+582.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 29811 /proc/meminfo: memFree=25339344/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=148544 CPUtime=582.17 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 36481 0 0 0 58000 217 0 0 20 0 1 0 288319884 152109056 36376 33554432000 4194304 8973514 140735988973472 140735988972736 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 37136 36376 459 1167 0 35917 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 148544 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 29816 /proc/meminfo: memFree=25339580/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=148544 CPUtime=822.14 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 36481 0 0 0 81921 293 0 0 20 0 1 0 288319884 152109056 36376 33554432000 4194304 8973514 140735988973472 140735988972736 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 37136 36376 459 1167 0 35917 0 Current children cumulated CPU time (s) 822.14 Current children cumulated vsize (KiB) 148544 [startup+882.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 29816 /proc/meminfo: memFree=25337500/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=150592 CPUtime=882.14 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 36993 0 0 0 87897 317 0 0 20 0 1 0 288319884 154206208 36888 33554432000 4194304 8973514 140735988973472 140735988971392 7660544 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 37648 36888 459 1167 0 36429 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 150592 [startup+942.3 s] /proc/loadavg: 2.05 2.03 2.00 3/177 29816 /proc/meminfo: memFree=25333436/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=153664 CPUtime=942.12 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 37761 0 0 0 93870 342 0 0 20 0 1 0 288319884 157351936 37656 33554432000 4194304 8973514 140735988973472 140735988972968 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 38416 37656 459 1167 0 37197 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 153664 [startup+1002.3 s] /proc/loadavg: 2.05 2.03 2.00 3/177 29816 /proc/meminfo: memFree=25331356/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=155712 CPUtime=1002.11 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 38273 0 0 0 99846 365 0 0 20 0 1 0 288319884 159449088 38168 33554432000 4194304 8973514 140735988973472 140735988972968 4434661 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 38928 38168 459 1167 0 37709 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 155712 [startup+1062.3 s] /proc/loadavg: 2.05 2.04 2.00 3/177 29817 /proc/meminfo: memFree=25329524/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=157760 CPUtime=1062.11 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 38785 0 0 0 105822 389 0 0 20 0 1 0 288319884 161546240 38680 33554432000 4194304 8973514 140735988973472 140735988971456 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 39440 38680 459 1167 0 38221 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 157760 [startup+1122.3 s] /proc/loadavg: 2.05 2.04 2.00 3/177 29817 /proc/meminfo: memFree=25327568/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=159808 CPUtime=1122.1 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 39297 0 0 0 111799 411 0 0 20 0 1 0 288319884 163643392 39192 33554432000 4194304 8973514 140735988973472 140735988972736 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 39952 39192 459 1167 0 38733 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 159808 [startup+1182.3 s] /proc/loadavg: 2.02 2.03 2.00 3/177 29817 /proc/meminfo: memFree=25325364/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=161856 CPUtime=1182.09 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 39809 0 0 0 117775 434 0 0 20 0 1 0 288319884 165740544 39704 33554432000 4194304 8973514 140735988973472 140735988972968 4209206 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 40464 39704 459 1167 0 39245 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 161856 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 29817 /proc/meminfo: memFree=25323284/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=163904 CPUtime=1242.08 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 40321 0 0 0 123750 458 0 0 20 0 1 0 288319884 167837696 40216 33554432000 4194304 8973514 140735988973472 140735988972736 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 40976 40216 459 1167 0 39757 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 163904 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/178 29820 /proc/meminfo: memFree=25321064/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=165952 CPUtime=1302.07 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 40833 0 0 0 129728 479 0 0 20 0 1 0 288319884 169934848 40728 33554432000 4194304 8973514 140735988973472 140735988972968 4415209 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 41488 40728 459 1167 0 40269 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 165952 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 29821 /proc/meminfo: memFree=25319124/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=168000 CPUtime=1362.06 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 41345 0 0 0 135703 503 0 0 20 0 1 0 288319884 172032000 41240 33554432000 4194304 8973514 140735988973472 140735988972736 4414966 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 42000 41240 459 1167 0 40781 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 168000 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.00 3/177 29821 /proc/meminfo: memFree=25317000/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=170048 CPUtime=1422.05 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 41857 0 0 0 141684 521 0 0 20 0 1 0 288319884 174129152 41752 33554432000 4194304 8973514 140735988973472 140735988972968 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 42512 41752 459 1167 0 41293 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 170048 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29821 /proc/meminfo: memFree=25315140/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=172096 CPUtime=1482.04 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 42369 0 0 0 147662 542 0 0 20 0 1 0 288319884 176226304 42264 33554432000 4194304 8973514 140735988973472 140735988972968 7399936 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 43024 42264 459 1167 0 41805 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 172096 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29821 /proc/meminfo: memFree=25312016/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=175168 CPUtime=1542.04 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 43138 0 0 0 153637 567 0 0 20 0 1 0 288319884 179372032 43032 33554432000 4194304 8973514 140735988973472 140735988971392 4434704 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 43792 43032 459 1167 0 42573 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 175168 [startup+1602.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 29821 /proc/meminfo: memFree=25309784/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=177216 CPUtime=1602.02 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 43650 0 0 0 159613 589 0 0 20 0 1 0 288319884 181469184 43544 33554432000 4194304 8973514 140735988973472 140735988972968 7720874 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 44304 43544 459 1167 0 43085 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 177216 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 29822 /proc/meminfo: memFree=25305692/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=181312 CPUtime=1662.02 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 44674 0 0 0 165593 609 0 0 20 0 1 0 288319884 185663488 44568 33554432000 4194304 8973514 140735988973472 140735988972968 7688773 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 45328 44568 459 1167 0 44109 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 181312 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29822 /proc/meminfo: memFree=25305692/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=181312 CPUtime=1722.01 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 44674 0 0 0 171571 630 0 0 20 0 1 0 288319884 185663488 44568 33554432000 4194304 8973514 140735988973472 140735988972968 4434700 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 45328 44568 459 1167 0 44109 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 181312 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29822 /proc/meminfo: memFree=25305692/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=181312 CPUtime=1782 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 44674 0 0 0 177551 649 0 0 20 0 1 0 288319884 185663488 44568 33554432000 4194304 8973514 140735988973472 140735988971392 4214039 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 45328 44568 459 1167 0 44109 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 181312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29822 /proc/meminfo: memFree=25305816/32873844 swapFree=6088/6088 [pid=29766] ppid=29764 vsize=181312 CPUtime=1800.1 cores=0,2,4,6 /proc/29766/stat : 29766 (toysat) R 29764 29766 27853 0 -1 4202496 44674 0 0 0 179356 654 0 0 20 0 1 0 288319884 185663488 44568 33554432000 4194304 8973514 140735988973472 140735988972968 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/29766/statm: 45328 44568 459 1167 0 44109 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 181312 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.11 CPU user time (s): 1793.56 CPU system time (s): 6.547 CPU usage (%): 99.9835 Max. virtual memory (cumulated for all children) (KiB): 181312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.56 system time used= 6.547 maximum resident set size= 178272 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44674 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= 34 involuntary context switches= 2059 runsolver used 2.78358 second user time and 9.77151 second system time The end
Begin job on node108 at 2012-05-28 18:18:33 IDJOB=3706522 IDBENCH=92667 IDSOLVER=2285 FILE ID=node108/3706522-1338221913 RUNJOBID= node108-1338192848-27869 PBS_JOBID= 14624581 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_1_mh_ic.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706522-1338221913/watcher-3706522-1338221913 -o /tmp/evaluation-result-3706522-1338221913/solver-3706522-1338221913 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706522-1338221913.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f4c34ee83da7e36be7881d34beece196 RANDOM SEED=1920870772 node108.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.273 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 : 5332.54 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.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 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 : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 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 : 2666.273 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 : 5438.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.273 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 : 2666.273 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: 25488772 kB Buffers: 331504 kB Cached: 4693440 kB SwapCached: 0 kB Active: 2265604 kB Inactive: 4321472 kB Active(anon): 1561444 kB Inactive(anon): 0 kB Active(file): 704160 kB Inactive(file): 4321472 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 8180 kB Writeback: 0 kB AnonPages: 1564792 kB Mapped: 16048 kB Shmem: 200 kB Slab: 657104 kB SReclaimable: 99292 kB SUnreclaim: 557812 kB KernelStack: 1472 kB PageTables: 7308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1670128 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1544192 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= 71676 MiB End job on node108 at 2012-05-28 18:48:36