Trace number 2701281

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.07

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar7-sub3_wcsp.wbo
MD5SUMd6c23c2e453f33e41c20e3f242d7394d
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark424353
Best CPU time to get the best result obtained on this benchmark1800.2
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 constraints326836
Number of soft constraints326818
Number of constraints which are clauses326818
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 45857915
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 23120752168
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.89/1.90	c constraints 18/0 clauses 0/326818 units 0
1.89/1.90	c vars 776
1.89/1.91	c Setting top cost 45857915
187.09/187.19	c 186.339 1744.86 1 654843
187.09/187.19	o 40055685
187.90/187.98	c 186.934 1790.82 1 982148
187.90/187.98	o 36985583
188.80/188.83	c 187.538 1790.82 5 1358449
188.80/188.83	o 36054978
189.49/189.54	c 188.028 1790.82 5 1685754
189.49/189.54	o 31794467
190.20/190.24	c 188.544 1790.82 5 2013094
190.20/190.24	o 28704564
191.20/191.22	c 189.242 1790.82 29 2432823
191.20/191.22	o 27834872
191.90/191.96	c 189.78 1790.82 33 2765362
191.90/191.96	o 27004663
192.70/192.74	c 190.345 1790.82 35 3071324
192.70/192.74	o 26754254
193.39/193.48	c 190.894 1790.82 35 3398677
193.39/193.48	o 17843455
194.20/194.22	c 191.412 1790.82 35 3704540
194.20/194.22	o 17804053
194.90/194.97	c 191.96 1790.82 35 4031901
194.90/194.97	o 16773845
195.89/195.90	c 192.64 1790.82 42 4410985
195.89/195.90	o 15853861
196.90/196.94	c 193.444 1791.08 142 4780403
196.90/196.94	o 11733859
197.70/197.70	c 194.015 1791.21 142 5107744
197.70/197.70	o 9723460
199.99/200.06	c 195.792 1791.04 442 5886284
199.99/200.06	o 8703755
200.80/200.84	c 196.346 1790.99 442 6213600
200.80/200.84	o 7743452
201.59/201.65	c 196.933 1791.08 443 6519665
201.59/201.65	o 7724157
202.40/202.43	c 197.5 1791.16 445 6847203
202.40/202.43	o 6773355
203.19/203.21	c 198.057 1791.12 446 7153330
203.19/203.21	o 6743536
204.00/204.03	c 198.645 1791.21 448 7481421
204.00/204.03	o 3844451
204.80/204.88	c 199.264 1791.29 458 7793437
204.80/204.88	o 3713741
205.60/205.67	c 199.85 1791.38 458 8099060
205.60/205.67	o 3693949
206.50/206.55	c 200.482 1791.46 477 8404925
206.50/206.55	o 3673644
207.49/207.54	c 201.2 1792.43 580 8600136
207.49/207.54	o 3673450
208.19/208.26	c 201.701 1792.38 581 8772349
208.19/208.26	o 3663959
210.80/210.81	c 203.478 1791.91 682 8953377
210.80/210.81	o 3663147
211.49/211.54	c 204.007 1791.95 684 9125405
211.49/211.54	o 3662850
212.30/212.34	c 204.555 1792.12 732 9316314
212.30/212.34	o 3653455
214.10/214.12	c 205.898 1791.87 1075 9685970
214.10/214.12	o 3643348
214.89/214.90	c 206.463 1792 1085 9994369
214.89/214.90	o 2713858
215.60/215.64	c 206.986 1792 1088 10166026
215.60/215.64	o 2704154
216.29/216.38	c 207.506 1792 1095 10338101
216.29/216.38	o 2703947
218.49/218.59	c 209.062 1792.25 1198 10648949
218.49/218.59	o 2653745
219.49/219.55	c 209.781 1792.38 1298 10967701
219.49/219.55	o 2643346
220.30/220.33	c 210.362 1792.38 1298 11273218
220.30/220.33	o 2603540
221.00/221.09	c 210.91 1792.38 1298 11445054
221.00/221.09	o 2593641
228.29/228.40	c 216.575 1792.98 3309 11949887
228.29/228.40	o 2584456
248.09/248.17	c 231.401 1794.1 6823 12287101
248.09/248.17	o 2583852
252.50/252.58	c 234.716 1794.46 7437 12524409
252.50/252.58	o 2583447
254.20/254.23	c 235.931 1794.54 7565 12857341
254.20/254.23	o 2563152
263.00/263.01	c 242.694 1796.78 9880 13191304
263.00/263.01	o 2562938
264.39/264.49	c 243.814 1796.22 10085 13401879
264.39/264.49	o 2553656
292.79/292.83	c 265.439 1798.56 18623 14295057
292.79/292.83	o 2553250
380.80/380.81	c 332.185 1803.89 35569 15489378
380.80/380.81	o 2543950
381.61/381.62	c 332.783 1803.94 35572 15794944
381.61/381.62	o 2443359
497.30/497.33	c 418.535 1810.75 55884 17435792
497.30/497.33	o 1752954
498.31/498.31	c 419.289 1810.83 55893 17742160
498.31/498.31	o 1633560
499.21/499.22	c 419.99 1810.79 55953 18074120
499.21/499.22	o 1623260
500.41/500.47	c 420.933 1810.88 56072 18259133
500.41/500.47	o 1613560
502.41/502.47	c 422.459 1810.96 56354 18598842
502.41/502.47	o 1602852
504.60/504.68	c 424.17 1810.62 56949 18843987
504.60/504.68	o 1593954
514.00/514.09	c 431.297 1811.93 59103 19344780
514.00/514.09	o 1573350
526.01/526.09	c 440.193 1811.84 60672 19781063
526.01/526.09	o 1554559
623.61/623.63	c 516.297 1822.07 92392 22709283
623.61/623.63	o 1544050
642.32/642.35	c 530.643 1823.6 96339 23243248
642.32/642.35	o 1543754
643.21/643.28	c 531.34 1823.69 96355 23415807
643.21/643.28	o 1543346
667.01/667.00	c 549.477 1824.38 100202 23879423
667.01/667.00	o 1503654
727.51/727.52	c 595.127 1827.55 108811 24697700
727.51/727.52	o 1493651
1035.03/1035.04	c 829.546 1829.96 80393 28973781
1035.03/1035.04	o 1493554
1108.42/1108.43	c 888.796 1834.48 87055 29578004
1108.42/1108.43	o 1483559
1532.63/1532.61	c 1209.62 1853.3 61697 33598126
1532.63/1532.61	o 1473853
1800.04/1800.00	s SATISFIABLE
1800.04/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	1473853

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701281-1278538885/watcher-2701281-1278538885 -o /tmp/evaluation-result-2701281-1278538885/solver-2701281-1278538885 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701281-1278538885.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.05 2.01 2.00 4/200 28598
/proc/meminfo: memFree=29788804/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=2136 CPUtime=0
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 269 0 0 0 0 0 0 0 25 0 1 0 22101811 2187264 188 4089446400 134512640 136422188 4290211968 18446744073709551615 134561705 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28598/statm: 534 188 144 467 0 65 0

[startup+0.0785689 s]
/proc/loadavg: 2.05 2.01 2.00 4/200 28598
/proc/meminfo: memFree=29788804/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=3060 CPUtime=0.07
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 502 0 0 0 7 0 0 0 25 0 1 0 22101811 3133440 388 4089446400 134512640 136422188 4290211968 18446744073709551615 135378180 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28598/statm: 765 388 144 467 0 296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3060

[startup+0.100578 s]
/proc/loadavg: 2.05 2.01 2.00 4/200 28598
/proc/meminfo: memFree=29788804/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=3712 CPUtime=0.09
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 677 0 0 0 9 0 0 0 25 0 1 0 22101811 3801088 498 4089446400 134512640 136422188 4290211968 18446744073709551615 134532523 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28598/statm: 928 498 144 467 0 459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3712

[startup+0.300529 s]
/proc/loadavg: 2.05 2.01 2.00 4/200 28598
/proc/meminfo: memFree=29788804/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=5676 CPUtime=0.29
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 1297 0 0 0 29 0 0 0 25 0 1 0 22101811 5812224 989 4089446400 134512640 136422188 4290211968 18446744073709551615 135378164 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28598/statm: 1419 989 144 467 0 950 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5676

[startup+0.70047 s]
/proc/loadavg: 2.05 2.01 2.00 4/200 28598
/proc/meminfo: memFree=29788804/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=9868 CPUtime=0.69
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 2640 0 0 0 69 0 0 0 25 0 1 0 22101811 10104832 2075 4089446400 134512640 136422188 4290211968 18446744073709551615 134517520 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28598/statm: 2467 2075 144 467 0 1998 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9868

[startup+1.50031 s]
/proc/loadavg: 2.05 2.01 2.00 3/201 28599
/proc/meminfo: memFree=29777512/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=18384 CPUtime=1.49
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 5320 0 0 0 149 0 0 0 25 0 1 0 22101811 18825216 4242 4089446400 134512640 136422188 4290211968 18446744073709551615 135260654 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28598/statm: 4596 4242 144 467 0 4127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18384

[startup+3.10102 s]
/proc/loadavg: 2.05 2.01 2.00 3/201 28599
/proc/meminfo: memFree=29723200/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=288728 CPUtime=3.09
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 76282 0 0 0 299 10 0 0 25 0 1 0 22101811 295657472 68801 4089446400 134512640 136422188 4290211968 18446744073709551615 135809981 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 72182 68801 195 467 0 71713 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 288728

[startup+6.30044 s]
/proc/loadavg: 2.05 2.01 2.00 3/201 28599
/proc/meminfo: memFree=29023972/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=937536 CPUtime=6.29
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 249437 0 0 0 595 34 0 0 25 0 1 0 22101811 960036864 230961 4089446400 134512640 136422188 4290211968 18446744073709551615 135810831 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 234384 230963 195 467 0 233915 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 937536

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/201 28599
/proc/meminfo: memFree=28097688/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1727532 CPUtime=12.69
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 454286 0 0 0 1209 60 0 0 25 0 1 0 22101811 1768992768 422293 4089446400 134512640 136422188 4290211968 18446744073709551615 135017819 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 431883 422293 211 467 0 431414 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1727532

[startup+25.5009 s]
/proc/loadavg: 2.03 2.01 2.00 3/201 28599
/proc/meminfo: memFree=28089896/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1735392 CPUtime=25.49
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 456235 0 0 0 2489 60 0 0 25 0 1 0 22101811 1777041408 424242 4089446400 134512640 136422188 4290211968 18446744073709551615 135017372 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 433848 424242 211 467 0 433379 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1735392

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/201 28601
/proc/meminfo: memFree=28083836/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1741464 CPUtime=51.09
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 457754 0 0 0 5049 60 0 0 25 0 1 0 22101811 1783259136 425761 4089446400 134512640 136422188 4290211968 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 435366 425761 211 467 0 434897 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1741464

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/201 28602
/proc/meminfo: memFree=28075220/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1749576 CPUtime=102.3
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 460359 0 0 0 10168 62 0 0 25 0 1 0 22101811 1791565824 427787 4089446400 134512640 136422188 4290211968 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 437394 427787 211 467 0 436925 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1749576

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 28603
/proc/meminfo: memFree=28069356/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1755912 CPUtime=162.29
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 461959 0 0 0 16167 62 0 0 25 0 1 0 22101811 1798053888 429387 4089446400 134512640 136422188 4290211968 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 438978 429387 211 467 0 438509 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1755912

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 28605
/proc/meminfo: memFree=28036308/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1835396 CPUtime=222.3
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 490300 0 0 0 21184 1046 0 0 25 0 1 0 22101811 1879445504 437326 4089446400 134512640 136422188 4290211968 18446744073709551615 134869093 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 458849 437326 239 467 0 458380 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1835396

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/201 28607
/proc/meminfo: memFree=28030816/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1841460 CPUtime=282.29
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 497611 0 0 0 25759 2470 0 0 25 0 1 0 22101811 1885655040 438810 4089446400 134512640 136422188 4290211968 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 460365 438810 239 467 0 459896 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1841460

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/201 28608
/proc/meminfo: memFree=28026904/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1845620 CPUtime=342.3
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 501220 0 0 0 30321 3909 0 0 25 0 1 0 22101811 1889914880 439878 4089446400 134512640 136422188 4290211968 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 461405 439878 239 467 0 460936 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1845620

[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/201 28610
/proc/meminfo: memFree=28023604/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1849068 CPUtime=402.3
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 504140 0 0 0 34892 5338 0 0 25 0 1 0 22101811 1893445632 440721 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 462267 440721 239 467 0 461798 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1849068

[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/201 28611
/proc/meminfo: memFree=28020196/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1852292 CPUtime=462.3
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 505099 0 0 0 39268 6962 0 0 25 0 1 0 22101811 1896747008 441528 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 463073 441528 239 467 0 462604 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1852292

[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/201 28613
/proc/meminfo: memFree=28016144/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1855412 CPUtime=522.3
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 511570 0 0 0 43723 8507 0 0 25 0 1 0 22101811 1899941888 442334 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 463853 442334 239 467 0 463384 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1855412

[startup+582.301 s]
/proc/loadavg: 2.07 2.05 2.00 3/201 28615
/proc/meminfo: memFree=28010088/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1862020 CPUtime=582.31
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 515070 0 0 0 48439 9792 0 0 25 0 1 0 22101811 1906708480 443979 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 465505 443979 239 467 0 465036 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1862020

[startup+642.301 s]
/proc/loadavg: 2.08 2.05 2.00 3/201 28616
/proc/meminfo: memFree=28001856/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1870176 CPUtime=642.32
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 520810 0 0 0 53059 11173 0 0 25 0 1 0 22101811 1915060224 445974 4089446400 134512640 136422188 4290211968 18446744073709551615 135025716 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 467544 445974 239 467 0 467075 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1870176

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/201 28621
/proc/meminfo: memFree=27999464/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1872200 CPUtime=822.31
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 524886 0 0 0 66766 15465 0 0 25 0 1 0 22101811 1917132800 446476 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 468050 446476 239 467 0 467581 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1872200

[startup+882.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/201 28623
/proc/meminfo: memFree=27999292/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1872200 CPUtime=882.31
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 524886 0 0 0 71317 16914 0 0 25 0 1 0 22101811 1917132800 446476 4089446400 134512640 136422188 4290211968 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 468050 446476 239 467 0 467581 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1872200

[startup+942.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/201 28624
/proc/meminfo: memFree=27999356/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1872200 CPUtime=942.32
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 524886 0 0 0 75758 18474 0 0 25 0 1 0 22101811 1917132800 446476 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 468050 446476 239 467 0 467581 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1872200

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/201 28626
/proc/meminfo: memFree=27998916/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1872480 CPUtime=1002.32
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 524974 0 0 0 80428 19804 0 0 25 0 1 0 22101811 1917419520 446564 4089446400 134512640 136422188 4290211968 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 468120 446564 239 467 0 467651 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1872480

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/201 28627
/proc/meminfo: memFree=27995256/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1875728 CPUtime=1062.32
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 527272 0 0 0 85292 20940 0 0 25 0 1 0 22101811 1920745472 447441 4089446400 134512640 136422188 4290211968 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 468932 447441 239 467 0 468463 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1875728

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/201 28629
/proc/meminfo: memFree=27990596/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1880056 CPUtime=1122.32
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 529551 0 0 0 89908 22324 0 0 25 0 1 0 22101811 1925177344 448521 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 470014 448521 239 467 0 469545 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1880056

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/201 28640
/proc/meminfo: memFree=27986324/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1883196 CPUtime=1182.32
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 531257 0 0 0 94433 23799 0 0 25 0 1 0 22101811 1928392704 449287 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/28598/statm: 470799 449287 239 467 0 470330 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1883196

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28671
/proc/meminfo: memFree=28011348/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1889160 CPUtime=1242.33
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 533408 0 0 0 98940 25293 0 0 25 0 1 0 22101811 1934499840 450796 4089446400 134512640 136422188 4290211968 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 472290 450796 239 467 0 471821 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1889160

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28673
/proc/meminfo: memFree=27996264/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1893624 CPUtime=1302.32
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 534693 0 0 0 103415 26817 0 0 25 0 1 0 22101811 1939070976 451917 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 473406 451917 239 467 0 472937 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1893624

[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 28674
/proc/meminfo: memFree=27995972/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1893896 CPUtime=1362.32
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 534765 0 0 0 108046 28186 0 0 25 0 1 0 22101811 1939349504 451989 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 473474 451989 239 467 0 473005 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1893896

[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 28676
/proc/meminfo: memFree=27985500/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1894860 CPUtime=1422.33
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 534995 0 0 0 112564 29669 0 0 25 0 1 0 22101811 1940336640 452219 4089446400 134512640 136422188 4290211968 18446744073709551615 134862210 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 473715 452219 239 467 0 473246 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1894860

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 4/183 28678
/proc/meminfo: memFree=27984584/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1895848 CPUtime=1482.32
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 535234 0 0 0 117131 31101 0 0 25 0 1 0 22101811 1941348352 452458 4089446400 134512640 136422188 4290211968 18446744073709551615 135029200 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 473962 452458 239 467 0 473493 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1895848

[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 28679
/proc/meminfo: memFree=27982440/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1897772 CPUtime=1542.33
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 535725 0 0 0 121725 32508 0 0 25 0 1 0 22101811 1943318528 452948 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 474443 452948 239 467 0 473974 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1897772

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 28681
/proc/meminfo: memFree=27982392/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1897908 CPUtime=1602.33
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 535774 0 0 0 126340 33893 0 0 25 0 1 0 22101811 1943457792 452997 4089446400 134512640 136422188 4290211968 18446744073709551615 135160861 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 474477 452997 239 467 0 474008 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1897908

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 28682
/proc/meminfo: memFree=27979264/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1898720 CPUtime=1662.33
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 535948 0 0 0 130963 35270 0 0 25 0 1 0 22101811 1944289280 453171 4089446400 134512640 136422188 4290211968 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 474680 453171 239 467 0 474211 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1898720

[startup+1722.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/183 28684
/proc/meminfo: memFree=27974524/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1899676 CPUtime=1722.33
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 536193 0 0 0 135622 36611 0 0 25 0 1 0 22101811 1945268224 453416 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 474919 453416 239 467 0 474450 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1899676

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 28686
/proc/meminfo: memFree=27964688/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1909596 CPUtime=1782.33
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 539644 0 0 0 140156 38077 0 0 25 0 1 0 22101811 1955426304 455911 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 477399 455911 239 467 0 476930 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1909596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 28686
/proc/meminfo: memFree=27963680/32951124 swapFree=67111528/67111528
[pid=28598] ppid=28596 vsize=1909840 CPUtime=1800.04
/proc/28598/stat : 28598 (pbct) R 28596 28598 26954 0 -1 4202496 542173 0 0 0 141451 38553 0 0 25 0 1 0 22101811 1955676160 455974 4089446400 134512640 136422188 4290211968 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28598/statm: 477460 455974 239 467 0 476991 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1909840

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.07
CPU time (s): 1800.12
CPU user time (s): 1414.52
CPU system time (s): 385.6
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1910716

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

runsolver used 2.77358 second user time and 6.19006 second system time

The end

Launcher Data 

Begin job on node134 at 2010-07-07 23:41:25
IDJOB=2701281
IDBENCH=79553
IDSOLVER=1212
FILE ID=node134/2701281-1278538885
PBS_JOBID= 11239209
Free space on /tmp= 73700 MiB

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

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

MD5SUM BENCH= d6c23c2e453f33e41c20e3f242d7394d
RANDOM SEED=1502005912

node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
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.60
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.801
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.801
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.82
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.801
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.83
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.801
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.66
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.801
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
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.74
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.801
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:      29789332 kB
Buffers:        150540 kB
Cached:        2490332 kB
SwapCached:          0 kB
Active:        1629060 kB
Inactive:      1387932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29789332 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11452 kB
Writeback:           0 kB
AnonPages:      375960 kB
Mapped:          20340 kB
Slab:            82384 kB
PageTables:       5556 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1653216 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= 73700 MiB
End job on node134 at 2010-07-08 00:11:27