Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: Pueblo 1.4 | Signal | 1597.48 | 1734.33 |
| Name | /OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb |
| MD5SUM | 8d651cc878ba5f8db7c83d3bfed1cb1c |
| 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 | -98026 |
| Best CPU time to get the best result obtained on this benchmark | 1800.85 |
| 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 | 400896 |
| Total number of constraints | 402763 |
| Number of constraints which are clauses | 400785 |
| Number of constraints which are cardinality constraints (but not clauses) | 194 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1784 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 58023 |
| Number of terms in the objective function | 1605 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 987807 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1000 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 987807 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 504.45/504.64 c starting to Solve 504.45/504.64 c #variables read: 400896 - #constraints read: 402764 504.54/504.75 o 0 527.24/527.47 o 732 527.44/527.62 o 985 527.44/527.67 o 1022 527.55/527.72 o 1501 527.55/527.78 o 1754 527.64/527.83 o 1830 527.64/527.89 o 2309 527.75/527.94 o 2562 527.75/528.00 o 2577 527.85/528.05 o 2830 527.94/528.11 o 3309 527.94/528.16 o 3562 528.04/528.21 o 3620 528.04/528.27 o 4099 528.15/528.32 o 4352 528.15/528.38 o 4546 528.24/528.43 o 5025 528.24/528.49 o 5278 528.34/528.54 o 5485 528.44/528.60 o 5662 528.44/528.65 o 5964 528.55/528.70 o 6217 528.55/528.75 o 6394 528.64/528.81 o 6477 528.64/528.86 o 6654 528.75/528.92 o 6956 528.75/528.97 o 7209 528.85/529.02 o 7386 528.85/529.08 o 7557 528.95/529.13 o 7859 528.95/529.19 o 7898 529.04/529.24 o 8112 529.04/529.29 o 8289 529.14/529.34 o 8453 529.24/529.40 o 8457 529.24/529.45 o 8634 529.34/529.51 o 8690 529.34/529.56 o 8867 529.45/529.62 o 9025 529.45/529.66 o 9189 529.54/529.71 o 9366 529.54/529.77 o 9501 529.65/529.83 o 9599 529.65/529.88 o 9659 529.75/529.94 o 9687 529.75/529.99 o 9743 529.84/530.05 o 9920 529.95/530.10 o 10000 529.95/530.15 o 10056 530.05/530.21 o 10233 530.05/530.26 o 10242 530.14/530.31 o 10419 530.14/530.36 o 10475 530.24/530.42 o 10497 530.24/530.47 o 10553 530.34/530.53 o 10730 530.34/530.58 o 10810 530.45/530.63 o 10866 530.45/530.69 o 11043 530.54/530.74 o 11047 530.65/530.80 o 11103 530.65/530.86 o 11280 530.74/530.91 o 11285 530.74/530.96 o 11462 530.85/531.02 o 11593 530.85/531.07 o 11602 530.94/531.12 o 11779 530.94/531.18 o 11823 531.05/531.23 o 12000 531.05/531.29 o 12052 531.15/531.34 o 12171 531.24/531.40 o 12223 531.24/531.46 o 12259 531.35/531.51 o 12311 531.35/531.57 o 12313 531.44/531.62 o 12322 531.44/531.67 o 12499 531.55/531.72 o 12555 531.55/531.77 o 12732 531.65/531.83 o 12784 531.65/531.88 o 12903 531.74/531.93 o 12955 531.74/531.98 o 12991 531.85/532.04 o 13043 531.94/532.10 o 13126 531.94/532.15 o 13178 532.04/532.21 o 13214 532.04/532.26 o 13266 532.15/532.32 o 13268 532.15/532.37 o 13277 532.25/532.42 o 13454 532.25/532.48 o 13510 532.34/532.53 o 13687 532.34/532.58 o 13739 532.44/532.63 o 13858 532.44/532.69 o 13927 532.54/532.74 o 13979 532.64/532.80 o 14015 532.64/532.85 o 14067 532.75/532.91 o 14069 532.75/532.96 o 14078 532.84/533.01 o 14255 532.84/533.07 o 14326 532.95/533.12 o 14378 532.95/533.18 o 14414 533.04/533.24 o 14466 533.04/533.29 o 14488 533.15/533.35 o 14540 533.15/533.40 o 14659 533.25/533.45 o 14711 533.25/533.50 o 14747 533.35/533.55 o 14799 533.44/533.60 o 14887 533.44/533.66 o 14937 533.55/533.72 o 14989 533.55/533.77 o 15025 533.64/533.83 o 15077 533.64/533.89 o 15110 533.74/533.94 o 15146 533.74/533.99 o 15198 533.85/534.05 o 15270 533.94/534.10 o 15322 533.94/534.15 o 15358 534.04/534.20 o 15410 534.04/534.26 o 15498 534.15/534.31 o 15550 534.15/534.36 o 15669 534.24/534.42 o 15721 534.24/534.47 o 15757 534.35/534.53 o 15809 534.35/534.59 o 15818 534.44/534.64 o 15937 534.55/534.70 o 15989 534.55/534.76 o 16025 534.64/534.81 o 16077 534.64/534.87 o 16110 534.74/534.93 o 16146 534.74/534.98 o 16198 534.85/535.03 o 16270 534.85/535.09 o 16322 534.94/535.14 o 16358 534.94/535.19 o 16451 535.04/535.25 o 16503 535.15/535.31 o 16539 535.15/535.36 o 16591 535.24/535.42 o 16669 535.24/535.48 o 16721 535.35/535.53 o 16757 535.35/535.58 o 16809 535.45/535.64 o 16836 535.45/535.69 o 16872 535.55/535.74 o 16924 535.55/535.79 o 17012 535.64/535.85 o 17128 535.74/535.91 o 17180 535.74/535.97 o 17216 535.85/536.02 o 17268 535.85/536.08 o 17271 535.94/536.13 o 17323 535.94/536.19 o 17346 536.04/536.23 o 17398 536.04/536.29 o 17434 536.14/536.35 o 17537 536.24/536.41 o 17589 536.24/536.46 o 17625 536.34/536.52 o 17677 536.34/536.58 o 17689 536.45/536.64 o 17741 536.45/536.70 o 17860 536.55/536.75 o 17912 536.65/536.81 o 17948 536.65/536.86 o 18000 536.74/536.91 o 18010 536.74/536.97 o 18098 536.84/537.03 o 18150 536.84/537.08 o 18269 536.94/537.14 o 18284 536.94/537.19 o 18336 537.05/537.25 o 18372 537.14/537.31 o 18424 537.14/537.37 o 18438 537.25/537.42 o 18490 537.25/537.48 o 18526 537.35/537.53 o 18578 537.35/537.59 o 18607 537.44/537.65 o 18659 537.55/537.70 o 18695 537.55/537.76 o 18747 537.65/537.82 o 18757 537.65/537.87 o 18845 537.75/537.93 o 18861 537.75/537.99 o 18913 537.84/538.05 o 18927 537.95/538.10 o 18979 537.95/538.16 o 19015 538.04/538.22 o 19067 538.04/538.27 o 19068 538.15/538.32 o 19104 538.15/538.38 o 19156 538.24/538.44 o 19170 538.24/538.49 o 19222 538.35/538.55 o 19258 538.44/538.60 o 19310 538.44/538.66 o 19334 538.54/538.72 o 19386 538.54/538.77 o 19505 538.64/538.83 o 19523 538.64/538.89 o 19559 538.75/538.95 o 19611 538.84/539.01 o 19625 538.84/539.06 o 19677 538.94/539.12 o 19713 538.94/539.18 o 19765 539.04/539.23 o 19799 539.04/539.29 o 19802 539.15/539.34 o 19854 539.24/539.40 o 19868 539.24/539.46 o 19920 539.34/539.51 o 19956 539.34/539.57 o 20008 539.44/539.63 o 20024 539.44/539.69 o 20076 539.54/539.75 o 20090 539.64/539.81 o 20142 539.64/539.86 o 20178 539.74/539.92 o 20230 539.74/539.98 o 20255 539.85/540.04 o 20291 539.85/540.09 o 20343 539.94/540.15 o 20357 540.04/540.21 o 20409 540.04/540.26 o 20445 540.14/540.31 o 20497 540.14/540.38 o 20549 540.24/540.43 o 20668 540.24/540.49 o 20720 540.35/540.55 o 20756 540.44/540.61 o 20808 540.44/540.67 o 20822 540.55/540.72 o 20874 540.55/540.78 o 20886 540.64/540.84 o 20922 540.74/540.90 o 20974 540.74/540.96 o 20988 540.84/541.01 o 21040 540.84/541.07 o 21076 540.94/541.13 o 21128 540.94/541.19 o 21153 541.05/541.25 o 21189 541.14/541.31 o 21241 541.14/541.37 o 21255 541.25/541.43 o 21279 541.25/541.49 o 21315 541.34/541.55 o 21367 541.44/541.62 o 21381 541.44/541.67 o 21433 541.54/541.73 o 21469 541.54/541.79 o 21521 541.64/541.85 o 21566 541.74/541.91 o 21618 541.74/541.97 o 21654 541.84/542.02 o 21706 541.84/542.08 o 21720 541.94/542.13 o 21772 541.94/542.19 o 21808 542.04/542.25 o 21860 542.15/542.31 o 21959 542.15/542.37 o 22011 542.24/542.43 o 22012 542.24/542.49 o 22048 542.34/542.55 o 22100 542.44/542.61 o 22114 542.44/542.66 o 22166 542.55/542.72 o 22202 542.55/542.78 o 22254 542.64/542.85 o 22256 542.74/542.91 o 22308 542.74/542.97 o 22322 542.84/543.03 o 22374 542.84/543.08 o 22410 542.95/543.14 o 22462 543.04/543.20 o 22505 543.04/543.26 o 22541 543.15/543.32 o 22593 543.15/543.38 o 22692 543.25/543.44 o 22744 543.34/543.50 o 22780 543.34/543.56 o 22832 543.44/543.62 o 22846 543.44/543.67 o 22898 543.54/543.73 o 22934 543.54/543.78 o 22986 543.64/543.84 o 22988 543.64/543.89 o 23040 543.74/543.95 o 23054 543.84/544.00 o 23106 543.84/544.05 o 23142 543.94/544.11 o 23194 543.94/544.17 o 23202 544.04/544.23 o 23254 544.15/544.30 o 23256 544.15/544.36 o 23308 544.24/544.43 o 23322 544.24/544.48 o 23374 544.35/544.54 o 23410 544.44/544.60 o 23462 544.44/544.66 o 23505 544.54/544.72 o 23541 544.54/544.78 o 23593 544.65/544.84 o 23692 544.74/544.90 o 23744 544.74/544.96 o 23780 544.84/545.02 o 23832 544.84/545.09 o 23836 544.95/545.15 o 23888 545.04/545.22 o 23890 545.04/545.28 o 23942 545.14/545.35 o 23956 545.24/545.41 o 24008 545.24/545.48 o 24044 545.35/545.53 o 24096 545.35/545.60 o 24118 545.44/545.66 o 24170 545.54/545.72 o 24194 545.54/545.78 o 24227 545.64/545.84 o 24267 545.74/545.91 o 24281 545.74/545.98 o 24333 545.84/546.04 o 24369 545.94/546.10 o 24421 545.94/546.16 o 24443 546.04/546.23 o 24495 546.04/546.29 o 24514 546.14/546.34 o 24566 546.24/546.41 o 24588 546.24/546.47 o 24640 546.34/546.53 o 24674 546.34/546.59 o 24688 546.45/546.65 o 24740 546.54/546.71 o 24776 546.54/546.77 o 24828 546.65/546.82 o 24850 546.65/546.88 o 24902 546.75/546.93 o 24945 546.84/547.00 o 24947 546.84/547.05 o 24999 546.95/547.11 o 25013 546.95/547.16 o 25065 547.04/547.22 o 25101 547.04/547.27 o 25153 547.14/547.33 o 25175 547.14/547.39 o 25227 547.24/547.45 o 25246 547.34/547.50 o 25298 547.34/547.56 o 25320 547.45/547.61 o 25372 547.45/547.68 o 25421 547.54/547.74 o 25443 547.65/547.81 o 25495 547.65/547.87 o 25514 547.74/547.93 o 25566 547.74/548.00 o 25588 547.84/548.06 o 25640 547.94/548.12 o 25674 547.94/548.19 o 25688 548.04/548.25 o 25740 548.14/548.31 o 25776 548.14/548.37 o 25828 548.24/548.43 o 25850 548.24/548.48 o 25902 548.35/548.54 o 25945 548.44/548.60 o 25947 548.44/548.66 o 25999 548.54/548.72 o 26013 548.54/548.77 o 26065 548.65/548.83 o 26101 1594.59/1595.16 Pueblo: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.
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-3720900-1338515337/watcher-3720900-1338515337 -o /tmp/evaluation-result-3720900-1338515337/solver-3720900-1338515337 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720900-1338515337.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.01 2.00 3/176 31653 /proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=1268 CPUtime=0 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) D 31651 31653 29082 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 317659209 1298432 46 33554432000 134512640 134579096 4288671312 4288669348 10707908 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 317 46 35 17 0 29 0 [startup+0.0886719 s] /proc/loadavg: 2.00 2.01 2.00 3/176 31653 /proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=6168 CPUtime=0.07 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 1078 0 0 0 7 0 0 0 20 0 1 0 317659209 6316032 1015 33554432000 134512640 134579096 4288671312 4288538736 134546743 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 1542 1017 219 17 0 848 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6168 [startup+0.100269 s] /proc/loadavg: 2.00 2.01 2.00 3/176 31653 /proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=6432 CPUtime=0.08 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 1146 0 0 0 8 0 0 0 20 0 1 0 317659209 6586368 1083 33554432000 134512640 134579096 4288671312 4288538660 11969295 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 1608 1083 219 17 0 914 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6432 [startup+0.30023 s] /proc/loadavg: 2.00 2.01 2.00 3/176 31653 /proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=11760 CPUtime=0.28 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 2506 0 0 0 28 0 0 0 20 0 1 0 317659209 12042240 2443 33554432000 134512640 134579096 4288671312 4288538708 11969343 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 2940 2443 219 17 0 2246 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 11760 [startup+0.700187 s] /proc/loadavg: 2.00 2.01 2.00 3/176 31653 /proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=18956 CPUtime=0.69 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 4294 0 0 0 68 1 0 0 20 0 1 0 317659209 19410944 4231 33554432000 134512640 134579096 4288671312 4288538588 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 4739 4231 219 17 0 4045 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18956 [startup+1.50025 s] /proc/loadavg: 2.00 2.01 2.00 3/177 31654 /proc/meminfo: memFree=26413940/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=40404 CPUtime=1.48 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 9664 0 0 0 147 1 0 0 20 0 1 0 317659209 41373696 9601 33554432000 134512640 134579096 4288671312 4288538588 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 10101 9601 219 17 0 9407 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 40404 [startup+3.10016 s] /proc/loadavg: 2.00 2.01 2.00 3/177 31654 /proc/meminfo: memFree=26383320/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=83564 CPUtime=3.09 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 20450 0 0 0 306 3 0 0 20 0 1 0 317659209 85569536 20387 33554432000 134512640 134579096 4288671312 4288538708 11969270 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 20891 20387 219 17 0 20197 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 83564 [startup+6.30023 s] /proc/loadavg: 2.00 2.01 2.00 3/177 31654 /proc/meminfo: memFree=26286160/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=161748 CPUtime=6.28 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 392660 0 0 0 582 46 0 0 20 0 1 0 317659209 165629952 37771 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 40437 37787 226 17 0 39743 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 161748 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.00 3/177 31654 /proc/meminfo: memFree=26285936/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=161748 CPUtime=12.68 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 2448616 0 0 0 1000 268 0 0 20 0 1 0 317659209 165629952 37687 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 40437 37703 226 17 0 39743 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 161748 [startup+25.5001 s] /proc/loadavg: 2.00 2.01 2.00 3/177 31654 /proc/meminfo: memFree=26283712/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=161924 CPUtime=25.48 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 6527959 0 0 0 1832 716 0 0 20 0 1 0 317659209 165810176 37878 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 40481 37891 226 17 0 39787 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 161924 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31654 /proc/meminfo: memFree=26278580/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=161924 CPUtime=51.05 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 14699404 0 0 0 3499 1606 0 0 20 0 1 0 317659209 165810176 38083 33554432000 134512640 134579096 4288671312 4288670224 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 40481 37691 226 17 0 39787 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 161924 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/178 31658 /proc/meminfo: memFree=26261892/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=162308 CPUtime=102.22 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 30928457 0 0 0 6827 3395 0 0 20 0 1 0 317659209 166203392 37913 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 40577 37925 226 17 0 39883 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 162308 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31658 /proc/meminfo: memFree=26261764/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=162308 CPUtime=162.21 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 49903677 0 0 0 10703 5518 0 0 20 0 1 0 317659209 166203392 38076 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 40577 38091 226 17 0 39883 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 162308 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31658 /proc/meminfo: memFree=26260252/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=164932 CPUtime=222.2 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 68868051 0 0 0 14576 7644 0 0 20 0 1 0 317659209 168890368 38665 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 41233 38680 226 17 0 40539 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 164932 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31658 /proc/meminfo: memFree=26256652/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=167564 CPUtime=282.18 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 87813919 0 0 0 18455 9763 0 0 20 0 1 0 317659209 171585536 39173 33554432000 134512640 134579096 4288671312 4288670224 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 41891 39182 226 17 0 41197 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 167564 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31658 /proc/meminfo: memFree=26253932/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=171220 CPUtime=342.18 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 106749404 0 0 0 22328 11890 0 0 20 0 1 0 317659209 175329280 40274 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 42805 40274 226 17 0 42111 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 171220 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31659 /proc/meminfo: memFree=26230612/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=173860 CPUtime=402.17 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 125704366 0 0 0 26207 14010 0 0 20 0 1 0 317659209 178032640 40860 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 43465 40873 226 17 0 42771 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 173860 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31659 /proc/meminfo: memFree=26216592/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=176500 CPUtime=462.15 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 144630707 0 0 0 30068 16147 0 0 20 0 1 0 317659209 180736000 41442 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 44125 41457 226 17 0 43431 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 176500 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31659 /proc/meminfo: memFree=26152244/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=239092 CPUtime=522.15 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 157938534 0 0 0 34592 17623 0 0 20 0 1 0 317659209 244830208 57218 33554432000 134512640 134579096 4288671312 4288670264 134563198 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 59773 57218 228 17 0 59079 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 239092 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31659 /proc/meminfo: memFree=26077264/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=368116 CPUtime=582.13 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 157941401 0 0 0 40479 17734 0 0 20 0 1 0 317659209 376950784 74904 33554432000 134512640 134579096 4288671312 4288670112 134528560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 92029 74904 228 17 0 91335 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 368116 [startup+642.3 s] ################ # More data... # ################ [pid=31653] ppid=31651 vsize=1290136 CPUtime=1002.01 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158171550 0 0 0 82378 17823 0 0 20 0 1 0 317659209 1321099264 305239 33554432000 134512640 134579096 4288671312 4288670112 134528544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 322534 305239 228 17 0 321840 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1290136 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31687 /proc/meminfo: memFree=24850012/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=1598084 CPUtime=1061.99 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158248556 0 0 0 88357 17842 0 0 20 0 1 0 317659209 1636438016 382268 33554432000 134512640 134579096 4288671312 4288670112 134528580 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 399521 382268 228 17 0 398827 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1598084 [startup+1122.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 31687 /proc/meminfo: memFree=24566452/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=1878892 CPUtime=1121.96 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158318801 0 0 0 94336 17860 0 0 20 0 1 0 317659209 1923985408 452520 33554432000 134512640 134579096 4288671312 4288670112 134528700 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 469723 452520 228 17 0 469029 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1878892 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 31687 /proc/meminfo: memFree=24279296/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=2168080 CPUtime=1181.94 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158390806 0 0 0 100317 17877 0 0 20 0 1 0 317659209 2220113920 524522 33554432000 134512640 134579096 4288671312 4288670112 134528560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 542020 524522 228 17 0 541326 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 2168080 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31687 /proc/meminfo: memFree=23950852/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=2492824 CPUtime=1241.91 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158471955 0 0 0 106292 17899 0 0 20 0 1 0 317659209 2552651776 605660 33554432000 134512640 134579096 4288671312 4288670284 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 623206 605660 228 17 0 622512 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 2492824 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 31691 /proc/meminfo: memFree=23667424/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=2774268 CPUtime=1301.89 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158542395 0 0 0 112271 17918 0 0 20 0 1 0 317659209 2840850432 676108 33554432000 134512640 134579096 4288671312 4288670112 134528560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 693567 676108 228 17 0 692873 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 2774268 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31691 /proc/meminfo: memFree=23350144/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=3096440 CPUtime=1361.87 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158622968 0 0 0 118249 17938 0 0 20 0 1 0 317659209 3170754560 756672 33554432000 134512640 134579096 4288671312 4288669880 11220263 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 774110 756672 228 17 0 773416 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 3096440 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 31691 /proc/meminfo: memFree=23039304/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=3402532 CPUtime=1421.86 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158698733 0 0 0 124226 17960 0 0 20 0 1 0 317659209 3484192768 832432 33554432000 134512640 134579096 4288671312 4288670112 134528560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 850633 832432 228 17 0 849939 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 3402532 [startup+1482.3 s] /proc/loadavg: 2.03 2.00 2.00 3/177 31740 /proc/meminfo: memFree=22880124/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=3641192 CPUtime=1481.83 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158758180 0 0 0 130207 17976 0 0 20 0 1 0 317659209 3728580608 891877 33554432000 134512640 134579096 4288671312 4288670284 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 910298 891877 228 17 0 909604 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 3641192 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 31740 /proc/meminfo: memFree=22578564/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=3913636 CPUtime=1541.81 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158826213 0 0 0 136185 17996 0 0 20 0 1 0 317659209 4007563264 959922 33554432000 134512640 134579096 4288671312 4288670284 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/31653/statm: 978409 959922 228 17 0 977715 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 3913636 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 4/177 31741 /proc/meminfo: memFree=18520820/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=4186020 CPUtime=1596.21 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18171 0 0 20 0 1 0 317659209 4286484480 1028242 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/31653/statm: 1046505 1028242 234 17 0 1045811 0 Current children cumulated CPU time (s) 1596.21 Current children cumulated vsize (KiB) 4186020 [startup+1662.3 s] /proc/loadavg: 3.90 2.54 2.18 2/178 31742 /proc/meminfo: memFree=13622512/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/31653/statm: 1046505 1028256 234 17 0 1045811 0 Current children cumulated CPU time (s) 1597.34 Current children cumulated vsize (KiB) 4186020 [startup+1722.3 s] /proc/loadavg: 4.59 2.99 2.36 2/178 31742 /proc/meminfo: memFree=13603440/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/31653/statm: 1046505 1028256 234 17 0 1045811 0 Current children cumulated CPU time (s) 1597.34 Current children cumulated vsize (KiB) 4186020 Solver just ended. Dumping a history of the last processes samples [startup+1722.51 s] /proc/loadavg: 4.59 2.99 2.36 2/178 31742 /proc/meminfo: memFree=13603192/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/31653/statm: 1046505 1028256 234 17 0 1045811 0 Current children cumulated CPU time (s) 1597.34 Current children cumulated vsize (KiB) 4186020 [startup+1728.9 s] /proc/loadavg: 4.62 3.02 2.37 2/178 31742 /proc/meminfo: memFree=13603300/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/31653/statm: 1046505 1028256 234 17 0 1045811 0 Current children cumulated CPU time (s) 1597.34 Current children cumulated vsize (KiB) 4186020 [startup+1732.1 s] /proc/loadavg: 4.65 3.05 2.39 2/178 31742 /proc/meminfo: memFree=13602804/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/31653/statm: 1046505 1028256 234 17 0 1045811 0 Current children cumulated CPU time (s) 1597.34 Current children cumulated vsize (KiB) 4186020 [startup+1733.7 s] /proc/loadavg: 4.65 3.05 2.39 2/178 31742 /proc/meminfo: memFree=13604540/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/31653/statm: 1046505 1028256 234 17 0 1045811 0 Current children cumulated CPU time (s) 1597.34 Current children cumulated vsize (KiB) 4186020 [startup+1734.1 s] /proc/loadavg: 4.65 3.05 2.39 2/178 31742 /proc/meminfo: memFree=13604540/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/31653/statm: 1046505 1028256 234 17 0 1045811 0 Current children cumulated CPU time (s) 1597.34 Current children cumulated vsize (KiB) 4186020 [startup+1734.3 s] /proc/loadavg: 4.65 3.05 2.39 2/178 31742 /proc/meminfo: memFree=13604540/32873648 swapFree=6864/6864 [pid=31653] ppid=31651 vsize=0 CPUtime=1597.44 cores=0,2,4,6 /proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4204036 158894530 0 0 0 141450 18294 0 0 20 0 1 0 317659209 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31653/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1597.44 Current children cumulated vsize (KiB) 0 Child ended because it received signal 6 (SIGABRT) Child dumped core Real time (s): 1734.33 CPU time (s): 1597.48 CPU user time (s): 1414.51 CPU system time (s): 182.972 CPU usage (%): 92.1096 Max. virtual memory (cumulated for all children) (KiB): 4186020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1414.51 system time used= 182.972 maximum resident set size= 4113024 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 158894530 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= 1022157 involuntary context switches= 1735 runsolver used 2.6076 second user time and 6.86596 second system time The end
Begin job on node125 at 2012-06-01 03:48:58 IDJOB=3720900 IDBENCH=90877 IDSOLVER=2305 FILE ID=node125/3720900-1338515337 RUNJOBID= node125-1338506005-29098 PBS_JOBID= 14635766 Free space on /tmp= 70436 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb COMMAND LINE= Pueblo BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720900-1338515337/watcher-3720900-1338515337 -o /tmp/evaluation-result-3720900-1338515337/solver-3720900-1338515337 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720900-1338515337.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d651cc878ba5f8db7c83d3bfed1cb1c RANDOM SEED=772869788 node125.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.373 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.74 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.373 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.373 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.92 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.373 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.90 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.373 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.373 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.54 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.373 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.91 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.373 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: 32873648 kB MemFree: 26438052 kB Buffers: 574248 kB Cached: 4886596 kB SwapCached: 2312 kB Active: 2465560 kB Inactive: 3082536 kB Active(anon): 78512 kB Inactive(anon): 9252 kB Active(file): 2387048 kB Inactive(file): 3073284 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67102520 kB Dirty: 29916 kB Writeback: 0 kB AnonPages: 92336 kB Mapped: 15212 kB Shmem: 96 kB Slab: 750336 kB SReclaimable: 193996 kB SUnreclaim: 556340 kB KernelStack: 1448 kB PageTables: 4220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 201776 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 65536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720900-1338515337.opb Free space on /tmp at the end= 66420 MiB End job on node125 at 2012-06-01 04:17:52