Trace number 2701279

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.1MSAT (TO) 1800.18 1800.17

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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
1.69/1.71	c constraints 18/0 clauses 0/326818 units 0
1.69/1.71	c vars 776
1.69/1.71	c Setting top cost 45857915
180.99/181.08	c 180.061 1744.86 1 654843
180.99/181.08	o 40055685
181.69/181.77	c 180.253 1790.82 1 982148
181.69/181.77	o 36985583
182.50/182.54	c 180.426 1790.82 5 1358449
182.50/182.54	o 36054978
183.10/183.17	c 180.576 1790.82 5 1685754
183.10/183.17	o 31794467
183.79/183.81	c 180.74 1790.82 5 2013094
183.79/183.81	o 28704564
184.60/184.68	c 180.953 1790.82 29 2432823
184.60/184.68	o 27834872
185.30/185.34	c 181.203 1790.82 33 2765362
185.30/185.34	o 27004663
185.99/186.04	c 181.436 1790.82 35 3071324
185.99/186.04	o 26754254
186.69/186.70	c 181.611 1790.82 35 3398677
186.69/186.70	o 17843455
187.29/187.36	c 181.786 1790.82 35 3704540
187.29/187.36	o 17804053
188.00/188.03	c 181.962 1790.82 35 4031901
188.00/188.03	o 16773845
188.80/188.85	c 182.188 1790.82 42 4410985
188.80/188.85	o 15853861
189.70/189.79	c 182.513 1791.08 142 4780403
189.70/189.79	o 11733859
190.40/190.47	c 182.698 1791.21 142 5107744
190.40/190.47	o 9723460
192.50/192.57	c 183.573 1791.04 442 5886284
192.50/192.57	o 8703755
193.20/193.26	c 183.767 1790.99 442 6213600
193.20/193.26	o 7743452
193.89/193.99	c 183.965 1791.08 443 6519665
193.89/193.99	o 7724157
194.60/194.69	c 184.166 1791.16 445 6847203
194.60/194.69	o 6773355
195.40/195.40	c 184.358 1791.12 446 7153330
195.40/195.40	o 6743536
196.09/196.12	c 184.584 1791.21 448 7481421
196.09/196.12	o 3844451
196.80/196.88	c 184.806 1791.29 458 7793437
196.80/196.88	o 3713741
197.49/197.59	c 185.008 1791.38 458 8099060
197.49/197.59	o 3693949
198.29/198.38	c 185.365 1791.46 477 8404925
198.29/198.38	o 3673644
199.20/199.27	c 185.705 1792.43 580 8600136
199.20/199.27	o 3673450
199.89/199.92	c 185.884 1792.38 581 8772349
199.89/199.92	o 3663959
202.20/202.29	c 186.505 1791.91 682 8953377
202.20/202.29	o 3663147
202.90/202.95	c 186.688 1791.95 684 9125405
202.90/202.95	o 3662850
203.60/203.68	c 186.872 1792.12 732 9316314
203.60/203.68	o 3653455
205.19/205.28	c 187.591 1791.87 1075 9685970
205.19/205.28	o 3643348
205.90/205.98	c 187.802 1792 1085 9994369
205.90/205.98	o 2713858
206.60/206.65	c 187.994 1792 1088 10166026
206.60/206.65	o 2704154
207.30/207.33	c 188.193 1792 1095 10338101
207.30/207.33	o 2703947
209.29/209.35	c 188.765 1792.25 1198 10648949
209.29/209.35	o 2653745
210.19/210.21	c 189.027 1792.38 1298 10967701
210.19/210.21	o 2643346
210.89/210.91	c 189.24 1792.38 1298 11273218
210.89/210.91	o 2603540
211.49/211.59	c 189.523 1792.38 1298 11445054
211.49/211.59	o 2593641
218.19/218.27	c 192.642 1792.98 3309 11949887
218.19/218.27	o 2584456
236.40/236.49	c 199.974 1794.1 6823 12287101
236.40/236.49	o 2583852
240.50/240.55	c 201.603 1794.46 7437 12524409
240.50/240.55	o 2583447
242.01/242.03	c 202.069 1794.54 7565 12857341
242.01/242.03	o 2563152
249.99/250.10	c 205.921 1796.78 9880 13191304
249.99/250.10	o 2562938
251.40/251.44	c 206.588 1796.22 10085 13401879
251.40/251.44	o 2553656
277.39/277.41	c 218.256 1798.56 18623 14295057
277.39/277.41	o 2553250
362.60/362.67	c 255.713 1803.89 35569 15489378
362.60/362.67	o 2543950
363.40/363.46	c 255.961 1803.94 35572 15794944
363.40/363.46	o 2443359
479.00/479.02	c 302.751 1810.75 55884 17435792
479.00/479.02	o 1752954
479.90/479.99	c 303.058 1810.83 55893 17742160
479.90/479.99	o 1633560
480.80/480.87	c 303.446 1810.79 55953 18074120
480.80/480.87	o 1623260
482.10/482.10	c 303.883 1810.88 56072 18259133
482.10/482.10	o 1613560
484.01/484.09	c 304.559 1810.96 56354 18598842
484.01/484.09	o 1602852
486.21/486.28	c 305.41 1810.62 56949 18843987
486.21/486.28	o 1593954
495.61/495.67	c 309.637 1811.93 59103 19344780
495.61/495.67	o 1573350
507.60/507.65	c 314.373 1811.84 60672 19781063
507.60/507.65	o 1554559
606.01/606.07	c 360.856 1822.07 92392 22709283
606.01/606.07	o 1544050
625.11/625.12	c 369.412 1823.6 96339 23243248
625.11/625.12	o 1543754
626.00/626.04	c 369.747 1823.69 96355 23415807
626.00/626.04	o 1543346
650.12/650.18	c 380.767 1824.38 100202 23879423
650.12/650.18	o 1503654
711.91/711.94	c 407.461 1827.55 108811 24697700
711.91/711.94	o 1493651
1065.61/1065.68	c 633.474 1829.96 80393 28973781
1065.61/1065.68	o 1493554
1156.31/1156.39	c 708.813 1834.48 87055 29578004
1156.31/1156.39	o 1483559
1631.21/1631.21	c 1039.36 1853.3 61697 33598126
1631.21/1631.21	o 1473853
1800.10/1800.10	s SATISFIABLE
1800.10/1800.10	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-2701279-1278538874/watcher-2701279-1278538874 -o /tmp/evaluation-result-2701279-1278538874/solver-2701279-1278538874 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701279-1278538874.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.95 2.00 1.94 3/196 20689
/proc/meminfo: memFree=28502096/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=2136 CPUtime=0
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 268 0 0 0 0 0 0 0 21 0 1 0 22101787 2187264 188 4089446400 134512640 136421960 4286763632 18446744073709551615 135806108 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20689/statm: 534 188 144 467 0 65 0

[startup+0.042369 s]
/proc/loadavg: 1.95 2.00 1.94 3/196 20689
/proc/meminfo: memFree=28502096/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=2668 CPUtime=0.04
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 378 0 0 0 4 0 0 0 21 0 1 0 22101787 2732032 298 4089446400 134512640 136421960 4286763632 18446744073709551615 134536768 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20689/statm: 667 300 144 467 0 198 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2668

[startup+0.10036 s]
/proc/loadavg: 1.95 2.00 1.94 3/196 20689
/proc/meminfo: memFree=28502096/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=3712 CPUtime=0.09
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 683 0 0 0 9 0 0 0 21 0 1 0 22101787 3801088 505 4089446400 134512640 136421960 4286763632 18446744073709551615 135162392 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20689/statm: 928 505 144 467 0 459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3712

[startup+0.300337 s]
/proc/loadavg: 1.95 2.00 1.94 3/196 20689
/proc/meminfo: memFree=28502096/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=5940 CPUtime=0.29
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 1383 0 0 0 29 0 0 0 21 0 1 0 22101787 6082560 1076 4089446400 134512640 136421960 4286763632 18446744073709551615 135812090 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20689/statm: 1485 1076 144 467 0 1016 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5940

[startup+0.700253 s]
/proc/loadavg: 1.95 2.00 1.94 3/196 20689
/proc/meminfo: memFree=28502096/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=14424 CPUtime=0.69
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 3820 0 0 0 69 0 0 0 22 0 1 0 22101787 14770176 2743 4089446400 134512640 136421960 4286763632 18446744073709551615 135152234 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20689/statm: 3606 2743 144 467 0 3137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14424

[startup+1.50011 s]
/proc/loadavg: 1.95 2.00 1.94 3/197 20690
/proc/meminfo: memFree=28489688/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=26704 CPUtime=1.49
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 7493 0 0 0 149 0 0 0 25 0 1 0 22101787 27344896 5391 4089446400 134512640 136421960 4286763632 18446744073709551615 135161972 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20689/statm: 6676 5391 144 467 0 6207 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26704

[startup+3.10084 s]
/proc/loadavg: 1.95 2.00 1.94 3/197 20690
/proc/meminfo: memFree=28386916/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=358872 CPUtime=3.09
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 94754 0 0 0 296 13 0 0 25 0 1 0 22101787 367484928 86761 4089446400 134512640 136421960 4286763632 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 89718 86763 194 467 0 89249 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 358872

[startup+6.30026 s]
/proc/loadavg: 1.96 2.00 1.94 3/197 20690
/proc/meminfo: memFree=27648248/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1097636 CPUtime=6.29
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 291178 0 0 0 595 34 0 0 25 0 1 0 22101787 1123979264 264511 4089446400 134512640 136421960 4286763632 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 274409 264513 194 467 0 273940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1097636

[startup+12.7001 s]
/proc/loadavg: 1.96 2.00 1.94 3/197 20690
/proc/meminfo: memFree=26811116/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1728720 CPUtime=12.69
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 454571 0 0 0 1218 51 0 0 25 0 1 0 22101787 1770209280 422579 4089446400 134512640 136421960 4286763632 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 432180 422579 211 467 0 431711 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1728720

[startup+25.5009 s]
/proc/loadavg: 1.97 2.00 1.94 3/197 20691
/proc/meminfo: memFree=26803936/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1735920 CPUtime=25.49
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 456383 0 0 0 2497 52 0 0 25 0 1 0 22101787 1777582080 424391 4089446400 134512640 136421960 4286763632 18446744073709551615 135017499 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 433980 424391 211 467 0 433511 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1735920

[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 1.94 3/197 20691
/proc/meminfo: memFree=26798016/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1742124 CPUtime=51.09
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 457925 0 0 0 5057 52 0 0 25 0 1 0 22101787 1783934976 425933 4089446400 134512640 136421960 4286763632 18446744073709551615 135017480 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 435531 425933 211 467 0 435062 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1742124

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.94 3/197 20693
/proc/meminfo: memFree=26789160/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1750500 CPUtime=102.3
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 460603 0 0 0 10177 53 0 0 25 0 1 0 22101787 1792512000 428032 4089446400 134512640 136421960 4286763632 18446744073709551615 135017499 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 437625 428032 211 467 0 437156 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1750500

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/197 20694
/proc/meminfo: memFree=26783760/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1756176 CPUtime=162.29
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 462033 0 0 0 16176 53 0 0 25 0 1 0 22101787 1798324224 429462 4089446400 134512640 136421960 4286763632 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 439044 429462 211 467 0 438575 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1756176

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/197 20695
/proc/meminfo: memFree=26750944/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1836276 CPUtime=222.3
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 491191 0 0 0 19435 2795 0 0 25 0 1 0 22101787 1880346624 437527 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 459069 437527 239 467 0 458600 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1836276

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.94 3/197 20697
/proc/meminfo: memFree=26744904/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1842512 CPUtime=282.29
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 499100 0 0 0 22052 6177 0 0 25 0 1 0 22101787 1886732288 439073 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 460628 439073 239 467 0 460159 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1842512

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/197 20699
/proc/meminfo: memFree=26740612/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1846676 CPUtime=342.3
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 501467 0 0 0 24637 9593 0 0 25 0 1 0 22101787 1890996224 440126 4089446400 134512640 136421960 4286763632 18446744073709551615 135237642 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 461669 440126 239 467 0 461200 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1846676

[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/197 20701
/proc/meminfo: memFree=26738244/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1849596 CPUtime=402.3
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 504267 0 0 0 27177 13053 0 0 25 0 1 0 22101787 1893986304 440849 4089446400 134512640 136421960 4286763632 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 462399 440849 239 467 0 461930 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1849596

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.94 3/197 20702
/proc/meminfo: memFree=26734168/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1853320 CPUtime=462.3
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 505874 0 0 0 29600 16630 0 0 25 0 1 0 22101787 1897799680 441807 4089446400 134512640 136421960 4286763632 18446744073709551615 135237780 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 463330 441807 239 467 0 462861 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1853320

[startup+522.301 s]
/proc/loadavg: 1.93 1.98 1.93 3/196 20750
/proc/meminfo: memFree=26467432/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1857436 CPUtime=522.3
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 512904 0 0 0 32211 20019 0 0 25 0 1 0 22101787 1902014464 442813 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 464359 442813 239 467 0 463890 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1857436

[startup+582.3 s]
/proc/loadavg: 1.97 1.98 1.93 3/196 20752
/proc/meminfo: memFree=26387588/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1864508 CPUtime=582.3
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 517229 0 0 0 35055 23175 0 0 25 0 1 0 22101787 1909256192 444596 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 466127 444596 239 467 0 465658 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1864508

[startup+642.301 s]
/proc/loadavg: 2.02 2.00 1.94 8/196 20754
/proc/meminfo: memFree=26324808/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1867980 CPUtime=642.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 521612 0 0 0 37739 26492 0 0 25 0 1 0 22101787 1912811520 445409 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20689/statm: 466995 445409 239 467 0 466526 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1867980

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.51 2.17 2.01 3/196 20760
/proc/meminfo: memFree=26144904/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1872200 CPUtime=882.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 524885 0 0 0 48709 39522 0 0 25 0 1 0 22101787 1917132800 446476 4089446400 134512640 136421960 4286763632 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/20689/statm: 468050 446476 239 467 0 467581 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1872200

[startup+942.3 s]
/proc/loadavg: 2.52 2.23 2.04 3/196 20762
/proc/meminfo: memFree=26118176/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1872200 CPUtime=942.3
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 524885 0 0 0 53259 40971 0 0 25 0 1 0 22101787 1917132800 446476 4089446400 134512640 136421960 4286763632 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/20689/statm: 468050 446476 239 467 0 467581 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 1872200

[startup+1002.3 s]
/proc/loadavg: 2.97 2.45 2.12 8/196 20764
/proc/meminfo: memFree=26091180/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1872200 CPUtime=1002.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 524885 0 0 0 58115 42116 0 0 25 0 1 0 22101787 1917132800 446476 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20689/statm: 468050 446476 239 467 0 467581 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1872200

[startup+1062.3 s]
/proc/loadavg: 3.01 2.55 2.18 3/196 20765
/proc/meminfo: memFree=26062984/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1874204 CPUtime=1062.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 525382 0 0 0 63083 43148 0 0 25 0 1 0 22101787 1919184896 446973 4089446400 134512640 136421960 4286763632 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20689/statm: 468551 446973 239 467 0 468082 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1874204

[startup+1122.3 s]
/proc/loadavg: 2.56 2.53 2.19 3/196 20766
/proc/meminfo: memFree=26033396/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1876528 CPUtime=1122.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 527464 0 0 0 68216 44015 0 0 25 0 1 0 22101787 1921564672 447634 4089446400 134512640 136421960 4286763632 18446744073709551615 135165706 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20689/statm: 469132 447634 239 467 0 468663 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1876528

[startup+1182.3 s]
/proc/loadavg: 2.36 2.47 2.19 7/196 20768
/proc/meminfo: memFree=26002916/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1880320 CPUtime=1182.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 529601 0 0 0 72907 45324 0 0 25 0 1 0 22101787 1925447680 448572 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20689/statm: 470080 448572 239 467 0 469611 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1880320

[startup+1242.3 s]
/proc/loadavg: 2.47 2.48 2.20 3/196 20779
/proc/meminfo: memFree=25955444/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1884244 CPUtime=1242.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 531255 0 0 0 77648 46583 0 0 25 0 1 0 22101787 1929465856 449572 4089446400 134512640 136421960 4286763632 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20689/statm: 471061 449572 239 467 0 470592 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1884244

[startup+1302.3 s]
/proc/loadavg: 2.77 2.54 2.24 3/196 20781
/proc/meminfo: memFree=25927012/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1887128 CPUtime=1302.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 532747 0 0 0 82431 47800 0 0 25 0 1 0 22101787 1932419072 450299 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20689/statm: 471782 450299 239 467 0 471313 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1887128

[startup+1362.3 s]
/proc/loadavg: 3.20 2.69 2.31 3/196 20782
/proc/meminfo: memFree=25897736/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1892476 CPUtime=1362.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 534238 0 0 0 87059 49172 0 0 25 0 1 0 22101787 1937895424 451627 4089446400 134512640 136421960 4286763632 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20689/statm: 473119 451627 239 467 0 472650 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1892476

[startup+1422.31 s]
/proc/loadavg: 2.93 2.74 2.35 3/196 20783
/proc/meminfo: memFree=25871640/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1893624 CPUtime=1422.32
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 534691 0 0 0 91940 50292 0 0 25 0 1 0 22101787 1939070976 451916 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20689/statm: 473406 451916 239 467 0 472937 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1893624

[startup+1482.3 s]
/proc/loadavg: 2.79 2.71 2.36 3/196 20785
/proc/meminfo: memFree=25845524/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1893896 CPUtime=1482.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 534763 0 0 0 95567 52664 0 0 25 0 1 0 22101787 1939349504 451988 4089446400 134512640 136421960 4286763632 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/20689/statm: 473474 451988 239 467 0 473005 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1893896

[startup+1542.3 s]
/proc/loadavg: 2.71 2.68 2.37 3/196 20787
/proc/meminfo: memFree=25818188/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1895272 CPUtime=1542.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 535114 0 0 0 99767 54464 0 0 25 0 1 0 22101787 1940758528 452339 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20689/statm: 473818 452339 239 467 0 473349 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 1895272

[startup+1602.3 s]
/proc/loadavg: 3.68 2.95 2.48 3/196 20789
/proc/meminfo: memFree=25789080/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1897088 CPUtime=1602.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 535549 0 0 0 102601 57630 0 0 25 0 1 0 22101787 1942618112 452774 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20689/statm: 474272 452774 239 467 0 473803 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 1897088

[startup+1662.3 s]
/proc/loadavg: 2.92 2.88 2.48 2/196 20790
/proc/meminfo: memFree=25760348/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1897772 CPUtime=1662.31
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 535723 0 0 0 105431 60800 0 0 25 0 1 0 22101787 1943318528 452947 4089446400 134512640 136421960 4286763632 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/20689/statm: 474443 452947 239 467 0 473974 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 1897772

[startup+1722.3 s]
/proc/loadavg: 2.33 2.73 2.45 3/197 21003
/proc/meminfo: memFree=26679912/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1897908 CPUtime=1722.3
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 535772 0 0 0 109905 62325 0 0 25 0 1 0 22101787 1943457792 452996 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/20689/statm: 474477 452996 239 467 0 474008 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 1897908

[startup+1782.3 s]
/proc/loadavg: 2.12 2.59 2.42 3/197 21005
/proc/meminfo: memFree=26682048/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1898984 CPUtime=1782.3
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 536026 0 0 0 114732 63498 0 0 25 0 1 0 22101787 1944559616 453250 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/20689/statm: 474746 453250 239 467 0 474277 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 1898984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.08 2.55 2.41 3/197 21006
/proc/meminfo: memFree=26681024/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1899392 CPUtime=1800.1
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 536129 0 0 0 116157 63853 0 0 25 0 1 0 22101787 1944977408 453353 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/20689/statm: 474848 453353 239 467 0 474379 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1899392

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

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

[startup+1800.1 s]
/proc/loadavg: 2.08 2.55 2.41 3/197 21006
/proc/meminfo: memFree=26681024/32951124 swapFree=67111528/67111528
[pid=20689] ppid=20687 vsize=1899392 CPUtime=1800.1
/proc/20689/stat : 20689 (pbct) R 20687 20689 19755 0 -1 4202496 536129 0 0 0 116157 63853 0 0 25 0 1 0 22101787 1944977408 453353 4089446400 134512640 136421960 4286763632 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/20689/statm: 474848 453353 239 467 0 474379 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1899392

Child status: 0
Real time (s): 1800.17
CPU time (s): 1800.18
CPU user time (s): 1161.57
CPU system time (s): 638.603
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 1899392

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

runsolver used 3.06453 second user time and 6.05708 second system time

The end

Launcher Data 

Begin job on node101 at 2010-07-07 23:41:14
IDJOB=2701279
IDBENCH=79553
IDSOLVER=1208
FILE ID=node101/2701279-1278538874
PBS_JOBID= 11239276
Free space on /tmp= 73604 MiB

SOLVER NAME= PB/CT 0.1
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-2701279-1278538874/watcher-2701279-1278538874 -o /tmp/evaluation-result-2701279-1278538874/solver-2701279-1278538874 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701279-1278538874.wbo

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

MD5SUM BENCH= d6c23c2e453f33e41c20e3f242d7394d
RANDOM SEED=972427748

node101.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.83
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.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.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.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.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.80
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.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.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:      28502492 kB
Buffers:        137356 kB
Cached:        4023332 kB
SwapCached:          0 kB
Active:        1709136 kB
Inactive:      2575604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28502492 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11304 kB
Writeback:           0 kB
AnonPages:      123536 kB
Mapped:          20272 kB
Slab:            98296 kB
PageTables:       5376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1650904 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= 73604 MiB
End job on node101 at 2010-07-08 00:11:17