Trace number 2701305

Some explanations

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

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

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

Solver answer on this benchmark

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

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.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
1.49/1.53	c constraints 16/0 clauses 0/292450 units 0
1.49/1.53	c vars 688
1.49/1.53	c Setting top cost 41497095
132.10/132.17	c 131.501 1571.68 1 585970
132.10/132.17	o 35935267
132.79/132.80	c 131.948 1612.76 1 878858
132.79/132.80	o 32865165
133.50/133.54	c 132.47 1612.76 5 1257655
133.50/133.54	o 31934560
133.99/134.08	c 132.855 1612.76 5 1550560
133.99/134.08	o 27733852
134.59/134.65	c 133.257 1612.76 6 1849582
134.59/134.65	o 27693852
135.20/135.22	c 133.627 1612.76 6 2142459
135.20/135.22	o 16764253
135.79/135.85	c 134.067 1612.76 8 2459035
135.79/135.85	o 16744253
136.40/136.41	c 134.461 1612.76 8 2751909
136.40/136.41	o 10813944
136.90/136.98	c 134.859 1612.76 11 3042180
136.90/136.98	o 10773440
137.50/137.56	c 135.275 1612.76 20 3339459
137.50/137.56	o 9733246
138.10/138.13	c 135.689 1612.76 20 3613856
138.10/138.13	o 9683755
139.39/139.41	c 136.574 1613.27 124 3953261
139.39/139.41	o 9523853
139.89/139.99	c 136.971 1613.27 124 4246150
139.89/139.99	o 6633950
140.49/140.58	c 137.38 1613.39 125 4521526
140.49/140.58	o 6553746
141.19/141.29	c 137.885 1613.39 163 4750178
141.19/141.29	o 6543948
141.90/141.98	c 138.354 1613.52 165 5095132
141.90/141.98	o 6503855
143.30/143.38	c 139.326 1613.78 394 5619670
143.30/143.38	o 5654352
143.90/143.95	c 139.724 1613.78 394 5894368
143.90/143.95	o 5593851
144.59/144.63	c 140.194 1613.28 405 6125424
144.59/144.63	o 5584353
146.59/146.68	c 141.665 1613.42 507 6498453
146.59/146.68	o 4573948
147.19/147.26	c 142.098 1613.43 507 6773406
147.19/147.26	o 3644158
147.80/147.86	c 142.521 1613.44 513 7069841
147.80/147.86	o 2593555
148.90/148.93	c 143.271 1614.21 719 7249422
148.90/148.93	o 2584040
150.30/150.39	c 144.345 1613.85 1222 7549252
150.30/150.39	o 2553648
151.30/151.30	c 145.021 1615.39 1334 7832687
151.30/151.30	o 2533949
156.89/156.96	c 149.146 1615.66 2503 8090426
156.89/156.96	o 2533250
158.20/158.22	c 150.111 1615.8 2816 8316154
158.20/158.22	o 2523347
163.50/163.58	c 154.122 1615.96 4442 8598134
163.50/163.58	o 2514340
172.70/172.73	c 160.873 1616 7356 8963468
172.70/172.73	o 2513847
175.40/175.43	c 162.907 1616.25 8000 9195802
175.40/175.43	o 2513447
176.01/176.09	c 163.381 1616.29 8091 9363486
176.01/176.09	o 2513249
178.59/178.60	c 165.232 1617.1 8402 9662090
178.59/178.60	o 2483749
179.20/179.27	c 165.709 1617.14 8406 9936885
179.20/179.27	o 1653445
179.90/179.90	c 166.166 1617.17 8407 10097474
179.90/179.90	o 1644052
180.40/180.48	c 166.577 1617.21 8409 10189611
180.40/180.48	o 1644040
181.09/181.16	c 167.051 1617.24 8425 10352952
181.09/181.16	o 1643839
181.80/181.80	c 167.506 1617.28 8440 10629220
181.80/181.80	o 1614046
182.80/182.82	c 168.258 1616.81 8498 10794004
182.80/182.82	o 1604052
184.70/184.77	c 169.632 1616.86 8754 11097468
184.70/184.77	o 1593245
185.50/185.50	c 170.143 1616.9 8765 11372095
185.50/185.50	o 1543247
186.40/186.40	c 170.802 1616.95 8799 11647437
186.40/186.40	o 1513454
187.01/187.09	c 171.289 1617 8847 11750690
187.01/187.09	o 1513445
187.60/187.69	c 171.714 1616.91 8876 11844078
187.60/187.69	o 1513351
189.39/189.40	c 172.985 1617.09 9142 12029695
189.39/189.40	o 1503647
207.30/207.32	c 186.017 1618.18 12987 12559932
207.30/207.32	o 1493245
209.89/209.93	c 187.998 1618.46 13749 12750284
209.89/209.93	o 1493153
210.99/211.09	c 188.871 1618.55 14059 13069404
210.99/211.09	o 593453
212.10/212.20	c 189.649 1619.62 14298 13087849
212.10/212.20	o 593452
212.79/212.80	c 190.074 1619.67 14322 13259133
212.79/212.80	o 592750
213.40/213.42	c 190.52 1619.72 14431 13428970
213.40/213.42	o 583953
214.60/214.62	c 191.401 1619.89 14813 13735320
214.60/214.62	o 573651
215.19/215.22	c 191.848 1619.94 14875 14010089
215.19/215.22	o 553848
217.10/217.12	c 193.259 1619.58 2927 14200454
217.10/217.12	o 553655
218.00/218.01	c 193.913 1619.6 3024 14363103
218.00/218.01	o 553449
218.60/218.65	c 194.396 1619.62 3175 14639282
218.60/218.65	o 533747
219.20/219.26	c 194.836 1619.65 3175 14913506
219.20/219.26	o 463858
220.20/220.29	c 195.576 1619.54 3235 15078570
220.20/220.29	o 454351
222.30/222.37	c 197.237 1619.7 4562 15391953
222.30/222.37	o 453545
231.50/231.52	c 204.118 1619.85 7111 15721246
231.50/231.52	o 453239
232.40/232.40	c 204.772 1620 7337 15907779
232.40/232.40	o 443249
233.40/233.43	c 205.542 1619.39 7568 16196381
233.40/233.43	o 394161
306.20/306.27	c 259.928 1622.5 25937 17547065
306.20/306.27	o 394060
311.90/311.97	c 264.215 1622.9 27611 17829037
311.90/311.97	o 392548
422.50/422.55	c 347.672 1632.36 66910 20298842
422.50/422.55	o 383345
433.60/433.68	c 356.094 1633.01 70224 20799313
433.60/433.68	o 354149
725.11/725.17	c 578.669 1650.45 85808 26817930
725.11/725.17	o 353146
1166.73/1166.72	c 915.596 1654.41 28560 36338829
1166.73/1166.72	o 343338
1222.22/1222.20	c 958.152 1654.41 51283 37846474
1222.22/1222.20	o 342645
1800.05/1800.00	s SATISFIABLE
1800.05/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	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-2701305-1278539236/watcher-2701305-1278539236 -o /tmp/evaluation-result-2701305-1278539236/solver-2701305-1278539236 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701305-1278539236.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.92 1.98 1.93 4/196 17919
/proc/meminfo: memFree=30030132/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=2136 CPUtime=0
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 268 0 0 0 0 0 0 0 22 0 1 0 22137769 2187264 188 4089446400 134512640 136422188 4291313344 18446744073709551615 135152359 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17919/statm: 534 188 144 467 0 65 0

[startup+0.023287 s]
/proc/loadavg: 1.92 1.98 1.93 4/196 17919
/proc/meminfo: memFree=30030132/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=2532 CPUtime=0.02
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 351 0 0 0 2 0 0 0 22 0 1 0 22137769 2592768 271 4089446400 134512640 136422188 4291313344 18446744073709551615 135377397 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17919/statm: 633 271 144 467 0 164 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2532

[startup+0.100269 s]
/proc/loadavg: 1.92 1.98 1.93 4/196 17919
/proc/meminfo: memFree=30030132/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=3708 CPUtime=0.09
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 683 0 0 0 9 0 0 0 22 0 1 0 22137769 3796992 505 4089446400 134512640 136422188 4291313344 18446744073709551615 135162520 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17919/statm: 927 505 144 467 0 458 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3708

[startup+0.300231 s]
/proc/loadavg: 1.92 1.98 1.93 4/196 17919
/proc/meminfo: memFree=30030132/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=5936 CPUtime=0.29
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 1387 0 0 0 29 0 0 0 22 0 1 0 22137769 6078464 1080 4089446400 134512640 136422188 4291313344 18446744073709551615 134523872 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17919/statm: 1484 1080 144 467 0 1015 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5936

[startup+0.700171 s]
/proc/loadavg: 1.92 1.98 1.93 4/196 17919
/proc/meminfo: memFree=30030132/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=14420 CPUtime=0.69
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 3823 0 0 0 69 0 0 0 23 0 1 0 22137769 14766080 2746 4089446400 134512640 136422188 4291313344 18446744073709551615 135372799 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17919/statm: 3605 2746 144 467 0 3136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14420

[startup+1.50101 s]
/proc/loadavg: 1.92 1.98 1.93 3/197 17920
/proc/meminfo: memFree=30017600/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=26700 CPUtime=1.49
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 7496 0 0 0 149 0 0 0 25 0 1 0 22137769 27340800 5394 4089446400 134512640 136422188 4291313344 18446744073709551615 135372816 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17919/statm: 6675 5394 144 467 0 6206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26700

[startup+3.10072 s]
/proc/loadavg: 2.01 2.00 1.93 3/197 17920
/proc/meminfo: memFree=29877108/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=398836 CPUtime=3.09
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 105109 0 0 0 298 11 0 0 25 0 1 0 22137769 408408064 96461 4089446400 134512640 136422188 4291313344 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17919/statm: 99709 96462 195 467 0 99240 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 398836

[startup+6.30013 s]
/proc/loadavg: 2.01 2.00 1.93 3/197 17920
/proc/meminfo: memFree=29147828/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1131048 CPUtime=6.29
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 299890 0 0 0 595 34 0 0 25 0 1 0 22137769 1158193152 273573 4089446400 134512640 136422188 4291313344 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17919/statm: 282762 273574 195 467 0 282293 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1131048

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.93 3/197 17920
/proc/meminfo: memFree=28512588/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1558352 CPUtime=12.69
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 410443 0 0 0 1223 46 0 0 25 0 1 0 22137769 1595752448 378834 4089446400 134512640 136422188 4291313344 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17919/statm: 389588 378834 211 467 0 389119 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1558352

[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.93 3/197 17920
/proc/meminfo: memFree=28506052/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1564760 CPUtime=25.49
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 412057 0 0 0 2503 46 0 0 25 0 1 0 22137769 1602314240 380448 4089446400 134512640 136422188 4291313344 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17919/statm: 391190 380448 211 467 0 390721 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1564760

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.93 3/197 17922
/proc/meminfo: memFree=28499984/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1570700 CPUtime=51.09
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 413544 0 0 0 5063 46 0 0 25 0 1 0 22137769 1608396800 381935 4089446400 134512640 136422188 4291313344 18446744073709551615 135017816 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17919/statm: 392675 381935 211 467 0 392206 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1570700

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/197 17922
/proc/meminfo: memFree=28490384/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1580132 CPUtime=102.3
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 416480 0 0 0 10183 47 0 0 25 0 1 0 22137769 1618055168 384292 4089446400 134512640 136422188 4291313344 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17919/statm: 395033 384292 211 467 0 394564 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1580132

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 6/200 17927
/proc/meminfo: memFree=28458076/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1654580 CPUtime=162.29
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 438142 0 0 0 15320 909 0 0 25 0 1 0 22137769 1694289920 392151 4089446400 134512640 136422188 4291313344 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/17919/statm: 413645 392151 239 467 0 413176 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1654580

[startup+222.3 s]
/proc/loadavg: 2.06 2.03 1.94 3/179 18002
/proc/meminfo: memFree=28353704/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1659728 CPUtime=222.3
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 458805 0 0 0 19716 2514 0 0 25 0 1 0 22137769 1699561472 393315 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 414932 393316 239 467 0 414463 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1659728

[startup+282.301 s]
/proc/loadavg: 2.02 2.02 1.94 3/179 18004
/proc/meminfo: memFree=28346352/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1659808 CPUtime=282.3
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 466365 0 0 0 24230 4000 0 0 25 0 1 0 22137769 1699643392 393357 4089446400 134512640 136422188 4291313344 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 414952 393357 239 467 0 414483 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1659808

[startup+342.301 s]
/proc/loadavg: 2.05 2.03 1.95 3/179 18006
/proc/meminfo: memFree=28337236/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1664456 CPUtime=342.3
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 471214 0 0 0 28715 5515 0 0 25 0 1 0 22137769 1704402944 394516 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 416114 394516 239 467 0 415645 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1664456

[startup+402.301 s]
/proc/loadavg: 2.02 2.02 1.95 3/179 18006
/proc/meminfo: memFree=28326284/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1669324 CPUtime=402.3
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 473193 0 0 0 33203 7027 0 0 25 0 1 0 22137769 1709387776 395724 4089446400 134512640 136422188 4291313344 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 417331 395724 239 467 0 416862 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1669324

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 18008
/proc/meminfo: memFree=28313572/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1674360 CPUtime=462.31
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 479849 0 0 0 37796 8435 0 0 25 0 1 0 22137769 1714544640 396988 4089446400 134512640 136422188 4291313344 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 418590 396988 239 467 0 418121 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1674360

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 18010
/proc/meminfo: memFree=28305088/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1677780 CPUtime=522.31
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 482327 0 0 0 42353 9878 0 0 25 0 1 0 22137769 1718046720 397779 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 419445 397779 239 467 0 418976 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1677780

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18012
/proc/meminfo: memFree=28293132/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1682396 CPUtime=582.31
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 487164 0 0 0 46942 11289 0 0 25 0 1 0 22137769 1722773504 398962 4089446400 134512640 136422188 4291313344 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 420599 398962 239 467 0 420130 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1682396

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18014
/proc/meminfo: memFree=28290484/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1682396 CPUtime=642.31
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 487164 0 0 0 51493 12738 0 0 25 0 1 0 22137769 1722773504 398962 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 420599 398962 239 467 0 420130 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1682396

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 18018
/proc/meminfo: memFree=28279060/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1693720 CPUtime=822.32
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 491548 0 0 0 65268 16964 0 0 25 0 1 0 22137769 1734369280 401814 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 423430 401814 239 467 0 422961 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1693720

[startup+882.301 s]
/proc/loadavg: 2.07 2.02 1.96 3/179 18029
/proc/meminfo: memFree=28277808/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1694116 CPUtime=882.31
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 491633 0 0 0 69831 18400 0 0 25 0 1 0 22137769 1734774784 401899 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 423529 401899 239 467 0 423060 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1694116

[startup+942.301 s]
/proc/loadavg: 2.02 2.01 1.96 3/179 18031
/proc/meminfo: memFree=28278012/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1694116 CPUtime=942.32
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 491633 0 0 0 74435 19797 0 0 25 0 1 0 22137769 1734774784 401899 4089446400 134512640 136422188 4291313344 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 423529 401899 239 467 0 423060 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1694116

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 18031
/proc/meminfo: memFree=28277848/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1694116 CPUtime=1002.32
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 491633 0 0 0 78998 21234 0 0 25 0 1 0 22137769 1734774784 401899 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 423529 401899 239 467 0 423060 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1694116

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18033
/proc/meminfo: memFree=28273196/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1694116 CPUtime=1062.32
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 491633 0 0 0 83598 22634 0 0 25 0 1 0 22137769 1734774784 401899 4089446400 134512640 136422188 4291313344 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 423529 401899 239 467 0 423060 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1694116

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18035
/proc/meminfo: memFree=28267688/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1694116 CPUtime=1122.32
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 491634 0 0 0 88187 24045 0 0 25 0 1 0 22137769 1734774784 401900 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 423529 401900 239 467 0 423060 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1694116

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18037
/proc/meminfo: memFree=28264036/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1694116 CPUtime=1182.32
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 491636 0 0 0 92759 25473 0 0 25 0 1 0 22137769 1734774784 401901 4089446400 134512640 136422188 4291313344 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 423529 401901 239 467 0 423060 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1694116

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18039
/proc/meminfo: memFree=28263616/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1694116 CPUtime=1242.33
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 491637 0 0 0 97346 26887 0 0 25 0 1 0 22137769 1734774784 401901 4089446400 134512640 136422188 4291313344 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 423529 401901 239 467 0 423060 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1694116

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18039
/proc/meminfo: memFree=28263688/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1694116 CPUtime=1302.34
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 491637 0 0 0 101854 28380 0 0 25 0 1 0 22137769 1734774784 401901 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 423529 401901 239 467 0 423060 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1694116

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18041
/proc/meminfo: memFree=28263396/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1694116 CPUtime=1362.33
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 491637 0 0 0 106281 29952 0 0 25 0 1 0 22137769 1734774784 401901 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 423529 401901 239 467 0 423060 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1694116

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18043
/proc/meminfo: memFree=28257276/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1700188 CPUtime=1422.34
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 493178 0 0 0 111241 30993 0 0 25 0 1 0 22137769 1740992512 403442 4089446400 134512640 136422188 4291313344 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 425047 403442 239 467 0 424578 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1700188

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18045
/proc/meminfo: memFree=28252516/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1705340 CPUtime=1482.34
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 494388 0 0 0 115971 32263 0 0 25 0 1 0 22137769 1746268160 404652 4089446400 134512640 136422188 4291313344 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 426335 404652 239 467 0 425866 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1705340

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18047
/proc/meminfo: memFree=28252596/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1705340 CPUtime=1542.34
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 494388 0 0 0 120575 33659 0 0 25 0 1 0 22137769 1746268160 404652 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 426335 404652 239 467 0 425866 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1705340

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18047
/proc/meminfo: memFree=28252560/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1705340 CPUtime=1602.34
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 494388 0 0 0 125108 35126 0 0 25 0 1 0 22137769 1746268160 404652 4089446400 134512640 136422188 4291313344 18446744073709551615 135022426 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 426335 404652 239 467 0 425866 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1705340

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18049
/proc/meminfo: memFree=28244076/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1705340 CPUtime=1662.34
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 494388 0 0 0 129703 36531 0 0 25 0 1 0 22137769 1746268160 404652 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 426335 404652 239 467 0 425866 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1705340

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18051
/proc/meminfo: memFree=28234724/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1705340 CPUtime=1722.35
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 494388 0 0 0 134276 37959 0 0 25 0 1 0 22137769 1746268160 404652 4089446400 134512640 136422188 4291313344 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 426335 404652 239 467 0 425866 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1705340

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18053
/proc/meminfo: memFree=28234668/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1705340 CPUtime=1782.35
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 494388 0 0 0 138909 39326 0 0 25 0 1 0 22137769 1746268160 404652 4089446400 134512640 136422188 4291313344 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 426335 404652 239 467 0 425866 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1705340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.02 1.96 3/179 18053
/proc/meminfo: memFree=28234660/32951124 swapFree=67111528/67111528
[pid=17919] ppid=17917 vsize=1705340 CPUtime=1800.05
/proc/17919/stat : 17919 (pbct) R 17917 17919 17303 0 -1 4202496 494388 0 0 0 140258 39747 0 0 25 0 1 0 22137769 1746268160 404652 4089446400 134512640 136422188 4291313344 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/17919/statm: 426335 404652 239 467 0 425866 0
Current children cumulated CPU time (s) 1800.05
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

Child status: 0
Real time (s): 1800.06
CPU time (s): 1800.12
CPU user time (s): 1402.59
CPU system time (s): 397.532
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1705340

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

runsolver used 2.74858 second user time and 5.99709 second system time

The end

Launcher Data 

Begin job on node105 at 2010-07-07 23:47:17
IDJOB=2701305
IDBENCH=79557
IDSOLVER=1212
FILE ID=node105/2701305-1278539236
PBS_JOBID= 11239268
Free space on /tmp= 73608 MiB

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

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

MD5SUM BENCH= 2dd7369dce38347df0a942929e2a998a
RANDOM SEED=241082697

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30030652 kB
Buffers:        127700 kB
Cached:        2398436 kB
SwapCached:          0 kB
Active:        1260236 kB
Inactive:      1516588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30030652 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10508 kB
Writeback:           0 kB
AnonPages:      250224 kB
Mapped:          20288 kB
Slab:            79636 kB
PageTables:       5088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1657408 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= 73600 MiB
End job on node105 at 2010-07-08 00:17:19