Trace number 3490694

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
MinisatID 2.5.2 (fixed)? (TO)-23 1800.06 1800.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
MD5SUM4acf18ad1cd52676d2699a99f210ed0a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-34
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27842
Number of constraints which are clauses27842
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
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	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
1800.03/1800.00	>>> Terminate signal received
1800.03/1800.00	o 0
1800.03/1800.00	o -1
1800.03/1800.00	o -2
1800.03/1800.00	o -3
1800.03/1800.00	o -4
1800.03/1800.00	o -5
1800.03/1800.00	o -6
1800.03/1800.00	o -7
1800.03/1800.00	o -8
1800.03/1800.00	o -9
1800.03/1800.00	o -10
1800.03/1800.00	o -11
1800.03/1800.00	o -12
1800.03/1800.00	o -13
1800.03/1800.00	o -14
1800.03/1800.00	o -15
1800.03/1800.00	o -16
1800.03/1800.00	o -17
1800.03/1800.00	o -18
1800.03/1800.00	o -19
1800.03/1800.00	o -20
1800.03/1800.00	o -21
1800.03/1800.00	o -22
1800.03/1800.00	o -23
1800.03/1800.00	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 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595

Verifier Data 

OK	-23

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3490694-1307773469/watcher-3490694-1307773469 -o /tmp/evaluation-result-3490694-1307773469/solver-3490694-1307773469 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490694-1307773469.opb --verbosity=0 --format=opb --randomseed=274428167 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 24206
/proc/meminfo: memFree=31221400/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=7572 CPUtime=0 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 424 0 0 0 0 0 0 0 25 0 1 0 869762233 7753728 377 33554432000 4194304 6720400 140733265467744 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 1893 377 232 617 0 1267 0

[startup+0.0364949 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 24206
/proc/meminfo: memFree=31221400/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=10132 CPUtime=0.03 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 1067 0 0 0 3 0 0 0 25 0 1 0 869762233 10375168 1020 33554432000 4194304 6720400 140733265467744 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 2533 1021 232 617 0 1907 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10132

[startup+0.100482 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 24206
/proc/meminfo: memFree=31221400/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=15380 CPUtime=0.09 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 2357 0 0 0 9 0 0 0 25 0 1 0 869762233 15749120 2310 33554432000 4194304 6720400 140733265467744 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 3845 2310 232 617 0 3219 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15380

[startup+0.300446 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 24206
/proc/meminfo: memFree=31221400/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=45228 CPUtime=0.29 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 9895 0 0 0 27 2 0 0 25 0 1 0 869762233 46313472 9750 33554432000 4194304 6720400 140733265467744 18446744073709551615 4624217 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 11307 9750 257 617 0 10681 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45228

[startup+0.700375 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 24206
/proc/meminfo: memFree=31221400/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=45228 CPUtime=0.69 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 9909 0 0 0 67 2 0 0 25 0 1 0 869762233 46313472 9764 33554432000 4194304 6720400 140733265467744 18446744073709551615 4805616 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 11307 9764 257 617 0 10681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45228

[startup+1.50026 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 24207
/proc/meminfo: memFree=31184340/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=60484 CPUtime=1.49 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 13158 0 0 0 147 2 0 0 25 0 1 0 869762233 61935616 13011 33554432000 4194304 6720400 140733265467744 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 15121 13011 266 617 0 14495 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60484

[startup+3.10098 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 24207
/proc/meminfo: memFree=31174420/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=63708 CPUtime=3.09 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 25157 0 0 0 305 4 0 0 25 0 1 0 869762233 65236992 13965 33554432000 4194304 6720400 140733265467744 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 15927 13967 266 617 0 15301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63708

[startup+6.30039 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 24207
/proc/meminfo: memFree=31121980/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=112996 CPUtime=6.29 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 46795 0 0 0 623 6 0 0 25 0 1 0 869762233 115707904 27776 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 28249 27776 266 617 0 27623 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 112996

[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/178 24207
/proc/meminfo: memFree=31067192/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=112996 CPUtime=12.69 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 81554 0 0 0 1259 10 0 0 25 0 1 0 869762233 115707904 27779 33554432000 4194304 6720400 140733265467744 18446744073709551615 4819980 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 28249 27779 266 617 0 27623 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112996

[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 24208
/proc/meminfo: memFree=31009528/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=112996 CPUtime=25.49 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 157517 0 0 0 2528 21 0 0 25 0 1 0 869762233 115707904 27780 33554432000 4194304 6720400 140733265467744 18446744073709551615 4613442 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 28249 27780 266 617 0 27623 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112996

[startup+51.1005 s]
/proc/loadavg: 1.97 1.98 1.99 3/178 24211
/proc/meminfo: memFree=30993720/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=124920 CPUtime=51.09 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 326775 0 0 0 5064 45 0 0 25 0 1 0 869762233 127918080 30763 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/24206/statm: 31230 30763 266 617 0 30604 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 124920

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 24213
/proc/meminfo: memFree=30922712/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=206108 CPUtime=102.3 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 663812 0 0 0 10143 87 0 0 25 0 1 0 869762233 211054592 50462 33554432000 4194304 6720400 140733265467744 18446744073709551615 4805649 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/24206/statm: 51527 50463 266 617 0 50901 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 206108

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 24214
/proc/meminfo: memFree=30877052/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=236928 CPUtime=162.29 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 1041530 0 0 0 16089 140 0 0 25 0 1 0 869762233 242614272 51121 33554432000 4194304 6720400 140733265467744 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 59232 51122 266 617 0 58606 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 236928

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 24216
/proc/meminfo: memFree=30881368/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=206108 CPUtime=222.29 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 1360569 0 0 0 22039 190 0 0 25 0 1 0 869762233 211054592 50891 33554432000 4194304 6720400 140733265467744 18446744073709551615 4805858 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 51527 50891 266 617 0 50901 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 206108

[startup+282.301 s]
/proc/loadavg: 2.03 2.00 2.00 3/178 24217
/proc/meminfo: memFree=30865708/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=206108 CPUtime=282.29 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 1662362 0 0 0 27994 235 0 0 25 0 1 0 869762233 211054592 50068 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 51527 50068 266 617 0 50901 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 206108

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24219
/proc/meminfo: memFree=30825636/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=208572 CPUtime=342.29 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 2046889 0 0 0 33934 295 0 0 25 0 1 0 869762233 213577728 50670 33554432000 4194304 6720400 140733265467744 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 52143 50671 266 617 0 51517 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 208572

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24221
/proc/meminfo: memFree=30834664/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=249444 CPUtime=402.3 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 2325635 0 0 0 39891 339 0 0 25 0 1 0 869762233 255430656 56112 33554432000 4194304 6720400 140733265467744 18446744073709551615 4610484 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 62361 56112 266 617 0 61735 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 249444

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24222
/proc/meminfo: memFree=30796564/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=222984 CPUtime=462.3 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 2616849 0 0 0 45847 383 0 0 25 0 1 0 869762233 228335616 52156 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 55746 52156 266 617 0 55120 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 222984

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24224
/proc/meminfo: memFree=30771856/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=242800 CPUtime=522.3 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 2878269 0 0 0 51807 423 0 0 25 0 1 0 869762233 248627200 55165 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 60700 55165 266 617 0 60074 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 242800

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24225
/proc/meminfo: memFree=30727916/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=193480 CPUtime=582.31 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 3134428 0 0 0 57766 465 0 0 25 0 1 0 869762233 198123520 44936 33554432000 4194304 6720400 140733265467744 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 48370 44936 266 617 0 47744 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 193480

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 24232
/proc/meminfo: memFree=30664028/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=242800 CPUtime=822.31 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 4359240 0 0 0 81572 659 0 0 25 0 1 0 869762233 248627200 48059 33554432000 4194304 6720400 140733265467744 18446744073709551615 5806741 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 60700 48080 266 617 0 60074 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 242800

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24233
/proc/meminfo: memFree=30679732/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=264796 CPUtime=882.31 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 4612396 0 0 0 87531 700 0 0 25 0 1 0 869762233 271151104 59758 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 66199 59758 266 617 0 65573 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 264796

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24235
/proc/meminfo: memFree=30695076/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=295616 CPUtime=942.31 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 4820151 0 0 0 93500 731 0 0 25 0 1 0 869762233 302710784 64904 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617347 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 73904 64904 266 617 0 73278 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 295616

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24237
/proc/meminfo: memFree=30637756/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=295616 CPUtime=1002.31 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 5082601 0 0 0 99460 771 0 0 25 0 1 0 869762233 302710784 63040 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 73904 63040 266 617 0 73278 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 295616

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24238
/proc/meminfo: memFree=30660172/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=295616 CPUtime=1062.31 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 5308775 0 0 0 105424 807 0 0 25 0 1 0 869762233 302710784 63135 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 73904 63135 266 617 0 73278 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 295616

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24240
/proc/meminfo: memFree=30719172/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=264796 CPUtime=1122.31 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 5536712 0 0 0 111385 846 0 0 25 0 1 0 869762233 271151104 55158 33554432000 4194304 6720400 140733265467744 18446744073709551615 5806741 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 66199 55176 266 617 0 65573 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 264796

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24241
/proc/meminfo: memFree=30676988/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=295616 CPUtime=1182.31 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 5852614 0 0 0 117335 896 0 0 25 0 1 0 869762233 302710784 67054 33554432000 4194304 6720400 140733265467744 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 73904 67054 266 617 0 73278 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 295616

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24243
/proc/meminfo: memFree=30631196/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=295616 CPUtime=1242.32 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 6050138 0 0 0 123302 930 0 0 25 0 1 0 869762233 302710784 68184 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 73904 68184 266 617 0 73278 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 295616

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24245
/proc/meminfo: memFree=30729492/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=264796 CPUtime=1302.33 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 6271783 0 0 0 129266 967 0 0 25 0 1 0 869762233 271151104 60635 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 66199 60635 266 617 0 65573 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 264796

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 24246
/proc/meminfo: memFree=30654200/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=215476 CPUtime=1362.32 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 6470079 0 0 0 135235 997 0 0 25 0 1 0 869762233 220647424 52149 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 53869 52149 266 617 0 53243 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 215476

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24248
/proc/meminfo: memFree=30644248/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=264796 CPUtime=1422.32 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 6739076 0 0 0 141192 1040 0 0 25 0 1 0 869762233 271151104 64604 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 66199 64604 266 617 0 65573 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 264796

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24249
/proc/meminfo: memFree=30703252/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=215476 CPUtime=1482.33 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 6962076 0 0 0 147157 1076 0 0 25 0 1 0 869762233 220647424 52647 33554432000 4194304 6720400 140733265467744 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 53869 52647 266 617 0 53243 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 215476

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24251
/proc/meminfo: memFree=30746376/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=264796 CPUtime=1542.33 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 7152361 0 0 0 153125 1108 0 0 25 0 1 0 869762233 271151104 61043 33554432000 4194304 6720400 140733265467744 18446744073709551615 4816956 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 66199 61044 266 617 0 65573 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 264796

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24253
/proc/meminfo: memFree=30697864/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=295616 CPUtime=1602.32 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 7503712 0 0 0 159068 1164 0 0 25 0 1 0 869762233 302710784 67311 33554432000 4194304 6720400 140733265467744 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 73904 67311 266 617 0 73278 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 295616

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24254
/proc/meminfo: memFree=30691020/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=295616 CPUtime=1662.33 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 7887865 0 0 0 165004 1229 0 0 25 0 1 0 869762233 302710784 72025 33554432000 4194304 6720400 140733265467744 18446744073709551615 4816954 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 73904 72026 266 617 0 73278 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 295616

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24256
/proc/meminfo: memFree=30634576/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=295616 CPUtime=1722.33 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 8266603 0 0 0 170943 1290 0 0 25 0 1 0 869762233 302710784 70241 33554432000 4194304 6720400 140733265467744 18446744073709551615 4805846 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 73904 70241 266 617 0 73278 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 295616

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24257
/proc/meminfo: memFree=30615952/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=314900 CPUtime=1782.33 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 8457183 0 0 0 176915 1318 0 0 25 0 1 0 869762233 322457600 70467 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 78725 70467 266 617 0 78099 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 314900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24297
/proc/meminfo: memFree=31091856/32951124 swapFree=67057920/67111528
[pid=24206] ppid=24204 vsize=314900 CPUtime=1800.03 cores=0,2,4,6
/proc/24206/stat : 24206 (minisatid) R 24204 24206 22888 0 -1 4202496 8514549 0 0 0 178676 1327 0 0 25 0 1 0 869762233 322457600 71227 33554432000 4194304 6720400 140733265467744 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/24206/statm: 78725 71227 266 617 0 78099 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 314900

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1786.77
CPU system time (s): 13.293
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 314900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.77
system time used= 13.293
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8514554
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= 3
involuntary context switches= 5661

runsolver used 2.67559 second user time and 5.53316 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-11 08:24:29
IDJOB=3490694
IDBENCH=2270
IDSOLVER=1980
FILE ID=node140/3490694-1307773469
RUNJOBID= node140-1307760760-22906
PBS_JOBID= 13550876
Free space on /tmp= 73804 MiB

SOLVER NAME= MinisatID 2.5.2 (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3490694-1307773469/watcher-3490694-1307773469 -o /tmp/evaluation-result-3490694-1307773469/solver-3490694-1307773469 -C 1800 -W 1900 -M 15500  HOME/minisatid HOME/instance-3490694-1307773469.opb --verbosity=0 --format=opb --randomseed=274428167

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

MD5SUM BENCH= 4acf18ad1cd52676d2699a99f210ed0a
RANDOM SEED=274428167

node140.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.833
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.833
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	: 5226.14
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.833
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.75
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.833
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.77
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.833
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.833
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.833
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31222076 kB
Buffers:        292148 kB
Cached:        1014432 kB
SwapCached:       7060 kB
Active:         821424 kB
Inactive:       707812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31222076 kB
SwapTotal:    67111528 kB
SwapFree:     67057920 kB
Dirty:            9792 kB
Writeback:           0 kB
AnonPages:      221044 kB
Mapped:          14308 kB
Slab:           135644 kB
PageTables:       5092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   411108 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= 73800 MiB
End job on node140 at 2011-06-11 08:54:31