Trace number 2701299

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.09 1800.06

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar6-sub2_wcsp.wbo
MD5SUM4fd86302e553a3e850920dece7efe22c
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark7793
Best CPU time to get the best result obtained on this benchmark1800.09
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables688
Total number of constraints280826
Number of soft constraints280810
Number of constraints which are clauses280810
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 52140
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 37167130
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.40/1.43	c constraints 16/0 clauses 0/280810 units 0
1.40/1.43	c vars 688
1.40/1.43	c Setting top cost 52140
118.57/118.64	c 117.971 1507.27 1 562691
118.57/118.64	o 41926
119.08/119.17	c 118.324 1545.79 1 843941
119.08/119.17	o 38699
119.57/119.68	c 118.67 1546.18 2 1125244
119.57/119.68	o 36352
120.18/120.20	c 119.023 1546.18 2 1406469
120.18/120.20	o 29496
120.67/120.70	c 119.348 1547.18 2 1528311
120.67/120.70	o 29493
121.17/121.21	c 119.681 1547.18 2 1786044
121.17/121.21	o 28969
121.88/121.91	c 120.148 1546.81 102 2122707
121.88/121.91	o 18573
123.18/123.27	c 121.074 1546.82 166 2317718
123.18/123.27	o 18566
123.67/123.79	c 121.426 1546.83 166 2598954
123.67/123.79	o 15281
124.38/124.45	c 121.864 1546.97 214 2735635
124.38/124.45	o 15274
126.08/126.12	c 122.979 1547.24 347 3417013
126.08/126.12	o 15262
126.67/126.74	c 123.387 1547.25 364 3734163
126.67/126.74	o 14463
127.17/127.27	c 123.749 1547.39 368 3989005
127.17/127.27	o 14357
129.87/129.98	c 125.643 1546.79 776 4307008
129.87/129.98	o 13822
135.97/136.03	c 129.991 1547.48 2122 4779014
135.97/136.03	o 13784
136.57/136.67	c 130.449 1547.53 2123 5037718
136.57/136.67	o 13372
142.67/142.75	c 134.896 1548.22 3047 5374196
142.67/142.75	o 13205
143.98/144.03	c 135.82 1549.52 3326 5475625
143.98/144.03	o 13204
153.17/153.29	c 142.568 1550.73 5067 5991616
153.17/153.29	o 13109
153.87/153.94	c 143.025 1550.65 5067 6246579
153.87/153.94	o 12330
159.27/159.32	c 147.052 1551.21 5871 6582006
159.27/159.32	o 12279
163.77/163.82	c 150.194 1551.52 6372 6902069
163.77/163.82	o 12133
164.67/164.71	c 150.844 1551.57 6400 7161880
164.67/164.71	o 11606
171.87/171.93	c 155.843 1552.13 7726 7557103
171.87/171.93	o 11143
187.66/187.78	c 167.25 1552.82 9983 8000086
187.66/187.78	o 11118
195.37/195.42	c 172.839 1553.12 10919 8264275
195.37/195.42	o 11069
223.87/223.94	c 192.873 1554.07 14659 8774231
223.87/223.94	o 10916
232.67/232.70	c 199.22 1555.01 16027 9129320
232.67/232.70	o 10853
233.37/233.49	c 199.817 1555.05 16107 9407235
233.37/233.49	o 10660
234.07/234.19	c 200.342 1554.45 16107 9661740
234.07/234.19	o 10399
235.17/235.29	c 201.15 1554.5 16170 9920724
235.17/235.29	o 10221
238.27/238.36	c 203.485 1554.68 16523 10121288
238.27/238.36	o 10155
272.58/272.69	c 227.889 1557.18 23184 10669393
272.58/272.69	o 10113
316.97/317.05	c 259.746 1559.73 32102 11904560
316.97/317.05	o 9824
372.57/372.68	c 298.951 1562.46 41319 12993708
372.57/372.68	o 9792
380.67/380.79	c 304.662 1562.77 42037 13136410
380.67/380.79	o 9787
393.37/393.40	c 313.597 1563.07 43052 13385291
393.37/393.40	o 9741
396.88/396.97	c 316.295 1563.25 43294 13658874
396.88/396.97	o 9421
397.97/398.03	c 317.048 1563.3 43384 13831460
397.97/398.03	o 9354
593.89/593.94	c 459.584 1574.83 68947 15770572
593.89/593.94	o 9337
641.69/641.73	c 494.793 1577.34 74787 16509651
641.69/641.73	o 9306
651.99/652.01	c 502.182 1577.77 76163 16885237
651.99/652.01	o 9267
718.99/719.03	c 551.888 1581.43 86078 17784473
718.99/719.03	o 8693
739.59/739.65	c 567.27 1582.5 89295 18164947
739.59/739.65	o 8620
949.29/949.34	c 724.883 1584.97 34941 20063173
949.29/949.34	o 8551
1090.60/1090.67	c 829.504 1584.97 55351 21611143
1090.60/1090.67	o 8460
1133.49/1133.57	c 861.41 1584.97 60500 22334074
1133.49/1133.57	o 7999
1137.80/1137.83	c 864.861 1585.01 61505 22616357
1137.80/1137.83	o 7869
1564.81/1564.82	c 1189.4 1637.5 80821 23367238
1564.81/1564.82	o 7819
1755.62/1755.63	c 1306.08 1647.56 20413 24966325
1755.62/1755.63	o 7793
1800.02/1800.00	s SATISFIABLE
1800.02/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

Verifier Data 

OK	7793

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 4/196 22552
/proc/meminfo: memFree=28250292/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=2136 CPUtime=0
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 268 0 0 0 0 0 0 0 25 0 1 0 22132800 2187264 188 4089446400 134512640 136422188 4292900656 18446744073709551615 135818393 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22552/statm: 534 188 144 467 0 65 0

[startup+0.0733969 s]
/proc/loadavg: 2.00 2.00 1.94 4/196 22552
/proc/meminfo: memFree=28250292/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=3056 CPUtime=0.07
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 513 0 0 0 7 0 0 0 25 0 1 0 22132800 3129344 400 4089446400 134512640 136422188 4292900656 18446744073709551615 135154954 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22552/statm: 764 400 144 467 0 295 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3056

[startup+0.100392 s]
/proc/loadavg: 2.00 2.00 1.94 4/196 22552
/proc/meminfo: memFree=28250292/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=3708 CPUtime=0.1
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 686 0 0 0 10 0 0 0 25 0 1 0 22132800 3796992 508 4089446400 134512640 136422188 4292900656 18446744073709551615 135160514 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22552/statm: 927 508 144 467 0 458 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3708

[startup+0.300353 s]
/proc/loadavg: 2.00 2.00 1.94 4/196 22552
/proc/meminfo: memFree=28250292/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=5936 CPUtime=0.29
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 1414 0 0 0 29 0 0 0 25 0 1 0 22132800 6078464 1107 4089446400 134512640 136422188 4292900656 18446744073709551615 135818350 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22552/statm: 1484 1108 144 467 0 1015 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5936

[startup+0.70028 s]
/proc/loadavg: 2.00 2.00 1.94 4/196 22552
/proc/meminfo: memFree=28250292/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=14420 CPUtime=0.69
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 3836 0 0 0 69 0 0 0 25 0 1 0 22132800 14766080 2759 4089446400 134512640 136422188 4292900656 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/22552/statm: 3605 2759 144 467 0 3136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14420

[startup+1.50114 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22553
/proc/meminfo: memFree=28237512/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=39772 CPUtime=1.49
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 10658 0 0 0 148 1 0 0 25 0 1 0 22132800 40726528 8556 4089446400 134512640 136422188 4292900656 18446744073709551615 134707248 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/22552/statm: 9943 8556 195 467 0 9474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39772

[startup+3.10084 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22553
/proc/meminfo: memFree=28074824/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=418172 CPUtime=3.09
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 110160 0 0 0 295 14 0 0 25 0 1 0 22132800 428208128 101512 4089446400 134512640 136422188 4292900656 18446744073709551615 134707319 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/22552/statm: 104543 101512 195 467 0 104074 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 418172

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22553
/proc/meminfo: memFree=27344344/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1171972 CPUtime=6.29
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 310423 0 0 0 593 36 0 0 25 0 1 0 22132800 1200099328 282057 4089446400 134512640 136422188 4292900656 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/22552/statm: 293026 282068 196 467 0 292557 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1171972

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22553
/proc/meminfo: memFree=26794048/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1502260 CPUtime=12.69
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 395537 0 0 0 1223 46 0 0 25 0 1 0 22132800 1538314240 363940 4089446400 134512640 136422188 4292900656 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/22552/statm: 375565 363940 209 467 0 375096 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1502260

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22554
/proc/meminfo: memFree=26787160/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1509196 CPUtime=25.49
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 397268 0 0 0 2503 46 0 0 25 0 1 0 22132800 1545416704 365671 4089446400 134512640 136422188 4292900656 18446744073709551615 135017388 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/22552/statm: 377299 365671 209 467 0 376830 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1509196

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22555
/proc/meminfo: memFree=26782104/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1514344 CPUtime=51.1
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 398546 0 0 0 5063 47 0 0 25 0 1 0 22132800 1550688256 366949 4089446400 134512640 136422188 4292900656 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/22552/statm: 378586 366949 209 467 0 378117 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1514344

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22556
/proc/meminfo: memFree=26771936/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1524436 CPUtime=102.28
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 401652 0 0 0 10181 47 0 0 25 0 1 0 22132800 1561022464 369476 4089446400 134512640 136422188 4292900656 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/22552/statm: 381109 369476 209 467 0 380640 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1524436

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22557
/proc/meminfo: memFree=26748316/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1588704 CPUtime=162.27
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 425299 0 0 0 14909 1318 0 0 25 0 1 0 22132800 1626832896 374999 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 397176 374999 238 467 0 396707 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1588704

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22559
/proc/meminfo: memFree=26746272/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1590924 CPUtime=222.27
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 428980 0 0 0 19166 3061 0 0 25 0 1 0 22132800 1629106176 375545 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 397731 375545 238 467 0 397262 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1590924

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22561
/proc/meminfo: memFree=26741888/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1594808 CPUtime=282.27
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 434059 0 0 0 23483 4744 0 0 25 0 1 0 22132800 1633083392 376526 4089446400 134512640 136422188 4292900656 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 398702 376526 238 467 0 398233 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 1594808

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22563
/proc/meminfo: memFree=26738724/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1598052 CPUtime=342.28
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 435860 0 0 0 27765 6463 0 0 25 0 1 0 22132800 1636405248 377344 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 399513 377344 238 467 0 399044 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1598052

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22564
/proc/meminfo: memFree=26735188/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1600812 CPUtime=402.27
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 440303 0 0 0 32010 8217 0 0 25 0 1 0 22132800 1639231488 378032 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 400203 378032 238 467 0 399734 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 1600812

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22565
/proc/meminfo: memFree=26729304/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1607240 CPUtime=462.28
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 442247 0 0 0 36521 9707 0 0 25 0 1 0 22132800 1645813760 379639 4089446400 134512640 136422188 4292900656 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 401810 379639 238 467 0 401341 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1607240

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22567
/proc/meminfo: memFree=26726776/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1609880 CPUtime=522.28
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 442916 0 0 0 40734 11494 0 0 25 0 1 0 22132800 1648517120 380308 4089446400 134512640 136422188 4292900656 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 402470 380308 238 467 0 402001 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 1609880

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22569
/proc/meminfo: memFree=26724616/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1612048 CPUtime=582.29
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 443430 0 0 0 45122 13107 0 0 25 0 1 0 22132800 1650737152 380822 4089446400 134512640 136422188 4292900656 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 403012 380822 238 467 0 402543 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 1612048

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22571
/proc/meminfo: memFree=26720972/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1615188 CPUtime=642.28
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 445497 0 0 0 49521 14707 0 0 25 0 1 0 22132800 1653952512 381626 4089446400 134512640 136422188 4292900656 18446744073709551615 135028676 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 403797 381626 238 467 0 403328 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 1615188

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22575
/proc/meminfo: memFree=26714244/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1623008 CPUtime=822.29
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 449285 0 0 0 62975 19254 0 0 25 0 1 0 22132800 1661960192 383534 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 405752 383534 238 467 0 405283 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 1623008

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22586
/proc/meminfo: memFree=26713176/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1623008 CPUtime=882.29
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 449285 0 0 0 67558 20671 0 0 25 0 1 0 22132800 1661960192 383534 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/22552/statm: 405752 383534 238 467 0 405283 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 1623008

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22588
/proc/meminfo: memFree=26713096/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1623008 CPUtime=942.29
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 449285 0 0 0 71925 22304 0 0 25 0 1 0 22132800 1661960192 383534 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/22552/statm: 405752 383534 238 467 0 405283 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 1623008

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22589
/proc/meminfo: memFree=26713276/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1623008 CPUtime=1002.29
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 449286 0 0 0 76426 23803 0 0 25 0 1 0 22132800 1661960192 383534 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 405752 383534 238 467 0 405283 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 1623008

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22590
/proc/meminfo: memFree=26713232/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1623008 CPUtime=1062.3
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 449286 0 0 0 80808 25422 0 0 25 0 1 0 22132800 1661960192 383534 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 405752 383534 238 467 0 405283 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1623008

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 22592
/proc/meminfo: memFree=26713028/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1623008 CPUtime=1122.29
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 449287 0 0 0 85299 26930 0 0 25 0 1 0 22132800 1661960192 383534 4089446400 134512640 136422188 4292900656 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 405752 383534 238 467 0 405283 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 1623008

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/197 22594
/proc/meminfo: memFree=26710364/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1626616 CPUtime=1182.29
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 450670 0 0 0 89883 28346 0 0 25 0 1 0 22132800 1665654784 384442 4089446400 134512640 136422188 4292900656 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 406654 384442 238 467 0 406185 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 1626616

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/197 22596
/proc/meminfo: memFree=26706960/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1629656 CPUtime=1242.3
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 451435 0 0 0 94712 29518 0 0 25 0 1 0 22132800 1668767744 385207 4089446400 134512640 136422188 4292900656 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 407414 385207 238 467 0 406945 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 1629656

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/197 22597
/proc/meminfo: memFree=26701332/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1635468 CPUtime=1302.3
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 452888 0 0 0 99267 30963 0 0 25 0 1 0 22132800 1674719232 386660 4089446400 134512640 136422188 4292900656 18446744073709551615 135032781 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 408867 386660 238 467 0 408398 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 1635468

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/197 22598
/proc/meminfo: memFree=26681852/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1655160 CPUtime=1362.3
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 457802 0 0 0 103883 32347 0 0 25 0 1 0 22132800 1694883840 391574 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 413790 391574 238 467 0 413321 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 1655160

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 1.95 3/197 22600
/proc/meminfo: memFree=26674352/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1662584 CPUtime=1422.31
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 459650 0 0 0 108862 33369 0 0 25 0 1 0 22132800 1702486016 393422 4089446400 134512640 136422188 4292900656 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/22552/statm: 415646 393422 238 467 0 415177 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 1662584

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/197 22722
/proc/meminfo: memFree=27046020/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1668680 CPUtime=1482.3
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 461193 0 0 0 113742 34488 0 0 25 0 1 0 22132800 1708728320 394965 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/22552/statm: 417170 394965 238 467 0 416701 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 1668680

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/197 22724
/proc/meminfo: memFree=27026996/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1674364 CPUtime=1542.3
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 462613 0 0 0 117292 36938 0 0 25 0 1 0 22132800 1714548736 396385 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/22552/statm: 418591 396385 238 467 0 418122 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 1674364

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/197 22725
/proc/meminfo: memFree=27020228/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1680564 CPUtime=1602.31
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 465154 0 0 0 121269 38962 0 0 25 0 1 0 22132800 1720897536 397911 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/22552/statm: 420141 397911 238 467 0 419672 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 1680564

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/197 22726
/proc/meminfo: memFree=27016048/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1684588 CPUtime=1662.31
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 468183 0 0 0 125055 41176 0 0 25 0 1 0 22132800 1725018112 398941 4089446400 134512640 136422188 4292900656 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/22552/statm: 421147 398941 238 467 0 420678 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 1684588

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/197 22728
/proc/meminfo: memFree=27012888/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1687100 CPUtime=1722.31
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 468785 0 0 0 128706 43525 0 0 25 0 1 0 22132800 1727590400 399543 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/22552/statm: 421775 399543 238 467 0 421306 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 1687100

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/197 22730
/proc/meminfo: memFree=27012560/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1687100 CPUtime=1782.31
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 468786 0 0 0 132489 45742 0 0 25 0 1 0 22132800 1727590400 399543 4089446400 134512640 136422188 4292900656 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/22552/statm: 421775 399543 238 467 0 421306 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 1687100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.01 1.96 3/197 22730
/proc/meminfo: memFree=27012548/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=1687100 CPUtime=1800.02
/proc/22552/stat : 22552 (pbct) R 22550 22552 21650 0 -1 4202496 468786 0 0 0 133705 46297 0 0 25 0 1 0 22132800 1727590400 399543 4089446400 134512640 136422188 4292900656 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/22552/statm: 421775 399543 238 467 0 421306 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1687100

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.09
CPU user time (s): 1337.06
CPU system time (s): 463.031
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1687100

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

runsolver used 2.99354 second user time and 6.575 second system time

The end

Launcher Data 

Begin job on node139 at 2010-07-07 23:46:43
IDJOB=2701299
IDBENCH=79556
IDSOLVER=1212
FILE ID=node139/2701299-1278539203
PBS_JOBID= 11239199
Free space on /tmp= 73672 MiB

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

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

MD5SUM BENCH= 4fd86302e553a3e850920dece7efe22c
RANDOM SEED=579044125

node139.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.841
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.841
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.841
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.841
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.841
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.841
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.841
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.841
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:      28250820 kB
Buffers:        147280 kB
Cached:        3919912 kB
SwapCached:          0 kB
Active:        1591948 kB
Inactive:      2959000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28250820 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            9764 kB
Writeback:           0 kB
AnonPages:      483764 kB
Mapped:          20292 kB
Slab:            84540 kB
PageTables:       5672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1644192 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= 73676 MiB
End job on node139 at 2010-07-08 00:16:45