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.42 |
| Name | /PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo |
| MD5SUM | 1923b56554147f45c1335542a0a2f539 |
| Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 8132 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 336 |
| Total number of constraints | 69031 |
| Number of soft constraints | 69017 |
| Number of constraints which are clauses | 69017 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 24 |
| Top cost | 47694 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 9891329 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 25 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
616.88/617.09 c 2012-05-28T20:25:20+0200 616.88/617.09 c arch = x86_64 616.88/617.09 c os = linux 616.88/617.09 c compiler = ghc 7.4 616.88/617.09 c packages: 616.88/617.09 c OptDir-0.0.1 616.88/617.09 c array-0.4.0.0 616.88/617.09 c base-4.5.0.0 616.88/617.09 c bytestring-0.9.2.1 616.88/617.09 c containers-0.4.2.1 616.88/617.09 c deepseq-1.3.0.0 616.88/617.09 c mtl-2.1.1 616.88/617.09 c old_locale-1.0.0.4 616.88/617.09 c parse_dimacs-1.2 616.88/617.09 c parsec-3.1.2 616.88/617.09 c queue-0.1.2 616.88/617.09 c stm-2.3 616.88/617.09 c time-1.4 616.88/617.09 c command line = ["--wbo","HOME/instance-3711804-1338229520.wbo"] 616.88/617.09 c #vars 336 616.88/617.09 c #constraints 69031 616.88/617.09 c Solving starts ... 620.67/620.83 c solving time = 3.655s 620.67/620.83 c #decision = 557409 620.67/620.83 c #conflict = 250 620.67/620.83 c #restart = 2 620.67/620.84 o 16189 620.87/621.07 c Solving starts ... 624.07/624.23 c solving time = 3.080s 624.07/624.23 c #decision = 615557 624.07/624.23 c #conflict = 250 624.07/624.23 c #restart = 2 624.07/624.23 o 16188 624.27/624.45 c Solving starts ... 628.87/629.09 c solving time = 4.561s 628.87/629.09 c #decision = 673234 628.87/629.09 c #conflict = 250 628.87/629.09 c #restart = 2 628.87/629.09 o 16187 629.08/629.23 c Solving starts ... 635.08/635.21 c solving time = 5.904s 635.08/635.21 c #decision = 730275 635.08/635.21 c #conflict = 250 635.08/635.21 c #restart = 2 635.08/635.21 o 16186 635.28/635.44 c Solving starts ... 642.57/642.72 c solving time = 7.196s 642.57/642.72 c #decision = 787056 642.57/642.72 c #conflict = 250 642.57/642.72 c #restart = 2 642.57/642.72 o 16185 642.77/642.96 c Solving starts ... 651.28/651.43 c solving time = 8.390s 651.28/651.43 c #decision = 843718 651.28/651.43 c #conflict = 250 651.28/651.43 c #restart = 2 651.28/651.43 o 16184 651.48/651.67 c Solving starts ... 661.37/661.56 c solving time = 9.814s 661.37/661.56 c #decision = 900351 661.37/661.56 c #conflict = 250 661.37/661.56 c #restart = 2 661.37/661.57 o 16183 661.57/661.70 c Solving starts ... 672.67/672.83 c solving time = 11.054s 672.67/672.83 c #decision = 956951 672.67/672.83 c #conflict = 250 672.67/672.83 c #restart = 2 672.67/672.84 o 16182 672.77/672.97 c Solving starts ... 685.07/685.21 c solving time = 12.161s 685.07/685.21 c #decision = 1013549 685.07/685.21 c #conflict = 250 685.07/685.21 c #restart = 2 685.07/685.21 o 16181 685.27/685.48 c Solving starts ... 698.77/698.90 c solving time = 13.342s 698.77/698.90 c #decision = 1070134 698.77/698.90 c #conflict = 250 698.77/698.90 c #restart = 2 698.77/698.90 o 16180 698.97/699.17 c Solving starts ... 713.66/713.86 c solving time = 14.612s 713.66/713.86 c #decision = 1126627 713.66/713.86 c #conflict = 250 713.66/713.86 c #restart = 2 713.66/713.86 o 16179 713.76/714.00 c Solving starts ... 729.76/729.90 c solving time = 15.825s 729.76/729.90 c #decision = 1183055 729.76/729.90 c #conflict = 250 729.76/729.90 c #restart = 2 729.76/729.90 o 16178 729.96/730.19 c Solving starts ... 747.06/747.22 c solving time = 16.961s 747.06/747.22 c #decision = 1239492 747.06/747.22 c #conflict = 250 747.06/747.22 c #restart = 2 747.06/747.23 o 16177 747.16/747.36 c Solving starts ... 765.35/765.55 c solving time = 18.100s 765.35/765.55 c #decision = 1295822 765.35/765.55 c #conflict = 250 765.35/765.55 c #restart = 2 765.35/765.55 o 16176 765.46/765.68 c Solving starts ... 784.75/784.92 c solving time = 19.155s 784.75/784.92 c #decision = 1351994 784.75/784.92 c #conflict = 250 784.75/784.92 c #restart = 2 784.75/784.92 o 16175 784.85/785.06 c Solving starts ... 805.05/805.24 c solving time = 20.108s 805.05/805.24 c #decision = 1408104 805.05/805.24 c #conflict = 250 805.05/805.24 c #restart = 2 805.05/805.25 o 16174 805.15/805.38 c Solving starts ... 826.43/826.63 c solving time = 21.161s 826.43/826.63 c #decision = 1464133 826.43/826.63 c #conflict = 250 826.43/826.63 c #restart = 2 826.43/826.63 o 16173 826.53/826.77 c Solving starts ... 848.74/848.95 c solving time = 22.097s 848.74/848.95 c #decision = 1520166 848.74/848.95 c #conflict = 250 848.74/848.95 c #restart = 2 848.74/848.95 o 16172 848.84/849.09 c Solving starts ... 871.92/872.10 c solving time = 22.936s 871.92/872.10 c #decision = 1576151 871.92/872.10 c #conflict = 250 871.92/872.10 c #restart = 2 871.92/872.11 o 16171 872.23/872.43 c Solving starts ... 896.13/896.38 c solving time = 23.870s 896.13/896.38 c #decision = 1632123 896.13/896.38 c #conflict = 250 896.13/896.38 c #restart = 2 896.13/896.38 o 16170 896.33/896.52 c Solving starts ... 921.22/921.45 c solving time = 24.855s 921.22/921.45 c #decision = 1688081 921.22/921.45 c #conflict = 250 921.22/921.45 c #restart = 2 921.22/921.46 o 16169 921.32/921.59 c Solving starts ... 947.22/947.41 c solving time = 25.737s 947.22/947.41 c #decision = 1744020 947.22/947.41 c #conflict = 250 947.22/947.41 c #restart = 2 947.22/947.41 o 16168 947.32/947.55 c Solving starts ... 974.01/974.20 c solving time = 26.571s 974.01/974.20 c #decision = 1799924 974.01/974.20 c #conflict = 250 974.01/974.20 c #restart = 2 974.01/974.20 o 16167 974.11/974.34 c Solving starts ... 1001.60/1001.87 c solving time = 27.446s 1001.60/1001.87 c #decision = 1855620 1001.60/1001.87 c #conflict = 250 1001.60/1001.87 c #restart = 2 1001.60/1001.87 o 16166 1002.01/1002.23 c Solving starts ... 1030.30/1030.52 c solving time = 28.211s 1030.30/1030.52 c #decision = 1911117 1030.30/1030.52 c #conflict = 250 1030.30/1030.52 c #restart = 2 1030.30/1030.52 o 16165 1030.40/1030.66 c Solving starts ... 1059.59/1059.81 c solving time = 29.075s 1059.59/1059.81 c #decision = 1957334 1059.59/1059.81 c #conflict = 250 1059.59/1059.81 c #restart = 2 1059.59/1059.82 o 16164 1059.69/1059.95 c Solving starts ... 1089.58/1089.84 c solving time = 29.807s 1089.58/1089.84 c #decision = 2003541 1089.58/1089.84 c #conflict = 250 1089.58/1089.84 c #restart = 2 1089.58/1089.84 o 16163 1089.99/1090.21 c Solving starts ... 1120.69/1120.93 c solving time = 30.645s 1120.69/1120.93 c #decision = 2049752 1120.69/1120.93 c #conflict = 250 1120.69/1120.93 c #restart = 2 1120.69/1120.93 o 16162 1120.79/1121.07 c Solving starts ... 1152.27/1152.53 c solving time = 31.383s 1152.27/1152.53 c #decision = 2095922 1152.27/1152.53 c #conflict = 250 1152.27/1152.53 c #restart = 2 1152.27/1152.53 o 16161 1152.37/1152.67 c Solving starts ... 1184.67/1184.93 c solving time = 32.188s 1184.67/1184.93 c #decision = 2141979 1184.67/1184.93 c #conflict = 250 1184.67/1184.93 c #restart = 2 1184.67/1184.93 o 16160 1184.77/1185.07 c Solving starts ... 1217.66/1217.97 c solving time = 32.817s 1217.66/1217.97 c #decision = 2187843 1217.66/1217.97 c #conflict = 250 1217.66/1217.97 c #restart = 2 1217.66/1217.97 o 16159 1217.86/1218.11 c Solving starts ... 1251.57/1251.85 c solving time = 33.666s 1251.57/1251.85 c #decision = 2233676 1251.57/1251.85 c #conflict = 250 1251.57/1251.85 c #restart = 2 1251.57/1251.85 o 16158 1251.67/1251.99 c Solving starts ... 1286.05/1286.34 c solving time = 34.273s 1286.05/1286.34 c #decision = 2279505 1286.05/1286.34 c #conflict = 250 1286.05/1286.34 c #restart = 2 1286.05/1286.34 o 16157 1286.15/1286.48 c Solving starts ... 1321.06/1321.37 c solving time = 34.821s 1321.06/1321.37 c #decision = 2324382 1321.06/1321.37 c #conflict = 250 1321.06/1321.37 c #restart = 2 1321.06/1321.37 o 16156 1321.25/1321.51 c Solving starts ... 1356.95/1357.22 c solving time = 35.649s 1356.95/1357.22 c #decision = 2353310 1356.95/1357.22 c #conflict = 250 1356.95/1357.22 c #restart = 2 1356.95/1357.22 o 16155 1357.05/1357.36 c Solving starts ... 1547.53/1547.81 c solving time = 190.343s 1547.53/1547.81 c #decision = 2422616 1547.53/1547.81 c #conflict = 339 1547.53/1547.81 c #restart = 2 1547.53/1547.81 o 16068 1547.62/1547.95 c Solving starts ... 1586.02/1586.32 c solving time = 38.321s 1586.02/1586.32 c #decision = 2422677 1586.02/1586.32 c #conflict = 339 1586.02/1586.32 c #restart = 2 1586.02/1586.32 o 16067 1586.11/1586.46 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-3711804-1338229520/watcher-3711804-1338229520 -o /tmp/evaluation-result-3711804-1338229520/solver-3711804-1338229520 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3711804-1338229520.wbo 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.88 1.98 1.90 2/176 30290 /proc/meminfo: memFree=26855340/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=7232 CPUtime=0 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 838 0 0 0 0 0 0 0 20 0 1 0 289080613 7405568 760 33554432000 4194304 8973514 140736760124672 140736317432936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 1808 760 427 1167 0 589 0 [startup+0.101818 s] /proc/loadavg: 1.88 1.98 1.90 2/176 30290 /proc/meminfo: memFree=26855340/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=13376 CPUtime=0.09 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 2497 0 0 0 9 0 0 0 20 0 1 0 289080613 13697024 2419 33554432000 4194304 8973514 140736760124672 140736317432936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 3344 2419 428 1167 0 2125 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13376 [startup+0.200281 s] /proc/loadavg: 1.88 1.98 1.90 2/176 30290 /proc/meminfo: memFree=26855340/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=19520 CPUtime=0.19 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 4158 0 0 0 18 1 0 0 20 0 1 0 289080613 19988480 4080 33554432000 4194304 8973514 140736760124672 140736317432936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 4880 4080 428 1167 0 3661 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19520 [startup+0.300311 s] /proc/loadavg: 1.88 1.98 1.90 2/176 30290 /proc/meminfo: memFree=26855340/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=24640 CPUtime=0.29 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 5438 0 0 0 28 1 0 0 20 0 1 0 289080613 25231360 5360 33554432000 4194304 8973514 140736760124672 140736317432936 7937344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 6160 5360 428 1167 0 4941 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24640 [startup+0.700271 s] /proc/loadavg: 1.88 1.98 1.90 2/176 30290 /proc/meminfo: memFree=26855340/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=56384 CPUtime=0.69 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 13374 0 0 0 67 2 0 0 20 0 1 0 289080613 57737216 13296 33554432000 4194304 8973514 140736760124672 140736760124168 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 14096 13296 428 1167 0 12877 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 56384 [startup+1.50028 s] /proc/loadavg: 1.88 1.98 1.90 3/177 30291 /proc/meminfo: memFree=26784296/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=97344 CPUtime=1.49 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 23630 0 0 0 145 4 0 0 20 0 1 0 289080613 99680256 23552 33554432000 4194304 8973514 140736760124672 140736760124168 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 24336 23552 438 1167 0 23117 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 97344 [startup+3.10024 s] /proc/loadavg: 1.89 1.98 1.90 3/177 30291 /proc/meminfo: memFree=26714856/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=143424 CPUtime=3.09 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 35153 0 0 0 304 5 0 0 20 0 1 0 289080613 146866176 35075 33554432000 4194304 8973514 140736760124672 140736760124168 5372436 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 35856 35075 441 1167 0 34637 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 143424 [startup+6.30024 s] /proc/loadavg: 1.89 1.98 1.90 3/177 30291 /proc/meminfo: memFree=26684212/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=173120 CPUtime=6.29 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 42577 0 0 0 621 8 0 0 20 0 1 0 289080613 177274880 42499 33554432000 4194304 8973514 140736760124672 140736760124168 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 43280 42499 441 1167 0 42061 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 173120 [startup+12.7003 s] /proc/loadavg: 1.91 1.98 1.91 3/177 30291 /proc/meminfo: memFree=26671248/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=186432 CPUtime=12.69 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 45905 0 0 0 1260 9 0 0 20 0 1 0 289080613 190906368 45827 33554432000 4194304 8973514 140736760124672 140736760124168 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 46608 45827 441 1167 0 45389 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 186432 [startup+25.5003 s] /proc/loadavg: 1.92 1.98 1.91 3/177 30291 /proc/meminfo: memFree=26671340/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=186432 CPUtime=25.48 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 45905 0 0 0 2535 13 0 0 20 0 1 0 289080613 190906368 45827 33554432000 4194304 8973514 140736760124672 140736760124168 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 46608 45827 441 1167 0 45389 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 186432 [startup+51.1003 s] /proc/loadavg: 1.95 1.98 1.91 3/177 30291 /proc/meminfo: memFree=26671432/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=186432 CPUtime=51.08 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 45905 0 0 0 5087 21 0 0 20 0 1 0 289080613 190906368 45827 33554432000 4194304 8973514 140736760124672 140736760124168 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 46608 45827 441 1167 0 45389 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 186432 [startup+102.3 s] /proc/loadavg: 2.06 2.00 1.91 3/177 30291 /proc/meminfo: memFree=26670608/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=186432 CPUtime=102.28 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 45905 0 0 0 10193 35 0 0 20 0 1 0 289080613 190906368 45827 33554432000 4194304 8973514 140736760124672 140736760124168 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 46608 45827 441 1167 0 45389 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 186432 [startup+162.3 s] /proc/loadavg: 2.02 2.00 1.91 3/177 30292 /proc/meminfo: memFree=26670700/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=186432 CPUtime=162.25 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 45916 0 0 0 16174 51 0 0 20 0 1 0 289080613 190906368 45832 33554432000 4194304 8973514 140736760124672 140736760124168 5389060 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 46608 45832 441 1167 0 45389 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 186432 [startup+222.307 s] /proc/loadavg: 2.11 2.02 1.93 3/178 30293 /proc/meminfo: memFree=26670472/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=186432 CPUtime=222.25 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 45929 0 0 0 22155 70 0 0 20 0 1 0 289080613 190906368 45832 33554432000 4194304 8973514 140736760124672 140736760123936 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 46608 45832 441 1167 0 45389 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 186432 [startup+282.3 s] /proc/loadavg: 2.12 2.03 1.93 3/178 30296 /proc/meminfo: memFree=26670864/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=186432 CPUtime=282.23 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 45930 0 0 0 28133 90 0 0 20 0 1 0 289080613 190906368 45832 33554432000 4194304 8973514 140736760124672 140736760124168 4481228 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 46608 45832 441 1167 0 45389 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 186432 [startup+342.3 s] /proc/loadavg: 2.12 2.04 1.94 3/177 30296 /proc/meminfo: memFree=26670904/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=186432 CPUtime=342.22 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 45930 0 0 0 34112 110 0 0 20 0 1 0 289080613 190906368 45832 33554432000 4194304 8973514 140736760124672 140736760123936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 46608 45832 441 1167 0 45389 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 186432 [startup+402.3 s] /proc/loadavg: 2.05 2.03 1.94 3/177 30296 /proc/meminfo: memFree=26671028/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=186432 CPUtime=402.21 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 45930 0 0 0 40091 130 0 0 20 0 1 0 289080613 190906368 45832 33554432000 4194304 8973514 140736760124672 140736760124168 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 46608 45832 441 1167 0 45389 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 186432 [startup+462.3 s] /proc/loadavg: 2.08 2.05 1.95 3/177 30297 /proc/meminfo: memFree=26671028/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=186432 CPUtime=462.2 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 45930 0 0 0 46072 148 0 0 20 0 1 0 289080613 190906368 45832 33554432000 4194304 8973514 140736760124672 140736760124168 4481504 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 46608 45832 441 1167 0 45389 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 186432 [startup+522.3 s] /proc/loadavg: 2.06 2.05 1.95 3/177 30297 /proc/meminfo: memFree=26671276/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=186432 CPUtime=522.19 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 45930 0 0 0 52053 166 0 0 20 0 1 0 289080613 190906368 45832 33554432000 4194304 8973514 140736760124672 140736760124168 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 46608 45832 441 1167 0 45389 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 186432 [startup+582.3 s] /proc/loadavg: 2.05 2.05 1.96 3/177 30297 /proc/meminfo: memFree=26671276/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=186432 CPUtime=582.18 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 45930 0 0 0 58033 185 0 0 20 0 1 0 289080613 190906368 45832 33554432000 4194304 8973514 140736760124672 140736760124168 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 46608 45832 441 1167 0 45389 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 186432 [startup+642.3 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.04 2.05 1.98 3/178 30301 /proc/meminfo: memFree=25994052/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=651328 CPUtime=882.13 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 162188 0 0 0 87956 257 0 0 20 0 1 0 289080613 666959872 162083 33554432000 4194304 8973514 140736760124672 140736760123936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 162832 162083 468 1167 0 161613 0 Current children cumulated CPU time (s) 882.13 Current children cumulated vsize (KiB) 651328 [startup+942.3 s] /proc/loadavg: 2.02 2.04 1.98 3/177 30301 /proc/meminfo: memFree=25917612/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=701504 CPUtime=942.11 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 174734 0 0 0 93942 269 0 0 20 0 1 0 289080613 718340096 174627 33554432000 4194304 8973514 140736760124672 140736760124168 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 175376 174627 468 1167 0 174157 0 Current children cumulated CPU time (s) 942.11 Current children cumulated vsize (KiB) 701504 [startup+1002.3 s] /proc/loadavg: 2.04 2.05 1.98 3/177 30301 /proc/meminfo: memFree=25810876/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=769088 CPUtime=1002.1 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 191630 0 0 0 99930 280 0 0 20 0 1 0 289080613 787546112 191523 33554432000 4194304 8973514 140736760124672 140736760123936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 192272 191523 468 1167 0 191053 0 Current children cumulated CPU time (s) 1002.1 Current children cumulated vsize (KiB) 769088 [startup+1062.3 s] /proc/loadavg: 2.04 2.05 1.99 3/176 30301 /proc/meminfo: memFree=25732668/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=817216 CPUtime=1062.09 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 203668 0 0 0 105916 293 0 0 20 0 1 0 289080613 836829184 203555 33554432000 4194304 8973514 140736760124672 140736760123936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 204304 203555 468 1167 0 203085 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 817216 [startup+1122.3 s] /proc/loadavg: 2.05 2.05 2.00 3/176 30302 /proc/meminfo: memFree=25657924/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=864320 CPUtime=1122.08 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 215444 0 0 0 111901 307 0 0 20 0 1 0 289080613 885063680 215331 33554432000 4194304 8973514 140736760124672 140736760122624 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 216080 215331 468 1167 0 214861 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 864320 [startup+1182.3 s] /proc/loadavg: 2.02 2.04 2.00 3/177 30303 /proc/meminfo: memFree=25604688/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=898112 CPUtime=1182.07 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 223893 0 0 0 117889 318 0 0 20 0 1 0 289080613 919666688 223779 33554432000 4194304 8973514 140736760124672 140736760123936 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 224528 223779 468 1167 0 223309 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 898112 [startup+1242.3 s] /proc/loadavg: 2.04 2.05 2.00 3/177 30303 /proc/meminfo: memFree=25535660/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=938048 CPUtime=1242.07 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 233877 0 0 0 123875 332 0 0 20 0 1 0 289080613 960561152 233763 33554432000 4194304 8973514 140736760124672 140736760124168 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 234512 233763 468 1167 0 233293 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 938048 [startup+1302.3 s] /proc/loadavg: 2.04 2.05 2.00 3/177 30303 /proc/meminfo: memFree=25473660/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=979008 CPUtime=1302.05 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 244117 0 0 0 129861 344 0 0 20 0 1 0 289080613 1002504192 244003 33554432000 4194304 8973514 140736760124672 140736760123936 4209272 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 244752 244003 468 1167 0 243533 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 979008 [startup+1362.3 s] /proc/loadavg: 2.05 2.05 2.00 3/177 30303 /proc/meminfo: memFree=25407608/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=1026112 CPUtime=1362.05 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 255893 0 0 0 135848 357 0 0 20 0 1 0 289080613 1050738688 255779 33554432000 4194304 8973514 140736760124672 140736760124168 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 256528 255779 468 1167 0 255309 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 1026112 [startup+1422.3 s] /proc/loadavg: 2.09 2.06 2.01 3/177 30304 /proc/meminfo: memFree=25368700/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=1047616 CPUtime=1422.04 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 261269 0 0 0 141835 369 0 0 20 0 1 0 289080613 1072758784 261155 33554432000 4194304 8973514 140736760124672 140736760123936 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 261904 261155 468 1167 0 260685 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 1047616 [startup+1482.3 s] /proc/loadavg: 2.04 2.04 2.00 3/178 30307 /proc/meminfo: memFree=25341680/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=1050688 CPUtime=1482.03 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 262037 0 0 0 147823 380 0 0 20 0 1 0 289080613 1075904512 261923 33554432000 4194304 8973514 140736760124672 140736760123936 4214368 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 262672 261923 468 1167 0 261453 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 1050688 [startup+1542.31 s] /proc/loadavg: 2.01 2.03 2.00 3/177 30307 /proc/meminfo: memFree=25319652/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=1050688 CPUtime=1542.02 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 262037 0 0 0 153811 391 0 0 20 0 1 0 289080613 1075904512 261923 33554432000 4194304 8973514 140736760124672 140736760122624 4213893 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 262672 261923 468 1167 0 261453 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 1050688 [startup+1602.3 s] /proc/loadavg: 2.03 2.04 2.00 3/177 30307 /proc/meminfo: memFree=25283472/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=1077312 CPUtime=1602.01 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 268693 0 0 0 159798 403 0 0 20 0 1 0 289080613 1103167488 268579 33554432000 4194304 8973514 140736760124672 140736760122688 4213872 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 269328 268579 468 1167 0 268109 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 1077312 [startup+1662.3 s] /proc/loadavg: 2.04 2.04 2.00 3/177 30307 /proc/meminfo: memFree=25245248/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=1096768 CPUtime=1661.99 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 273557 0 0 0 165784 415 0 0 20 0 1 0 289080613 1123090432 273443 33554432000 4194304 8973514 140736760124672 140736760122624 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 274192 273443 468 1167 0 272973 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 1096768 [startup+1722.3 s] /proc/loadavg: 2.05 2.05 2.00 3/177 30308 /proc/meminfo: memFree=25219704/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=1098816 CPUtime=1721.99 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 274069 0 0 0 171771 428 0 0 20 0 1 0 289080613 1125187584 273955 33554432000 4194304 8973514 140736760124672 140736760122624 4209206 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 274704 273955 468 1167 0 273485 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 1098816 [startup+1782.3 s] /proc/loadavg: 2.05 2.05 2.00 3/177 30308 /proc/meminfo: memFree=25204328/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=1098816 CPUtime=1781.98 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 274069 0 0 0 177757 441 0 0 20 0 1 0 289080613 1125187584 273955 33554432000 4194304 8973514 140736760124672 140736760122624 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 274704 273955 468 1167 0 273485 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 1098816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.10 2.06 2.00 3/177 30385 /proc/meminfo: memFree=25874772/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=1098816 CPUtime=1800.09 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 274069 0 0 0 179565 444 0 0 20 0 1 0 289080613 1125187584 273955 33554432000 4194304 8973514 140736760124672 140736760123936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 274704 273955 468 1167 0 273485 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1098816 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.10 2.06 2.00 3/177 30385 /proc/meminfo: memFree=25874772/32873844 swapFree=6088/6088 [pid=30290] ppid=30288 vsize=1098816 CPUtime=1800.09 cores=0,2,4,6 /proc/30290/stat : 30290 (toysat) R 30288 30290 30092 0 -1 4202496 274069 0 0 0 179565 444 0 0 20 0 1 0 289080613 1125187584 273955 33554432000 4194304 8973514 140736760124672 140736760123936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/30290/statm: 274704 273955 468 1167 0 273485 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1098816 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.42 CPU time (s): 1800.11 CPU user time (s): 1795.65 CPU system time (s): 4.45532 CPU usage (%): 99.9827 Max. virtual memory (cumulated for all children) (KiB): 1098816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.65 system time used= 4.45532 maximum resident set size= 1095820 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274069 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= 52 involuntary context switches= 1942 runsolver used 3.21151 second user time and 9.51455 second system time The end
Begin job on node108 at 2012-05-28 20:25:20 IDJOB=3711804 IDBENCH=79554 IDSOLVER=2291 FILE ID=node108/3711804-1338229520 RUNJOBID= node108-1338227711-30108 PBS_JOBID= 14624630 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub1-24_wcsp.wbo COMMAND LINE= HOME/toysat --wbo BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711804-1338229520/watcher-3711804-1338229520 -o /tmp/evaluation-result-3711804-1338229520/solver-3711804-1338229520 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3711804-1338229520.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1923b56554147f45c1335542a0a2f539 RANDOM SEED=1033868721 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: 26855612 kB Buffers: 332824 kB Cached: 4681728 kB SwapCached: 0 kB Active: 885304 kB Inactive: 4336432 kB Active(anon): 206388 kB Inactive(anon): 0 kB Active(file): 678916 kB Inactive(file): 4336432 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 18764 kB Writeback: 0 kB AnonPages: 209932 kB Mapped: 16256 kB Shmem: 200 kB Slab: 658184 kB SReclaimable: 99592 kB SUnreclaim: 558592 kB KernelStack: 1480 kB PageTables: 4540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 315172 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 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= 71708 MiB End job on node108 at 2012-05-28 20:55:23