Trace number 454170

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 (TO)-34 1800.07 1800.52

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.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/454170-1178022343/instance-454170-1178022343.opb
0.00/0.00	c File size is 475041 bytes.
0.19/0.22	c Highest Coefficient sum: 500
0.19/0.22	c Parsing was ok!!
0.19/0.22	c Total parsing time: 0.217 s
0.19/0.28	c Var: 37988 Constr: 75976 37988/500/37488 Lit: 299904 Watch. Lit: 224928
0.19/0.28	c Obj. Vars: 500 (1.31621 % of total variables)
2.88/2.99	c Pre-processing Time: 2.984 s
2.88/2.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.88/2.99	c        0    500    18744    56232    3    37488    6248      0      0 2.98
2.88/2.99	c Switching off LPR mode.
2.88/2.99	o -31	2.993
2.98/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.98/3.00	c        0    500    18745    56732    3    37521    7248      1      0 3.00
2.98/3.00	o -32	2.998
1056.32/1056.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1056.32/1056.61	c        6    500    18752    60027    3    37567    7248      8      2 3.00
1056.32/1056.61	c      106    500    18852   106477    5    37767    7973    108     35 3.03
1056.32/1056.61	c      356    500    19102   222625   11    38267    8771    358    114 3.12
1056.32/1056.61	c      831    500    19577   443208   22    39217    9649    833    251 3.31
1056.32/1056.61	c     1644    500    20390   820848   40    40843   10614   1646    445 3.69
1056.32/1056.61	c     2964    500    21710  1433498   66    43483   11676   2966    648 4.57
1056.32/1056.61	c     5045    500    23791  2399341  100    47645   12844   5047    771 6.54
1056.32/1056.61	c     8269    500    27015  3895645  144    54093   14129   8271    856 9.66
1056.32/1056.61	c    13206    500    31952  6186052  193    63967   15542  13208    736 17.93
1056.32/1056.61	c    20712    500    39458  9668692  245    78979   17097  20714    687 30.13
1056.32/1056.61	c    32073    500    50819 14939136  293   101701   18807  32075    518 61.82
1056.32/1056.61	c    49218    500    67964 22896215  336   135991   20688  49220    453 108.65
1056.32/1056.61	c    75037    500    45472 12462214  274    90976   22757  26728    254 294.94
1056.32/1056.61	c   113870    500    34971  7584758  216    69974   25033  16227    208 547.39
1056.32/1056.61	c   172222    500    42502 11081118  260    85036   27537  23758    164 1049.11
1056.32/1056.61	o -33	1056.34
1778.74/1779.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1778.74/1779.22	c   174175    500    44456 11988759  269    88977    7248  25712    164 1056.35
1778.74/1779.22	c   174275    500    44556 12035072  270    89177    7973  25812    164 1056.45
1778.74/1779.22	c   174525    500    44806 12150958  271    89677    8771  26062    165 1056.75
1778.74/1779.22	c   175000    500    45281 12371150  273    90627    9649  26537    165 1056.99
1778.74/1779.22	c   175813    500    46094 12747601  276    92253   10614  27350    166 1057.54
1778.74/1779.22	c   177133    500    47414 13358945  281    94893   11676  28670    166 1060.99
1778.74/1779.22	c   179215    500    49496 14322298  289    99057   12844  30752    168 1063.16
1778.74/1779.22	c   182439    500    52720 15815202  299   105505   14129  33976    170 1069.01
1778.74/1779.22	c   187375    500    57656 18098768  313   115377   15542  38912    173 1078.68
1778.74/1779.22	c   194881    500    65162 21575209  331   130389   17097  46418    177 1098.53
1778.74/1779.22	c   206243    500    30016  5274197  175    60065   18807  11272    179 1147.23
1778.74/1779.22	c   223387    500    47160 13210569  280    94353   20688  28416    184 1212.11
1778.74/1779.22	c   249206    500    72979 25165410  344   145991   22757  54235    187 1328.80
1778.74/1779.22	c   288038    500    62470 20295827  324   124973   25033  43726    179 1600.53
1778.74/1779.22	o -34	1778.78
1799.94/1800.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.94/1800.45	c   311993    500    35558  7839400  220    71183    7248  16814    175 1778.78
1799.94/1800.45	c   312093    500    35658  7885668  221    71383    7973  16914    175 1778.87
1799.94/1800.45	c   312345    500    35910  8002148  222    71887    8771  17166    175 1779.02
1799.94/1800.45	c   312821    500    36386  8222011  225    72839    9649  17642    175 1779.27
1799.94/1800.45	c   313634    500    37199  8597576  231    74465   10614  18455    176 1779.74
1799.94/1800.45	c   314954    500    38519  9207177  239    77105   11676  19775    176 1782.60
1799.94/1800.45	c   317035    500    40600 10168542  250    81267   12844  21856    177 1784.62
1799.94/1800.45	c   320258    500    43823 11657901  266    87713   14129  25079    179 1788.26
1799.94/1800.45	c   325194    500    48759 13937929  285    97585   15542  30015    181 1794.22
1799.94/1800.45	c Resources Exceeded
1799.94/1800.45	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
1799.94/1800.45	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
1799.94/1800.45	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
1799.94/1800.45	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
1799.94/1800.45	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1799.94/1800.45	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1799.94/1800.45	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168
1799.94/1800.45	v -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1799.94/1800.45	v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1799.94/1800.45	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231
1799.94/1800.45	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1799.94/1800.45	v -x253 -x254 -x255 -x256 x257 -x258 -x259 x260 -x261 x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1799.94/1800.45	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1799.94/1800.45	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1799.94/1800.45	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336
1799.94/1800.45	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1799.94/1800.45	v x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1799.94/1800.45	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399
1799.94/1800.45	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420
1799.94/1800.45	v x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1799.94/1800.45	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1799.94/1800.45	v -x463 x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 x484
1799.94/1800.45	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 x498 -x499 -x500
1799.94/1800.45	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.94/1800.45	c   39   329430  27542   363973    52995 15894788  34251    183 1800.00
1799.94/1800.45	c Objective: -34
1799.94/1800.45	s SATISFIABLE
1799.94/1800.45	c Total time: 1800 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/node4/watcher-454170-1178022343 -o ROOT/results/node4/solver-454170-1178022343 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454170-1178022343/instance-454170-1178022343.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.93 0.98 0.99 3/77 29020
/proc/meminfo: memFree=1792016/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=12200 CPUtime=0
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 278272088 12492800 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 3050 334 281 324 0 2003 0

[startup+0.00895189 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 29020
/proc/meminfo: memFree=1792016/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=4664 CPUtime=0
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 437 0 0 0 0 0 0 0 18 0 1 0 278272088 4775936 406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 1166 407 294 324 0 119 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4664

[startup+0.101961 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 29020
/proc/meminfo: memFree=1792016/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=9956 CPUtime=0.09
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 1817 0 0 0 9 0 0 0 18 0 1 0 278272088 10194944 1786 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 2489 1786 345 324 0 1442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9956

[startup+0.30198 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 29020
/proc/meminfo: memFree=1792016/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=24420 CPUtime=0.29
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 5606 0 0 0 27 2 0 0 19 0 1 0 278272088 25006080 5419 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 6105 5419 307 324 0 5174 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24420

[startup+0.702018 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 29020
/proc/meminfo: memFree=1792016/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=24860 CPUtime=0.69
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 5646 0 0 0 67 2 0 0 23 0 1 0 278272088 25456640 5459 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 6215 5459 307 324 0 5284 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24860

[startup+1.50109 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 29021
/proc/meminfo: memFree=1771336/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=24860 CPUtime=1.49
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 5646 0 0 0 147 2 0 0 25 0 1 0 278272088 25456640 5459 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 6215 5459 307 324 0 5284 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24860

[startup+3.10125 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 29021
/proc/meminfo: memFree=1771144/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=25020 CPUtime=3.08
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 6193 0 0 0 303 5 0 0 25 0 1 0 278272088 25620480 5484 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 6255 5484 313 324 0 5324 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 25020

[startup+6.30155 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 29021
/proc/meminfo: memFree=1749832/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=49724 CPUtime=6.29
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 12390 0 0 0 619 10 0 0 25 0 1 0 278272088 50917376 11681 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 12431 11681 313 324 0 11500 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49724

[startup+12.7012 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 29021
/proc/meminfo: memFree=1712584/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=85988 CPUtime=12.68
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 21453 0 0 0 1253 15 0 0 25 0 1 0 278272088 88051712 20744 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 21497 20744 313 324 0 20566 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85988

[startup+25.5014 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 29021
/proc/meminfo: memFree=1663880/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=132752 CPUtime=25.48
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 33122 0 0 0 2527 21 0 0 25 0 1 0 278272088 135938048 32413 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 33188 32413 313 324 0 32257 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 132752

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29021
/proc/meminfo: memFree=1601864/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=194868 CPUtime=51.08
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 48646 0 0 0 5076 32 0 0 25 0 1 0 278272088 199544832 47937 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 48717 47937 313 324 0 47786 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 194868

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29021
/proc/meminfo: memFree=1491336/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=304304 CPUtime=102.26
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 76022 0 0 0 10174 52 0 0 25 0 1 0 278272088 311607296 75313 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 76076 75313 313 324 0 75145 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 304304

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29021
/proc/meminfo: memFree=1436168/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=359656 CPUtime=162.24
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 89858 0 0 0 16160 64 0 0 25 0 1 0 278272088 368287744 89149 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 89914 89149 313 324 0 88983 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 359656

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29021
/proc/meminfo: memFree=1427784/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=367416 CPUtime=222.23
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 91868 0 0 0 22157 66 0 0 25 0 1 0 278272088 376233984 91101 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 91854 91101 313 324 0 90923 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 367416

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29021
/proc/meminfo: memFree=1427784/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=367416 CPUtime=282.21
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 91868 0 0 0 28151 70 0 0 25 0 1 0 278272088 376233984 91101 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 91854 91101 313 324 0 90923 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 367416

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29021
/proc/meminfo: memFree=1427784/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=367416 CPUtime=342.2
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 91868 0 0 0 34146 74 0 0 25 0 1 0 278272088 376233984 91101 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573416 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 91854 91101 313 324 0 90923 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 367416

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29021
/proc/meminfo: memFree=1427784/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=367416 CPUtime=402.18
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 91868 0 0 0 40141 77 0 0 25 0 1 0 278272088 376233984 91101 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 91854 91101 313 324 0 90923 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 367416

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29021
/proc/meminfo: memFree=1427720/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=367416 CPUtime=462.17
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 91868 0 0 0 46138 79 0 0 25 0 1 0 278272088 376233984 91101 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 91854 91101 313 324 0 90923 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 367416

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1410760/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=384260 CPUtime=522.16
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 96116 0 0 0 52131 85 0 0 25 0 1 0 278272088 393482240 95289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 96065 95289 313 324 0 95134 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 384260

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1410760/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=384260 CPUtime=582.13
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 96116 0 0 0 58125 88 0 0 25 0 1 0 278272088 393482240 95289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 96065 95289 313 324 0 95134 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 384260

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1410760/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=384260 CPUtime=642.12
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 96116 0 0 0 64122 90 0 0 25 0 1 0 278272088 393482240 95289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 96065 95289 313 324 0 95134 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 384260


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1410760/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=384260 CPUtime=882.07
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 96116 0 0 0 88108 99 0 0 25 0 1 0 278272088 393482240 95289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 96065 95289 313 324 0 95134 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 384260

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1399944/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=395628 CPUtime=942.04
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 98962 0 0 0 94103 101 0 0 25 0 1 0 278272088 405123072 98135 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 98907 98135 313 324 0 97976 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 395628

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1396872/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=398124 CPUtime=1002.03
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 99649 0 0 0 100099 104 0 0 25 0 1 0 278272088 407678976 98760 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 99531 98760 313 324 0 98600 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 398124

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1396872/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=398124 CPUtime=1062.02
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 99649 0 0 0 106095 107 0 0 25 0 1 0 278272088 407678976 98760 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 99531 98760 313 324 0 98600 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 398124

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1396872/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=398124 CPUtime=1122.01
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 99649 0 0 0 112090 111 0 0 25 0 1 0 278272088 407678976 98760 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 99531 98760 313 324 0 98600 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 398124

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1427528/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=367364 CPUtime=1181.99
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 99649 0 0 0 118083 116 0 0 25 0 1 0 278272088 376180736 91092 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 91841 91092 313 324 0 90910 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 367364

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1427528/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=367364 CPUtime=1241.98
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 99649 0 0 0 124079 119 0 0 25 0 1 0 278272088 376180736 91092 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 91841 91092 313 324 0 90910 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 367364

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1427528/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=367364 CPUtime=1301.96
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 99649 0 0 0 130075 121 0 0 25 0 1 0 278272088 376180736 91092 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 91841 91092 313 324 0 90910 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 367364

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1410696/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=384176 CPUtime=1361.94
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 103911 0 0 0 136069 125 0 0 25 0 1 0 278272088 393396224 95294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 96044 95294 313 324 0 95113 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 384176

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1410696/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=384176 CPUtime=1421.94
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 103911 0 0 0 142065 129 0 0 25 0 1 0 278272088 393396224 95294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 96044 95294 313 324 0 95113 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 384176

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1410696/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=384176 CPUtime=1481.91
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 103911 0 0 0 148060 131 0 0 25 0 1 0 278272088 393396224 95294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 96044 95294 313 324 0 95113 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 384176

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1410696/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=384176 CPUtime=1541.9
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 103911 0 0 0 154057 133 0 0 25 0 1 0 278272088 393396224 95294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11030158 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 96044 95294 313 324 0 95113 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 384176

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1410696/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=384176 CPUtime=1601.88
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 103911 0 0 0 160053 135 0 0 25 0 1 0 278272088 393396224 95294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 96044 95294 313 324 0 95113 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 384176

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1410696/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=384176 CPUtime=1661.87
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 103911 0 0 0 166048 139 0 0 25 0 1 0 278272088 393396224 95294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 96044 95294 313 324 0 95113 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 384176

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1397576/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=397332 CPUtime=1721.86
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 107244 0 0 0 172043 143 0 0 25 0 1 0 278272088 406867968 98565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 99333 98565 313 324 0 98402 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 397332

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1397512/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=397332 CPUtime=1781.84
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 107244 0 0 0 178039 145 0 0 25 0 1 0 278272088 406867968 98565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 99333 98565 313 324 0 98402 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 397332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29023
/proc/meminfo: memFree=1664840/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=0 CPUtime=1800.04
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194308 107245 0 0 0 179852 152 0 0 25 0 1 0 278272088 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 0

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 1.00 2/78 29023
/proc/meminfo: memFree=1664840/2055920 swapFree=4141168/4192956
[pid=29020] ppid=29018 vsize=0 CPUtime=1800.04
/proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194308 107245 0 0 0 179852 152 0 0 25 0 1 0 278272088 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29020/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1798.52
CPU system time (s): 1.54277
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 398124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 1.54276
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= 36585

runsolver used 1.41478 second user time and 3.87141 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue May  1 12:25:43 UTC 2007

IDJOB= 454170
IDBENCH= 48179
IDSOLVER= 163
FILE ID= node4/454170-1178022343

PBS_JOBID= 4728362

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_60_2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454170-1178022343/instance-454170-1178022343.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-454170-1178022343 -o ROOT/results/node4/solver-454170-1178022343 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454170-1178022343/instance-454170-1178022343.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  fecc1e3404707b1609ea9647c91fc73f

RANDOM SEED= 6411738

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1792488 kB
Buffers:         64340 kB
Cached:         109572 kB
SwapCached:      14856 kB
Active:         130076 kB
Inactive:        70376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1792488 kB
SwapTotal:     4192956 kB
SwapFree:      4141168 kB
Dirty:            7184 kB
Writeback:           0 kB
Mapped:          32772 kB
Slab:            48476 kB
Committed_AS:  8500204 kB
PageTables:       1828 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 node4 on Tue May  1 12:55:46 UTC 2007