Trace number 454770

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, and are wall clock time (not CPU 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
bsolo 3.0.16SAT-60 1800.04 1800.75

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_2.opb
MD5SUMe40e55fe30ea19a1cae02f7f820bc9fe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-78
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -78
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint45
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15670
Sum of products size (including duplicates)31340
Number of different products7835
Sum of products size15670

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/454770-1178030891/instance-454770-1178030891.opb
0.00/0.00	c File size is 202610 bytes.
0.00/0.09	c Highest Coefficient sum: 500
0.00/0.09	c Parsing was ok!!
0.00/0.09	c Total parsing time: 0.092 s
0.09/0.12	c Var: 16170 Constr: 32340 16170/500/15670 Lit: 125360 Watch. Lit: 94020
0.09/0.12	c Obj. Vars: 500 (3.09215 % of total variables)
0.49/0.56	c Pre-processing Time: 0.565 s
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c        0    500     7835    23505    3    15670    2611      0      0 0.56
0.49/0.57	c Switching off LPR mode.
0.49/0.57	o -56	0.568
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c        0    500     7836    24005    3    15728    3611      1      0 0.57
0.49/0.57	o -57	0.572
1.09/1.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.15	c       10    500     7847    28921    3    15807    3611     12     17 0.57
1.09/1.15	c      110    500     7947    72956    9    16007    3973    112    182 0.60
1.09/1.15	c      361    500     8198   183401   22    16509    4371    363    534 0.68
1.09/1.15	c      837    500     8674   392484   45    17461    4809    839   1013 0.83
1.09/1.15	c     1650    500     9487   750159   79    19087    5290   1652   1432 1.15
1.09/1.15	o -58	1.155
1.09/1.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.18	c     1650    500     9488   750659   79    19147    3611   1653   1427 1.16
1.09/1.18	o -59	1.178
18.29/18.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.35	c     1719    500     9558   781472   81    19346    3611   1723   1458 1.18
18.29/18.35	c     1819    500     9658   825272   85    19546    3973   1823   1499 1.21
18.29/18.35	c     2069    500     9908   934799   94    20046    4371   2073   1572 1.32
18.29/18.35	c     2544    500    10383  1142764  110    20996    4809   2548   1700 1.50
18.29/18.35	c     3357    500    11196  1498611  133    22622    5290   3361   1735 1.93
18.29/18.35	c     4677    500    12516  2076189  165    25262    5820   4681   1742 2.68
18.29/18.35	c     6759    500    14598  2987149  204    29426    6403   6763   1747 3.87
18.29/18.35	c     9982    500    17821  4397940  246    35872    7044   9986   1788 5.58
18.29/18.35	c    14918    500    22757  6561038  288    45744    7749  14922   1371 10.88
18.29/18.35	o -60	18.346
1799.98/1800.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.98/1800.72	c    20071    500    27911  8817047  315    56112    3611  20076   1093 18.35
1799.98/1800.72	c    20171    500     9742   857702   88    19544    3973   1907   1053 19.14
1799.98/1800.72	c    20421    500     9992   966891   96    20044    4371   2157   1063 19.21
1799.98/1800.72	c    20896    500    10467  1174401  112    20994    4809   2632   1080 19.34
1799.98/1800.72	c    21710    500    11281  1529975  135    22622    5290   3446   1105 19.63
1799.98/1800.72	c    23030    500    12601  2106360  167    25262    5820   4766   1134 20.31
1799.98/1800.72	c    25111    500    14682  3015171  205    29424    6403   6847   1174 21.39
1799.98/1800.72	c    28334    500    17905  4422257  246    35870    7044  10070   1202 23.57
1799.98/1800.72	c    33272    500    22843  6578836  288    45746    7749  15008   1242 26.77
1799.98/1800.72	c    40779    500    30350  9856149  324    60760    8524  22515   1193 34.18
1799.98/1800.72	c    52141    500    21314  5908243  277    42688    9377  13479   1021 51.04
1799.98/1800.72	c    69285    500    17633  4301580  243    35326   10315   9798    854 81.09
1799.98/1800.72	c    95104    500    22155  6276492  283    44370   11347  14320    736 129.09
1799.98/1800.72	c   133937    500    17368  4184274  240    34796   12482   9533    647 206.78
1799.98/1800.72	c   192292    500    30967 10118237  326    61994   13731  23132    524 366.37
1799.98/1800.72	c   279925    500    26602  8218375  308    53264   15105  18767    411 680.35
1799.98/1800.72	c   411478    500    16076  3622847  225    32212   16616   8241    342 1200.96
1799.98/1800.72	c Resources Exceeded
1799.98/1800.72	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
1799.98/1800.72	v -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
1799.98/1800.72	v -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
1799.98/1800.72	v -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
1799.98/1800.72	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 x128
1799.98/1800.72	v -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1799.98/1800.72	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1799.98/1800.72	v -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191
1799.98/1800.72	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 x212
1799.98/1800.72	v -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 x221 -x222 -x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233
1799.98/1800.72	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254
1799.98/1800.72	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 -x270 -x271 -x272 -x273 -x274 -x275
1799.98/1800.72	v -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296
1799.98/1800.72	v -x297 -x298 -x299 x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 x315 -x316 -x317
1799.98/1800.72	v -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1799.98/1800.72	v -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359
1799.98/1800.72	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380
1799.98/1800.72	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1799.98/1800.72	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422
1799.98/1800.72	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443
1799.98/1800.72	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464
1799.98/1800.72	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 x481 -x482 -x483 -x484 x485
1799.98/1800.72	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 x499 -x500
1799.98/1800.72	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.98/1800.72	c   33   584879  96505   729920    18413  4640556  10578    324 1800.00
1799.98/1800.72	c Objective: -60
1799.98/1800.72	s SATISFIABLE
1799.98/1800.72	c Total time: 1800 s

Verifier Data (download as text)

OK	-60

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node38/watcher-454770-1178030891 -o ROOT/results/node38/solver-454770-1178030891 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454770-1178030891/instance-454770-1178030891.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.72 0.91 0.97 3/77 18211
/proc/meminfo: memFree=1793344/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=11936 CPUtime=0
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 235255794 12222464 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 2984 335 281 324 0 2003 0

[startup+0.0126391 s]
/proc/loadavg: 0.72 0.91 0.97 3/77 18211
/proc/meminfo: memFree=1793344/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=4536 CPUtime=0
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 490 0 0 0 0 0 0 0 18 0 1 0 235255794 4644864 459 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 1134 460 296 324 0 153 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4536

[startup+0.101656 s]
/proc/loadavg: 0.72 0.91 0.97 3/77 18211
/proc/meminfo: memFree=1793344/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=8976 CPUtime=0.09
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 1689 0 0 0 9 0 0 0 18 0 1 0 235255794 9191424 1608 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9040028 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 2244 1608 302 324 0 1313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8976

[startup+0.301693 s]
/proc/loadavg: 0.72 0.91 0.97 3/77 18211
/proc/meminfo: memFree=1793344/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=12820 CPUtime=0.29
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 2589 0 0 0 28 1 0 0 19 0 1 0 235255794 13127680 2508 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 3205 2508 307 324 0 2274 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12820

[startup+0.701771 s]
/proc/loadavg: 0.72 0.91 0.97 3/77 18211
/proc/meminfo: memFree=1793344/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=14980 CPUtime=0.69
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 3336 0 0 0 67 2 0 0 23 0 1 0 235255794 15339520 3063 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 3745 3063 313 324 0 2814 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14980

[startup+1.50192 s]
/proc/loadavg: 0.74 0.91 0.97 2/78 18212
/proc/meminfo: memFree=1777592/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=25900 CPUtime=1.49
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 6053 0 0 0 146 3 0 0 25 0 1 0 235255794 26521600 5780 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 6475 5780 313 324 0 5544 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25900

[startup+3.10123 s]
/proc/loadavg: 0.74 0.91 0.97 2/78 18212
/proc/meminfo: memFree=1765112/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=41956 CPUtime=3.09
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 10090 0 0 0 304 5 0 0 25 0 1 0 235255794 42962944 9817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 10489 9818 313 324 0 9558 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41956

[startup+6.30185 s]
/proc/loadavg: 0.74 0.91 0.97 2/78 18212
/proc/meminfo: memFree=1731384/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=74652 CPUtime=6.28
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 18244 0 0 0 619 9 0 0 25 0 1 0 235255794 76443648 17971 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 18663 17971 313 324 0 17732 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 74652

[startup+12.7011 s]
/proc/loadavg: 0.78 0.91 0.97 2/78 18212
/proc/meminfo: memFree=1695240/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=104796 CPUtime=12.69
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 25787 0 0 0 1255 14 0 0 25 0 1 0 235255794 107311104 25514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 26199 25514 313 324 0 25268 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104796

[startup+25.5015 s]
/proc/loadavg: 0.81 0.91 0.97 2/78 18212
/proc/meminfo: memFree=1673672/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=123192 CPUtime=25.48
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 30395 0 0 0 2530 18 0 0 25 0 1 0 235255794 126148608 30122 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 30798 30122 313 324 0 29867 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 123192

[startup+51.1015 s]
/proc/loadavg: 0.87 0.92 0.97 2/78 18212
/proc/meminfo: memFree=1646920/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=149924 CPUtime=51.08
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 37083 0 0 0 5083 25 0 0 25 0 1 0 235255794 153522176 36810 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 37481 36810 313 324 0 36550 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149924

[startup+102.305 s]
/proc/loadavg: 0.95 0.93 0.97 2/78 18212
/proc/meminfo: memFree=1642184/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=154660 CPUtime=102.26
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 38272 0 0 0 10195 31 0 0 25 0 1 0 235255794 158371840 37999 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 38665 37999 313 324 0 37734 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 154660

[startup+162.302 s]
/proc/loadavg: 0.98 0.94 0.97 2/78 18212
/proc/meminfo: memFree=1630664/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=166084 CPUtime=162.24
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 41127 0 0 0 16184 40 0 0 25 0 1 0 235255794 170070016 40854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 41521 40854 313 324 0 40590 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 166084

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.97 2/78 18212
/proc/meminfo: memFree=1630344/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=166368 CPUtime=222.21
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 41197 0 0 0 22176 45 0 0 25 0 1 0 235255794 170360832 40924 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 41592 40924 313 324 0 40661 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 166368

[startup+282.302 s]
/proc/loadavg: 0.99 0.95 0.97 2/78 18212
/proc/meminfo: memFree=1624200/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=172456 CPUtime=282.2
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 42720 0 0 0 28169 51 0 0 25 0 1 0 235255794 176594944 42447 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 43114 42447 313 324 0 42183 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 172456

[startup+342.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 18212
/proc/meminfo: memFree=1623944/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=172712 CPUtime=342.17
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 42788 0 0 0 34163 54 0 0 25 0 1 0 235255794 176857088 42515 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 43178 42515 313 324 0 42247 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 172712

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18212
/proc/meminfo: memFree=1617224/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=179428 CPUtime=402.16
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 44464 0 0 0 40157 59 0 0 25 0 1 0 235255794 183734272 44191 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 44857 44191 313 324 0 43926 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 179428

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18212
/proc/meminfo: memFree=1617288/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=179428 CPUtime=462.13
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 44464 0 0 0 46151 62 0 0 25 0 1 0 235255794 183734272 44191 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 44857 44191 313 324 0 43926 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 179428

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18212
/proc/meminfo: memFree=1616904/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=179804 CPUtime=522.11
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 44558 0 0 0 52145 66 0 0 25 0 1 0 235255794 184119296 44285 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 44951 44285 313 324 0 44020 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 179804

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18212
/proc/meminfo: memFree=1617544/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=179036 CPUtime=582.09
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 44558 0 0 0 58140 69 0 0 25 0 1 0 235255794 183332864 44096 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 44759 44096 313 324 0 43828 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 179036

[startup+642.302 s]
/proc/loadavg: 1.04 0.99 0.97 2/78 18212
/proc/meminfo: memFree=1617608/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=179036 CPUtime=642.08
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 44558 0 0 0 64134 74 0 0 25 0 1 0 235255794 183332864 44096 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 44759 44096 313 324 0 43828 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 179036


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

/proc/meminfo: memFree=1609352/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=187324 CPUtime=1061.83
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 46783 0 0 0 106082 101 0 0 25 0 1 0 235255794 191819776 46166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9039570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 46831 46166 313 324 0 45900 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 187324

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1609352/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=187388 CPUtime=1121.81
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 46799 0 0 0 112076 105 0 0 25 0 1 0 235255794 191885312 46182 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 46847 46182 313 324 0 45916 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 187388

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1609352/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=187388 CPUtime=1181.79
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 46799 0 0 0 118070 109 0 0 25 0 1 0 235255794 191885312 46182 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 46847 46182 313 324 0 45916 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 187388

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1609160/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=187492 CPUtime=1241.77
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 46826 0 0 0 124065 112 0 0 25 0 1 0 235255794 191991808 46209 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 46873 46209 313 324 0 45942 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 187492

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1600776/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195900 CPUtime=1301.76
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48929 0 0 0 130057 119 0 0 25 0 1 0 235255794 200601600 48312 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48975 48312 313 324 0 48044 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 195900

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1600648/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195948 CPUtime=1361.73
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48941 0 0 0 136052 121 0 0 25 0 1 0 235255794 200650752 48324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573416 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48987 48324 313 324 0 48056 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 195948

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1600712/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195948 CPUtime=1421.71
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48941 0 0 0 142046 125 0 0 25 0 1 0 235255794 200650752 48324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48987 48324 313 324 0 48056 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 195948

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1600712/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195900 CPUtime=1481.69
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48941 0 0 0 148040 129 0 0 25 0 1 0 235255794 200601600 48312 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48975 48312 313 324 0 48044 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 195900

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1600712/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195996 CPUtime=1541.66
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48965 0 0 0 154034 132 0 0 25 0 1 0 235255794 200699904 48336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48999 48336 313 324 0 48068 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 195996

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1600648/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195996 CPUtime=1601.64
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48965 0 0 0 160027 137 0 0 25 0 1 0 235255794 200699904 48336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48999 48336 313 324 0 48068 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 195996

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1601032/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195496 CPUtime=1661.63
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 48965 0 0 0 166022 141 0 0 25 0 1 0 235255794 200187904 48211 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48874 48211 313 324 0 47943 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 195496

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1600776/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195936 CPUtime=1721.6
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 172015 145 0 0 25 0 1 0 235255794 200638464 48321 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48984 48321 313 324 0 48053 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 195936

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1600776/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195936 CPUtime=1781.59
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 178010 149 0 0 25 0 1 0 235255794 200638464 48321 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48984 48321 313 324 0 48053 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 195936

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

[startup+1791.91 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1600776/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195936 CPUtime=1791.18
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 178969 149 0 0 25 0 1 0 235255794 200638464 48321 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48984 48321 313 324 0 48053 0
Current children cumulated CPU time (s) 1791.18
Current children cumulated vsize (KiB) 195936

[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1601032/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195496 CPUtime=1794.38
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 179289 149 0 0 25 0 1 0 235255794 200187904 48211 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48874 48211 313 324 0 47943 0
Current children cumulated CPU time (s) 1794.38
Current children cumulated vsize (KiB) 195496

[startup+1798.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1601096/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195424 CPUtime=1797.58
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 179608 150 0 0 25 0 1 0 235255794 200114176 48193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48856 48193 313 324 0 47925 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 195424

[startup+1799.9 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1601096/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195424 CPUtime=1799.18
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 179768 150 0 0 25 0 1 0 235255794 200114176 48193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48856 48193 313 324 0 47925 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 195424

[startup+1800.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1601096/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195424 CPUtime=1799.58
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 179808 150 0 0 25 0 1 0 235255794 200114176 48193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48856 48193 313 324 0 47925 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 195424

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 18410
/proc/meminfo: memFree=1601096/2055920 swapFree=4154564/4192956
[pid=18211] ppid=18209 vsize=195424 CPUtime=1799.98
/proc/18211/stat : 18211 (bsolo3.0.16) R 18209 18211 17848 0 -1 4194304 49075 0 0 0 179848 150 0 0 25 0 1 0 235255794 200114176 48193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18211/statm: 48856 48193 313 324 0 47925 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 195424

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.04
CPU user time (s): 1798.51
CPU system time (s): 1.53377
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 195996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.51
system time used= 1.53377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49076
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= 12
involuntary context switches= 38230

runsolver used 1.40379 second user time and 3.9634 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Tue May  1 14:48:11 UTC 2007

IDJOB= 454770
IDBENCH= 48219
IDSOLVER= 163
FILE ID= node38/454770-1178030891

PBS_JOBID= 4728390

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454770-1178030891/instance-454770-1178030891.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-454770-1178030891 -o ROOT/results/node38/solver-454770-1178030891 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454770-1178030891/instance-454770-1178030891.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  e40e55fe30ea19a1cae02f7f820bc9fe

RANDOM SEED= 244615098

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.263
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.263
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1793816 kB
Buffers:         51072 kB
Cached:         128248 kB
SwapCached:       6796 kB
Active:          97560 kB
Inactive:       105128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1793816 kB
SwapTotal:     4192956 kB
SwapFree:      4154564 kB
Dirty:            6984 kB
Writeback:           0 kB
Mapped:          29928 kB
Slab:            44676 kB
Committed_AS:  3833740 kB
PageTables:       2060 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node38 on Tue May  1 15:18:12 UTC 2007