Trace number 3479239

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 NameAnswerCPU timeWall clock time
bsolo 3.2SAT 1798 1797.97

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-go19.opb
MD5SUMac3a0c512b81d5e532f489853538ca8f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark84
Best CPU time to get the best result obtained on this benchmark1797.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables441
Total number of constraints441
Number of constraints which are clauses361
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint5
Number of terms in the objective function 361
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 361
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 361
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-3479239-1307447085.opb
0.00/0.00	c File size is 20573 bytes.
0.00/0.00	c Highest Coefficient sum: 361
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 441 Constr: 521 521/0/0 Lit: 1965 Watch. Lit: 802
0.00/0.00	c Obj. Vars: 361 (81.8594 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    361      361     1805    5      722     120      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 95
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    361      362     2166    5      990    1120      1      0 0.00
0.00/0.00	o 94
1797.93/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.96	c       15    361      380     4645   12     1807    1120     19   3750 0.00
1797.93/1797.96	c      116    361      485    15662   32     2790    1233    124   4000 0.03
1797.93/1797.96	c      366    361      740    41481   56     3300    1357    379   3420 0.11
1797.93/1797.96	c      842    361     1224    91737   74     4526    1493    863   3238 0.26
1797.93/1797.96	c     1655    361     1109    73951   66     2485    1643    748   3110 0.53
1797.93/1797.96	c     2976    361     1289    91061   70     3565    1808    928   3328 0.89
1797.93/1797.96	c     5058    361     2104   175697   83     4475    1989   1743   3318 1.52
1797.93/1797.96	c     8282    361     1357    99652   73     3229    2188    996   3374 2.45
1797.93/1797.96	c    13219    361     1991   164267   82     4754    2407   1630   3318 3.98
1797.93/1797.96	c    20726    361     1916   148903   77     4842    2648   1555   3383 6.12
1797.93/1797.96	c    32087    361     1779   133194   74     4548    2913   1418   3345 9.59
1797.93/1797.96	c    49232    361     3068   249942   81     7296    3205   2707   3273 15.04
1797.93/1797.96	c    75052    361     1965   151269   76     6531    3526   1604   3195 23.49
1797.93/1797.96	c   113885    361     3496   264953   75     7614    3879   3135   3187 35.73
1797.93/1797.96	c   172237    361     3498   277206   79    10001    4267   3137   3171 54.30
1797.93/1797.96	c   259870    361     4698   383495   81    16438    4694   4337   3090 84.09
1797.93/1797.96	c   391422    361     3798   336532   88    12320    5164   3437   2952 132.57
1797.93/1797.96	c   588855    361     3257   258980   79    11551    5681   2896   2838 207.43
1797.93/1797.96	c   885107    361     3608   292548   81    11244    6250   3247   2833 312.39
1797.93/1797.96	c  1329589    361     4672   391496   83    12549    6876   4311   2600 511.37
1797.93/1797.96	c  1996416    361     5872   462833   78    16299    7564   5511   2633 758.03
1797.93/1797.96	c  2996763    361     5554   468668   84    13388    8321   5193   2644 1133.37
1797.93/1797.96	c  4497385    361     6581   539618   81    16931    9154   6220   2668 1685.24
1797.93/1797.96	c Resources Exceeded
1797.93/1797.96	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 
1797.93/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.96	c   24  4758875 1564681  8019326     7513   631083   7152   2646 1798.00
1797.93/1797.96	c Objective: 94
1797.93/1797.96	s SATISFIABLE
1797.93/1797.96	c Total time: 1798 s

Verifier Data 

OK	94

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-3479239-1307447085/watcher-3479239-1307447085 -o /tmp/evaluation-result-3479239-1307447085/solver-3479239-1307447085 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3479239-1307447085.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: 1.96 2.03 1.83 3/514 8708
/proc/meminfo: memFree=19215260/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=10916 CPUtime=0 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 934939312 11177984 281 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 2729 281 192 642 0 2085 0

[startup+0.0295291 s]
/proc/loadavg: 1.96 2.03 1.83 3/514 8708
/proc/meminfo: memFree=19215260/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=11024 CPUtime=0.02 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 374 0 0 0 2 0 0 0 25 0 1 0 934939312 11288576 323 33554432000 134512640 137138936 4293264736 18446744073709551615 134552092 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 2756 323 192 642 0 2112 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11024

[startup+0.100518 s]
/proc/loadavg: 1.96 2.03 1.83 3/514 8708
/proc/meminfo: memFree=19215260/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=11364 CPUtime=0.09 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 456 0 0 0 9 0 0 0 25 0 1 0 934939312 11636736 405 33554432000 134512640 137138936 4293264736 18446744073709551615 134575850 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 2841 406 192 642 0 2197 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11364

[startup+0.300482 s]
/proc/loadavg: 1.96 2.03 1.83 3/514 8708
/proc/meminfo: memFree=19215260/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=12256 CPUtime=0.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 687 0 0 0 29 0 0 0 25 0 1 0 934939312 12550144 636 33554432000 134512640 137138936 4293264736 18446744073709551615 134575040 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 3064 636 192 642 0 2420 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12256

[startup+0.700411 s]
/proc/loadavg: 1.96 2.03 1.83 3/514 8708
/proc/meminfo: memFree=19215260/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=13292 CPUtime=0.69 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 935 0 0 0 69 0 0 0 25 0 1 0 934939312 13611008 884 33554432000 134512640 137138936 4293264736 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 3323 884 192 642 0 2679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13292

[startup+1.50027 s]
/proc/loadavg: 1.96 2.03 1.83 3/515 8709
/proc/meminfo: memFree=19211532/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=13856 CPUtime=1.49 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 1075 0 0 0 148 1 0 0 25 0 1 0 934939312 14188544 1024 33554432000 134512640 137138936 4293264736 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 3464 1024 192 642 0 2820 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13856

[startup+3.10106 s]
/proc/loadavg: 1.96 2.03 1.83 3/515 8709
/proc/meminfo: memFree=19209920/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=14416 CPUtime=3.09 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 1213 0 0 0 307 2 0 0 25 0 1 0 934939312 14761984 1162 33554432000 134512640 137138936 4293264736 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 3604 1162 192 642 0 2960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14416

[startup+6.30043 s]
/proc/loadavg: 1.97 2.03 1.83 3/515 8709
/proc/meminfo: memFree=19208728/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=14768 CPUtime=6.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 1314 0 0 0 626 3 0 0 25 0 1 0 934939312 15122432 1263 33554432000 134512640 137138936 4293264736 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 3692 1263 192 642 0 3048 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14768

[startup+12.7003 s]
/proc/loadavg: 1.97 2.03 1.83 3/515 8710
/proc/meminfo: memFree=19208068/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=15184 CPUtime=12.69 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 1419 0 0 0 1263 6 0 0 25 0 1 0 934939312 15548416 1368 33554432000 134512640 137138936 4293264736 18446744073709551615 134599106 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 3796 1368 192 642 0 3152 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15184

[startup+25.5011 s]
/proc/loadavg: 1.98 2.03 1.83 3/515 8710
/proc/meminfo: memFree=19205708/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=16260 CPUtime=25.49 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 1674 0 0 0 2538 11 0 0 25 0 1 0 934939312 16650240 1614 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4065 1614 192 642 0 3421 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16260

[startup+51.1006 s]
/proc/loadavg: 1.98 2.03 1.83 3/515 8711
/proc/meminfo: memFree=19204132/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=16412 CPUtime=51.09 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 1864 0 0 0 5085 24 0 0 25 0 1 0 934939312 16805888 1679 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4103 1679 192 642 0 3459 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16412

[startup+102.32 s]
/proc/loadavg: 1.99 2.02 1.84 3/515 8712
/proc/meminfo: memFree=19200752/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=17844 CPUtime=102.31 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 2369 0 0 0 10188 43 0 0 25 0 1 0 934939312 18272256 2035 33554432000 134512640 137138936 4293264736 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4461 2035 192 642 0 3817 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17844

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 1.84 3/515 8714
/proc/meminfo: memFree=19195248/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=18556 CPUtime=162.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 2612 0 0 0 16164 65 0 0 25 0 1 0 934939312 19001344 2215 33554432000 134512640 137138936 4293264736 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4639 2215 192 642 0 3995 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18556

[startup+222.301 s]
/proc/loadavg: 2.07 2.03 1.86 3/515 8715
/proc/meminfo: memFree=19192336/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=18988 CPUtime=222.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 2773 0 0 0 22138 91 0 0 25 0 1 0 934939312 19443712 2315 33554432000 134512640 137138936 4293264736 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4747 2315 192 642 0 4103 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 18988

[startup+282.3 s]
/proc/loadavg: 2.10 2.04 1.87 3/515 8717
/proc/meminfo: memFree=19189800/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=19004 CPUtime=282.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 2835 0 0 0 28112 117 0 0 25 0 1 0 934939312 19460096 2327 33554432000 134512640 137138936 4293264736 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4751 2327 192 642 0 4107 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19004

[startup+342.301 s]
/proc/loadavg: 2.03 2.03 1.87 3/515 8718
/proc/meminfo: memFree=19186912/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=19964 CPUtime=342.3 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3069 0 0 0 34089 141 0 0 25 0 1 0 934939312 20443136 2549 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4991 2549 192 642 0 4347 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19964

[startup+402.301 s]
/proc/loadavg: 2.01 2.02 1.88 3/515 8720
/proc/meminfo: memFree=19184752/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=19960 CPUtime=402.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3076 0 0 0 40067 162 0 0 25 0 1 0 934939312 20439040 2556 33554432000 134512640 137138936 4293264736 18446744073709551615 134575835 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4990 2556 192 642 0 4346 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 19960

[startup+462.301 s]
/proc/loadavg: 2.07 2.04 1.89 3/515 8722
/proc/meminfo: memFree=19181480/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=19960 CPUtime=462.29 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3079 0 0 0 46049 180 0 0 25 0 1 0 934939312 20439040 2559 33554432000 134512640 137138936 4293264736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 4990 2559 192 642 0 4346 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 19960

[startup+522.301 s]
/proc/loadavg: 2.06 2.05 1.91 3/515 8723
/proc/meminfo: memFree=19177320/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=20524 CPUtime=522.3 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3203 0 0 0 52028 202 0 0 25 0 1 0 934939312 21016576 2683 33554432000 134512640 137138936 4293264736 18446744073709551615 134618096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5131 2683 192 642 0 4487 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20524

[startup+582.301 s]
/proc/loadavg: 2.02 2.04 1.91 3/515 8725
/proc/meminfo: memFree=19173556/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=20616 CPUtime=582.31 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3237 0 0 0 58003 228 0 0 25 0 1 0 934939312 21110784 2717 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5154 2717 192 642 0 4510 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20616

[startup+642.301 s]

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

/proc/meminfo: memFree=19146852/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=21152 CPUtime=1062.31 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3686 0 0 0 105795 436 0 0 25 0 1 0 934939312 21659648 2864 33554432000 134512640 137138936 4293264736 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5288 2864 192 642 0 4644 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 21152

[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 1.94 3/515 8748
/proc/meminfo: memFree=19141956/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=21120 CPUtime=1122.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 3942 0 0 0 111766 466 0 0 25 0 1 0 934939312 21626880 2856 33554432000 134512640 137138936 4293264736 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5280 2856 192 642 0 4636 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 21120

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/515 8750
/proc/meminfo: memFree=19141432/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=22260 CPUtime=1182.31 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4251 0 0 0 117737 494 0 0 25 0 1 0 934939312 22794240 3141 33554432000 134512640 137138936 4293264736 18446744073709551615 134533392 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5565 3141 192 642 0 4921 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 22260

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/515 8751
/proc/meminfo: memFree=19136044/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=22384 CPUtime=1242.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4281 0 0 0 123710 522 0 0 25 0 1 0 934939312 22921216 3170 33554432000 134512640 137138936 4293264736 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5596 3170 192 642 0 4952 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 22384

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/515 8753
/proc/meminfo: memFree=19137100/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=22508 CPUtime=1302.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4321 0 0 0 129683 549 0 0 25 0 1 0 934939312 23048192 3186 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5627 3186 192 642 0 4983 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 22508

[startup+1362.3 s]
/proc/loadavg: 2.34 2.11 1.97 3/515 8782
/proc/meminfo: memFree=18327104/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=22228 CPUtime=1362.31 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4321 0 0 0 135662 569 0 0 25 0 1 0 934939312 22761472 3133 33554432000 134512640 137138936 4293264736 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5557 3133 192 642 0 4913 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 22228

[startup+1422.32 s]
/proc/loadavg: 2.23 2.12 1.98 3/515 8783
/proc/meminfo: memFree=17019104/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=22204 CPUtime=1422.34 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4321 0 0 0 141644 590 0 0 25 0 1 0 934939312 22736896 3127 33554432000 134512640 137138936 4293264736 18446744073709551615 134602766 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5551 3127 192 642 0 4907 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 22204

[startup+1482.3 s]
/proc/loadavg: 2.08 2.10 1.98 3/515 8785
/proc/meminfo: memFree=17021780/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23260 CPUtime=1482.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4574 0 0 0 147620 612 0 0 25 0 1 0 934939312 23818240 3376 33554432000 134512640 137138936 4293264736 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5815 3376 192 642 0 5171 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 23260

[startup+1542.3 s]
/proc/loadavg: 2.03 2.08 1.98 3/515 8786
/proc/meminfo: memFree=17021980/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23128 CPUtime=1542.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4574 0 0 0 153603 629 0 0 25 0 1 0 934939312 23683072 3358 33554432000 134512640 137138936 4293264736 18446744073709551615 134552407 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5782 3358 192 642 0 5138 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 23128

[startup+1602.3 s]
/proc/loadavg: 2.01 2.06 1.98 3/515 8788
/proc/meminfo: memFree=17911272/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=21872 CPUtime=1602.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4574 0 0 0 159586 646 0 0 25 0 1 0 934939312 22396928 3044 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5468 3044 192 642 0 4824 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 21872

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 2.00 3/515 8790
/proc/meminfo: memFree=17884952/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=22328 CPUtime=1662.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 4680 0 0 0 165569 663 0 0 25 0 1 0 934939312 22863872 3146 33554432000 134512640 137138936 4293264736 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5582 3146 192 642 0 4938 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 22328

[startup+1722.3 s]
/proc/loadavg: 2.08 2.08 2.00 3/515 8791
/proc/meminfo: memFree=17876868/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23820 CPUtime=1722.32 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 171552 680 0 0 25 0 1 0 934939312 24391680 3523 33554432000 134512640 137138936 4293264736 18446744073709551615 134575040 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5955 3523 192 642 0 5311 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 23820

[startup+1782.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17869896/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1782.33 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 177539 694 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 134603210 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 23780

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17872128/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1785.53 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 177858 695 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 23780

[startup+1791.92 s]
/proc/loadavg: 2.02 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17871868/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1791.95 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 178499 696 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 134552736 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 23780

[startup+1795.1 s]
/proc/loadavg: 2.02 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17870752/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1795.13 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 178817 696 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 23780

[startup+1796.7 s]
/proc/loadavg: 2.02 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17871620/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1796.72 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 178975 697 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 23780

[startup+1797.5 s]
/proc/loadavg: 2.02 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17870132/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1797.52 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 179055 697 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 23780

[startup+1797.9 s]
/proc/loadavg: 2.02 2.06 2.00 3/515 8793
/proc/meminfo: memFree=17870132/32950940 swapFree=67111364/67111528
[pid=8708] ppid=8706 vsize=23780 CPUtime=1797.93 cores=1,3,5,7
/proc/8708/stat : 8708 (bsolo) R 8706 8708 8495 0 -1 4202496 5066 0 0 0 179095 698 0 0 25 0 1 0 934939312 24350720 3521 33554432000 134512640 137138936 4293264736 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8708/statm: 5945 3521 192 642 0 5301 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 23780

Child status: 0
Real time (s): 1797.97
CPU time (s): 1798
CPU user time (s): 1791.02
CPU system time (s): 6.98194
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 23828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.02
system time used= 6.98194
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5067
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= 5128

runsolver used 8.70668 second user time and 20.9278 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-07 13:44:45
IDJOB=3479239
IDBENCH=89865
IDSOLVER=1955
FILE ID=node117/3479239-1307447085
RUNJOBID= node117-1307444786-8514
PBS_JOBID= 13520315
Free space on /tmp= 73944 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-go19.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479239-1307447085/watcher-3479239-1307447085 -o /tmp/evaluation-result-3479239-1307447085/solver-3479239-1307447085 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3479239-1307447085.opb

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

MD5SUM BENCH= ac3a0c512b81d5e532f489853538ca8f
RANDOM SEED=694681118

node117.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.849
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.69
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.849
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.75
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.849
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.74
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.849
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	: 5332.75
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.849
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.75
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.849
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.74
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.849
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      19215540 kB
Buffers:        385432 kB
Cached:        3014960 kB
SwapCached:          0 kB
Active:       10535676 kB
Inactive:      2801540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      19215540 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            3784 kB
Writeback:           0 kB
AnonPages:     9936516 kB
Mapped:          42856 kB
Slab:           270432 kB
PageTables:      58252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 149652728 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73380 MiB
End job on node117 at 2011-06-07 14:14:43