Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1761.18 | 1761.88 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 1800.97 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 5499 |
Total number of constraints | 19319 |
Number of constraints which are clauses | 19312 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 613 |
Number of terms in the objective function | 613 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 613 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 643 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680459-1277460119.opb. 0.00/0.00 c Instance file HOME/instance-2680459-1277460119.opb 0.00/0.00 c File size is 560274 bytes. 0.02/0.09 c Highest Coefficient sum: 643 0.02/0.09 c ============================[ Problem Statistics ]============================= 0.02/0.09 c | | 0.02/0.09 c | Parsing time: 0.09 s | 0.02/0.09 c | Number Variables: 5499 | 0.02/0.09 c | Number Clauses: 19312 | 0.02/0.09 c | Number Cardinality: 1 | 0.02/0.09 c | Number PB Constraints: 6 | 1.00/1.00 c ============================[ Search Statistics ]============================== 1.00/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.00 c =============================================================================== 1.00/1.00 c | 0 | 5417 19396 49082 | 6439 0 nan | 0.000 % | 1.00/1.01 c =============================================================================== 1.00/1.01 c New solution: 25 1.00/1.01 o 25 1.00/1.01 c Elapsed CPU time: 0.999848 s Remaining CPU time: 179 s 1.00/1.01 c =============================================================================== 1.00/1.01 c | 6 | 5417 19397 49695 | 6465 6 242 | 0.000 % | 1.00/1.03 c | 106 | 5417 19397 49695 | 7112 106 78 | 1.491 % | 1.00/1.07 c | 258 | 5417 19397 49695 | 7823 258 55 | 1.491 % | 1.10/1.15 c | 484 | 5417 19397 49695 | 8605 484 151 | 1.491 % | 1.19/1.21 c | 821 | 5417 19397 49695 | 9466 821 143 | 1.491 % | 1.19/1.29 c | 1329 | 5417 19397 49695 | 10413 1329 139 | 1.491 % | 1.39/1.42 c | 2088 | 5417 19397 49695 | 11454 2088 124 | 1.491 % | 1.49/1.59 c | 3230 | 5417 19397 49695 | 12599 3230 135 | 1.491 % | 1.89/1.91 c | 4938 | 5417 19397 49695 | 13859 4938 156 | 1.491 % | 2.49/2.54 c | 7504 | 5417 19397 49695 | 15245 7504 238 | 1.491 % | 3.49/3.51 c | 11349 | 5417 19397 49695 | 16770 11349 245 | 1.491 % | 4.99/5.04 c | 17115 | 5417 19397 49695 | 18447 17115 252 | 1.491 % | 10.19/10.22 c | 25764 | 5417 19397 49695 | 20292 14090 591 | 1.491 % | 13.99/14.03 c | 38739 | 5417 19397 49695 | 22321 13303 253 | 1.491 % | 25.67/25.77 c | 58201 | 5417 19397 49695 | 24553 17550 737 | 1.491 % | 34.77/34.82 c | 87393 | 5417 19397 49695 | 27008 28438 323 | 1.491 % | 59.46/59.56 c | 131183 | 5417 19397 49695 | 29709 18788 368 | 1.491 % | 86.05/86.10 c | 196867 | 5417 19397 49695 | 32680 17074 307 | 1.491 % | 127.33/127.42 c | 295395 | 5417 19397 49695 | 35948 13627 561 | 1.491 % | 177.51/177.64 c | 443184 | 5417 19397 49695 | 39543 17751 303 | 1.491 % | 182.52/182.66 c There are 82 assigned variables. 5 in cost function. 183.21/183.37 c core #1 183.21/183.37 c 183.21/183.37 c 183.21/183.37 c Core size: 162 Core Weight: 1 Total Weight: 6 183.21/183.37 c 183.21/183.37 c 183.21/183.37 c core #2 183.21/183.37 c 183.21/183.37 c 183.21/183.37 c Core size: 163 Core Weight: 1 Total Weight: 7 183.21/183.37 c 183.21/183.37 c 183.21/183.37 c core #3 183.21/183.37 c 183.21/183.37 c 183.21/183.37 c Core size: 358 Core Weight: 1 Total Weight: 8 183.21/183.37 c 183.21/183.37 c 183.21/183.37 c core #4 183.21/183.37 c 183.21/183.37 c 183.21/183.37 c Core size: 175 Core Weight: 1 Total Weight: 9 183.21/183.37 c 183.21/183.37 c 183.21/183.37 c core #5 183.21/183.37 c 183.21/183.37 c 183.21/183.37 c Core size: 83 Core Weight: 1 Total Weight: 10 183.21/183.37 c 183.21/183.37 c 183.21/183.37 c ============================[ Search Statistics ]============================== 183.21/183.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.21/183.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.21/183.37 c =============================================================================== 183.21/183.37 c | 0 | 4138 19992 48859 | 6664 0 nan | 0.000 % | 183.21/183.39 c =============================================================================== 183.31/183.43 c core #6 183.31/183.43 c 183.31/183.43 c 183.31/183.43 c Core size: 314 Core Weight: 1 Total Weight: 11 183.31/183.43 c 183.31/183.43 c 183.31/183.43 c ============================[ Search Statistics ]============================== 183.31/183.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.31/183.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.31/183.43 c =============================================================================== 183.31/183.43 c | 0 | 4502 19993 49489 | 6664 0 nan | 0.000 % | 183.31/183.45 c | 101 | 4502 19993 49489 | 7330 101 50 | 24.145 % | 183.31/183.49 c | 253 | 4476 19993 49489 | 8063 247 103 | 24.583 % | 183.41/183.56 c | 479 | 4458 19993 49489 | 8870 459 117 | 24.903 % | 183.52/183.68 c | 820 | 4418 19993 49489 | 9757 778 154 | 25.577 % | 183.62/183.77 c =============================================================================== 183.71/183.82 c core #7 183.71/183.82 c 183.71/183.82 c 183.71/183.82 c Core size: 273 Core Weight: 1 Total Weight: 12 183.71/183.82 c 183.71/183.82 c 183.71/183.82 c ============================[ Search Statistics ]============================== 183.71/183.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.71/183.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.71/183.82 c =============================================================================== 183.71/183.82 c | 0 | 4621 19994 49727 | 6664 0 nan | 0.000 % | 183.71/183.85 c | 102 | 4621 19994 49727 | 7331 102 57 | 23.670 % | 183.71/183.87 c | 253 | 4621 19994 49727 | 8064 253 65 | 23.670 % | 183.81/183.91 c | 481 | 4621 19994 49727 | 8870 481 84 | 23.670 % | 183.81/183.99 c | 818 | 4621 19994 49727 | 9757 818 118 | 23.670 % | 184.01/184.13 c | 1325 | 4621 19994 49727 | 10733 1325 118 | 23.670 % | 184.31/184.40 c | 2085 | 4621 19994 49727 | 11806 2085 113 | 23.670 % | 184.61/184.78 c | 3224 | 4621 19994 49727 | 12987 3224 150 | 23.670 % | 185.71/185.84 c | 4934 | 4621 19994 49727 | 14286 4934 179 | 23.670 % | 187.92/188.02 c | 7496 | 4621 19994 49727 | 15714 7496 227 | 23.670 % | 192.20/192.34 c | 11341 | 4620 19994 49727 | 17286 11334 246 | 23.687 % | 198.80/198.94 c | 17108 | 4620 19994 49727 | 19015 17101 261 | 23.687 % | 205.10/205.26 c =============================================================================== 205.70/205.81 c core #8 205.70/205.81 c 205.70/205.81 c 205.70/205.81 c Core size: 121 Core Weight: 1 Total Weight: 13 205.70/205.81 c 205.70/205.81 c 205.70/205.81 c ============================[ Search Statistics ]============================== 205.70/205.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 205.70/205.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 205.70/205.81 c =============================================================================== 205.70/205.81 c | 0 | 4740 19995 49965 | 6665 0 nan | 0.000 % | 205.70/205.86 c | 100 | 4740 19995 49965 | 7331 100 46 | 23.214 % | 205.70/205.88 c | 251 | 4740 19995 49965 | 8064 251 35 | 23.214 % | 205.80/205.90 c | 478 | 4740 19995 49965 | 8871 478 42 | 23.214 % | 205.80/205.94 c | 815 | 4740 19995 49965 | 9758 815 61 | 23.214 % | 205.90/206.04 c | 1321 | 4740 19995 49965 | 10734 1321 87 | 23.214 % | 206.10/206.25 c | 2083 | 4740 19995 49965 | 11807 2083 92 | 23.214 % | 206.30/206.47 c | 3224 | 4740 19995 49965 | 12988 3224 120 | 23.214 % | 206.80/206.91 c | 4936 | 4740 19995 49965 | 14287 4936 131 | 23.214 % | 207.80/207.92 c | 7498 | 4740 19995 49965 | 15715 7498 146 | 23.214 % | 210.10/210.26 c | 11343 | 4740 19995 49965 | 17287 11343 175 | 23.214 % | 215.51/215.61 c | 17110 | 4740 19995 49965 | 19016 17110 190 | 23.214 % | 223.70/223.86 c | 25759 | 4740 19995 49965 | 20917 15264 173 | 23.214 % | 238.89/239.02 c | 38736 | 4740 19995 49965 | 23009 16363 354 | 23.214 % | 276.28/276.41 c | 58198 | 4740 19995 49965 | 25310 23023 388 | 23.214 % | 310.46/310.67 c | 87390 | 4740 19995 49965 | 27841 23331 348 | 23.214 % | 370.33/370.56 c | 131180 | 4740 19995 49965 | 30625 17866 187 | 23.214 % | 508.48/508.75 c | 196866 | 4740 19995 49965 | 33688 29130 380 | 23.214 % | 708.00/708.34 c | 295394 | 4740 19995 49965 | 37056 28112 332 | 23.214 % | 1059.26/1059.71 c | 443184 | 4740 19995 49965 | 40762 22841 269 | 23.214 % | 1580.07/1580.73 c | 664870 | 4740 19995 49965 | 44838 26002 251 | 23.214 % | 1598.45/1599.19 c =============================================================================== 1631.84/1632.56 c core #9 1631.84/1632.56 c 1631.84/1632.56 c 1631.84/1632.56 c Core size: 277 Core Weight: 1 Total Weight: 14 1631.84/1632.56 c 1631.84/1632.56 c 1631.84/1632.56 c ============================[ Search Statistics ]============================== 1631.84/1632.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1631.84/1632.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1631.84/1632.56 c =============================================================================== 1631.84/1632.56 c | 0 | 5130 19996 50635 | 6665 0 nan | 0.000 % | 1632.04/1632.74 c =============================================================================== 1632.14/1632.81 c core #10 1632.14/1632.81 c 1632.14/1632.81 c 1632.14/1632.81 c Core size: 984 Core Weight: 1 Total Weight: 15 1632.14/1632.81 c 1632.14/1632.81 c 1632.14/1632.81 c ============================[ Search Statistics ]============================== 1632.14/1632.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1632.14/1632.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1632.14/1632.81 c =============================================================================== 1632.14/1632.81 c | 0 | 6495 19997 52455 | 6665 0 nan | 0.000 % | 1632.14/1632.85 c | 100 | 6495 19997 52455 | 7332 100 58 | 2.095 % | 1632.24/1632.90 c | 252 | 6429 19997 52455 | 8065 250 65 | 3.090 % | 1632.24/1632.98 c | 480 | 6404 19997 52455 | 8872 446 62 | 3.467 % | 1632.43/1633.15 c | 817 | 6369 19997 52455 | 9759 747 83 | 3.995 % | 1632.74/1633.45 c | 1323 | 6369 19997 52455 | 10735 1253 163 | 3.995 % | 1633.54/1634.24 c | 2083 | 6369 19997 52455 | 11808 2013 252 | 3.995 % | 1634.04/1634.75 c =============================================================================== 1634.14/1634.81 c core #11 1634.14/1634.81 c 1634.14/1634.81 c 1634.14/1634.81 c Core size: 555 Core Weight: 1 Total Weight: 16 1634.14/1634.81 c 1634.14/1634.81 c 1634.14/1634.81 c ============================[ Search Statistics ]============================== 1634.14/1634.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1634.14/1634.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1634.14/1634.81 c =============================================================================== 1634.14/1634.81 c | 0 | 6819 19998 53103 | 6666 0 nan | 0.000 % | 1634.14/1634.85 c | 101 | 6819 19998 53103 | 7332 101 115 | 1.998 % | 1634.14/1634.89 c | 251 | 6817 19998 53103 | 8065 251 92 | 2.026 % | 1634.23/1634.95 c | 476 | 6812 19998 53103 | 8872 474 89 | 2.098 % | 1634.33/1635.05 c | 817 | 6809 19998 53103 | 9759 810 112 | 2.141 % | 1634.44/1635.19 c | 1325 | 6803 19998 53103 | 10735 1314 115 | 2.228 % | 1634.64/1635.33 c | 2085 | 6799 19998 53103 | 11809 2062 125 | 2.285 % | 1634.95/1635.64 c | 3227 | 6799 19998 53103 | 12990 3204 110 | 2.285 % | 1635.63/1636.35 c | 4935 | 6798 19998 53103 | 14289 4911 224 | 2.314 % | 1637.14/1637.87 c | 7497 | 6792 19998 53103 | 15718 7470 224 | 2.386 % | 1640.24/1640.91 c | 11342 | 6790 19998 53103 | 17289 11315 305 | 2.414 % | 1646.04/1646.78 c | 17109 | 6790 19998 53103 | 19018 17082 327 | 2.415 % | 1654.42/1655.13 c | 25758 | 6789 19998 53103 | 20920 15782 325 | 2.429 % | 1666.33/1667.06 c | 38733 | 6773 19998 53103 | 23012 17529 263 | 2.688 % | 1696.52/1697.24 c | 58197 | 6762 19998 53103 | 25314 12832 501 | 3.090 % | 1750.40/1751.12 c | 87390 | 6734 19998 53103 | 27845 15597 409 | 3.219 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680459-1277460119/watcher-2680459-1277460119 -o /tmp/evaluation-result-2680459-1277460119/solver-2680459-1277460119 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680459-1277460119.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.95 3/106 21185 /proc/meminfo: memFree=1853120/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=3256 CPUtime=0 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 119668229 3334144 249 1992294400 134512640 135752675 4294231168 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 814 249 141 303 0 372 0 [startup+0.0267541 s] /proc/loadavg: 0.99 0.98 0.95 3/106 21185 /proc/meminfo: memFree=1853120/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=3572 CPUtime=0.02 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 427 0 0 0 2 0 0 0 20 0 1 0 119668229 3657728 346 1992294400 134512640 135752675 4294231168 18446744073709551615 134634060 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 893 346 167 303 0 451 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3572 [startup+0.100769 s] /proc/loadavg: 0.99 0.98 0.95 3/106 21185 /proc/meminfo: memFree=1853120/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=5612 CPUtime=0.09 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 1142 0 0 0 9 0 0 0 20 0 1 0 119668229 5746688 924 1992294400 134512640 135752675 4294231168 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 1403 925 142 303 0 1098 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5612 [startup+0.300806 s] /proc/loadavg: 0.99 0.98 0.95 3/106 21185 /proc/meminfo: memFree=1853120/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=6404 CPUtime=0.29 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 1354 0 0 0 29 0 0 0 20 0 1 0 119668229 6557696 1136 1992294400 134512640 135752675 4294231168 18446744073709551615 134580151 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 1601 1136 142 303 0 1296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6404 [startup+0.70088 s] /proc/loadavg: 0.99 0.98 0.95 3/106 21185 /proc/meminfo: memFree=1853120/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=7328 CPUtime=0.69 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 1564 0 0 0 68 1 0 0 21 0 1 0 119668229 7503872 1346 1992294400 134512640 135752675 4294231168 18446744073709551615 135211777 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 1832 1346 142 303 0 1527 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7328 [startup+1.50103 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21186 /proc/meminfo: memFree=1847656/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=7724 CPUtime=1.49 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 1694 0 0 0 147 2 0 0 23 0 1 0 119668229 7909376 1476 1992294400 134512640 135752675 4294231168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 1931 1476 145 303 0 1626 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7724 [startup+3.10033 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21186 /proc/meminfo: memFree=1845672/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=15252 CPUtime=3.08 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 3563 0 0 0 303 5 0 0 25 0 1 0 119668229 15618048 3345 1992294400 134512640 135752675 4294231168 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 3813 3345 145 303 0 3508 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15252 [startup+6.30093 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21186 /proc/meminfo: memFree=1829676/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=31416 CPUtime=6.29 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 7613 0 0 0 618 11 0 0 25 0 1 0 119668229 32169984 7395 1992294400 134512640 135752675 4294231168 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 7854 7395 145 303 0 7549 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31416 [startup+12.7011 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21188 /proc/meminfo: memFree=1795328/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=62096 CPUtime=12.68 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 15258 0 0 0 1248 20 0 0 25 0 1 0 119668229 63586304 15040 1992294400 134512640 135752675 4294231168 18446744073709551615 134639387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 15524 15040 145 303 0 15219 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 62096 [startup+25.5015 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21188 /proc/meminfo: memFree=1733948/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=122188 CPUtime=25.48 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 30296 0 0 0 2511 37 0 0 25 0 1 0 119668229 125120512 30078 1992294400 134512640 135752675 4294231168 18446744073709551615 134637659 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 30547 30078 145 303 0 30242 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 122188 [startup+51.1013 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21188 /proc/meminfo: memFree=1635864/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=220652 CPUtime=51.06 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 54909 0 0 0 5035 71 0 0 25 0 1 0 119668229 225947648 54691 1992294400 134512640 135752675 4294231168 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 55163 54691 145 303 0 54858 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 220652 [startup+102.309 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21190 /proc/meminfo: memFree=1466852/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=387628 CPUtime=102.25 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 96654 0 0 0 10083 142 0 0 25 0 1 0 119668229 396931072 96436 1992294400 134512640 135752675 4294231168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 96907 96436 145 303 0 96602 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 387628 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21192 /proc/meminfo: memFree=1241916/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=613944 CPUtime=162.21 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 153195 0 0 0 15986 235 0 0 25 0 1 0 119668229 628678656 152977 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 153486 152977 145 303 0 153181 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 613944 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21192 /proc/meminfo: memFree=1162184/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=690780 CPUtime=222.19 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 172615 0 0 0 21939 280 0 0 25 0 1 0 119668229 707358720 172258 1992294400 134512640 135752675 4294231168 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 172695 172258 146 303 0 172390 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 690780 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21194 /proc/meminfo: memFree=1129076/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=725144 CPUtime=282.17 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 181175 0 0 0 27916 301 0 0 25 0 1 0 119668229 742547456 180818 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 181286 180818 146 303 0 180981 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 725144 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21196 /proc/meminfo: memFree=1065960/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=787420 CPUtime=342.15 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 196740 0 0 0 33885 330 0 0 25 0 1 0 119668229 806318080 196383 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 196855 196383 146 303 0 196550 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 787420 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21198 /proc/meminfo: memFree=1026900/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=826960 CPUtime=402.12 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 206602 0 0 0 39855 357 0 0 25 0 1 0 119668229 846807040 206245 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 206740 206245 146 303 0 206435 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 826960 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21200 /proc/meminfo: memFree=987220/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=866164 CPUtime=462.1 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 216368 0 0 0 45824 386 0 0 25 0 1 0 119668229 886951936 216011 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 216541 216011 146 303 0 216236 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 866164 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21200 /proc/meminfo: memFree=949648/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=903984 CPUtime=522.08 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 225807 0 0 0 51804 404 0 0 25 0 1 0 119668229 925679616 225450 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 225996 225450 146 303 0 225691 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 903984 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21202 /proc/meminfo: memFree=905504/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=947876 CPUtime=582.05 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 236795 0 0 0 57781 424 0 0 25 0 1 0 119668229 970625024 236438 1992294400 134512640 135752675 4294231168 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 236969 236438 146 303 0 236664 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 947876 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21204 /proc/meminfo: memFree=846976/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1005752 CPUtime=642.04 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 251255 0 0 0 63751 453 0 0 25 0 1 0 119668229 1029890048 250898 1992294400 134512640 135752675 4294231168 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 251438 250898 146 303 0 251133 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 1005752 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21208 /proc/meminfo: memFree=713552/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1139712 CPUtime=821.96 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 284668 0 0 0 81669 527 0 0 25 0 1 0 119668229 1167065088 284311 1992294400 134512640 135752675 4294231168 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 284928 284311 146 303 0 284623 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 1139712 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21210 /proc/meminfo: memFree=659860/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1192800 CPUtime=881.93 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 297938 0 0 0 87639 554 0 0 25 0 1 0 119668229 1221427200 297581 1992294400 134512640 135752675 4294231168 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 298200 297581 146 303 0 297895 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 1192800 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21212 /proc/meminfo: memFree=610632/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1242452 CPUtime=941.91 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 310312 0 0 0 93612 579 0 0 25 0 1 0 119668229 1272270848 309955 1992294400 134512640 135752675 4294231168 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 310613 309955 146 303 0 310308 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 1242452 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21214 /proc/meminfo: memFree=565124/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1287396 CPUtime=1001.88 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 321549 0 0 0 99585 603 0 0 25 0 1 0 119668229 1318293504 321192 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 321849 321192 146 303 0 321544 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 1287396 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21216 /proc/meminfo: memFree=518252/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1334736 CPUtime=1061.85 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 333366 0 0 0 105554 631 0 0 25 0 1 0 119668229 1366769664 333009 1992294400 134512640 135752675 4294231168 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 333684 333009 146 303 0 333379 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 1334736 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21216 /proc/meminfo: memFree=465676/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1386976 CPUtime=1121.83 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 346406 0 0 0 111522 661 0 0 25 0 1 0 119668229 1420263424 346049 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 346744 346049 146 303 0 346439 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 1386976 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21218 /proc/meminfo: memFree=419176/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1433856 CPUtime=1181.82 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 358098 0 0 0 117497 685 0 0 25 0 1 0 119668229 1468268544 357741 1992294400 134512640 135752675 4294231168 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 358464 357741 146 303 0 358159 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 1433856 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21220 /proc/meminfo: memFree=370444/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1481956 CPUtime=1241.79 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 370135 0 0 0 123467 712 0 0 25 0 1 0 119668229 1517522944 369778 1992294400 134512640 135752675 4294231168 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 370489 369778 146 303 0 370184 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 1481956 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21222 /proc/meminfo: memFree=330764/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1521268 CPUtime=1301.78 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 379935 0 0 0 129442 736 0 0 25 0 1 0 119668229 1557778432 379578 1992294400 134512640 135752675 4294231168 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 380317 379578 146 303 0 380012 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 1521268 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21224 /proc/meminfo: memFree=300012/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1552504 CPUtime=1361.74 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 387664 0 0 0 135419 755 0 0 25 0 1 0 119668229 1589764096 387307 1992294400 134512640 135752675 4294231168 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 388126 387307 146 303 0 387821 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 1552504 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21224 /proc/meminfo: memFree=255124/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1597012 CPUtime=1421.73 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 398813 0 0 0 141390 783 0 0 25 0 1 0 119668229 1635340288 398456 1992294400 134512640 135752675 4294231168 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 399253 398456 146 303 0 398948 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 1597012 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21226 /proc/meminfo: memFree=210856/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1641552 CPUtime=1481.7 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 409935 0 0 0 147362 808 0 0 25 0 1 0 119668229 1680949248 409578 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 410388 409578 146 303 0 410083 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 1641552 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21228 /proc/meminfo: memFree=168448/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1683564 CPUtime=1541.67 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 420429 0 0 0 153336 831 0 0 25 0 1 0 119668229 1723969536 420072 1992294400 134512640 135752675 4294231168 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 420891 420072 146 303 0 420586 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 1683564 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21230 /proc/meminfo: memFree=127776/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1724960 CPUtime=1601.65 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 430761 0 0 0 159307 858 0 0 25 0 1 0 119668229 1766359040 430404 1992294400 134512640 135752675 4294231168 18446744073709551615 134516340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 431240 430404 146 303 0 430935 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 1724960 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21232 /proc/meminfo: memFree=109548/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1740808 CPUtime=1661.63 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 435164 0 0 0 165276 887 0 0 25 0 1 0 119668229 1782587392 434726 1992294400 134512640 135752675 4294231168 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 435202 434726 146 303 0 434897 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 1740808 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21232 /proc/meminfo: memFree=54368/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1797128 CPUtime=1721.6 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 449237 0 0 0 171237 923 0 0 25 0 1 0 119668229 1840259072 448799 1992294400 134512640 135752675 4294231168 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 449282 448799 146 303 0 448977 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 1797128 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1761.7 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21234 /proc/meminfo: memFree=10236/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=1843272 CPUtime=1760.99 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4202496 460767 0 0 0 175153 946 0 0 25 0 1 0 119668229 1887510528 460329 1992294400 134512640 135752675 4294231168 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21185/statm: 460818 460329 146 303 0 460513 0 Current children cumulated CPU time (s) 1760.99 Current children cumulated vsize (KiB) 1843272 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1761.81 s] /proc/loadavg: 0.99 0.98 0.95 2/107 21234 /proc/meminfo: memFree=10236/2059040 swapFree=4140004/4192956 [pid=21185] ppid=21183 vsize=0 CPUtime=1761.09 /proc/21185/stat : 21185 (wbo1.4b) R 21183 21185 20682 0 -1 4203524 460768 0 0 0 175153 956 0 0 25 0 1 0 119668229 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/21185/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1761.09 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1761.88 CPU time (s): 1761.18 CPU user time (s): 1751.54 CPU system time (s): 9.63953 CPU usage (%): 99.9602 Max. virtual memory (cumulated for all children) (KiB): 1843272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1751.54 system time used= 9.63953 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460768 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= 8 involuntary context switches= 17733 runsolver used 3.18252 second user time and 8.05177 second system time The end
Begin job on node019 at 2010-06-25 12:01:59 IDJOB=2680459 IDBENCH=25021 IDSOLVER=1190 FILE ID=node019/2680459-1277460119 PBS_JOBID= 11188140 Free space on /tmp= 62276 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680459-1277460119/watcher-2680459-1277460119 -o /tmp/evaluation-result-2680459-1277460119/solver-2680459-1277460119 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680459-1277460119.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=786188696 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1853400 kB Buffers: 18200 kB Cached: 101280 kB SwapCached: 5532 kB Active: 61956 kB Inactive: 70612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1853400 kB SwapTotal: 4192956 kB SwapFree: 4140004 kB Dirty: 3116 kB Writeback: 0 kB AnonPages: 11664 kB Mapped: 11972 kB Slab: 50984 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182808 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62276 MiB End job on node019 at 2010-06-25 12:31:23