Trace number 455055

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)-17 1800.24 1800.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_2.opb
MD5SUM219f407da86957d900e068170e9af8b6
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-32
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 -32
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

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/455055-1178036370/instance-455055-1178036370.opb
0.00/0.00	c File size is 166850 bytes.
0.00/0.07	c Highest Coefficient sum: 400
0.00/0.07	c Parsing was ok!!
0.00/0.07	c Total parsing time: 0.074 s
0.07/0.09	c Var: 12840 Constr: 25482 12640/402/12440 Lit: 88280 Watch. Lit: 75442
0.07/0.09	c Obj. Vars: 200 (1.55763 % of total variables)
62.87/62.93	c Pre-processing Time: 62.907 s
62.87/62.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.87/62.93	c        0  12840    25482    88280    3    75442  208763      0      0 62.91
62.87/62.93	c Switching off LPR mode.
62.87/62.95	o -1	62.932
62.87/62.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.87/62.98	c        0  12840    25483    88480    3    75445  208897      1      0 62.94
62.87/62.98	o -2	62.961
62.96/63.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.96/63.01	c        0  12840    25484    88680    3    75449  209097      2      0 62.97
62.96/63.01	o -3	62.991
62.96/63.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.96/63.04	c        0  12840    25485    88880    3    75454  209363      3      0 63.00
62.96/63.04	o -4	63.021
62.96/63.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.96/63.07	c        0  12840    25486    89080    3    75460  209697      4      0 63.03
62.96/63.07	o -5	63.051
63.07/63.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.07/63.10	c        0  12840    25487    89280    3    75467  210097      5      0 63.06
63.07/63.10	o -6	63.081
63.07/63.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.07/63.13	c        0  12840    25488    89480    3    75475  210563      6      0 63.09
63.07/63.13	o -7	63.111
63.07/63.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.07/63.16	c        0  12840    25489    89680    3    75484  211097      7      0 63.12
63.07/63.16	o -8	63.141
63.07/63.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.07/63.19	c        0  12840    25490    89880    3    75494  211697      8      0 63.15
63.07/63.19	o -9	63.171
63.17/63.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.17/63.22	c        0  12840    25491    90080    3    75505  212363      9      0 63.18
63.17/63.22	o -10	63.2
63.17/63.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.17/63.25	c        0  12840    25492    90280    3    75517  213097     10      0 63.21
63.17/63.25	o -11	63.231
63.17/63.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.17/63.28	c        0  12840    25493    90480    3    75530  213897     11      0 63.24
63.17/63.28	o -12	63.26
63.27/63.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.27/63.31	c        0  12840    25494    90680    3    75544  214763     12      0 63.27
63.27/63.31	o -13	63.29
63.27/63.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.27/63.34	c        0  12840    25495    90880    3    75559  215697     13      0 63.30
63.27/63.34	o -14	63.32
63.27/63.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.27/63.39	c        0  12840    25496    91080    3    75575  216697     14      0 63.33
63.27/63.39	o -15	63.372
63.97/64.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.97/64.03	c        9  12840    25506    93402    3    75610  216697     24      0 63.38
63.97/64.03	c      109  12840    25606   115065    4    75810  238367    124      1 63.58
63.97/64.03	c      359  12840    25856   186889    7    76310  262204    374      5 63.90
63.97/64.03	o -16	64.006
385.29/385.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
385.29/385.49	c      494  12840    25992   228924    8    76598  216697    510      7 64.02
385.29/385.49	c      594  12840    26092   250561    9    76798  238367    610      9 64.14
385.29/385.49	c      844  12840    26342   306333   11    77298  262204    860     13 64.36
385.29/385.49	c     1319  12840    26817   408771   15    78248  288425   1335     20 64.75
385.29/385.49	c     2132  12840    27630   583314   21    79874  317268   2148     32 65.55
385.29/385.49	c     3452  12840    28950   863703   29    82514  348995   3468     51 66.50
385.29/385.49	c     5533  12840    31031  1291375   41    86676  383895   5549     81 67.63
385.29/385.49	c     8756  12840    34254  1999217   58    93122  422285   8772    125 70.02
385.29/385.49	c    13692  12840    39190  3074048   78   102994  464514  13708    185 73.80
385.29/385.49	c    21198  12840    46696  4658574   99   118006  510966  21214    259 81.65
385.29/385.49	c    32559  12840    58057  7097652  122   140728  562063  32575    361 89.99
385.29/385.49	c    49703  12840    75201 10556572  140   175016  618270  49719    496 100.14
385.29/385.49	c    75522  12840   101020 15940020  157   226654  680098  75538    566 133.38
385.29/385.49	c   114354  12840   139852 24559688  175   304318  748108 114370    554 206.21
385.29/385.49	c   172706  12840   198204 38107131  192   421022  822919 172722    493 350.24
385.29/385.49	o -17	385.389
1799.95/1800.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.95/1800.44	c   190754  12840   216253 41943782  193   457137  216697 190771    494 385.40
1799.95/1800.44	c   190854  12840   216353 41965952  193   457337  238367 190871    494 385.89
1799.95/1800.44	c   191104  12840   216603 42020619  193   457837  262204 191121    494 386.69
1799.95/1800.44	c   191579  12840   217078 42119705  194   458787  288425 191596    494 387.76
1799.95/1800.44	c   192392  12840   217891 42292834  194   460413  317268 192409    493 389.89
1799.95/1800.44	c   193712  12840   219211 42585553  194   463053  348995 193729    491 393.82
1799.95/1800.44	c   195793  12840   221292 43039138  194   467215  383895 195810    491 398.51
1799.95/1800.44	c   199016  12840   224515 43731295  194   473661  422285 199033    492 404.39
1799.95/1800.44	c   203952  12840   229451 44735756  194   483533  464514 203969    491 415.05
1799.95/1800.44	c   211458  12840   236957 46338458  195   498545  510966 211475    489 431.64
1799.95/1800.44	c   222819  12840   248318 48640562  195   521267  562063 222836    497 448.02
1799.95/1800.44	c   239963  12840   265462 52100464  196   555555  618270 239980    512 468.29
1799.95/1800.44	c   265782  12840   291281 57340126  196   607193  680098 265799    511 519.69
1799.95/1800.44	c   304614  12840   330113 65717385  199   684857  748108 304631    449 677.31
1799.95/1800.44	c   362966  12840   388465 78521207  202   801561  822919 362983    385 942.17
1799.95/1800.44	c   450598  12840   476097 98107708  206   976825  905211 450615    340 1321.58
1799.95/1800.44	c Resources Exceeded
1799.95/1800.44	v x1 -x2 -x3 x4 -x5 -x6 x7 x8 -x9 x10 x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 x23 -x24 x25 -x26 -x27 -x28 -x29 -x30
1799.95/1800.44	v -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.95/1800.44	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.95/1800.44	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
1799.95/1800.44	v -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1799.95/1800.44	v -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1799.95/1800.44	v -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1799.95/1800.44	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190
1799.95/1800.44	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x291 -x320 -x389 -x376 -x262 -x299 -x265 -x278 -x346 -x228 -x343
1799.95/1800.44	v -x380 -x350 -x294 -x238 -x250 -x255 -x374 -x368 -x331 -x203 -x373 -x370 -x316 -x392 -x208 -x209 -x223 -x277 -x283 -x292 -x327
1799.95/1800.44	v -x337 -x339 -x356 -x359 -x360 -x382 -x386 -x399 -x201 -x211 -x231 -x297 x264 -x214 -x387 x383 -x362 -x397 x253 x378 -x274
1799.95/1800.44	v x398 -x358 -x329 x307 -x261 -x366 -x357 -x315 -x276 -x245 -x204 -x217 -x234 x239 -x241 x249 -x260 x263 -x287 -x341 -x202 -x246
1799.95/1800.44	v -x400 -x367 -x361 -x310 -x324 -x349 -x206 -x363 -x344 -x322 -x317 -x257 -x318 -x369 -x391 -x311 -x371 -x205 -x218 -x225 -x227
1799.95/1800.44	v -x236 -x242 -x296 -x333 -x348 -x395 -x385 -x304 -x252 -x224 -x282 -x309 -x319 -x219 -x300 -x210 -x222 -x281 -x288 -x298 -x330
1799.95/1800.44	v -x351 -x379 -x393 -x347 -x212 -x284 -x235 -x390 -x355 x306 -x275 x273 -x342 -x221 -x232 -x244 -x270 x303 -x323 -x372 -x269
1799.95/1800.44	v -x280 -x321 x267 -x213 -x240 -x243 -x254 -x285 -x314 -x345 -x352 -x332 -x353 -x279 -x268 -x293 -x340 -x365 -x272 -x230 -x248
1799.95/1800.44	v -x286 -x338 -x364 -x207 -x354 -x336 -x302 -x220 -x229 -x259 -x271 -x266 -x308 -x381 -x251 -x305 -x258 -x216 -x326 x377 -x313
1799.95/1800.44	v -x226 -x394 -x215 -x312 -x388 -x328 x396 -x247 -x237 -x256 -x325 x290 -x375 -x295 -x289 -x233 -x301 x334 -x335 -x384
1799.95/1800.44	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.44	c   48   527618    242   677624   553117 116241051 527635    293 1800.01
1799.95/1800.44	c Objective: -17
1799.95/1800.44	s SATISFIABLE
1799.95/1800.45	c Total time: 1800.01 s

Verifier Data (download as text)

OK	-17

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node50/watcher-455055-1178036370 -o ROOT/results/node50/solver-455055-1178036370 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455055-1178036370/instance-455055-1178036370.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.96 3/64 26830
/proc/meminfo: memFree=1799920/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=11900 CPUtime=0
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 158482227 12185600 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 2975 345 291 324 0 2003 0

[startup+0.086647 s]
/proc/loadavg: 0.92 0.98 0.96 3/64 26830
/proc/meminfo: memFree=1799920/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=9132 CPUtime=0.07
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 1686 0 0 0 7 0 0 0 18 0 1 0 158482227 9351168 1614 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 2283 1616 302 324 0 1352 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9132

[startup+0.101648 s]
/proc/loadavg: 0.92 0.98 0.96 3/64 26830
/proc/meminfo: memFree=1799920/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=10796 CPUtime=0.09
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2085 0 0 0 9 0 0 0 18 0 1 0 158482227 11055104 2013 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 2699 2013 306 324 0 1768 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10796

[startup+0.301665 s]
/proc/loadavg: 0.92 0.98 0.96 3/64 26830
/proc/meminfo: memFree=1799920/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=10796 CPUtime=0.29
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2117 0 0 0 29 0 0 0 19 0 1 0 158482227 11055104 2045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 2699 2045 306 324 0 1768 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10796

[startup+0.7017 s]
/proc/loadavg: 0.92 0.98 0.96 3/64 26830
/proc/meminfo: memFree=1799920/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=10796 CPUtime=0.69
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 68 1 0 0 23 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8351778 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 2699 2046 306 324 0 1768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10796

[startup+1.50177 s]
/proc/loadavg: 0.92 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1793000/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=10796 CPUtime=1.49
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 148 1 0 0 25 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8351888 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 2699 2046 306 324 0 1768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10796

[startup+3.10191 s]
/proc/loadavg: 0.93 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1792872/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=10796 CPUtime=3.09
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 308 1 0 0 25 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 2699 2046 306 324 0 1768 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10796

[startup+6.30119 s]
/proc/loadavg: 0.93 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1792616/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=10796 CPUtime=6.29
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 628 1 0 0 25 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8359618 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 2699 2046 306 324 0 1768 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10796

[startup+12.7018 s]
/proc/loadavg: 0.94 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1792752/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=10796 CPUtime=12.69
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 1268 1 0 0 25 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 2699 2046 306 324 0 1768 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10796

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1792816/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=10796 CPUtime=25.48
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 2547 1 0 0 25 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8347800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 2699 2046 306 324 0 1768 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10796

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1792816/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=10796 CPUtime=51.07
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 5104 3 0 0 25 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 2699 2046 306 324 0 1768 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10796

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1649136/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=154336 CPUtime=102.26
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 38412 0 0 0 10188 38 0 0 25 0 1 0 158482227 158040064 37949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 38584 37949 312 324 0 37653 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 154336

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1532464/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=271532 CPUtime=162.25
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 67713 0 0 0 16159 66 0 0 25 0 1 0 158482227 278048768 67250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 67883 67250 312 324 0 66952 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 271532

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1443824/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=359644 CPUtime=222.23
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 89734 0 0 0 22131 92 0 0 25 0 1 0 158482227 368275456 89271 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 89911 89271 312 324 0 88980 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 359644

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1369072/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=434660 CPUtime=282.22
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 108486 0 0 0 28108 114 0 0 25 0 1 0 158482227 445091840 108023 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 108665 108023 312 324 0 107734 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 434660

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1297520/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=505492 CPUtime=342.2
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 126201 0 0 0 34087 133 0 0 25 0 1 0 158482227 517623808 125738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 126373 125738 312 324 0 125442 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 505492

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1219696/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=584476 CPUtime=402.18
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 145936 0 0 0 40064 154 0 0 25 0 1 0 158482227 598503424 145473 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 146119 145473 312 324 0 145188 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 584476

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1117616/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=685620 CPUtime=462.17
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 171240 0 0 0 46041 176 0 0 25 0 1 0 158482227 702074880 170777 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 171405 170777 312 324 0 170474 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 685620

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=1032624/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=770020 CPUtime=522.16
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 192335 0 0 0 52016 200 0 0 25 0 1 0 158482227 788500480 191872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 192505 191872 312 324 0 191574 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 770020

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=982448/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=819868 CPUtime=582.14
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 204779 0 0 0 57998 216 0 0 25 0 1 0 158482227 839544832 204316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 204967 204316 312 324 0 204036 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 819868

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=946544/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=855396 CPUtime=642.13
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 213659 0 0 0 63985 228 0 0 25 0 1 0 158482227 875925504 213196 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 213849 213196 312 324 0 212918 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 855396


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=786352/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1015268 CPUtime=882.08
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 253645 0 0 0 87923 285 0 0 25 0 1 0 158482227 1039634432 253182 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 253817 253182 312 324 0 252886 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 1015268

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=753584/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1048516 CPUtime=942.06
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 261944 0 0 0 93910 296 0 0 25 0 1 0 158482227 1073680384 261481 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 262129 261481 312 324 0 261198 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1048516

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=698416/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1103216 CPUtime=1002.04
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 275617 0 0 0 99890 314 0 0 25 0 1 0 158482227 1129693184 275154 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 275804 275154 312 324 0 274873 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1103216

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=654512/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1147392 CPUtime=1062.03
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 286662 0 0 0 105875 328 0 0 25 0 1 0 158482227 1174929408 286199 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 286848 286199 312 324 0 285917 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1147392

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=606640/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1194920 CPUtime=1122.02
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 298547 0 0 0 111859 343 0 0 25 0 1 0 158482227 1223598080 298084 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 298730 298084 312 324 0 297799 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1194920

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=571312/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1230144 CPUtime=1182
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 307348 0 0 0 117847 353 0 0 25 0 1 0 158482227 1259667456 306885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 307536 306885 312 324 0 306605 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1230144

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=540592/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1260552 CPUtime=1241.99
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 314962 0 0 0 123837 362 0 0 25 0 1 0 158482227 1290805248 314499 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 315138 314499 312 324 0 314207 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1260552

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=505392/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1295556 CPUtime=1301.97
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 323714 0 0 0 129826 371 0 0 25 0 1 0 158482227 1326649344 323251 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 323889 323251 312 324 0 322958 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1295556

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=468272/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1332920 CPUtime=1361.96
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 333047 0 0 0 135813 383 0 0 25 0 1 0 158482227 1364910080 332584 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 333230 332584 312 324 0 332299 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1332920

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=433904/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1366888 CPUtime=1421.94
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 341550 0 0 0 141801 393 0 0 25 0 1 0 158482227 1399693312 341087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134520568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 341722 341087 312 324 0 340791 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1366888

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.96 2/65 26831
/proc/meminfo: memFree=408240/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1392748 CPUtime=1481.93
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 347999 0 0 0 147792 401 0 0 25 0 1 0 158482227 1426173952 347536 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 348187 347536 312 324 0 347256 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1392748

[startup+1542.3 s]
/proc/loadavg: 1.05 1.00 0.97 2/65 26831
/proc/meminfo: memFree=381680/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1419040 CPUtime=1541.91
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 354594 0 0 0 153782 409 0 0 25 0 1 0 158482227 1453096960 354131 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 354760 354131 312 324 0 353829 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1419040

[startup+1602.3 s]
/proc/loadavg: 1.07 1.01 0.98 2/65 26831
/proc/meminfo: memFree=356144/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1444912 CPUtime=1601.9
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 361036 0 0 0 159773 417 0 0 25 0 1 0 158482227 1479589888 360573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 361228 360573 312 324 0 360297 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1444912

[startup+1662.3 s]
/proc/loadavg: 1.07 1.02 0.98 2/65 26831
/proc/meminfo: memFree=330672/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1470040 CPUtime=1661.88
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 367332 0 0 0 165766 422 0 0 25 0 1 0 158482227 1505320960 366869 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 367510 366869 312 324 0 366579 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1470040

[startup+1722.3 s]
/proc/loadavg: 1.02 1.02 0.98 2/65 26831
/proc/meminfo: memFree=296816/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1504108 CPUtime=1721.87
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 375862 0 0 0 171753 434 0 0 25 0 1 0 158482227 1540206592 375399 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 376027 375399 312 324 0 375096 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1504108

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 0.98 2/65 26831
/proc/meminfo: memFree=263600/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=1536932 CPUtime=1781.85
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 384071 0 0 0 177743 442 0 0 25 0 1 0 158482227 1573818368 383608 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 384233 383608 312 324 0 383302 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1536932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 0.98 2/65 26831
/proc/meminfo: memFree=590000/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=0 CPUtime=1800.06
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194308 386392 0 0 0 179554 452 0 0 25 0 1 0 158482227 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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.61 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 26832
/proc/meminfo: memFree=1287080/2055920 swapFree=4183752/4192956
[pid=26830] ppid=26828 vsize=0 CPUtime=1800.16
/proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194308 386392 0 0 0 179554 462 0 0 25 0 1 0 158482227 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26830/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.24
CPU user time (s): 1795.54
CPU system time (s): 4.70029
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1546296

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

runsolver used 1.40779 second user time and 3.51846 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue May  1 16:19:31 UTC 2007

IDJOB= 455055
IDBENCH= 48238
IDSOLVER= 163
FILE ID= node50/455055-1178036370

PBS_JOBID= 4728401

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  219f407da86957d900e068170e9af8b6

RANDOM SEED= 231897966

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.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.232
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.232
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:       1800392 kB
Buffers:         78412 kB
Cached:         106780 kB
SwapCached:       3168 kB
Active:         122628 kB
Inactive:        74892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800392 kB
SwapTotal:     4192956 kB
SwapFree:      4183752 kB
Dirty:            6848 kB
Writeback:           0 kB
Mapped:          15936 kB
Slab:            44004 kB
Committed_AS:  4813176 kB
PageTables:       1464 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 node50 on Tue May  1 16:49:33 UTC 2007