Trace number 454176

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.17SAT (TO)-34 1800.1 1800.57

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_2.opb
MD5SUMfecc1e3404707b1609ea9647c91fc73f
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-36
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
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 constraint60
Maximum length of a constraint105
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)37488
Sum of products size (including duplicates)74976
Number of different products18744
Sum of products size37488

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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/454176-1178022416/instance-454176-1178022416.opb
0.00/0.00	c File size is 475041 bytes.
0.19/0.24	c Highest Coefficient sum: 500
0.19/0.24	c Parsing was ok!!
0.19/0.24	c Total parsing time: 0.236 s
0.29/0.30	c Var: 37988 Constr: 75976 37988/500/37488 Lit: 299904 Watch. Lit: 224928
0.29/0.30	c Obj. Vars: 500 (1.31621 % of total variables)
2.99/3.01	c Pre-processing Time: 3.013 s
2.99/3.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.02	c        0    500    18744    56232    3    37488    6248      0      0 3.01
2.99/3.02	c Switching off LPR mode.
2.99/3.02	o -31	3.022
2.99/3.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.03	c        0    500    18745    56732    3    37521    7248      1      0 3.02
2.99/3.03	o -32	3.027
1054.31/1054.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1054.31/1054.64	c        6    500    18752    60027    3    37567    7248      8      1 3.03
1054.31/1054.64	c      106    500    18852   106477    5    37767    7973    108     34 3.06
1054.31/1054.64	c      356    500    19102   222625   11    38267    8771    358    113 3.15
1054.31/1054.64	c      831    500    19577   443208   22    39217    9649    833    249 3.33
1054.31/1054.64	c     1644    500    20390   820848   40    40843   10614   1646    442 3.72
1054.31/1054.64	c     2964    500    21710  1433498   66    43483   11676   2966    644 4.60
1054.31/1054.64	c     5045    500    23791  2399341  100    47645   12844   5047    766 6.58
1054.31/1054.64	c     8269    500    27015  3895645  144    54093   14129   8271    852 9.70
1054.31/1054.64	c    13206    500    31952  6186052  193    63967   15542  13208    739 17.86
1054.31/1054.64	c    20712    500    39458  9668692  245    78979   17097  20714    688 30.09
1054.31/1054.64	c    32073    500    50819 14939136  293   101701   18807  32075    520 61.62
1054.31/1054.64	c    49218    500    67964 22896215  336   135991   20688  49220    454 108.39
1054.31/1054.64	c    75037    500    45472 12462214  274    90976   22757  26728    254 294.31
1054.31/1054.64	c   113870    500    34971  7584758  216    69974   25033  16227    208 546.51
1054.31/1054.64	c   172222    500    42502 11081118  260    85036   27537  23758    164 1047.20
1054.31/1054.64	o -33	1054.37
1775.63/1776.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1775.63/1776.18	c   174175    500    44456 11988759  269    88977    7248  25712    165 1054.37
1775.63/1776.18	c   174275    500    44556 12035072  270    89177    7973  25812    165 1054.47
1775.63/1776.18	c   174525    500    44806 12150958  271    89677    8771  26062    165 1054.77
1775.63/1776.18	c   175000    500    45281 12371150  273    90627    9649  26537    165 1055.00
1775.63/1776.18	c   175813    500    46094 12747601  276    92253   10614  27350    166 1055.55
1775.63/1776.18	c   177133    500    47414 13358945  281    94893   11676  28670    167 1058.99
1775.63/1776.18	c   179215    500    49496 14322298  289    99057   12844  30752    168 1061.17
1775.63/1776.18	c   182439    500    52720 15815202  299   105505   14129  33976    170 1067.05
1775.63/1776.18	c   187375    500    57656 18098768  313   115377   15542  38912    174 1076.62
1775.63/1776.18	c   194881    500    65162 21575209  331   130389   17097  46418    177 1096.43
1775.63/1776.18	c   206243    500    30016  5274197  175    60065   18807  11272    180 1144.95
1775.63/1776.18	c   223387    500    47160 13210569  280    94353   20688  28416    184 1209.82
1775.63/1776.18	c   249206    500    72979 25165410  344   145991   22757  54235    187 1326.31
1775.63/1776.18	c   288038    500    62470 20295827  324   124973   25033  43726    180 1597.87
1775.63/1776.18	o -34	1775.72
1800.03/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.50	c   311993    500    35558  7839400  220    71183    7248  16814    175 1775.72
1800.03/1800.50	c   312093    500    35658  7885668  221    71383    7973  16914    175 1775.81
1800.03/1800.50	c   312345    500    35910  8002148  222    71887    8771  17166    175 1775.96
1800.03/1800.50	c   312821    500    36386  8222011  225    72839    9649  17642    176 1776.21
1800.03/1800.50	c   313634    500    37199  8597576  231    74465   10614  18455    176 1776.68
1800.03/1800.50	c   314954    500    38519  9207177  239    77105   11676  19775    176 1779.54
1800.03/1800.50	c   317035    500    40600 10168542  250    81267   12844  21856    177 1781.58
1800.03/1800.50	c   320258    500    43823 11657901  266    87713   14129  25079    179 1785.23
1800.03/1800.50	c   325194    500    48759 13937929  285    97585   15542  30015    181 1791.15
1800.03/1800.50	c Caught signal: 15
1800.03/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
1800.03/1800.50	v -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
1800.03/1800.50	v -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
1800.03/1800.50	v -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
1800.03/1800.50	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.03/1800.50	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.03/1800.50	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168
1800.03/1800.50	v -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.03/1800.50	v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.03/1800.50	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231
1800.03/1800.50	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.03/1800.50	v -x253 -x254 -x255 -x256 x257 -x258 -x259 x260 -x261 x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.03/1800.50	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.03/1800.50	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.03/1800.50	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336
1800.03/1800.50	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.03/1800.50	v x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.03/1800.50	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399
1800.03/1800.50	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420
1800.03/1800.50	v x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.03/1800.50	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.03/1800.50	v -x463 x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 x484
1800.03/1800.50	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 x498 -x499 -x500
1800.03/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.50	c   39   330802  27633   365449    54367 16528655  35623    183 1800.04
1800.03/1800.50	c Objective: -34
1800.03/1800.50	s SATISFIABLE
1800.03/1800.50	c Total time: 1800.04 s

Verifier Data (download as text)

OK	-34

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node2/watcher-454176-1178022416 -o ROOT/results/node2/solver-454176-1178022416 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454176-1178022416/instance-454176-1178022416.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.92 0.98 0.99 3/77 24386
/proc/meminfo: memFree=1864248/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=12200 CPUtime=0
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 278279406 12492800 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 3050 333 279 324 0 2004 0

[startup+0.0741851 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24386
/proc/meminfo: memFree=1864248/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=8108 CPUtime=0.06
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 1332 0 0 0 6 0 0 0 18 0 1 0 278279406 8302592 1302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 2027 1303 325 324 0 981 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8108

[startup+0.102188 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24386
/proc/meminfo: memFree=1864248/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=9544 CPUtime=0.09
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 1699 0 0 0 9 0 0 0 18 0 1 0 278279406 9773056 1669 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 2386 1669 339 324 0 1340 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9544

[startup+0.302209 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24386
/proc/meminfo: memFree=1864248/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=24420 CPUtime=0.29
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 5599 0 0 0 27 2 0 0 19 0 1 0 278279406 25006080 5413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134561980 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 6105 5413 301 324 0 5175 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24420

[startup+0.702262 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24386
/proc/meminfo: memFree=1864248/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=24860 CPUtime=0.69
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 5643 0 0 0 67 2 0 0 22 0 1 0 278279406 25456640 5457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 6215 5457 305 324 0 5285 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24860

[startup+1.50133 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 24387
/proc/meminfo: memFree=1843568/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=24860 CPUtime=1.49
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 5643 0 0 0 147 2 0 0 25 0 1 0 278279406 25456640 5457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 6215 5457 305 324 0 5285 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24860

[startup+3.1015 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 24387
/proc/meminfo: memFree=1843440/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=25020 CPUtime=3.09
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 6189 0 0 0 304 5 0 0 25 0 1 0 278279406 25620480 5481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 6255 5481 311 324 0 5325 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25020

[startup+6.30183 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 24387
/proc/meminfo: memFree=1822064/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=49592 CPUtime=6.29
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 12345 0 0 0 621 8 0 0 25 0 1 0 278279406 50782208 11637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 12398 11637 311 324 0 11468 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49592

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 24387
/proc/meminfo: memFree=1784816/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=86112 CPUtime=12.69
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 21458 0 0 0 1257 12 0 0 25 0 1 0 278279406 88178688 20750 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 21528 20750 311 324 0 20598 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86112

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 24387
/proc/meminfo: memFree=1736048/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=132876 CPUtime=25.48
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 33159 0 0 0 2531 17 0 0 25 0 1 0 278279406 136065024 32451 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 33219 32451 311 324 0 32289 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 132876

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 24387
/proc/meminfo: memFree=1673968/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=194868 CPUtime=51.07
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 48669 0 0 0 5079 28 0 0 25 0 1 0 278279406 199544832 47961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 48717 47961 311 324 0 47787 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 194868

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 24387
/proc/meminfo: memFree=1563120/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=304808 CPUtime=102.26
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 76149 0 0 0 10181 45 0 0 25 0 1 0 278279406 312123392 75441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 76202 75441 311 324 0 75272 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 304808

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24387
/proc/meminfo: memFree=1508144/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=360028 CPUtime=162.24
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 89935 0 0 0 16171 53 0 0 25 0 1 0 278279406 368668672 89227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 90007 89227 311 324 0 89077 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 360028

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24387
/proc/meminfo: memFree=1499952/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=367416 CPUtime=222.23
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 91865 0 0 0 22168 55 0 0 25 0 1 0 278279406 376233984 91099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 91854 91099 311 324 0 90924 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 367416

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24387
/proc/meminfo: memFree=1499952/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=367416 CPUtime=282.21
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 91865 0 0 0 28166 55 0 0 25 0 1 0 278279406 376233984 91099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 91854 91099 311 324 0 90924 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 367416

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24387
/proc/meminfo: memFree=1499952/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=367416 CPUtime=342.19
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 91865 0 0 0 34164 55 0 0 25 0 1 0 278279406 376233984 91099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10968807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 91854 91099 311 324 0 90924 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 367416

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24387
/proc/meminfo: memFree=1499952/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=367416 CPUtime=402.18
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 91865 0 0 0 40162 56 0 0 25 0 1 0 278279406 376233984 91099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 91854 91099 311 324 0 90924 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 367416

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1500016/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=367416 CPUtime=462.16
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 91865 0 0 0 46160 56 0 0 25 0 1 0 278279406 376233984 91099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 91854 91099 311 324 0 90924 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 367416

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1482992/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=384260 CPUtime=522.15
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 96113 0 0 0 52155 60 0 0 25 0 1 0 278279406 393482240 95287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 96065 95287 311 324 0 95135 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 384260

[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1483056/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=384260 CPUtime=582.14
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 96113 0 0 0 58153 61 0 0 25 0 1 0 278279406 393482240 95287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 96065 95287 311 324 0 95135 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 384260

[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1483056/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=384260 CPUtime=642.12
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 96113 0 0 0 64151 61 0 0 25 0 1 0 278279406 393482240 95287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 96065 95287 311 324 0 95135 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 384260


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1483184/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=384260 CPUtime=882.06
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 96113 0 0 0 88142 64 0 0 25 0 1 0 278279406 393482240 95287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 96065 95287 311 324 0 95135 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 384260

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1471280/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=396508 CPUtime=942.04
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99186 0 0 0 94138 66 0 0 25 0 1 0 278279406 406024192 98360 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 99127 98360 311 324 0 98197 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 396508

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1469040/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=398124 CPUtime=1002.03
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99646 0 0 0 100136 67 0 0 25 0 1 0 278279406 407678976 98758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 99531 98758 311 324 0 98601 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 398124

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1469040/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=398124 CPUtime=1062.02
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99646 0 0 0 106134 68 0 0 25 0 1 0 278279406 407678976 98758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 99531 98758 311 324 0 98601 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 398124

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1469104/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=398124 CPUtime=1122
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99646 0 0 0 112132 68 0 0 25 0 1 0 278279406 407678976 98758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 99531 98758 311 324 0 98601 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 398124

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1499696/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=367364 CPUtime=1181.99
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99646 0 0 0 118129 70 0 0 25 0 1 0 278279406 376180736 91090 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 91841 91090 311 324 0 90911 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 367364

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1499696/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=367364 CPUtime=1241.96
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99646 0 0 0 124126 70 0 0 25 0 1 0 278279406 376180736 91090 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585066 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 91841 91090 311 324 0 90911 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 367364

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1499696/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=367364 CPUtime=1301.96
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99646 0 0 0 130125 71 0 0 25 0 1 0 278279406 376180736 91090 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 91841 91090 311 324 0 90911 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 367364

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1482800/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=384176 CPUtime=1361.94
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 103908 0 0 0 136120 74 0 0 25 0 1 0 278279406 393396224 95292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 96044 95292 311 324 0 95114 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 384176

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1482800/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=384176 CPUtime=1421.92
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 103908 0 0 0 142118 74 0 0 25 0 1 0 278279406 393396224 95292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 96044 95292 311 324 0 95114 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 384176

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1482800/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=384176 CPUtime=1481.9
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 103908 0 0 0 148116 74 0 0 25 0 1 0 278279406 393396224 95292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 96044 95292 311 324 0 95114 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 384176

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1482864/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=384176 CPUtime=1541.89
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 103908 0 0 0 154114 75 0 0 25 0 1 0 278279406 393396224 95292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 96044 95292 311 324 0 95114 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 384176

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1482864/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=384176 CPUtime=1601.87
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 103908 0 0 0 160112 75 0 0 25 0 1 0 278279406 393396224 95292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 96044 95292 311 324 0 95114 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 384176

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1482864/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=384176 CPUtime=1661.86
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 103908 0 0 0 166110 76 0 0 25 0 1 0 278279406 393396224 95292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 96044 95292 311 324 0 95114 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 384176

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1469616/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=397332 CPUtime=1721.84
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 107241 0 0 0 172106 78 0 0 25 0 1 0 278279406 406867968 98563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 99333 98563 311 324 0 98403 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 397332

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1469616/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=397332 CPUtime=1781.83
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 107241 0 0 0 178104 79 0 0 25 0 1 0 278279406 406867968 98563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 99333 98563 311 324 0 98403 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 397332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1469616/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=397332 CPUtime=1800.03
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 107241 0 0 0 179924 79 0 0 25 0 1 0 278279406 406867968 98563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 99333 98563 311 324 0 98403 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 397332

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: 0.99 0.98 0.99 2/78 24389
/proc/meminfo: memFree=1469616/2055920 swapFree=4148820/4192956
[pid=24386] ppid=24384 vsize=397332 CPUtime=1800.03
/proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 107241 0 0 0 179924 79 0 0 25 0 1 0 278279406 406867968 98563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24386/statm: 99333 98563 311 324 0 98403 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 397332

Child status: 15
Real time (s): 1800.57
CPU time (s): 1800.1
CPU user time (s): 1799.25
CPU system time (s): 0.858869
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 398124

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

runsolver used 1.34479 second user time and 4.00539 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Tue May  1 12:26:56 UTC 2007

IDJOB= 454176
IDBENCH= 48179
IDSOLVER= 199
FILE ID= node2/454176-1178022416

PBS_JOBID= 4728374

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_2.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454176-1178022416/instance-454176-1178022416.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-454176-1178022416 -o ROOT/results/node2/solver-454176-1178022416 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/454176-1178022416/instance-454176-1178022416.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  fecc1e3404707b1609ea9647c91fc73f

RANDOM SEED= 205116284

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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.234
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.234
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:       1864656 kB
Buffers:         35272 kB
Cached:          68336 kB
SwapCached:      12060 kB
Active:          75868 kB
Inactive:        50836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1864656 kB
SwapTotal:     4192956 kB
SwapFree:      4148820 kB
Dirty:            7068 kB
Writeback:           0 kB
Mapped:          30072 kB
Slab:            49952 kB
Committed_AS:  8934704 kB
PageTables:       1860 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 node2 on Tue May  1 12:56:59 UTC 2007