Trace number 2668516

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 NameAnswerobjective functionCPU timeWall clock time
PB/CT 0.1SAT (TO)37094 1800.1 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-gt2.opb
MD5SUMfbf213ed65afe4e66abc3948eb02a29f
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21166
Best CPU time to get the best result obtained on this benchmark4.76028
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21166
Optimality of the best value was proved NO
Number of variables556
Total number of constraints180
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints178
Minimum length of a constraint2
Maximum length of a constraint48
Number of terms in the objective function 304
Biggest coefficient in the objective function 62376
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 3092598
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 62376
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 3092598
Number of bits of the biggest sum of numbers22
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 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 92/0 clauses 88/0 units 0
0.00/0.00	c vars 556
0.00/0.00	c objective 304 + 0
0.09/0.15	c 0.142978 11.707 115 826
0.09/0.15	o 292646
0.09/0.16	c 0.146977 12.1758 116 1087
0.09/0.16	o 239589
0.09/0.17	c 0.153976 12.1758 119 1600
0.09/0.17	o 232081
0.09/0.17	c 0.156976 12.1758 119 1860
0.09/0.17	o 187006
0.09/0.18	c 0.160975 12.1758 121 2100
0.09/0.18	o 186993
0.09/0.18	c 0.164974 12.1758 122 2342
0.09/0.18	o 182903
0.09/0.18	c 0.169974 12.1758 124 2594
0.09/0.18	o 180820
0.09/0.19	c 0.172973 12.1758 125 2842
0.09/0.19	o 180553
0.09/0.19	c 0.177972 12.1758 125 3074
0.09/0.19	o 177043
0.19/0.20	c 0.180972 12.1758 125 3299
0.19/0.20	o 176150
0.19/0.20	c 0.184971 12.1758 125 3534
0.19/0.20	o 174899
0.19/0.21	c 0.187971 12.1758 125 3790
0.19/0.21	o 173995
0.19/0.21	c 0.19297 12.1758 125 4026
0.19/0.21	o 170449
0.19/0.21	c 0.19597 12.1758 125 4251
0.19/0.21	o 169489
0.19/0.22	c 0.199969 12.1758 125 4682
0.19/0.22	o 167454
0.19/0.23	c 0.202969 12.1758 125 4918
0.19/0.23	o 162115
0.19/0.23	c 0.206968 12.1758 125 5151
0.19/0.23	o 159072
0.19/0.24	c 0.211967 12.1758 129 5400
0.19/0.24	o 159015
0.19/0.24	c 0.215967 12.1758 129 5609
0.19/0.24	o 156363
0.19/0.24	c 0.217966 12.1758 130 5828
0.19/0.24	o 155805
0.19/0.25	c 0.221966 12.1758 130 6055
0.19/0.25	o 149605
0.19/0.25	c 0.222966 12.1758 130 6239
0.19/0.25	o 149031
0.19/0.26	c 0.226965 12.1758 132 6457
0.19/0.26	o 146122
0.19/0.26	c 0.229965 12.1758 136 6727
0.19/0.26	o 144945
0.19/0.27	c 0.234964 12.1758 145 7002
0.19/0.27	o 140724
0.29/0.32	c 0.280957 12.1758 247 7466
0.29/0.32	o 135638
0.29/0.33	c 0.284956 12.1758 248 7696
0.29/0.33	o 122711
0.29/0.33	c 0.291955 12.1758 265 7957
0.29/0.33	o 119982
0.29/0.37	c 0.32795 12.1758 368 8536
0.29/0.37	o 116279
0.29/0.38	c 0.332949 12.1758 368 8833
0.29/0.38	o 113542
0.29/0.38	c 0.334949 12.1758 369 9137
0.29/0.38	o 104214
0.29/0.39	c 0.339948 12.1758 369 9415
0.29/0.39	o 101421
0.29/0.39	c 0.342947 12.1758 369 9722
0.29/0.39	o 96435
0.40/0.43	c 0.378942 12.1758 498 10445
0.40/0.43	o 95108
0.40/0.48	c 0.423935 12.1758 600 10902
0.40/0.48	o 95053
0.49/0.50	c 0.439933 12.1758 658 11274
0.49/0.50	o 94970
0.49/0.52	c 0.45693 12.1758 735 11681
0.49/0.52	o 89605
0.49/0.59	c 0.511922 12.3047 918 12313
0.49/0.59	o 89181
0.49/0.60	c 0.52092 12.3047 935 12601
0.49/0.60	o 88067
0.60/0.60	c 0.52292 12.3047 938 12894
0.60/0.60	o 84415
0.60/0.61	c 0.526919 12.3047 938 13209
0.60/0.61	o 82769
0.60/0.61	c 0.530919 12.3047 938 13523
0.60/0.61	o 78535
0.60/0.62	c 0.535918 12.3047 950 13850
0.60/0.62	o 77359
0.60/0.62	c 0.539917 12.3047 951 14146
0.60/0.62	o 76464
0.60/0.68	c 0.58791 12.4336 1127 14910
0.60/0.68	o 75407
0.60/0.69	c 0.593909 12.4336 1147 15213
0.60/0.69	o 75277
0.89/0.94	c 0.803877 12.4336 1126 16716
0.89/0.94	o 73013
0.89/0.95	c 0.809876 12.4336 1132 17039
0.89/0.95	o 69261
1.00/1.01	c 0.863868 12.4336 1351 17725
1.00/1.01	o 68519
1.00/1.02	c 0.873867 12.4336 705 18091
1.00/1.02	o 68311
1.79/1.89	c 1.59776 12.5586 1252 25011
1.79/1.89	o 68040
1.89/1.94	c 1.63875 12.5586 787 25831
1.89/1.94	o 67907
1.99/2.02	c 1.70174 12.5586 988 26740
1.99/2.02	o 67723
1.99/2.02	c 1.70574 12.5586 988 27008
1.99/2.02	o 63470
1.99/2.03	c 1.71074 12.5586 990 27263
1.99/2.03	o 63055
1.99/2.03	c 1.71374 12.5586 993 27548
1.99/2.03	o 62153
1.99/2.04	c 1.71874 12.5586 995 27844
1.99/2.04	o 61492
1.99/2.04	c 1.72174 12.5586 1001 28129
1.99/2.04	o 57426
2.59/2.65	c 2.21766 12.9336 1398 32764
2.59/2.65	o 57367
2.69/2.71	c 2.26965 12.9336 887 33382
2.69/2.71	o 57107
16.98/17.04	c 14.0889 13.8164 822 118741
16.98/17.04	o 49976
35.88/35.95	c 29.8765 14.5742 1446 219989
35.88/35.95	o 49669
36.08/36.14	c 30.0384 14.5742 1285 221767
36.08/36.14	o 46805
90.46/90.59	c 75.1946 14.75 2038 504553
90.46/90.59	o 46748
96.16/96.24	c 79.8939 14.75 1299 536706
96.16/96.24	o 46357
110.55/110.60	c 91.79 14.75 1032 611879
110.55/110.60	o 45766
160.04/160.10	c 132.756 14.8789 2622 858718
160.04/160.10	o 45690
160.84/160.93	c 133.427 14.8789 1320 863800
160.84/160.93	o 45350
186.13/186.29	c 154.268 14.8789 780 1006886
186.13/186.29	o 44996
187.72/187.80	c 155.49 14.8789 1127 1014061
187.72/187.80	o 44333
211.62/211.74	c 175.181 14.9492 1736 1130301
211.62/211.74	o 43854
223.72/223.81	c 185.06 15.207 1774 1193699
223.72/223.81	o 43640
286.29/286.48	c 237.094 15.2891 1175 1493487
286.29/286.48	o 43579
329.68/329.83	c 272.909 15.2891 2596 1714319
329.68/329.83	o 43467
355.47/355.67	c 295.096 16.0312 2516 1810153
355.47/355.67	o 42694
368.16/368.31	c 305.477 16.0312 888 1875524
368.16/368.31	o 39756
368.16/368.32	c 305.484 16.0312 910 1875809
368.16/368.32	o 39662
407.96/408.11	c 338.513 16.0312 2370 2068166
407.96/408.11	o 39394
453.74/453.90	c 376.496 16.0312 881 2262717
453.74/453.90	o 38845
540.81/541.08	c 449.042 16.0312 1597 2666101
540.81/541.08	o 38804
545.01/545.23	c 452.499 16.0312 1242 2685974
545.01/545.23	o 38270
548.11/548.37	c 455.081 16.0312 1867 2701577
548.11/548.37	o 37893
1020.35/1020.78	c 847.967 16.5273 943 4861903
1020.35/1020.78	o 37361
1359.72/1360.22	c 1130.65 16.5273 1443 6321040
1359.72/1360.22	o 37094
1800.10/1800.71	s SATISFIABLE
1800.10/1800.71	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

Verifier Data 

OK	37094

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668516-1276437000/watcher-2668516-1276437000 -o /tmp/evaluation-result-2668516-1276437000/solver-2668516-1276437000 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668516-1276437000.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.98 3/106 24868
/proc/meminfo: memFree=1847872/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=2340 CPUtime=0
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 19301577 2396160 204 1992294400 134512640 136485738 4291063936 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24868/statm: 585 204 156 482 0 101 0

[startup+0.0465169 s]
/proc/loadavg: 1.00 0.99 0.98 3/106 24868
/proc/meminfo: memFree=1847872/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=6308 CPUtime=0.03
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 1280 0 0 0 3 0 0 0 20 0 1 0 19301577 6459392 1202 1992294400 134512640 136485738 4291063936 18446744073709551615 135565441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 1577 1202 198 482 0 1093 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6308

[startup+0.101526 s]
/proc/loadavg: 1.00 0.99 0.98 3/106 24868
/proc/meminfo: memFree=1847872/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=11076 CPUtime=0.09
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 2474 0 0 0 9 0 0 0 20 0 1 0 19301577 11341824 2396 1992294400 134512640 136485738 4291063936 18446744073709551615 135857125 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 2769 2396 210 482 0 2285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11076

[startup+0.301562 s]
/proc/loadavg: 1.00 0.99 0.98 3/106 24868
/proc/meminfo: memFree=1847872/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=12464 CPUtime=0.29
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 2777 0 0 0 25 4 0 0 20 0 1 0 19301577 12763136 2674 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 3116 2674 243 482 0 2632 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12464

[startup+0.701633 s]
/proc/loadavg: 1.00 0.99 0.98 3/106 24868
/proc/meminfo: memFree=1847872/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=12728 CPUtime=0.69
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 2876 0 0 0 60 9 0 0 20 0 1 0 19301577 13033472 2752 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 3182 2752 244 482 0 2698 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12728

[startup+1.50178 s]
/proc/loadavg: 1.00 0.99 0.98 2/107 24869
/proc/meminfo: memFree=1837696/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=12856 CPUtime=1.49
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 2912 0 0 0 126 23 0 0 22 0 1 0 19301577 13164544 2784 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 3214 2784 244 482 0 2730 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12856

[startup+3.10106 s]
/proc/loadavg: 1.00 0.99 0.98 2/107 24869
/proc/meminfo: memFree=1837324/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=13240 CPUtime=3.09
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3039 0 0 0 258 51 0 0 25 0 1 0 19301577 13557760 2901 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 3310 2901 244 482 0 2826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13240

[startup+6.30163 s]
/proc/loadavg: 1.00 0.99 0.98 2/107 24869
/proc/meminfo: memFree=1836464/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=14016 CPUtime=6.29
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3206 0 0 0 522 107 0 0 25 0 1 0 19301577 14352384 3068 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 3504 3068 244 482 0 3020 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14016

[startup+12.7008 s]
/proc/loadavg: 1.00 0.99 0.98 2/107 24869
/proc/meminfo: memFree=1835968/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=14016 CPUtime=12.68
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3206 0 0 0 1052 216 0 0 25 0 1 0 19301577 14352384 3068 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 3504 3068 244 482 0 3020 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14016

[startup+25.5011 s]
/proc/loadavg: 1.00 0.99 0.98 2/107 24869
/proc/meminfo: memFree=1835596/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=14276 CPUtime=25.49
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3287 0 0 0 2112 437 0 0 25 0 1 0 19301577 14618624 3148 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 3569 3148 244 482 0 3085 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14276

[startup+51.1016 s]
/proc/loadavg: 1.00 0.99 0.98 2/107 24871
/proc/meminfo: memFree=1834976/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=14920 CPUtime=51.07
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3444 0 0 0 4242 865 0 0 25 0 1 0 19301577 15278080 3303 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 3730 3303 244 482 0 3246 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14920

[startup+102.309 s]
/proc/loadavg: 1.00 0.99 0.98 2/107 24871
/proc/meminfo: memFree=1834728/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=15100 CPUtime=102.26
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3515 0 0 0 8489 1737 0 0 25 0 1 0 19301577 15462400 3369 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 3775 3369 244 482 0 3291 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 15100

[startup+162.302 s]
/proc/loadavg: 1.03 1.00 0.98 2/107 24873
/proc/meminfo: memFree=1834480/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=15232 CPUtime=162.23
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3543 0 0 0 13449 2774 0 0 25 0 1 0 19301577 15597568 3394 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 3808 3394 244 482 0 3324 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 15232

[startup+222.301 s]
/proc/loadavg: 1.01 1.00 0.98 2/107 24875
/proc/meminfo: memFree=1834356/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=15304 CPUtime=222.22
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3565 0 0 0 18379 3843 0 0 25 0 1 0 19301577 15671296 3413 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 3826 3413 244 482 0 3342 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 15304

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24877
/proc/meminfo: memFree=1833736/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=15652 CPUtime=282.19
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3732 0 0 0 23357 4862 0 0 25 0 1 0 19301577 16027648 3507 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 3913 3507 244 482 0 3429 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 15652

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24877
/proc/meminfo: memFree=1833364/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16164 CPUtime=342.18
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3844 0 0 0 28361 5857 0 0 25 0 1 0 19301577 16551936 3617 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4041 3617 244 482 0 3557 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 16164

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24879
/proc/meminfo: memFree=1833116/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16412 CPUtime=402.16
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3931 0 0 0 33369 6847 0 0 25 0 1 0 19301577 16805888 3697 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4103 3697 244 482 0 3619 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 16412

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24881
/proc/meminfo: memFree=1833116/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16412 CPUtime=462.13
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3933 0 0 0 38341 7872 0 0 25 0 1 0 19301577 16805888 3697 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4103 3697 244 482 0 3619 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 16412

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24883
/proc/meminfo: memFree=1832992/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16412 CPUtime=522.12
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3933 0 0 0 43323 8889 0 0 25 0 1 0 19301577 16805888 3697 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4103 3697 244 482 0 3619 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 16412

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24885
/proc/meminfo: memFree=1832992/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16412 CPUtime=582.09
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3937 0 0 0 48315 9894 0 0 25 0 1 0 19301577 16805888 3698 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4103 3698 244 482 0 3619 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 16412

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24885
/proc/meminfo: memFree=1832992/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16412 CPUtime=642.08
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 3937 0 0 0 53285 10923 0 0 25 0 1 0 19301577 16805888 3698 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4103 3698 244 482 0 3619 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 16412

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24902
/proc/meminfo: memFree=1831628/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=881.99
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4081 0 0 0 73294 14905 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 16920

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24902
/proc/meminfo: memFree=1831628/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=941.97
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4081 0 0 0 78275 15922 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 16920

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24904
/proc/meminfo: memFree=1831628/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1001.94
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4081 0 0 0 83271 16923 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 16920

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24906
/proc/meminfo: memFree=1831628/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1061.93
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4082 0 0 0 88281 17912 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 16920

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24908
/proc/meminfo: memFree=1831628/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1121.9
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4082 0 0 0 93259 18931 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 16920

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24910
/proc/meminfo: memFree=1831628/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1181.88
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4082 0 0 0 98245 19943 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 16920

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24910
/proc/meminfo: memFree=1831628/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1241.87
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4082 0 0 0 103183 21004 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 16920

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24912
/proc/meminfo: memFree=1831628/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1301.86
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4082 0 0 0 108250 21936 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 16920

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24914
/proc/meminfo: memFree=1831628/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1361.83
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4083 0 0 0 113236 22947 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 16920

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24916
/proc/meminfo: memFree=1831504/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1421.81
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4083 0 0 0 118212 23969 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 16920

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24921
/proc/meminfo: memFree=1831256/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1481.78
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4083 0 0 0 123162 25016 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 16920

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24921
/proc/meminfo: memFree=1831628/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1541.77
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4083 0 0 0 128162 26015 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 16920

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24923
/proc/meminfo: memFree=1831504/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1601.74
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4083 0 0 0 133097 27077 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 16920

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24925
/proc/meminfo: memFree=1831504/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1661.72
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4083 0 0 0 138082 28090 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 16920

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24927
/proc/meminfo: memFree=1831504/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1721.71
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4083 0 0 0 143061 29110 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 16920

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24929
/proc/meminfo: memFree=1831504/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1781.68
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4083 0 0 0 148097 30071 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 16920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24929
/proc/meminfo: memFree=1831504/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1800.1
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4083 0 0 0 149657 30353 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 16920

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 24929
/proc/meminfo: memFree=1831504/2059040 swapFree=4136716/4192956
[pid=24868] ppid=24866 vsize=16920 CPUtime=1800.1
/proc/24868/stat : 24868 (pbct) R 24866 24868 23781 0 -1 4202496 4083 0 0 0 149657 30353 0 0 25 0 1 0 19301577 17326080 3825 1992294400 134512640 136485738 4291063936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24868/statm: 4230 3825 244 482 0 3746 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 16920

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1496.57
CPU system time (s): 303.534
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 17072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1496.57
system time used= 303.534
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4083
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= 2
involuntary context switches= 3923

runsolver used 3.00554 second user time and 8.47771 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-13 15:50:00
IDJOB=2668516
IDBENCH=1528
IDSOLVER=1170
FILE ID=node012/2668516-1276437000
PBS_JOBID= 11173312
Free space on /tmp= 62412 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668516-1276437000/watcher-2668516-1276437000 -o /tmp/evaluation-result-2668516-1276437000/solver-2668516-1276437000 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668516-1276437000.opb

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

MD5SUM BENCH= fbf213ed65afe4e66abc3948eb02a29f
RANDOM SEED=506496658

node012.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1848276 kB
Buffers:         13544 kB
Cached:         119952 kB
SwapCached:       9228 kB
Active:          63268 kB
Inactive:        82468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1848276 kB
SwapTotal:     4192956 kB
SwapFree:      4136716 kB
Dirty:            1996 kB
Writeback:           0 kB
AnonPages:       10892 kB
Mapped:           9292 kB
Slab:            43204 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180444 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62408 MiB
End job on node012 at 2010-06-13 16:20:03