Trace number 2701293

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.12 1800.06

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar6-sub3_wcsp.wbo
MD5SUM7147229393bb1207f35c1dba942bbf83
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark4515
Best CPU time to get the best result obtained on this benchmark1800.16
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables776
Total number of constraints319436
Number of soft constraints319418
Number of constraints which are clauses319418
Number of constraints which are cardinality constraints (but not clauses)18
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 58724
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 41665382
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
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
1.59/1.62	c constraints 18/0 clauses 0/319418 units 0
1.59/1.62	c vars 776
1.59/1.63	c Setting top cost 58724
164.10/164.18	c 163.495 1699.51 1 640040
164.10/164.18	o 47240
164.70/164.78	c 163.917 1742.68 1 959943
164.70/164.78	o 44013
165.30/165.36	c 164.308 1742.46 2 1279894
165.30/165.36	o 42006
165.89/165.95	c 164.704 1742.5 2 1599767
165.89/165.95	o 35008
168.10/168.19	c 166.38 1742.8 102 2210367
168.10/168.19	o 25130
168.70/168.79	c 166.781 1742.85 102 2530234
168.70/168.79	o 23500
169.30/169.39	c 167.191 1742.77 102 2850154
169.30/169.39	o 22151
170.10/170.15	c 167.718 1742.81 103 3238082
170.10/170.15	o 21329
170.69/170.76	c 168.139 1742.85 103 3527703
170.69/170.76	o 20530
171.89/171.92	c 168.952 1743.28 151 4017741
171.89/171.92	o 20438
172.89/172.95	c 169.686 1742.89 251 4446855
172.89/172.95	o 15535
174.80/174.88	c 170.962 1743.02 360 5454552
174.80/174.88	o 13397
176.00/176.08	c 171.779 1743.28 549 5915442
176.00/176.08	o 12990
209.90/209.97	c 196.052 1746.46 5306 6689917
209.90/209.97	o 12795
241.10/241.13	c 218.392 1749.25 10183 7537186
241.10/241.13	o 12757
242.30/242.31	c 219.287 1749.21 10305 7784160
242.30/242.31	o 12712
243.80/243.85	c 220.428 1749.3 10466 8023072
243.80/243.85	o 12683
312.00/312.09	c 268.244 1752.85 20895 9354214
312.00/312.09	o 12641
318.50/318.55	c 273.017 1753.06 21637 9799575
318.50/318.55	o 12131
351.30/351.34	c 296.037 1754.42 25668 10340056
351.30/351.34	o 12112
426.40/426.45	c 352.574 1758.76 35814 11594842
426.40/426.45	o 11581
429.01/429.05	c 354.451 1758.76 35930 11818607
429.01/429.05	o 11496
512.91/512.94	c 415.269 1762.37 48819 13148693
512.91/512.94	o 11437
877.11/877.17	c 679.806 1782.18 95855 16560972
877.11/877.17	o 10644
944.41/944.44	c 726.836 1787.7 104129 17197280
944.41/944.44	o 10625
1272.74/1272.71	c 976.801 1790.14 49933 20738136
1272.74/1272.71	o 10605
1358.63/1358.63	c 1042.17 1790.14 60577 21852646
1358.63/1358.63	o 10473
1800.05/1800.00	s SATISFIABLE
1800.05/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 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776

Verifier Data 

OK	10473

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701293-1278539113/watcher-2701293-1278539113 -o /tmp/evaluation-result-2701293-1278539113/solver-2701293-1278539113 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701293-1278539113.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: 1.99 2.02 2.00 4/182 8315
/proc/meminfo: memFree=27104232/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=2268 CPUtime=0
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 270 0 0 0 0 0 0 0 20 0 1 0 22124035 2322432 190 4089446400 134512640 136422188 4292003760 18446744073709551615 135812218 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/8315/statm: 567 190 144 467 0 98 0

[startup+0.099172 s]
/proc/loadavg: 1.99 2.02 2.00 4/182 8315
/proc/meminfo: memFree=27104232/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=3712 CPUtime=0.09
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 685 0 0 0 9 0 0 0 20 0 1 0 22124035 3801088 507 4089446400 134512640 136422188 4292003760 18446744073709551615 135377397 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/8315/statm: 928 507 144 467 0 459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3712

[startup+0.10118 s]
/proc/loadavg: 1.99 2.02 2.00 4/182 8315
/proc/meminfo: memFree=27104232/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=3712 CPUtime=0.09
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 687 0 0 0 9 0 0 0 20 0 1 0 22124035 3801088 509 4089446400 134512640 136422188 4292003760 18446744073709551615 135377337 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/8315/statm: 928 509 144 467 0 459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3712

[startup+0.301136 s]
/proc/loadavg: 1.99 2.02 2.00 4/182 8315
/proc/meminfo: memFree=27104232/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=5940 CPUtime=0.29
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 1417 0 0 0 29 0 0 0 20 0 1 0 22124035 6082560 1110 4089446400 134512640 136422188 4292003760 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/8315/statm: 1485 1110 144 467 0 1016 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5940

[startup+0.701061 s]
/proc/loadavg: 1.99 2.02 2.00 4/182 8315
/proc/meminfo: memFree=27104232/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=14424 CPUtime=0.69
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 3839 0 0 0 69 0 0 0 21 0 1 0 22124035 14770176 2762 4089446400 134512640 136422188 4292003760 18446744073709551615 135160591 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/8315/statm: 3606 2762 144 467 0 3137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14424

[startup+1.50092 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 8316
/proc/meminfo: memFree=27091452/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=26704 CPUtime=1.49
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 7528 0 0 0 148 1 0 0 23 0 1 0 22124035 27344896 5426 4089446400 134512640 136422188 4292003760 18446744073709551615 135160492 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/8315/statm: 6676 5426 144 467 0 6207 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26704

[startup+3.10062 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 8316
/proc/meminfo: memFree=26972896/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=378740 CPUtime=3.09
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 99943 0 0 0 298 11 0 0 25 0 1 0 22124035 387829760 91950 4089446400 134512640 136422188 4292003760 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 94685 91953 195 467 0 94216 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 378740

[startup+6.30104 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 8316
/proc/meminfo: memFree=26236336/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1122764 CPUtime=6.29
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 297778 0 0 0 596 33 0 0 25 0 1 0 22124035 1149710336 271111 4089446400 134512640 136422188 4292003760 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 280691 271114 195 467 0 280222 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1122764

[startup+12.7009 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 8316
/proc/meminfo: memFree=25450592/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1692812 CPUtime=12.69
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 445038 0 0 0 1220 49 0 0 25 0 1 0 22124035 1733439488 413053 4089446400 134512640 136422188 4292003760 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 423203 413053 209 467 0 422734 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1692812

[startup+25.5005 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 8316
/proc/meminfo: memFree=25442248/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1700276 CPUtime=25.49
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 446882 0 0 0 2500 49 0 0 25 0 1 0 22124035 1741082624 414897 4089446400 134512640 136422188 4292003760 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 425069 414897 209 467 0 424600 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1700276

[startup+51.1009 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 8317
/proc/meminfo: memFree=25435064/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1705424 CPUtime=51.09
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 448160 0 0 0 5060 49 0 0 25 0 1 0 22124035 1746354176 416175 4089446400 134512640 136422188 4292003760 18446744073709551615 135017821 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 426356 416175 209 467 0 425887 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1705424

[startup+102.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 8318
/proc/meminfo: memFree=25421152/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1715120 CPUtime=102.3
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 451168 0 0 0 10180 50 0 0 25 0 1 0 22124035 1756282880 418604 4089446400 134512640 136422188 4292003760 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 428780 418604 209 467 0 428311 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1715120

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 8320
/proc/meminfo: memFree=25392476/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1721852 CPUtime=162.3
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 452862 0 0 0 16180 50 0 0 25 0 1 0 22124035 1763176448 420298 4089446400 134512640 136422188 4292003760 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 430463 420298 209 467 0 429994 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1721852

[startup+222.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 8321
/proc/meminfo: memFree=25363792/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1789824 CPUtime=222.29
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 476817 0 0 0 20500 1729 0 0 25 0 1 0 22124035 1832779776 425715 4089446400 134512640 136422188 4292003760 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 447456 425715 238 467 0 446987 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1789824

[startup+282.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 8323
/proc/meminfo: memFree=25353952/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1793388 CPUtime=282.3
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 479781 0 0 0 24763 3467 0 0 25 0 1 0 22124035 1836429312 426599 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 448347 426599 238 467 0 447878 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1793388

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 8325
/proc/meminfo: memFree=25343988/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1795924 CPUtime=342.3
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 481987 0 0 0 28956 5274 0 0 25 0 1 0 22124035 1839026176 427235 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 448981 427235 238 467 0 448512 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1795924

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8326
/proc/meminfo: memFree=25335656/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1798984 CPUtime=402.3
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 484048 0 0 0 33422 6808 0 0 25 0 1 0 22124035 1842159616 428009 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 449746 428009 238 467 0 449277 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1798984

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8328
/proc/meminfo: memFree=25332900/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1801100 CPUtime=462.31
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 485785 0 0 0 37833 8398 0 0 25 0 1 0 22124035 1844326400 428533 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 450275 428533 238 467 0 449806 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1801100

[startup+522.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 8329
/proc/meminfo: memFree=25329276/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1804664 CPUtime=522.31
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 487359 0 0 0 42174 10057 0 0 25 0 1 0 22124035 1847975936 429434 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 451166 429434 238 467 0 450697 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1804664

[startup+582.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 8331
/proc/meminfo: memFree=25327512/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1807304 CPUtime=582.31
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 488005 0 0 0 46536 11695 0 0 25 0 1 0 22124035 1850679296 430080 4089446400 134512640 136422188 4292003760 18446744073709551615 135022543 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 451826 430080 238 467 0 451357 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1807304

[startup+642.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 8333
/proc/meminfo: memFree=25325000/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1809812 CPUtime=642.31
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 488618 0 0 0 50790 13441 0 0 25 0 1 0 22124035 1853247488 430693 4089446400 134512640 136422188 4292003760 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 452453 430693 238 467 0 451984 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1809812

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 8337
/proc/meminfo: memFree=25312876/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1821692 CPUtime=822.32
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 491617 0 0 0 63959 18273 0 0 25 0 1 0 22124035 1865412608 433692 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 455423 433692 238 467 0 454954 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1821692

[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 8339
/proc/meminfo: memFree=25308884/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1824948 CPUtime=882.32
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 493121 0 0 0 68337 19895 0 0 25 0 1 0 22124035 1868746752 434515 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 456237 434515 238 467 0 455768 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1824948

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8341
/proc/meminfo: memFree=25302284/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1829576 CPUtime=942.32
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 494277 0 0 0 72499 21733 0 0 25 0 1 0 22124035 1873485824 435671 4089446400 134512640 136422188 4292003760 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 457394 435671 238 467 0 456925 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1829576

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/201 8446
/proc/meminfo: memFree=26517228/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1833104 CPUtime=1002.32
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 495809 0 0 0 77099 23133 0 0 25 0 1 0 22124035 1877098496 436527 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 458276 436527 238 467 0 457807 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1833104

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/201 8448
/proc/meminfo: memFree=26497204/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1833104 CPUtime=1062.32
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 495809 0 0 0 81366 24866 0 0 25 0 1 0 22124035 1877098496 436527 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 458276 436527 238 467 0 457807 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1833104

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/201 8449
/proc/meminfo: memFree=26496420/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1833104 CPUtime=1122.32
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 495809 0 0 0 85680 26552 0 0 25 0 1 0 22124035 1877098496 436527 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 458276 436527 238 467 0 457807 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1833104

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/201 8451
/proc/meminfo: memFree=26496212/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1833104 CPUtime=1182.33
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 495809 0 0 0 90151 28082 0 0 25 0 1 0 22124035 1877098496 436527 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 458276 436527 238 467 0 457807 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1833104

[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/201 8453
/proc/meminfo: memFree=26496304/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1833104 CPUtime=1242.32
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 495809 0 0 0 95068 29164 0 0 25 0 1 0 22124035 1877098496 436527 4089446400 134512640 136422188 4292003760 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 458276 436527 238 467 0 457807 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1833104

[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/201 8454
/proc/meminfo: memFree=26495776/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1833104 CPUtime=1302.33
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 495810 0 0 0 99938 30295 0 0 25 0 1 0 22124035 1877098496 436527 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 458276 436527 238 467 0 457807 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1833104

[startup+1362.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/201 8456
/proc/meminfo: memFree=26495252/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1833104 CPUtime=1362.33
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 495811 0 0 0 104524 31709 0 0 25 0 1 0 22124035 1877098496 436527 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 458276 436527 238 467 0 457807 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1833104

[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/201 8457
/proc/meminfo: memFree=26495356/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1833104 CPUtime=1422.34
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 495811 0 0 0 109172 33062 0 0 25 0 1 0 22124035 1877098496 436527 4089446400 134512640 136422188 4292003760 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 458276 436527 238 467 0 457807 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1833104

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/201 8459
/proc/meminfo: memFree=26494448/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1833104 CPUtime=1482.33
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 495811 0 0 0 114009 34224 0 0 25 0 1 0 22124035 1877098496 436527 4089446400 134512640 136422188 4292003760 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 458276 436527 238 467 0 457807 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1833104

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/201 8461
/proc/meminfo: memFree=26494668/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1833104 CPUtime=1542.33
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 495811 0 0 0 118589 35644 0 0 25 0 1 0 22124035 1877098496 436527 4089446400 134512640 136422188 4292003760 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 458276 436527 238 467 0 457807 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1833104

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/201 8462
/proc/meminfo: memFree=26494152/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1832928 CPUtime=1602.34
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 495946 0 0 0 123319 36915 0 0 25 0 1 0 22124035 1876918272 436496 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 458232 436496 238 467 0 457763 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1832928

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/201 8464
/proc/meminfo: memFree=26490024/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1837564 CPUtime=1662.34
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 497294 0 0 0 128146 38088 0 0 25 0 1 0 22124035 1881665536 437661 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 459391 437661 238 467 0 458922 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1837564

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/201 8465
/proc/meminfo: memFree=26484784/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1842976 CPUtime=1722.34
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 498646 0 0 0 132537 39697 0 0 25 0 1 0 22124035 1887207424 439013 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 460744 439013 238 467 0 460275 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1842976

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/201 8467
/proc/meminfo: memFree=26478796/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1848124 CPUtime=1782.35
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 499939 0 0 0 136815 41420 0 0 25 0 1 0 22124035 1892478976 440306 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 462031 440306 238 467 0 461562 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1848124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/201 8468
/proc/meminfo: memFree=26476684/32951124 swapFree=67111528/67111528
[pid=8315] ppid=8313 vsize=1849952 CPUtime=1800.05
/proc/8315/stat : 8315 (pbct) R 8313 8315 7395 0 -1 4202496 500762 0 0 0 138094 41911 0 0 25 0 1 0 22124035 1894350848 440748 4089446400 134512640 136422188 4292003760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/8315/statm: 462488 440748 238 467 0 462019 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1849952

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.06
CPU time (s): 1800.12
CPU user time (s): 1380.95
CPU system time (s): 419.17
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1850236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1380.95
system time used= 419.17
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500763
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= 1
involuntary context switches= 20410

runsolver used 2.84857 second user time and 6.62599 second system time

The end

Launcher Data 

Begin job on node133 at 2010-07-07 23:45:13
IDJOB=2701293
IDBENCH=79555
IDSOLVER=1212
FILE ID=node133/2701293-1278539113
PBS_JOBID= 11239211
Free space on /tmp= 73636 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub3_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701293-1278539113/watcher-2701293-1278539113 -o /tmp/evaluation-result-2701293-1278539113/solver-2701293-1278539113 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701293-1278539113.wbo

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

MD5SUM BENCH= 7147229393bb1207f35c1dba942bbf83
RANDOM SEED=525820831

node133.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.844
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.68
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.844
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.844
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.844
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.84
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.844
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.844
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.82
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.844
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.67
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.844
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27104752 kB
Buffers:        155572 kB
Cached:        4128512 kB
SwapCached:          0 kB
Active:        2572160 kB
Inactive:      3115340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27104752 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10928 kB
Writeback:           0 kB
AnonPages:     1403260 kB
Mapped:          15524 kB
Slab:            92020 kB
PageTables:       7528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1615376 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73644 MiB
End job on node133 at 2010-07-08 00:15:15