Trace number 2701755

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.06 1800.01

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/pedigree/
normalized-pedck60-L12_wcsp.wbo
MD5SUM6aa53d960869fabc4eef8f7c27928383
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1800.16
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables600
Total number of constraints36600
Number of soft constraints36540
Number of constraints which are clauses36540
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 61
Min constraint cost 1
Max constraint cost 61
Sum of constraints costs 2196540
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.19/0.24	c constraints 60/0 clauses 0/36540 units 0
0.19/0.24	c vars 600
0.19/0.24	c Setting top cost 61
1.10/1.13	c 1.02984 205.395 1 37239
1.10/1.13	o 60
1.29/1.31	c 1.12483 210.824 177 40599
1.29/1.31	o 59
1.29/1.31	c 1.12883 210.824 179 41350
1.29/1.31	o 57
1.29/1.32	c 1.13483 210.824 187 42165
1.29/1.32	o 55
1.39/1.42	c 1.20982 210.824 318 43866
1.39/1.42	o 51
1.39/1.42	c 1.21382 210.824 334 44681
1.39/1.42	o 41
2.49/2.51	c 2.17467 210.953 1354 53590
2.49/2.51	o 40
4.59/4.66	c 4.11837 211.469 3495 70121
4.59/4.66	o 39
4.79/4.83	c 4.28135 211.469 3626 71768
4.79/4.83	o 37
10.59/10.66	c 9.59054 212.391 8948 102808
10.59/10.66	o 36
19.49/19.58	c 17.4653 213.809 15403 126474
19.49/19.58	o 35
26.30/26.39	c 23.7064 214.902 20780 151277
26.30/26.39	o 34
26.59/26.60	c 23.9004 214.902 20974 153790
26.59/26.60	o 33
31.80/31.86	c 28.7516 215.547 24787 173106
31.80/31.86	o 32
32.39/32.41	c 29.2665 215.676 25305 176202
32.39/32.41	o 31
33.09/33.10	c 29.8975 215.805 25881 180418
33.09/33.10	o 30
51.09/51.18	c 46.5879 217.945 36598 209814
51.09/51.18	o 29
87.59/87.67	c 80.6947 220.324 27796 310975
87.59/87.67	o 28
90.09/90.12	c 82.9364 220.324 29866 319473
90.09/90.12	o 27
140.49/140.58	c 130.211 221.355 28694 424841
140.49/140.58	o 26
142.69/142.74	c 132.258 221.355 30478 433902
142.69/142.74	o 25
203.50/203.50	c 189.692 221.355 38158 575574
203.50/203.50	o 24
1696.74/1696.72	c 1600.45 226.969 42999 3193138
1696.74/1696.72	o 23
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

Verifier Data 

OK	23

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701755-1278541469/watcher-2701755-1278541469 -o /tmp/evaluation-result-2701755-1278541469/solver-2701755-1278541469 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701755-1278541469.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 1.98 2.06 3/178 20743
/proc/meminfo: memFree=27818904/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=2268 CPUtime=0
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 276 0 0 0 0 0 0 0 21 0 1 0 22360071 2322432 196 4089446400 134512640 136422188 4290748400 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20743/statm: 567 199 144 467 0 98 0

[startup+0.0904459 s]
/proc/loadavg: 1.95 1.98 2.06 3/178 20743
/proc/meminfo: memFree=27818904/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=3056 CPUtime=0.08
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 504 0 0 0 8 0 0 0 21 0 1 0 22360071 3129344 391 4089446400 134512640 136422188 4290748400 18446744073709551615 135155277 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20743/statm: 764 392 144 467 0 295 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3056

[startup+0.100432 s]
/proc/loadavg: 1.95 1.98 2.06 3/178 20743
/proc/meminfo: memFree=27818904/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=3056 CPUtime=0.09
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 528 0 0 0 9 0 0 0 21 0 1 0 22360071 3129344 415 4089446400 134512640 136422188 4290748400 18446744073709551615 135818638 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20743/statm: 764 415 144 467 0 295 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3056

[startup+0.300404 s]
/proc/loadavg: 1.95 1.98 2.06 3/178 20743
/proc/meminfo: memFree=27818904/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=21116 CPUtime=0.29
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 5015 0 0 0 28 1 0 0 21 0 1 0 22360071 21622784 4708 4089446400 134512640 136422188 4290748400 18446744073709551615 135830681 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 5279 4708 195 467 0 4810 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21116

[startup+0.700331 s]
/proc/loadavg: 1.95 1.98 2.06 3/178 20743
/proc/meminfo: memFree=27818904/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=113812 CPUtime=0.69
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 29291 0 0 0 65 4 0 0 22 0 1 0 22360071 116543488 27796 4089446400 134512640 136422188 4290748400 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 28453 27799 195 467 0 27984 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 113812

[startup+1.50018 s]
/proc/loadavg: 1.95 1.98 2.06 3/179 20744
/proc/meminfo: memFree=27625084/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=215880 CPUtime=1.49
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 55427 0 0 0 127 22 0 0 25 0 1 0 22360071 221061120 50920 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 53970 50920 238 467 0 53501 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 215880

[startup+3.10089 s]
/proc/loadavg: 1.95 1.98 2.06 3/179 20744
/proc/meminfo: memFree=27615788/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=216144 CPUtime=3.09
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 55506 0 0 0 270 39 0 0 25 0 1 0 22360071 221331456 50998 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 54036 50998 238 467 0 53567 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216144

[startup+6.30031 s]
/proc/loadavg: 1.95 1.98 2.06 3/179 20744
/proc/meminfo: memFree=27615768/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=216804 CPUtime=6.29
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 55649 0 0 0 559 70 0 0 25 0 1 0 22360071 222007296 51139 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 54201 51139 238 467 0 53732 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 216804

[startup+12.7012 s]
/proc/loadavg: 1.96 1.98 2.06 3/179 20744
/proc/meminfo: memFree=27614408/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=217880 CPUtime=12.69
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 55937 0 0 0 1139 130 0 0 25 0 1 0 22360071 223109120 51426 4089446400 134512640 136422188 4290748400 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 54470 51426 238 467 0 54001 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 217880

[startup+25.5008 s]
/proc/loadavg: 1.96 1.98 2.05 3/179 20744
/proc/meminfo: memFree=27612700/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=219924 CPUtime=25.5
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 56428 0 0 0 2291 259 0 0 25 0 1 0 22360071 225202176 51916 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 54981 51916 238 467 0 54512 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 219924

[startup+51.1002 s]
/proc/loadavg: 1.98 1.98 2.05 3/179 20745
/proc/meminfo: memFree=27608288/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=223172 CPUtime=51.09
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 57262 0 0 0 4650 459 0 0 25 0 1 0 22360071 228528128 52745 4089446400 134512640 136422188 4290748400 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 55793 52745 238 467 0 55324 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 223172

[startup+102.307 s]
/proc/loadavg: 1.99 1.98 2.05 3/179 20746
/proc/meminfo: memFree=27602168/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=225608 CPUtime=102.3
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 57865 0 0 0 9441 789 0 0 25 0 1 0 22360071 231022592 53345 4089446400 134512640 136422188 4290748400 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 56402 53345 238 467 0 55933 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 225608

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 2.04 3/179 20748
/proc/meminfo: memFree=27598524/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=226664 CPUtime=162.3
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58143 0 0 0 15073 1157 0 0 25 0 1 0 22360071 232103936 53621 4089446400 134512640 136422188 4290748400 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 56666 53621 238 467 0 56197 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 226664

[startup+222.301 s]
/proc/loadavg: 2.03 2.00 2.04 3/179 20750
/proc/meminfo: memFree=27595236/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=226664 CPUtime=222.29
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58145 0 0 0 20754 1475 0 0 25 0 1 0 22360071 232103936 53622 4089446400 134512640 136422188 4290748400 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 56666 53622 238 467 0 56197 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 226664

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/179 20752
/proc/meminfo: memFree=27586636/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=227720 CPUtime=282.29
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58386 0 0 0 26429 1800 0 0 25 0 1 0 22360071 233185280 53863 4089446400 134512640 136422188 4290748400 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 56930 53863 238 467 0 56461 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 227720

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 20752
/proc/meminfo: memFree=27580144/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=228248 CPUtime=342.3
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58527 0 0 0 32120 2110 0 0 25 0 1 0 22360071 233725952 54004 4089446400 134512640 136422188 4290748400 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57062 54004 238 467 0 56593 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 228248

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 20754
/proc/meminfo: memFree=27573156/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=228248 CPUtime=402.3
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58527 0 0 0 37813 2417 0 0 25 0 1 0 22360071 233725952 54004 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57062 54004 238 467 0 56593 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 228248

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.02 2/174 20774
/proc/meminfo: memFree=28400096/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=228248 CPUtime=462.3
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58527 0 0 0 43428 2802 0 0 25 0 1 0 22360071 233725952 54004 4089446400 134512640 136422188 4290748400 18446744073709551615 135022533 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57062 54004 238 467 0 56593 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 228248

[startup+522.301 s]
/proc/loadavg: 3.03 2.25 2.10 2/176 20803
/proc/meminfo: memFree=26198152/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=228248 CPUtime=522.3
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58527 0 0 0 49123 3107 0 0 25 0 1 0 22360071 233725952 54004 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57062 54004 238 467 0 56593 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 228248

[startup+582.301 s]
/proc/loadavg: 2.76 2.35 2.14 3/196 20833
/proc/meminfo: memFree=28044556/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=228248 CPUtime=582.3
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58527 0 0 0 54742 3488 0 0 25 0 1 0 22360071 233725952 54004 4089446400 134512640 136422188 4290748400 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57062 54004 238 467 0 56593 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 228248

[startup+642.301 s]
/proc/loadavg: 2.28 2.28 2.13 10/196 20833
/proc/meminfo: memFree=27975216/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=228668 CPUtime=642.31
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58624 0 0 0 60382 3849 0 0 25 0 1 0 22360071 234156032 54101 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57167 54101 238 467 0 56698 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 228668

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.69 2.32 2.15 3/196 20839
/proc/meminfo: memFree=27850948/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=229624 CPUtime=822.32
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58883 0 0 0 77363 4869 0 0 25 0 1 0 22360071 235134976 54360 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57406 54360 238 467 0 56937 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 229624

[startup+882.301 s]
/proc/loadavg: 3.00 2.44 2.20 3/196 20841
/proc/meminfo: memFree=27786860/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=229888 CPUtime=882.31
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58928 0 0 0 83031 5200 0 0 25 0 1 0 22360071 235405312 54405 4089446400 134512640 136422188 4290748400 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57472 54405 238 467 0 57003 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 229888

[startup+942.3 s]
/proc/loadavg: 3.68 2.69 2.29 3/196 20841
/proc/meminfo: memFree=27756900/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=230152 CPUtime=942.31
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58988 0 0 0 88737 5494 0 0 25 0 1 0 22360071 235675648 54465 4089446400 134512640 136422188 4290748400 18446744073709551615 135022543 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57538 54465 238 467 0 57069 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 230152

[startup+1002.3 s]
/proc/loadavg: 3.10 2.70 2.32 8/196 20843
/proc/meminfo: memFree=27726016/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=230152 CPUtime=1002.31
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 58988 0 0 0 94468 5763 0 0 25 0 1 0 22360071 235675648 54465 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57538 54465 238 467 0 57069 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 230152

[startup+1062.3 s]
/proc/loadavg: 3.11 2.77 2.36 3/196 20845
/proc/meminfo: memFree=27694864/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=230680 CPUtime=1062.32
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59141 0 0 0 100130 6102 0 0 25 0 1 0 22360071 236216320 54618 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57670 54618 238 467 0 57201 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 230680

[startup+1122.3 s]
/proc/loadavg: 2.82 2.74 2.38 7/196 20847
/proc/meminfo: memFree=27665556/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=230680 CPUtime=1122.32
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59141 0 0 0 105812 6420 0 0 25 0 1 0 22360071 236216320 54618 4089446400 134512640 136422188 4290748400 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57670 54618 238 467 0 57201 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 230680

[startup+1182.3 s]
/proc/loadavg: 2.17 2.58 2.34 3/196 20849
/proc/meminfo: memFree=27636492/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=230680 CPUtime=1182.32
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59141 0 0 0 111502 6730 0 0 25 0 1 0 22360071 236216320 54618 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57670 54618 238 467 0 57201 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 230680

[startup+1242.3 s]
/proc/loadavg: 2.26 2.52 2.33 3/196 20849
/proc/meminfo: memFree=27607692/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=230680 CPUtime=1242.33
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59141 0 0 0 117222 7011 0 0 25 0 1 0 22360071 236216320 54618 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20743/statm: 57670 54618 238 467 0 57201 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 230680

[startup+1302.3 s]
/proc/loadavg: 2.61 2.53 2.35 3/196 20851
/proc/meminfo: memFree=27564872/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=230812 CPUtime=1302.33
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59167 0 0 0 122944 7289 0 0 25 0 1 0 22360071 236351488 54644 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 57703 54644 238 467 0 57234 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 230812

[startup+1362.3 s]
/proc/loadavg: 2.53 2.52 2.36 3/196 20853
/proc/meminfo: memFree=27541676/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=230812 CPUtime=1362.33
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59183 0 0 0 128736 7497 0 0 25 0 1 0 22360071 236351488 54660 4089446400 134512640 136422188 4290748400 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 57703 54660 238 467 0 57234 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 230812

[startup+1422.31 s]
/proc/loadavg: 3.46 2.77 2.45 5/196 20855
/proc/meminfo: memFree=27517172/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=232136 CPUtime=1422.33
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59502 0 0 0 134384 7849 0 0 25 0 1 0 22360071 237707264 54979 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 58034 54979 238 467 0 57565 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 232136

[startup+1482.3 s]
/proc/loadavg: 3.62 2.95 2.53 3/196 20857
/proc/meminfo: memFree=27493416/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=232268 CPUtime=1482.33
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59541 0 0 0 139982 8251 0 0 25 0 1 0 22360071 237842432 55018 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 58067 55018 238 467 0 57598 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 232268

[startup+1542.3 s]
/proc/loadavg: 3.17 2.94 2.55 3/196 20857
/proc/meminfo: memFree=27470260/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=232412 CPUtime=1542.33
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59554 0 0 0 145573 8660 0 0 25 0 1 0 22360071 237989888 55031 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 58103 55031 238 467 0 57634 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 232412

[startup+1602.3 s]
/proc/loadavg: 3.37 3.09 2.63 3/196 20859
/proc/meminfo: memFree=27446972/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=232412 CPUtime=1602.34
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59567 0 0 0 151208 9026 0 0 25 0 1 0 22360071 237989888 55044 4089446400 134512640 136422188 4290748400 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 58103 55044 238 467 0 57634 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 232412

[startup+1662.3 s]
/proc/loadavg: 2.45 2.87 2.58 3/196 20861
/proc/meminfo: memFree=27423468/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=232412 CPUtime=1662.34
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59567 0 0 0 156853 9381 0 0 25 0 1 0 22360071 237989888 55044 4089446400 134512640 136422188 4290748400 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 58103 55044 238 467 0 57634 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 232412

[startup+1722.3 s]
/proc/loadavg: 1.99 2.69 2.54 2/171 20887
/proc/meminfo: memFree=28378668/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=232412 CPUtime=1722.34
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59568 0 0 0 162453 9781 0 0 25 0 1 0 22360071 237989888 55044 4089446400 134512640 136422188 4290748400 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 58103 55044 238 467 0 57634 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 232412

[startup+1782.3 s]
/proc/loadavg: 1.36 2.38 2.44 2/171 20889
/proc/meminfo: memFree=28378636/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=232412 CPUtime=1782.34
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59568 0 0 0 168104 10130 0 0 25 0 1 0 22360071 237989888 55044 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 58103 55044 238 467 0 57634 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 232412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.26 2.29 2.41 2/171 20889
/proc/meminfo: memFree=28378624/32951124 swapFree=67111528/67111528
[pid=20743] ppid=20741 vsize=232412 CPUtime=1800.04
/proc/20743/stat : 20743 (pbct) R 20741 20743 18367 0 -1 4202496 59568 0 0 0 169750 10254 0 0 25 0 1 0 22360071 237989888 55044 4089446400 134512640 136422188 4290748400 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20743/statm: 58103 55044 238 467 0 57634 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 232412

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

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1697.51
CPU system time (s): 102.551
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 232412

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

runsolver used 2.97055 second user time and 6.67898 second system time

The end

Launcher Data 

Begin job on node138 at 2010-07-08 00:24:30
IDJOB=2701755
IDBENCH=79631
IDSOLVER=1212
FILE ID=node138/2701755-1278541469
PBS_JOBID= 11239202
Free space on /tmp= 73600 MiB

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

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

MD5SUM BENCH= 6aa53d960869fabc4eef8f7c27928383
RANDOM SEED=132323146

node138.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.845
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.69
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.845
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	: 5266.27
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.845
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.845
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.73
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.845
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.82
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.845
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.75
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.845
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.82
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.845
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.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27819548 kB
Buffers:        138780 kB
Cached:        3996700 kB
SwapCached:          0 kB
Active:        2411560 kB
Inactive:      2569140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27819548 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3392 kB
Writeback:           0 kB
AnonPages:      845488 kB
Mapped:          15560 kB
Slab:            85744 kB
PageTables:       6376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1010336 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= 73608 MiB
End job on node138 at 2010-07-08 00:54:32