Trace number 3463044

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT46 1798.03 1797.98

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m200_500_10_10.r.opb
MD5SUM9ce5413471f93025df24c6fa43fb2680
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark1182.71
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 39
Optimality of the best value was proved NO
Number of variables492
Total number of constraints200
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint10
Number of terms in the objective function 492
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 492
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 492
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463044-1307179078.opb
0.00/0.00	c File size is 20877 bytes.
0.00/0.00	c Highest Coefficient sum: 492
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 492 Constr: 200 200/0/0 Lit: 2000 Watch. Lit: 400
0.00/0.00	c Obj. Vars: 492 (100 % of total variables)
0.00/0.00	c Formula reductions applied at preprocessing
0.00/0.00	c Pre-processing Time: 0.003 s
0.04/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.07	c        0    442      200     2000   10      400      66      0      0 0.00
0.04/0.07	c Initial Lower Bound: 34
0.04/0.07	c Initial Path Cost: 0
0.04/0.07	o 60
0.69/0.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.74	c        0    442      201     2442   12      784    1066      1      0 0.07
0.69/0.74	o 51
1.39/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.47	c        0    442      202     2884   14     1177    2066      2      0 0.74
1.39/1.47	o 49
2.20/2.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.21	c        0    442      203     3326   16     1572    3066      3      0 1.48
2.20/2.21	o 48
190.89/190.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
190.89/190.96	c        3    442      213     6197   29     1986    3066     13      1 2.22
190.89/190.96	c      103    442      513    67676  131     2586    3373    313     27 3.78
190.89/190.96	c      355    442     1262   212374  168     4084    3711   1062     55 6.38
190.89/190.96	c      833    442     2684   478158  178     6928    4083   2484     77 10.71
190.89/190.96	c     1655    442     2817   501442  178     6028    4492   2617     94 17.46
190.89/190.96	c     2977    442     4243   799963  188     8880    4942   4043    105 28.18
190.89/190.96	c     5058    442     4954   914128  184    10302    5437   4754    115 43.72
190.89/190.96	c     8285    442     2920   515469  176     6234    5981   2720    123 67.19
190.89/190.96	c    13222    442     4819   830429  172    10032    6580   4619    124 106.04
190.89/190.96	c    20734    442     6157  1117376  181    12708    7239   5957    123 168.37
190.89/190.96	o 47
1127.33/1127.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1127.33/1127.38	c    23463    442     6636  1132826  170    14061    1066   6436    122 190.97
1127.33/1127.38	c    23565    442     1040   145434  139     2475    1173    840    122 192.67
1127.33/1127.38	c    23833    442     1069   142740  133     2533    1291    869    121 195.84
1127.33/1127.38	c    24318    442      847   103691  122     2089    1421    647    121 200.90
1127.33/1127.38	c    25132    442     1460   198570  136     3315    1564   1260    120 209.32
1127.33/1127.38	c    26453    442     1336   186258  139     3067    1721   1136    119 221.82
1127.33/1127.38	c    28539    442     1062   136969  128     2519    1894    862    118 241.75
1127.33/1127.38	c    31765    442     1330   182751  137     3055    2084   1130    117 270.01
1127.33/1127.38	c    36727    442     1243   162626  130     2881    2293   1043    116 316.08
1127.33/1127.38	c    44236    442     2029   290222  143     4453    2523   1829    114 385.35
1127.33/1127.38	c    55599    442     2008   301960  150     4411    2776   1808    114 485.65
1127.33/1127.38	c    72751    442     1675   248492  148     3745    3054   1475    113 638.72
1127.33/1127.38	c    98572    442     1729   248070  143     3853    3360   1529    114 859.71
1127.33/1127.38	o 46
1797.95/1797.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1797.97	c   127357    442     2826   415702  147     6443    1066   2626    112 1127.42
1797.95/1797.97	c   127459    442     1040   127592  122     2476    1173    840    112 1129.47
1797.95/1797.97	c   127711    442     1000   122088  122     2396    1291    800    112 1132.73
1797.95/1797.97	c   128190    442      847    92578  109     2090    1421    647    112 1139.82
1797.95/1797.97	c   129005    442     1443   186675  129     3282    1564   1243    112 1148.26
1797.95/1797.97	c   130326    442     1496   179820  120     3388    1721   1296    111 1165.93
1797.95/1797.97	c   132409    442     1468   165529  112     3332    1894   1268    110 1193.59
1797.95/1797.97	c   135633    442     2008   246562  122     4412    2084   1808    109 1233.90
1797.95/1797.97	c   140578    442     1885   245890  130     4166    2293   1685    109 1285.71
1797.95/1797.97	c   148085    442     1640   198479  121     3676    2523   1440    107 1380.89
1797.95/1797.97	c   159449    442     2260   291665  129     4916    2776   2060    105 1518.14
1797.95/1797.97	c   176593    442     1589   194849  122     3574    3054   1389    101 1743.80
1797.95/1797.97	c Resources Exceeded
1797.95/1797.97	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 x41 -x42 -x43 x44 -x45 x46 x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 x95 -x96 x97 x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 
1797.95/1797.97	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1797.97	c   38   180885    630   188238     2469   299431   2269    100 1798.03
1797.95/1797.97	c Objective: 46
1797.95/1797.97	s SATISFIABLE
1797.95/1797.97	c Total time: 1798.03 s

Verifier Data 

OK	46

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3463044-1307179078/watcher-3463044-1307179078 -o /tmp/evaluation-result-3463044-1307179078/solver-3463044-1307179078 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463044-1307179078.opb 

running on 4 cores: 1,3,5,7

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.03 2.05 2.00 3/424 1106
/proc/meminfo: memFree=25836292/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=10788 CPUtime=0 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 313 0 0 0 0 0 0 0 25 0 1 0 829506024 11046912 261 33554432000 134512640 137138936 4286574976 18446744073709551615 136502594 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 2697 261 185 642 0 2053 0

[startup+0.047796 s]
/proc/loadavg: 2.03 2.05 2.00 3/424 1106
/proc/meminfo: memFree=25836292/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=11836 CPUtime=0.04 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 620 0 0 0 4 0 0 0 25 0 1 0 829506024 12120064 564 33554432000 134512640 137138936 4286574976 18446744073709551615 135445884 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 2959 564 278 642 0 2315 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11836

[startup+0.100786 s]
/proc/loadavg: 2.03 2.05 2.00 3/424 1106
/proc/meminfo: memFree=25836292/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=11908 CPUtime=0.09 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1440 0 0 0 9 0 0 0 25 0 1 0 829506024 12193792 454 33554432000 134512640 137138936 4286574976 18446744073709551615 135435757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 2977 454 282 642 0 2333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11908

[startup+0.300748 s]
/proc/loadavg: 2.03 2.05 2.00 3/424 1106
/proc/meminfo: memFree=25836292/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=11904 CPUtime=0.29 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 4760 0 0 0 29 0 0 0 25 0 1 0 829506024 12189696 467 33554432000 134512640 137138936 4286574976 18446744073709551615 135441478 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 2976 468 282 642 0 2332 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11904

[startup+0.700678 s]
/proc/loadavg: 2.03 2.05 2.00 3/424 1106
/proc/meminfo: memFree=25836292/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=11864 CPUtime=0.69 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 11235 0 0 0 68 1 0 0 25 0 1 0 829506024 12148736 442 33554432000 134512640 137138936 4286574976 18446744073709551615 135081097 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 2966 442 282 642 0 2322 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11864

[startup+1.50053 s]
/proc/loadavg: 2.19 2.08 2.02 3/425 1107
/proc/meminfo: memFree=25834456/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=12400 CPUtime=1.49 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 25027 0 0 0 148 1 0 0 25 0 1 0 829506024 12697600 560 33554432000 134512640 137138936 4286574976 18446744073709551615 135445912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 3100 560 283 642 0 2456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12400

[startup+3.10024 s]
/proc/loadavg: 2.19 2.08 2.02 3/425 1107
/proc/meminfo: memFree=25833588/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=12440 CPUtime=3.09 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 49091 0 0 0 305 4 0 0 25 0 1 0 829506024 12738560 505 33554432000 134512640 137138936 4286574976 18446744073709551615 135469194 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 3110 505 287 642 0 2466 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12440

[startup+6.30066 s]
/proc/loadavg: 2.18 2.08 2.01 3/425 1107
/proc/meminfo: memFree=25832064/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=13852 CPUtime=6.29 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 82281 0 0 0 621 8 0 0 25 0 1 0 829506024 14184448 1134 33554432000 134512640 137138936 4286574976 18446744073709551615 135568051 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 3731 1138 287 642 0 3087 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13852

[startup+12.7005 s]
/proc/loadavg: 2.16 2.08 2.01 3/425 1107
/proc/meminfo: memFree=25825516/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=20804 CPUtime=12.69 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 145663 0 0 0 1253 16 0 0 25 0 1 0 829506024 21303296 2523 33554432000 134512640 137138936 4286574976 18446744073709551615 135441490 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 5201 2523 287 642 0 4557 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20804

[startup+25.5002 s]
/proc/loadavg: 2.12 2.08 2.01 3/425 1108
/proc/meminfo: memFree=25819820/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=25672 CPUtime=25.49 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 257369 0 0 0 2518 31 0 0 25 0 1 0 829506024 26288128 3779 33554432000 134512640 137138936 4286574976 18446744073709551615 135469205 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 6418 3779 287 642 0 5774 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25672

[startup+51.1005 s]
/proc/loadavg: 2.15 2.08 2.02 3/425 1108
/proc/meminfo: memFree=25817496/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=27936 CPUtime=51.09 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 470377 0 0 0 5045 64 0 0 25 0 1 0 829506024 28606464 4326 33554432000 134512640 137138936 4286574976 18446744073709551615 134769713 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 6984 4326 287 642 0 6340 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27936

[startup+102.315 s]
/proc/loadavg: 2.14 2.10 2.02 3/425 1110
/proc/meminfo: memFree=25814744/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=29136 CPUtime=102.31 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 879478 0 0 0 10099 132 0 0 25 0 1 0 829506024 29835264 4623 33554432000 134512640 137138936 4286574976 18446744073709551615 135340215 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7284 4623 287 642 0 6640 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 29136

[startup+162.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/425 1138
/proc/meminfo: memFree=25854640/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=31468 CPUtime=162.3 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1348580 0 0 0 16023 207 0 0 25 0 1 0 829506024 32223232 5276 33554432000 134512640 137138936 4286574976 18446744073709551615 134733961 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7867 5277 287 642 0 7223 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 31468

[startup+222.3 s]
/proc/loadavg: 2.05 2.08 2.02 3/425 1140
/proc/meminfo: memFree=25855108/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28572 CPUtime=222.29 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566741 0 0 0 21989 240 0 0 25 0 1 0 829506024 29257728 4707 33554432000 134512640 137138936 4286574976 18446744073709551615 135322905 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7143 4707 287 642 0 6499 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 28572

[startup+282.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/425 1142
/proc/meminfo: memFree=25854836/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=282.3 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 27989 241 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135080711 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 28152

[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/425 1143
/proc/meminfo: memFree=25854804/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=342.3 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 33988 242 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135377603 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 28152

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 1145
/proc/meminfo: memFree=25854892/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=402.3 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 39988 242 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135345253 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28152

[startup+462.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/425 1146
/proc/meminfo: memFree=25854096/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=462.31 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 45988 243 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135456401 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 28152

[startup+522.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/425 1148
/proc/meminfo: memFree=25854180/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=522.31 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 51987 244 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135322974 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 28152

[startup+582.301 s]
/proc/loadavg: 2.22 2.09 2.02 3/425 1150
/proc/meminfo: memFree=25853900/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=582.31 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 57987 244 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135082961 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 28152

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=25854732/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1062.32 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 105982 250 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135455609 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 28152

[startup+1122.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/425 1164
/proc/meminfo: memFree=25854592/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1122.33 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 111982 251 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135441488 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 28152

[startup+1182.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/425 1166
/proc/meminfo: memFree=25854332/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1182.33 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 117982 251 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135469154 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 28152

[startup+1242.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/425 1167
/proc/meminfo: memFree=25854072/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1242.33 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 123981 252 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135070983 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 28152

[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/425 1169
/proc/meminfo: memFree=25853556/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1302.33 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 129981 252 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135469194 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 28152

[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/425 1170
/proc/meminfo: memFree=25853532/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1362.33 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 135980 253 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 134587714 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 28152

[startup+1422.32 s]
/proc/loadavg: 2.07 2.05 2.01 3/425 1172
/proc/meminfo: memFree=25853512/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1422.35 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 141981 254 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 134769587 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 28152

[startup+1482.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/425 1174
/proc/meminfo: memFree=25853740/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1482.34 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 147980 254 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 134734941 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 28152

[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/425 1175
/proc/meminfo: memFree=25853592/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1542.33 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 153979 254 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135071634 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 28152

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 1177
/proc/meminfo: memFree=25853444/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1602.34 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 159979 255 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135447375 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 28152

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 1178
/proc/meminfo: memFree=25853536/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1662.34 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 165979 255 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135080848 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 28152

[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/425 1180
/proc/meminfo: memFree=25853516/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1722.35 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 171979 256 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 134849342 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 28152

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/425 1182
/proc/meminfo: memFree=25852392/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1782.35 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 177978 257 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135339270 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 28152

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 2.03 2.04 2.00 3/425 1182
/proc/meminfo: memFree=25852392/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1785.55 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 178298 257 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135340243 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 28152

[startup+1791.92 s]
/proc/loadavg: 2.02 2.04 2.00 3/425 1182
/proc/meminfo: memFree=25852384/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1791.96 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 178939 257 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135251804 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 28152

[startup+1795.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 1182
/proc/meminfo: memFree=25853376/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1795.15 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 179258 257 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 134769616 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 28152

[startup+1796.7 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 1182
/proc/meminfo: memFree=25853376/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1796.75 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 179418 257 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 135343998 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 28152

[startup+1797.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 1182
/proc/meminfo: memFree=25853128/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1797.55 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 179498 257 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 134734870 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 28152

[startup+1797.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 1182
/proc/meminfo: memFree=25853128/32951124 swapFree=44043516/67111528
[pid=1106] ppid=1104 vsize=28152 CPUtime=1797.95 cores=1,3,5,7
/proc/1106/stat : 1106 (bsolo) R 1104 1106 31765 0 -1 4202496 1566747 0 0 0 179538 257 0 0 25 0 1 0 829506024 28827648 4598 33554432000 134512640 137138936 4286574976 18446744073709551615 134769601 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1106/statm: 7038 4598 287 642 0 6394 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 28152

Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.03
CPU user time (s): 1795.46
CPU system time (s): 2.57161
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 32256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.46
system time used= 2.57161
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1566747
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= 5
involuntary context switches= 4761

runsolver used 6.99894 second user time and 16.2185 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-04 11:17:58
IDJOB=3463044
IDBENCH=2878
IDSOLVER=1955
FILE ID=node134/3463044-1307179078
RUNJOBID= node134-1307175438-487
PBS_JOBID= 13508837
Free space on /tmp= 74016 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m200_500_10_10.r.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463044-1307179078/watcher-3463044-1307179078 -o /tmp/evaluation-result-3463044-1307179078/solver-3463044-1307179078 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463044-1307179078.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9ce5413471f93025df24c6fa43fb2680
RANDOM SEED=1107975849

node134.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 7186.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25836448 kB
Buffers:        297864 kB
Cached:         654208 kB
SwapCached:       9536 kB
Active:        6203320 kB
Inactive:       617596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25836448 kB
SwapTotal:    67111528 kB
SwapFree:     44043516 kB
Dirty:            4264 kB
Writeback:           0 kB
AnonPages:     5867304 kB
Mapped:          21948 kB
Slab:           137200 kB
PageTables:      89288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 110822996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74012 MiB
End job on node134 at 2011-06-04 11:47:56