Trace number 2682110

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.1 fixedSAT (TO)24266 1800.06 1800.51

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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.00	c constraints 120/0 clauses 60/0 units 0
0.00/0.00	c vars 556
0.00/0.00	c objective 304 + 0
0.09/0.15	c 0.136979 11.918 100 810
0.09/0.15	o 284968
0.09/0.16	c 0.146977 12.2812 133 1060
0.09/0.16	o 277207
0.09/0.17	c 0.150977 12.2812 133 1256
0.09/0.17	o 276092
0.09/0.17	c 0.154976 12.2812 134 1468
0.09/0.17	o 270818
0.09/0.18	c 0.158975 12.2812 135 1666
0.09/0.18	o 270401
0.09/0.18	c 0.162975 12.2812 137 1888
0.09/0.18	o 257103
0.09/0.19	c 0.173973 12.2812 158 2115
0.09/0.19	o 251988
0.09/0.20	c 0.176973 12.2812 159 2389
0.09/0.20	o 249246
0.19/0.20	c 0.180972 12.2812 159 2642
0.19/0.20	o 238010
0.19/0.20	c 0.184971 12.2812 160 2912
0.19/0.20	o 229493
0.19/0.21	c 0.188971 12.2812 160 3201
0.19/0.21	o 229130
0.19/0.21	c 0.19197 12.2812 160 3464
0.19/0.21	o 224790
0.19/0.22	c 0.19497 12.2812 166 3754
0.19/0.22	o 218483
0.19/0.22	c 0.197969 12.2812 170 4064
0.19/0.23	o 207897
0.19/0.23	c 0.203968 12.2812 175 4334
0.19/0.23	o 207757
0.19/0.24	c 0.207968 12.2812 177 4595
0.19/0.24	o 207572
0.19/0.26	c 0.222966 12.2812 239 4925
0.19/0.26	o 203190
0.19/0.26	c 0.226965 12.2812 240 5218
0.19/0.26	o 194066
0.19/0.27	c 0.230964 12.2812 240 5498
0.19/0.27	o 189614
0.19/0.27	c 0.235964 12.2812 241 5798
0.19/0.27	o 171477
0.19/0.28	c 0.238963 12.2812 241 6097
0.19/0.28	o 171227
0.19/0.28	c 0.241963 12.2812 241 6372
0.19/0.28	o 163284
0.19/0.28	c 0.244962 12.2812 241 6660
0.19/0.28	o 163257
0.19/0.29	c 0.246962 12.2812 241 6948
0.19/0.29	o 158300
0.19/0.29	c 0.251961 12.2812 243 7196
0.19/0.29	o 152967
0.29/0.30	c 0.255961 12.2812 243 7496
0.29/0.30	o 136226
0.29/0.30	c 0.25996 12.2812 243 7792
0.29/0.30	o 130592
0.29/0.31	c 0.26296 12.2812 243 8085
0.29/0.31	o 129779
0.29/0.31	c 0.266959 12.2812 243 8390
0.29/0.31	o 117654
0.29/0.32	c 0.269958 12.2812 243 8706
0.29/0.32	o 114167
0.29/0.32	c 0.274958 12.2812 243 9011
0.29/0.32	o 108092
0.29/0.32	c 0.279957 12.2812 243 9299
0.29/0.32	o 93348
0.29/0.33	c 0.283956 12.2812 243 9586
0.29/0.33	o 87497
0.29/0.33	c 0.287956 12.2812 245 9869
0.29/0.33	o 81181
0.29/0.34	c 0.291955 12.2812 254 10169
0.29/0.34	o 77257
0.29/0.35	c 0.296954 12.2812 256 10429
0.29/0.35	o 76950
0.29/0.35	c 0.300954 12.2812 259 10699
0.29/0.35	o 76627
0.29/0.36	c 0.308953 12.2812 280 11041
0.29/0.36	o 76566
0.29/0.37	c 0.32295 12.4062 322 11385
0.29/0.37	o 74923
0.39/0.40	c 0.347947 12.4062 419 11829
0.39/0.40	o 69257
0.69/0.77	c 0.657899 12.7852 667 13869
0.69/0.77	o 63013
0.69/0.78	c 0.665898 12.7852 674 14302
0.69/0.78	o 62258
0.79/0.81	c 0.697893 12.7852 794 15279
0.79/0.81	o 56646
1.10/1.13	c 0.965853 13.043 1094 18134
1.10/1.13	o 56054
1.10/1.16	c 0.995848 13.043 1210 18825
1.10/1.16	o 54827
1.10/1.17	c 0.999848 13.043 1211 19038
1.10/1.17	o 53485
1.10/1.18	c 1.00785 13.043 1236 19322
1.10/1.18	o 52395
1.29/1.38	c 1.16382 13.043 1257 22330
1.29/1.38	o 52383
1.29/1.39	c 1.17282 13.043 1267 22693
1.29/1.39	o 51452
1.29/1.39	c 1.17582 13.043 1268 22999
1.29/1.39	o 51381
1.39/1.41	c 1.18482 13.043 1297 23440
1.39/1.41	o 51232
1.39/1.45	c 1.21781 13.1719 727 24130
1.39/1.45	o 50470
1.49/1.51	c 1.27581 13.1719 908 24810
1.49/1.51	o 49819
1.49/1.54	c 1.3028 13.1719 1004 25185
1.49/1.54	o 49701
1.49/1.57	c 1.3278 13.1719 1105 26041
1.49/1.57	o 49241
1.59/1.62	c 1.36979 13.1719 1233 26608
1.59/1.62	o 48631
1.79/1.87	c 1.57776 13.1719 1275 29075
1.79/1.87	o 48281
1.89/1.90	c 1.60675 13.1719 693 29724
1.89/1.90	o 44903
1.89/1.90	c 1.61075 13.1719 694 30013
1.89/1.91	o 41445
1.89/1.91	c 1.61275 13.1719 694 30281
1.89/1.91	o 35794
2.49/2.56	c 2.15067 13.1719 1265 35096
2.49/2.56	o 34444
3.20/3.20	c 2.68759 13.1719 1014 40556
3.20/3.20	o 34215
3.39/3.41	c 2.86256 13.1719 850 42574
3.39/3.41	o 33912
4.49/4.53	c 3.81742 13.5586 975 49557
4.49/4.53	o 31308
6.89/6.92	c 5.84511 14.7148 1460 62745
6.89/6.92	o 31196
25.69/25.79	c 21.6487 14.832 1021 169575
25.69/25.79	o 29292
31.59/31.66	c 26.484 14.793 2874 207340
31.59/31.66	o 29149
36.29/36.33	c 30.3474 14.793 1490 241701
36.29/36.33	o 28162
40.88/40.92	c 34.2208 15.5664 1423 266719
40.88/40.92	o 28061
42.98/43.05	c 36.0005 15.5664 800 280256
42.98/43.05	o 27363
79.87/79.92	c 66.9978 15.6953 1746 465649
79.87/79.92	o 26797
89.66/89.76	c 75.2266 15.6953 1217 516576
89.66/89.76	o 26618
97.87/97.99	c 82.1565 15.6953 1262 559252
97.87/97.99	o 26240
111.57/111.63	c 93.6708 15.9609 1160 623800
111.57/111.63	o 25199
226.34/226.47	c 190.978 16.4492 1081 1117766
226.34/226.47	o 25027
461.89/462.09	c 389.771 16.4492 1401 2094195
461.89/462.09	o 24761
654.93/655.14	c 553.202 16.543 1656 2969258
654.93/655.14	o 24314
1054.64/1054.93	c 891.392 17.0312 1573 4724386
1054.64/1054.93	o 24266
1800.05/1800.50	s SATISFIABLE
1800.05/1800.50	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	24266

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682110-1277477338/watcher-2682110-1277477338 -o /tmp/evaluation-result-2682110-1277477338/solver-2682110-1277477338 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682110-1277477338.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: 0.91 0.95 0.80 3/106 23121
/proc/meminfo: memFree=1812092/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=2268 CPUtime=0
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 123335114 2322432 196 1992294400 134512640 136421960 4293643248 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23121/statm: 567 196 145 467 0 98 0

[startup+0.0277051 s]
/proc/loadavg: 0.91 0.95 0.80 3/106 23121
/proc/meminfo: memFree=1812092/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=5024 CPUtime=0.02
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 975 0 0 0 2 0 0 0 20 0 1 0 123335114 5144576 895 1992294400 134512640 136421960 4293643248 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 1256 897 193 467 0 787 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5024

[startup+0.100711 s]
/proc/loadavg: 0.91 0.95 0.80 3/106 23121
/proc/meminfo: memFree=1812092/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=11632 CPUtime=0.09
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 2577 0 0 0 8 1 0 0 20 0 1 0 123335114 11911168 2497 1992294400 134512640 136421960 4293643248 18446744073709551615 134911544 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 2908 2497 203 467 0 2439 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11632

[startup+0.30073 s]
/proc/loadavg: 0.91 0.95 0.80 3/106 23121
/proc/meminfo: memFree=1812092/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=12572 CPUtime=0.29
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 2839 0 0 0 25 4 0 0 20 0 1 0 123335114 12873728 2734 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 3143 2734 236 467 0 2674 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12572

[startup+0.700767 s]
/proc/loadavg: 0.91 0.95 0.80 3/106 23121
/proc/meminfo: memFree=1812092/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=12828 CPUtime=0.69
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 2919 0 0 0 59 10 0 0 20 0 1 0 123335114 13135872 2799 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 3207 2799 236 467 0 2738 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12828

[startup+1.50084 s]
/proc/loadavg: 0.91 0.95 0.80 2/107 23122
/proc/meminfo: memFree=1801420/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=13484 CPUtime=1.49
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3064 0 0 0 126 23 0 0 22 0 1 0 123335114 13807616 2932 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 3371 2932 237 467 0 2902 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13484

[startup+3.10099 s]
/proc/loadavg: 0.91 0.95 0.80 2/107 23122
/proc/meminfo: memFree=1801048/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=13484 CPUtime=3.09
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3097 0 0 0 259 50 0 0 25 0 1 0 123335114 13807616 2956 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 3371 2956 237 467 0 2902 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13484

[startup+6.30028 s]
/proc/loadavg: 0.92 0.95 0.80 2/107 23122
/proc/meminfo: memFree=1799436/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=15064 CPUtime=6.29
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3477 0 0 0 532 97 0 0 25 0 1 0 123335114 15425536 3333 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 3766 3333 237 467 0 3297 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15064

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.80 2/107 23122
/proc/meminfo: memFree=1799064/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=15064 CPUtime=12.69
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3478 0 0 0 1067 202 0 0 25 0 1 0 123335114 15425536 3333 1992294400 134512640 136421960 4293643248 18446744073709551615 134868553 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 3766 3333 237 467 0 3297 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15064

[startup+25.501 s]
/proc/loadavg: 0.94 0.96 0.80 2/107 23122
/proc/meminfo: memFree=1799064/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=15184 CPUtime=25.48
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3518 0 0 0 2141 407 0 0 25 0 1 0 123335114 15548416 3373 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 3796 3373 237 467 0 3327 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15184

[startup+51.1004 s]
/proc/loadavg: 0.96 0.96 0.81 2/107 23122
/proc/meminfo: memFree=1798444/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=15936 CPUtime=51.08
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3698 0 0 0 4271 837 0 0 25 0 1 0 123335114 16318464 3546 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 3984 3546 237 467 0 3515 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15936

[startup+102.308 s]
/proc/loadavg: 0.98 0.96 0.82 2/107 23124
/proc/meminfo: memFree=1797948/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=16068 CPUtime=102.27
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3757 0 0 0 8578 1649 0 0 25 0 1 0 123335114 16453632 3602 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4017 3602 237 467 0 3548 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16068

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 23126
/proc/meminfo: memFree=1797204/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=16840 CPUtime=162.26
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3947 0 0 0 13650 2576 0 0 25 0 1 0 123335114 17244160 3781 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4210 3781 237 467 0 3741 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 16840

[startup+222.301 s]
/proc/loadavg: 1.08 1.00 0.84 2/107 23128
/proc/meminfo: memFree=1797204/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=16840 CPUtime=222.24
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3947 0 0 0 18745 3479 0 0 25 0 1 0 123335114 17244160 3781 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4210 3781 237 467 0 3741 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 16840

[startup+282.301 s]
/proc/loadavg: 1.06 1.01 0.85 2/107 23128
/proc/meminfo: memFree=1797080/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=16840 CPUtime=282.22
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3948 0 0 0 23799 4423 0 0 25 0 1 0 123335114 17244160 3781 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4210 3781 237 467 0 3741 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 16840

[startup+342.301 s]
/proc/loadavg: 1.13 1.04 0.87 2/107 23130
/proc/meminfo: memFree=1796956/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=16840 CPUtime=342.21
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3948 0 0 0 28815 5406 0 0 25 0 1 0 123335114 17244160 3781 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4210 3781 237 467 0 3741 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 16840

[startup+402.301 s]
/proc/loadavg: 1.12 1.04 0.88 3/107 23132
/proc/meminfo: memFree=1796832/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=16840 CPUtime=402.19
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3948 0 0 0 33919 6300 0 0 25 0 1 0 123335114 17244160 3781 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4210 3781 237 467 0 3741 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 16840

[startup+462.301 s]
/proc/loadavg: 1.11 1.05 0.89 2/107 23134
/proc/meminfo: memFree=1796832/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=16840 CPUtime=462.18
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3949 0 0 0 38994 7224 0 0 25 0 1 0 123335114 17244160 3781 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4210 3781 237 467 0 3741 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 16840

[startup+522.301 s]
/proc/loadavg: 1.08 1.05 0.90 2/107 23136
/proc/meminfo: memFree=1796708/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=16840 CPUtime=522.17
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3962 0 0 0 44074 8143 0 0 25 0 1 0 123335114 17244160 3794 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4210 3794 237 467 0 3741 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 16840

[startup+582.301 s]
/proc/loadavg: 1.03 1.04 0.91 2/107 23136
/proc/meminfo: memFree=1796708/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=16840 CPUtime=582.15
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 3962 0 0 0 49121 9094 0 0 25 0 1 0 123335114 17244160 3794 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4210 3794 237 467 0 3741 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 16840

[startup+642.301 s]
/proc/loadavg: 1.01 1.03 0.91 2/107 23138
/proc/meminfo: memFree=1796584/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=16936 CPUtime=642.14
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4041 0 0 0 54232 9982 0 0 25 0 1 0 123335114 17342464 3820 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4234 3820 237 467 0 3765 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 16936

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.01 0.91 2/107 23153
/proc/meminfo: memFree=1795840/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17168 CPUtime=882.06
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4095 0 0 0 74522 13684 0 0 25 0 1 0 123335114 17580032 3873 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4292 3873 237 467 0 3823 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 17168

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 23155
/proc/meminfo: memFree=1795592/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=942.05
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4193 0 0 0 79655 14550 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 17436

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 23157
/proc/meminfo: memFree=1795592/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1002.04
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4193 0 0 0 84703 15501 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 17436

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 23159
/proc/meminfo: memFree=1795592/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1062.02
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 89757 16445 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 17436

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 23161
/proc/meminfo: memFree=1795592/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1122.01
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 94847 17354 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 17436

[startup+1182.3 s]
/proc/loadavg: 1.07 1.02 0.91 2/107 23161
/proc/meminfo: memFree=1795468/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1182
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 99891 18309 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 17436

[startup+1242.3 s]
/proc/loadavg: 1.02 1.01 0.91 2/107 23163
/proc/meminfo: memFree=1795220/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1241.97
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 104941 19256 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 17436

[startup+1302.3 s]
/proc/loadavg: 1.01 1.00 0.91 2/107 23165
/proc/meminfo: memFree=1795096/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1301.97
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 110014 20183 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 17436

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 23167
/proc/meminfo: memFree=1795096/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1361.94
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 115107 21087 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 17436

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 23169
/proc/meminfo: memFree=1795096/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1421.94
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 120141 22053 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 17436

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 23169
/proc/meminfo: memFree=1795096/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1481.92
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 125190 23002 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 17436

[startup+1542.3 s]
/proc/loadavg: 1.04 1.01 0.92 2/107 23174
/proc/meminfo: memFree=1794352/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1541.9
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 130270 23920 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 17436

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 0.92 2/107 23176
/proc/meminfo: memFree=1794600/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1601.89
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 135308 24881 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 17436

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 23178
/proc/meminfo: memFree=1794600/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1661.88
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 140390 25798 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 17436

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 23180
/proc/meminfo: memFree=1794600/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17436 CPUtime=1721.87
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4194 0 0 0 145456 26731 0 0 25 0 1 0 123335114 17854464 3945 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4359 3945 237 467 0 3890 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 17436

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 23180
/proc/meminfo: memFree=1794724/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17700 CPUtime=1781.85
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4243 0 0 0 150612 27573 0 0 25 0 1 0 123335114 18124800 3994 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4425 3994 237 467 0 3956 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 17700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 23182
/proc/meminfo: memFree=1794724/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17612 CPUtime=1800.05
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4252 0 0 0 152205 27800 0 0 25 0 1 0 123335114 18034688 3989 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4403 3989 237 467 0 3934 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 17612

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 23182
/proc/meminfo: memFree=1794724/2059040 swapFree=4135508/4192956
[pid=23121] ppid=23119 vsize=17612 CPUtime=1800.05
/proc/23121/stat : 23121 (pbct) R 23119 23121 22887 0 -1 4202496 4252 0 0 0 152205 27800 0 0 25 0 1 0 123335114 18034688 3989 1992294400 134512640 136421960 4293643248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23121/statm: 4403 3989 237 467 0 3934 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 17612

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1522.05
CPU system time (s): 278.008
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 17792

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

runsolver used 2.74758 second user time and 8.73867 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-25 16:48:58
IDJOB=2682110
IDBENCH=1528
IDSOLVER=1192
FILE ID=node015/2682110-1277477338
PBS_JOBID= 11190521
Free space on /tmp= 62412 MiB

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

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

MD5SUM BENCH= fbf213ed65afe4e66abc3948eb02a29f
RANDOM SEED=2104420222

node015.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.244
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.48
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.244
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.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1812612 kB
Buffers:         42704 kB
Cached:         102764 kB
SwapCached:      10404 kB
Active:          17672 kB
Inactive:       141224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1812612 kB
SwapTotal:     4192956 kB
SwapFree:      4135508 kB
Dirty:            1948 kB
Writeback:           0 kB
AnonPages:       12028 kB
Mapped:           8400 kB
Slab:            65432 kB
PageTables:       4204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181448 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 node015 at 2010-06-25 17:19:00