Trace number 2698954

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
PB/CT 0.1 fixedMSAT (TO) 1800.09 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMc848ab0f9e18d54de025021d8a38abe4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark0.015997
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables600
Total number of constraints70
Number of soft constraints46
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint20
Top cost 2255
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 2254
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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 PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 12/18 clauses 12/28 units 0
0.00/0.00	c vars 600
0.00/0.02	c 0.018997 7.53906 17 1049
0.00/0.02	o 574
0.00/0.02	c 0.024996 7.53906 121 1540
0.00/0.02	o 351
0.00/0.03	c 0.024996 7.53906 121 1762
0.00/0.03	o 202
0.00/0.03	c 0.025996 7.53906 123 1964
0.00/0.03	o 118
0.00/0.03	c 0.026995 7.53906 123 2114
0.00/0.03	o 100
0.00/0.03	c 0.027995 7.53906 124 2278
0.00/0.03	o 97
0.00/0.03	c 0.027995 7.53906 124 2433
0.00/0.03	o 73
0.00/0.03	c 0.028995 7.53906 124 2565
0.00/0.03	o 71
0.00/0.03	c 0.029995 7.53906 124 2722
0.00/0.03	o 64
0.00/0.03	c 0.030995 7.53906 125 2866
0.00/0.03	o 49
0.00/0.04	c 0.035994 7.66406 227 3337
0.00/0.04	o 31
0.00/0.07	c 0.056991 7.79297 393 4804
0.00/0.07	o 29
0.00/0.07	c 0.05999 7.79297 427 5051
0.00/0.07	o 27
0.00/0.07	c 0.06099 7.79297 428 5306
0.00/0.07	o 26
0.07/0.08	c 0.066989 7.79297 320 5943
0.07/0.08	o 23
1800.08/1800.00	s SATISFIABLE
1800.08/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 -x596 -x597 -x598 -x599 -x600

Verifier Data 

OK	23

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698954-1278459240/watcher-2698954-1278459240 -o /tmp/evaluation-result-2698954-1278459240/solver-2698954-1278459240 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698954-1278459240.wbo 

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


[startup+0 s]
/proc/loadavg: 2.00 1.99 1.68 4/175 15949
/proc/meminfo: memFree=30158148/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=3968 CPUtime=0
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 685 0 0 0 0 0 0 0 25 0 1 0 14135994 4063232 605 4089446400 134512640 136422188 4286695952 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15949/statm: 992 606 193 467 0 523 0

[startup+0.0819699 s]
/proc/loadavg: 2.00 1.99 1.68 4/175 15949
/proc/meminfo: memFree=30158148/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=7976 CPUtime=0.07
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 1719 0 0 0 6 1 0 0 18 0 1 0 14135994 8167424 1625 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15949/statm: 1994 1625 237 467 0 1525 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7976

[startup+0.100958 s]
/proc/loadavg: 2.00 1.99 1.68 4/175 15949
/proc/meminfo: memFree=30158148/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=7976 CPUtime=0.09
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 1720 0 0 0 7 2 0 0 18 0 1 0 14135994 8167424 1625 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15949/statm: 1994 1625 237 467 0 1525 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7976

[startup+0.300926 s]
/proc/loadavg: 2.00 1.99 1.68 4/175 15949
/proc/meminfo: memFree=30158148/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=8236 CPUtime=0.29
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 1802 0 0 0 23 6 0 0 18 0 1 0 14135994 8433664 1707 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15949/statm: 2059 1707 237 467 0 1590 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8236

[startup+0.700839 s]
/proc/loadavg: 2.00 1.99 1.68 4/175 15949
/proc/meminfo: memFree=30158148/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=8368 CPUtime=0.69
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 1810 0 0 0 55 14 0 0 18 0 1 0 14135994 8568832 1715 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/15949/statm: 2092 1715 237 467 0 1623 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8368

[startup+1.50068 s]
/proc/loadavg: 2.00 1.99 1.68 3/176 15950
/proc/meminfo: memFree=30151692/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=8632 CPUtime=1.49
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 1886 0 0 0 103 46 0 0 19 0 1 0 14135994 8839168 1791 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 2158 1791 237 467 0 1689 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8632

[startup+3.10036 s]
/proc/loadavg: 1.92 1.97 1.68 3/179 15974
/proc/meminfo: memFree=30155504/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=9148 CPUtime=3.09
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 2008 0 0 0 175 134 0 0 25 0 1 0 14135994 9367552 1913 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 2287 1913 237 467 0 1818 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9148

[startup+6.30071 s]
/proc/loadavg: 1.92 1.97 1.68 3/179 15974
/proc/meminfo: memFree=30155568/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=9280 CPUtime=6.29
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 2049 0 0 0 328 301 0 0 25 0 1 0 14135994 9502720 1954 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 2320 1954 237 467 0 1851 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9280

[startup+12.7004 s]
/proc/loadavg: 1.93 1.97 1.68 3/179 15974
/proc/meminfo: memFree=30155140/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=9940 CPUtime=12.69
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 2225 0 0 0 637 632 0 0 25 0 1 0 14135994 10178560 2130 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 2485 2130 237 467 0 2016 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9940

[startup+25.5009 s]
/proc/loadavg: 1.94 1.97 1.68 3/179 15976
/proc/meminfo: memFree=30155792/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=10468 CPUtime=25.5
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 2348 0 0 0 1286 1264 0 0 25 0 1 0 14135994 10719232 2253 4089446400 134512640 136422188 4286695952 18446744073709551615 134902762 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 2617 2253 237 467 0 2148 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 10468

[startup+51.1007 s]
/proc/loadavg: 1.96 1.97 1.69 3/179 15976
/proc/meminfo: memFree=30154724/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=11132 CPUtime=51.09
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 2532 0 0 0 2629 2480 0 0 25 0 1 0 14135994 11399168 2437 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 2783 2437 237 467 0 2314 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11132

[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.71 3/179 15978
/proc/meminfo: memFree=30153088/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=12136 CPUtime=102.3
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 2765 0 0 0 5444 4786 0 0 25 0 1 0 14135994 12427264 2668 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 3034 2668 237 467 0 2565 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 12136

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/179 15978
/proc/meminfo: memFree=30152056/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=12740 CPUtime=162.29
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 2974 0 0 0 8650 7579 0 0 25 0 1 0 14135994 13045760 2828 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 3185 2828 237 467 0 2716 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 12740

[startup+222.3 s]
/proc/loadavg: 2.07 1.99 1.74 3/179 15980
/proc/meminfo: memFree=30151884/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=13168 CPUtime=222.3
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 3099 0 0 0 11979 10251 0 0 25 0 1 0 14135994 13484032 2946 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 3292 2946 237 467 0 2823 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 13168

[startup+282.3 s]
/proc/loadavg: 2.03 1.99 1.75 3/179 15982
/proc/meminfo: memFree=30151220/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=13508 CPUtime=282.3
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 3214 0 0 0 15420 12810 0 0 25 0 1 0 14135994 13832192 3032 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 3377 3032 237 467 0 2908 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 13508

[startup+342.3 s]
/proc/loadavg: 2.01 1.99 1.77 3/179 15984
/proc/meminfo: memFree=30150544/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=14332 CPUtime=342.3
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 3476 0 0 0 18780 15450 0 0 25 0 1 0 14135994 14675968 3206 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 3583 3206 237 467 0 3114 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 14332

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/179 15986
/proc/meminfo: memFree=30149884/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=14864 CPUtime=402.31
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 3630 0 0 0 22223 18008 0 0 25 0 1 0 14135994 15220736 3360 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 3716 3360 237 467 0 3247 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 14864

[startup+462.3 s]
/proc/loadavg: 2.04 2.00 1.80 3/179 15986
/proc/meminfo: memFree=30149212/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=15180 CPUtime=462.32
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 3745 0 0 0 25748 20484 0 0 25 0 1 0 14135994 15544320 3442 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 3795 3442 237 467 0 3326 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 15180

[startup+522.3 s]
/proc/loadavg: 2.02 2.00 1.81 3/179 15988
/proc/meminfo: memFree=30149420/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=15176 CPUtime=522.32
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 3746 0 0 0 29381 22851 0 0 25 0 1 0 14135994 15540224 3443 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 3794 3443 237 467 0 3325 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 15176

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.82 3/179 15990
/proc/meminfo: memFree=30148504/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=15576 CPUtime=582.32
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 3873 0 0 0 32833 25399 0 0 25 0 1 0 14135994 15949824 3546 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 3894 3546 237 467 0 3425 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 15576

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.82 3/179 15992
/proc/meminfo: memFree=30148088/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=15884 CPUtime=642.32
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 3977 0 0 0 36303 27929 0 0 25 0 1 0 14135994 16265216 3625 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 3971 3625 237 467 0 3502 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 15884

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.84 3/179 15996
/proc/meminfo: memFree=30147720/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=16196 CPUtime=822.33
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4048 0 0 0 47007 35226 0 0 25 0 1 0 14135994 16584704 3688 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4049 3688 237 467 0 3580 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 16196

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 15998
/proc/meminfo: memFree=30146820/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=16756 CPUtime=882.33
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4223 0 0 0 50520 37713 0 0 25 0 1 0 14135994 17158144 3830 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4189 3830 237 467 0 3720 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 16756

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 16000
/proc/meminfo: memFree=30146896/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=16756 CPUtime=942.34
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4224 0 0 0 54271 39963 0 0 25 0 1 0 14135994 17158144 3831 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4189 3831 237 467 0 3720 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 16756

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 16002
/proc/meminfo: memFree=30146868/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=16884 CPUtime=1002.34
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4241 0 0 0 57758 42476 0 0 25 0 1 0 14135994 17289216 3848 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4221 3848 237 467 0 3752 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 16884

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 16002
/proc/meminfo: memFree=30146700/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=17004 CPUtime=1062.34
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4317 0 0 0 61332 44902 0 0 25 0 1 0 14135994 17412096 3896 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4251 3896 237 467 0 3782 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 17004

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 16004
/proc/meminfo: memFree=30146292/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=17148 CPUtime=1122.35
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4382 0 0 0 64910 47325 0 0 25 0 1 0 14135994 17559552 3933 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4287 3933 237 467 0 3818 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 17148

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 16006
/proc/meminfo: memFree=30146256/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=17288 CPUtime=1182.35
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4400 0 0 0 68563 49672 0 0 25 0 1 0 14135994 17702912 3951 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4322 3951 237 467 0 3853 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 17288

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 16008
/proc/meminfo: memFree=30145840/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=17344 CPUtime=1242.35
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4435 0 0 0 72177 52058 0 0 25 0 1 0 14135994 17760256 3984 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4336 3984 237 467 0 3867 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 17344

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 16010
/proc/meminfo: memFree=30145072/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=17604 CPUtime=1302.36
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4621 0 0 0 75679 54557 0 0 25 0 1 0 14135994 18026496 4050 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4401 4050 237 467 0 3932 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 17604

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 16010
/proc/meminfo: memFree=30145036/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=17916 CPUtime=1362.36
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4726 0 0 0 79313 56923 0 0 25 0 1 0 14135994 18345984 4104 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4479 4104 237 467 0 4010 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 17916

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 16012
/proc/meminfo: memFree=30144876/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=17916 CPUtime=1422.36
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4727 0 0 0 82998 59238 0 0 25 0 1 0 14135994 18345984 4105 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4479 4105 237 467 0 4010 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 17916

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16014
/proc/meminfo: memFree=30144596/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=17916 CPUtime=1482.37
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4742 0 0 0 86741 61496 0 0 25 0 1 0 14135994 18345984 4120 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4479 4120 237 467 0 4010 0
Current children cumulated CPU time (s) 1482.37
Current children cumulated vsize (KiB) 17916

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16016
/proc/meminfo: memFree=30144672/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=18056 CPUtime=1542.36
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4767 0 0 0 90286 63950 0 0 25 0 1 0 14135994 18489344 4145 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4514 4145 237 467 0 4045 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 18056

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16018
/proc/meminfo: memFree=30143900/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=18288 CPUtime=1602.37
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4877 0 0 0 93944 66293 0 0 25 0 1 0 14135994 18726912 4225 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4572 4225 237 467 0 4103 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 18288

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16027
/proc/meminfo: memFree=30142420/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=18708 CPUtime=1662.37
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 4957 0 0 0 98040 68197 0 0 25 0 1 0 14135994 19156992 4305 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4677 4305 237 467 0 4208 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 18708

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16029
/proc/meminfo: memFree=30142136/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=18988 CPUtime=1722.37
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 5028 0 0 0 101864 70373 0 0 25 0 1 0 14135994 19443712 4376 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4747 4376 237 467 0 4278 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 18988

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16031
/proc/meminfo: memFree=30141600/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=19132 CPUtime=1782.38
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 5057 0 0 0 105694 72544 0 0 25 0 1 0 14135994 19591168 4405 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4783 4405 237 467 0 4314 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 19132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16031
/proc/meminfo: memFree=30141700/32950928 swapFree=67111528/67111528
[pid=15949] ppid=15947 vsize=19260 CPUtime=1800.08
/proc/15949/stat : 15949 (pbct) R 15947 15949 15814 0 -1 4202496 5090 0 0 0 106751 73257 0 0 25 0 1 0 14135994 19722240 4405 4089446400 134512640 136422188 4286695952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15949/statm: 4815 4405 237 467 0 4346 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 19260

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

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.09
CPU user time (s): 1067.51
CPU system time (s): 732.579
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 19260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1067.51
system time used= 732.579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5091
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= 2
involuntary context switches= 2562

runsolver used 2.46162 second user time and 5.73113 second system time

The end

Launcher Data 

Begin job on node149 at 2010-07-07 01:34:00
IDJOB=2698954
IDBENCH=78695
IDSOLVER=1212
FILE ID=node149/2698954-1278459240
PBS_JOBID= 11233694
Free space on /tmp= 73580 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698954-1278459240/watcher-2698954-1278459240 -o /tmp/evaluation-result-2698954-1278459240/solver-2698954-1278459240 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698954-1278459240.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= c848ab0f9e18d54de025021d8a38abe4
RANDOM SEED=1252605136

node149.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.827
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.65
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.827
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.827
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.827
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.827
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.827
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.79
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.827
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.827
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:     32950928 kB
MemFree:      30158676 kB
Buffers:        110296 kB
Cached:        2465000 kB
SwapCached:          0 kB
Active:         789692 kB
Inactive:      1849044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30158676 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2852 kB
Writeback:           0 kB
AnonPages:       63448 kB
Mapped:          14860 kB
Slab:            88932 kB
PageTables:       5164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185528 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= 73584 MiB
End job on node149 at 2010-07-07 02:04:02