Trace number 2701303

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.14 1801.16

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar7-sub2_wcsp.wbo
MD5SUM2dd7369dce38347df0a942929e2a998a
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark342645
Best CPU time to get the best result obtained on this benchmark1800.12
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 constraints292466
Number of soft constraints292450
Number of constraints which are clauses292450
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 41497095
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 19773833908
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.49/1.52	c constraints 16/0 clauses 0/292450 units 0
1.49/1.52	c vars 688
1.49/1.53	c Setting top cost 41497095
140.82/141.89	c 140.137 1571.68 1 585970
140.82/141.89	o 35935267
141.51/142.55	c 140.589 1612.76 1 878858
141.51/142.55	o 32865165
142.32/143.34	c 141.135 1612.76 5 1257655
142.32/143.34	o 31934560
142.92/143.93	c 141.552 1612.76 5 1550560
142.92/143.93	o 27733852
143.52/144.54	c 141.992 1612.76 6 1849582
143.52/144.54	o 27693852
144.12/145.15	c 142.406 1612.76 6 2142459
144.12/145.15	o 16764253
144.81/145.83	c 142.882 1612.76 8 2459035
144.81/145.83	o 16744253
145.41/146.44	c 143.309 1612.76 8 2751909
145.41/146.44	o 10813944
146.02/147.05	c 143.759 1612.76 11 3042180
146.02/147.05	o 10773440
146.62/147.68	c 144.198 1612.76 20 3339459
146.62/147.68	o 9733246
147.21/148.29	c 144.618 1612.76 20 3613856
147.21/148.29	o 9683755
148.63/149.66	c 145.608 1613.27 124 3953261
148.63/149.66	o 9523853
149.22/150.28	c 146.059 1613.27 124 4246150
149.22/150.28	o 6633950
149.91/150.91	c 146.498 1613.39 125 4521526
149.91/150.91	o 6553746
150.61/151.68	c 147.066 1613.39 163 4750178
150.61/151.68	o 6543948
151.42/152.42	c 147.594 1613.52 165 5095132
151.42/152.42	o 6503855
152.82/153.89	c 148.649 1613.78 394 5619670
152.82/153.89	o 5654352
153.51/154.51	c 149.09 1613.78 394 5894368
153.51/154.51	o 5593851
154.21/155.24	c 149.636 1613.28 405 6125424
154.21/155.24	o 5584353
156.33/157.39	c 151.156 1613.42 507 6498453
156.33/157.39	o 4573948
157.02/158.01	c 151.618 1613.43 507 6773406
157.02/158.01	o 3644158
157.62/158.66	c 152.072 1613.44 513 7069841
157.62/158.66	o 2593555
158.82/159.81	c 152.917 1614.21 719 7249422
158.82/159.81	o 2584040
160.32/161.36	c 154.058 1613.85 1222 7549252
160.32/161.36	o 2553648
161.32/162.34	c 154.794 1615.39 1334 7832687
161.32/162.34	o 2533949
167.32/168.32	c 159.274 1615.66 2503 8090426
167.32/168.32	o 2533250
168.62/169.65	c 160.281 1615.8 2816 8316154
168.62/169.65	o 2523347
174.32/175.34	c 164.666 1615.96 4442 8598134
174.32/175.34	o 2514340
183.92/184.92	c 171.862 1616 7356 8963468
183.92/184.92	o 2513847
186.82/187.80	c 174.039 1616.25 8000 9195802
186.82/187.80	o 2513447
187.51/188.51	c 174.566 1616.29 8091 9363486
187.51/188.51	o 2513249
190.21/191.21	c 176.599 1617.1 8402 9662090
190.21/191.21	o 2483749
190.92/191.93	c 177.149 1617.14 8406 9936885
190.92/191.93	o 1653445
191.62/192.62	c 177.661 1617.17 8407 10097474
191.62/192.62	o 1644052
192.22/193.25	c 178.137 1617.21 8409 10189611
192.22/193.25	o 1644040
192.91/193.97	c 178.677 1617.24 8425 10352952
192.91/193.97	o 1643839
193.62/194.67	c 179.171 1617.28 8440 10629220
193.62/194.67	o 1614046
194.72/195.76	c 179.975 1616.81 8498 10794004
194.72/195.76	o 1604052
196.71/197.80	c 181.457 1616.86 8754 11097468
196.71/197.80	o 1593245
197.52/198.58	c 182.019 1616.9 8765 11372095
197.52/198.58	o 1543247
198.51/199.55	c 182.727 1616.95 8799 11647437
198.51/199.55	o 1513454
199.23/200.28	c 183.253 1617 8847 11750690
199.23/200.28	o 1513445
199.92/200.92	c 183.721 1616.91 8876 11844078
199.92/200.92	o 1513351
201.72/202.75	c 185.107 1617.09 9142 12029695
201.72/202.75	o 1503647
220.62/221.68	c 199.107 1618.18 12987 12559932
220.62/221.68	o 1493245
223.43/224.43	c 201.245 1618.46 13749 12750284
223.43/224.43	o 1493153
224.62/225.67	c 202.168 1618.55 14059 13069404
224.62/225.67	o 593453
225.82/226.86	c 203.036 1619.62 14298 13087849
225.82/226.86	o 593452
226.52/227.51	c 203.507 1619.67 14322 13259133
226.52/227.51	o 592750
227.12/228.17	c 204.014 1619.72 14431 13428970
227.12/228.17	o 583953
228.42/229.45	c 204.997 1619.89 14813 13735320
228.42/229.45	o 573651
229.12/230.10	c 205.488 1619.94 14875 14010089
229.12/230.10	o 553848
231.13/232.13	c 206.994 1619.58 2927 14200454
231.13/232.13	o 553655
232.02/233.08	c 207.695 1619.6 3024 14363103
232.02/233.08	o 553449
232.72/233.78	c 208.222 1619.62 3175 14639282
232.72/233.78	o 533747
233.42/234.44	c 208.742 1619.65 3175 14913506
233.42/234.44	o 463858
234.52/235.54	c 209.562 1619.54 3235 15078570
234.52/235.54	o 454351
236.71/237.75	c 211.327 1619.7 4562 15391953
236.71/237.75	o 453545
246.43/247.43	c 218.764 1619.85 7111 15721246
246.43/247.43	o 453239
247.31/248.37	c 219.476 1620 7337 15907779
247.31/248.37	o 443249
248.41/249.47	c 220.324 1619.39 7568 16196381
248.41/249.47	o 394161
329.51/330.50	c 266.944 1622.5 25937 17547065
329.51/330.50	o 394060
336.01/337.03	c 270.127 1622.9 27611 17829037
336.01/337.03	o 392548
461.81/462.89	c 341.262 1632.36 66910 20298842
461.81/462.89	o 383345
474.60/475.64	c 348.8 1633.01 70224 20799313
474.60/475.64	o 354149
804.40/805.46	c 548.645 1650.45 85808 26817930
804.40/805.46	o 353146
1307.99/1309.07	c 848.756 1654.41 28560 36338829
1307.99/1309.07	o 343338
1370.59/1371.61	c 886.009 1654.41 51283 37846474
1370.59/1371.61	o 342645
1800.08/1801.10	s SATISFIABLE
1800.08/1801.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

Verifier Data 

OK	342645

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701303-1278539225/watcher-2701303-1278539225 -o /tmp/evaluation-result-2701303-1278539225/solver-2701303-1278539225 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701303-1278539225.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.57 2.16 2.05 3/176 19122
/proc/meminfo: memFree=27898668/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=2136 CPUtime=0
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 267 0 0 0 0 0 0 0 21 0 1 0 22136218 2187264 187 4089446400 134512640 136421960 4293368624 18446744073709551615 135160348 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19122/statm: 534 187 144 467 0 65 0

[startup+0.03342 s]
/proc/loadavg: 2.57 2.16 2.05 3/176 19122
/proc/meminfo: memFree=27898668/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=2532 CPUtime=0.03
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 358 0 0 0 3 0 0 0 21 0 1 0 22136218 2592768 278 4089446400 134512640 136421960 4293368624 18446744073709551615 135810696 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19122/statm: 633 278 144 467 0 164 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2532

[startup+0.100409 s]
/proc/loadavg: 2.57 2.16 2.05 3/176 19122
/proc/meminfo: memFree=27898668/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=3708 CPUtime=0.09
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 682 0 0 0 9 0 0 0 21 0 1 0 22136218 3796992 504 4089446400 134512640 136421960 4293368624 18446744073709551615 135152522 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19122/statm: 927 504 144 467 0 458 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3708

[startup+0.300374 s]
/proc/loadavg: 2.57 2.16 2.05 3/176 19122
/proc/meminfo: memFree=27898668/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=5936 CPUtime=0.29
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 1387 0 0 0 29 0 0 0 21 0 1 0 22136218 6078464 1080 4089446400 134512640 136421960 4293368624 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19122/statm: 1484 1080 144 467 0 1015 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5936

[startup+0.700311 s]
/proc/loadavg: 2.57 2.16 2.05 3/176 19122
/proc/meminfo: memFree=27898668/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=14420 CPUtime=0.69
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 3823 0 0 0 69 0 0 0 22 0 1 0 22136218 14766080 2746 4089446400 134512640 136421960 4293368624 18446744073709551615 134524127 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19122/statm: 3605 2746 144 467 0 3136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14420

[startup+1.50018 s]
/proc/loadavg: 2.53 2.15 2.05 3/177 19123
/proc/meminfo: memFree=27886696/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=26700 CPUtime=1.49
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 7500 0 0 0 148 1 0 0 25 0 1 0 22136218 27340800 5398 4089446400 134512640 136421960 4293368624 18446744073709551615 135160348 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19122/statm: 6675 5398 144 467 0 6206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26700

[startup+3.10091 s]
/proc/loadavg: 2.53 2.15 2.05 3/177 19123
/proc/meminfo: memFree=27744840/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=400420 CPUtime=3.09
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 105531 0 0 0 297 12 0 0 25 0 1 0 22136218 410030080 96883 4089446400 134512640 136421960 4293368624 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/19122/statm: 100105 96886 194 467 0 99636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 400420

[startup+6.30035 s]
/proc/loadavg: 2.53 2.15 2.05 3/177 19123
/proc/meminfo: memFree=27240272/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=762560 CPUtime=5.32
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 201275 0 0 0 500 32 0 0 25 0 1 0 22136218 780861440 185266 4089446400 134512640 136421960 4293368624 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19122/statm: 190640 185268 194 467 0 190171 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 762560

[startup+12.7003 s]
/proc/loadavg: 2.59 2.18 2.06 3/177 19123
/proc/meminfo: memFree=26385544/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1555976 CPUtime=11.71
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 409845 0 0 0 1113 58 0 0 25 0 1 0 22136218 1593319424 378236 4089446400 134512640 136421960 4293368624 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19122/statm: 388994 378236 211 467 0 388525 0
Current children cumulated CPU time (s) 11.71
Current children cumulated vsize (KiB) 1555976

[startup+25.5011 s]
/proc/loadavg: 2.50 2.17 2.06 3/177 19123
/proc/meminfo: memFree=26377400/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1563704 CPUtime=24.51
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 411777 0 0 0 2393 58 0 0 25 0 1 0 22136218 1601232896 380168 4089446400 134512640 136421960 4293368624 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19122/statm: 390926 380168 211 467 0 390457 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 1563704

[startup+51.1008 s]
/proc/loadavg: 2.30 2.16 2.05 3/177 19124
/proc/meminfo: memFree=26370392/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1570304 CPUtime=50.12
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 413415 0 0 0 4953 59 0 0 25 0 1 0 22136218 1607991296 381806 4089446400 134512640 136421960 4293368624 18446744073709551615 135017509 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/19122/statm: 392576 381806 211 467 0 392107 0
Current children cumulated CPU time (s) 50.12
Current children cumulated vsize (KiB) 1570304

[startup+102.306 s]
/proc/loadavg: 2.13 2.13 2.05 3/177 19125
/proc/meminfo: memFree=26359312/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1579340 CPUtime=101.32
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 416280 0 0 0 10073 59 0 0 25 0 1 0 22136218 1617244160 384092 4089446400 134512640 136421960 4293368624 18446744073709551615 135017513 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/19122/statm: 394835 384092 211 467 0 394366 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 1579340

[startup+162.301 s]
/proc/loadavg: 2.05 2.10 2.04 3/177 19127
/proc/meminfo: memFree=26326796/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1654160 CPUtime=161.32
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 437723 0 0 0 15475 657 0 0 25 0 1 0 22136218 1693859840 392025 4089446400 134512640 136421960 4293368624 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/19122/statm: 413540 392025 239 467 0 413071 0
Current children cumulated CPU time (s) 161.32
Current children cumulated vsize (KiB) 1654160

[startup+222.301 s]
/proc/loadavg: 2.02 2.08 2.04 3/177 19129
/proc/meminfo: memFree=26320044/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1656460 CPUtime=221.32
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 451503 0 0 0 19960 2172 0 0 25 0 1 0 22136218 1696215040 392687 4089446400 134512640 136421960 4293368624 18446744073709551615 135267158 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/19122/statm: 414115 392687 239 467 0 413646 0
Current children cumulated CPU time (s) 221.32
Current children cumulated vsize (KiB) 1656460

[startup+282.301 s]
/proc/loadavg: 1.92 2.05 2.03 3/174 19134
/proc/meminfo: memFree=28128452/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1658868 CPUtime=281.32
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 461649 0 0 0 24534 3598 0 0 25 0 1 0 22136218 1698680832 393103 4089446400 134512640 136421960 4293368624 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 414717 393103 239 467 0 414248 0
Current children cumulated CPU time (s) 281.32
Current children cumulated vsize (KiB) 1658868

[startup+342.301 s]
/proc/loadavg: 2.00 2.05 2.03 3/195 19177
/proc/meminfo: memFree=27779204/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1662216 CPUtime=341.31
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 469736 0 0 0 27285 6846 0 0 25 0 1 0 22136218 1702109184 393948 4089446400 134512640 136421960 4293368624 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 415554 393948 239 467 0 415085 0
Current children cumulated CPU time (s) 341.31
Current children cumulated vsize (KiB) 1662216

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.02 4/195 19179
/proc/meminfo: memFree=27775432/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1665364 CPUtime=401.31
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 472182 0 0 0 30453 9678 0 0 25 0 1 0 22136218 1705332736 394713 4089446400 134512640 136421960 4293368624 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 416341 394713 239 467 0 415872 0
Current children cumulated CPU time (s) 401.31
Current children cumulated vsize (KiB) 1665364

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/195 19181
/proc/meminfo: memFree=27768864/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1671356 CPUtime=461.31
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 475634 0 0 0 34094 12037 0 0 25 0 1 0 22136218 1711468544 396238 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 417839 396238 239 467 0 417370 0
Current children cumulated CPU time (s) 461.31
Current children cumulated vsize (KiB) 1671356

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.01 3/195 19183
/proc/meminfo: memFree=27763996/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1675532 CPUtime=521.3
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 480591 0 0 0 37706 14424 0 0 25 0 1 0 22136218 1715744768 397276 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 418883 397276 239 467 0 418414 0
Current children cumulated CPU time (s) 521.3
Current children cumulated vsize (KiB) 1675532

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/195 19184
/proc/meminfo: memFree=27761472/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1678440 CPUtime=581.31
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 482525 0 0 0 41239 16892 0 0 25 0 1 0 22136218 1718722560 397977 4089446400 134512640 136421960 4293368624 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 419610 397977 239 467 0 419141 0
Current children cumulated CPU time (s) 581.31
Current children cumulated vsize (KiB) 1678440

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/195 19185
/proc/meminfo: memFree=27757216/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1682396 CPUtime=641.31
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 487163 0 0 0 45002 19129 0 0 25 0 1 0 22136218 1722773504 398961 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 420599 398961 239 467 0 420130 0
Current children cumulated CPU time (s) 641.31
Current children cumulated vsize (KiB) 1682396

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/195 19201
/proc/meminfo: memFree=27746072/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1691800 CPUtime=881.29
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 489854 0 0 0 59458 28671 0 0 25 0 1 0 22136218 1732403200 401323 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 422950 401323 239 467 0 422481 0
Current children cumulated CPU time (s) 881.29
Current children cumulated vsize (KiB) 1691800

[startup+942.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/195 19202
/proc/meminfo: memFree=27743812/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1694116 CPUtime=941.29
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 491632 0 0 0 63013 31116 0 0 25 0 1 0 22136218 1734774784 401898 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 423529 401898 239 467 0 423060 0
Current children cumulated CPU time (s) 941.29
Current children cumulated vsize (KiB) 1694116

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/195 19204
/proc/meminfo: memFree=27743640/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1694116 CPUtime=1001.29
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 491632 0 0 0 66599 33530 0 0 25 0 1 0 22136218 1734774784 401898 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 423529 401898 239 467 0 423060 0
Current children cumulated CPU time (s) 1001.29
Current children cumulated vsize (KiB) 1694116

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19206
/proc/meminfo: memFree=27743612/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1694116 CPUtime=1061.29
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 491632 0 0 0 70261 35868 0 0 25 0 1 0 22136218 1734774784 401898 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 423529 401898 239 467 0 423060 0
Current children cumulated CPU time (s) 1061.29
Current children cumulated vsize (KiB) 1694116

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19208
/proc/meminfo: memFree=27743556/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1694116 CPUtime=1121.29
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 491632 0 0 0 73702 38427 0 0 25 0 1 0 22136218 1734774784 401898 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 423529 401898 239 467 0 423060 0
Current children cumulated CPU time (s) 1121.29
Current children cumulated vsize (KiB) 1694116

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19209
/proc/meminfo: memFree=27743532/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1694116 CPUtime=1181.28
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 491632 0 0 0 77380 40748 0 0 25 0 1 0 22136218 1734774784 401898 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 423529 401898 239 467 0 423060 0
Current children cumulated CPU time (s) 1181.28
Current children cumulated vsize (KiB) 1694116

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19210
/proc/meminfo: memFree=27742988/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1694116 CPUtime=1241.28
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 491632 0 0 0 80969 43159 0 0 25 0 1 0 22136218 1734774784 401898 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 423529 401898 239 467 0 423060 0
Current children cumulated CPU time (s) 1241.28
Current children cumulated vsize (KiB) 1694116

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19212
/proc/meminfo: memFree=27743332/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1694116 CPUtime=1301.29
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 491634 0 0 0 84502 45627 0 0 25 0 1 0 22136218 1734774784 401900 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 423529 401900 239 467 0 423060 0
Current children cumulated CPU time (s) 1301.29
Current children cumulated vsize (KiB) 1694116

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19214
/proc/meminfo: memFree=27743296/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1694116 CPUtime=1361.28
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 491635 0 0 0 88051 48077 0 0 25 0 1 0 22136218 1734774784 401900 4089446400 134512640 136421960 4293368624 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 423529 401900 239 467 0 423060 0
Current children cumulated CPU time (s) 1361.28
Current children cumulated vsize (KiB) 1694116

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19216
/proc/meminfo: memFree=27743260/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1694116 CPUtime=1421.28
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 491636 0 0 0 91489 50639 0 0 25 0 1 0 22136218 1734774784 401900 4089446400 134512640 136421960 4293368624 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 423529 401900 239 467 0 423060 0
Current children cumulated CPU time (s) 1421.28
Current children cumulated vsize (KiB) 1694116

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19217
/proc/meminfo: memFree=27743156/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1694116 CPUtime=1481.28
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 491636 0 0 0 94909 53219 0 0 25 0 1 0 22136218 1734774784 401900 4089446400 134512640 136421960 4293368624 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 423529 401900 239 467 0 423060 0
Current children cumulated CPU time (s) 1481.28
Current children cumulated vsize (KiB) 1694116

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19218
/proc/meminfo: memFree=27743496/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1694116 CPUtime=1541.28
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 491636 0 0 0 98266 55862 0 0 25 0 1 0 22136218 1734774784 401900 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 423529 401900 239 467 0 423060 0
Current children cumulated CPU time (s) 1541.28
Current children cumulated vsize (KiB) 1694116

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19220
/proc/meminfo: memFree=27736656/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1701244 CPUtime=1601.28
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 493437 0 0 0 102534 57594 0 0 25 0 1 0 22136218 1742073856 403701 4089446400 134512640 136421960 4293368624 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 425311 403701 239 467 0 424842 0
Current children cumulated CPU time (s) 1601.28
Current children cumulated vsize (KiB) 1701244

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19222
/proc/meminfo: memFree=27732392/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1705340 CPUtime=1661.27
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 494387 0 0 0 106298 59829 0 0 25 0 1 0 22136218 1746268160 404651 4089446400 134512640 136421960 4293368624 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 426335 404651 239 467 0 425866 0
Current children cumulated CPU time (s) 1661.27
Current children cumulated vsize (KiB) 1705340

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19224
/proc/meminfo: memFree=27732476/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1705340 CPUtime=1721.28
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 494387 0 0 0 109913 62215 0 0 25 0 1 0 22136218 1746268160 404651 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 426335 404651 239 467 0 425866 0
Current children cumulated CPU time (s) 1721.28
Current children cumulated vsize (KiB) 1705340

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19225
/proc/meminfo: memFree=27732440/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1705340 CPUtime=1781.27
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 494387 0 0 0 113542 64585 0 0 25 0 1 0 22136218 1746268160 404651 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 426335 404651 239 467 0 425866 0
Current children cumulated CPU time (s) 1781.27
Current children cumulated vsize (KiB) 1705340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19226
/proc/meminfo: memFree=27732436/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1705340 CPUtime=1800.08
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 494387 0 0 0 114696 65312 0 0 25 0 1 0 22136218 1746268160 404651 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 426335 404651 239 467 0 425866 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1705340

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

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

[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 19226
/proc/meminfo: memFree=27732436/32951132 swapFree=67111528/67111528
[pid=19122] ppid=19120 vsize=1705340 CPUtime=1800.08
/proc/19122/stat : 19122 (pbct) R 19120 19122 17444 0 -1 4202496 494387 0 0 0 114696 65312 0 0 25 0 1 0 22136218 1746268160 404651 4089446400 134512640 136421960 4293368624 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/19122/statm: 426335 404651 239 467 0 425866 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1705340

Child status: 0
Real time (s): 1801.16
CPU time (s): 1800.14
CPU user time (s): 1146.96
CPU system time (s): 653.179
CPU usage (%): 99.9434
Max. virtual memory (cumulated for all children) (KiB): 1705340

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

runsolver used 2.88356 second user time and 5.85411 second system time

The end

Launcher Data 

Begin job on node129 at 2010-07-07 23:47:05
IDJOB=2701303
IDBENCH=79557
IDSOLVER=1208
FILE ID=node129/2701303-1278539225
PBS_JOBID= 11239220
Free space on /tmp= 73776 MiB

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

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

MD5SUM BENCH= 2dd7369dce38347df0a942929e2a998a
RANDOM SEED=2140339636

node129.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.836
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.67
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.836
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.836
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.836
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.75
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.836
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	: 5311.72
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.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.836
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:     32951132 kB
MemFree:      27899188 kB
Buffers:        142916 kB
Cached:        2898672 kB
SwapCached:          0 kB
Active:        3039108 kB
Inactive:      1869264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      27899188 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10528 kB
Writeback:           0 kB
AnonPages:     1867004 kB
Mapped:          15632 kB
Slab:            76652 kB
PageTables:       8516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  2087800 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73772 MiB
End job on node129 at 2010-07-08 00:17:08