Trace number 455220

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)-29 1800.25 1800.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_3.opb
MD5SUMd792065ec5adca4c7f7b540f15bc8ce9
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-149
Best CPU time to get the best result obtained on this benchmark1800.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -149
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63244
Sum of products size (including duplicates)126488
Number of different products31622
Sum of products size63244

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/455220-1178039405/instance-455220-1178039405.opb
0.00/0.00	c File size is 942828 bytes.
0.39/0.41	c Highest Coefficient sum: 2000
0.39/0.41	c Parsing was ok!!
0.39/0.41	c Total parsing time: 0.408 s
0.49/0.52	c Var: 65244 Constr: 129490 64244/2002/63244 Lit: 448708 Watch. Lit: 383466
0.49/0.52	c Obj. Vars: 1000 (1.53271 % of total variables)
180.45/180.58	c Pre-processing Time: 180.533 s
180.45/180.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.45/180.59	c        0  65244   129490   448708    3   383466  500000      0      0 180.53
180.45/180.59	c Switching off LPR mode.
180.65/180.72	o -1	180.673
180.74/180.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.74/180.89	c        0  65244   129491   449708    3   383469  500000      1      0 180.70
180.74/180.89	o -2	180.842
180.95/181.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.95/181.06	c        0  65244   129492   450708    3   383473  500000      2      0 180.87
180.95/181.06	o -3	181.011
181.15/181.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.15/181.23	c        0  65244   129493   451708    3   383478  500000      3      0 181.04
181.15/181.23	o -4	181.181
181.24/181.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.24/181.40	c        0  65244   129494   452708    3   383484  500000      4      0 181.21
181.24/181.40	o -5	181.351
181.45/181.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.45/181.57	c        0  65244   129495   453708    3   383491  500000      5      0 181.38
181.45/181.57	o -6	181.521
181.64/181.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.64/181.74	c        0  65244   129496   454708    3   383499  500000      6      0 181.55
181.64/181.74	o -7	181.692
181.85/181.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.85/181.91	c        0  65244   129497   455708    3   383508  500000      7      0 181.72
181.85/181.91	o -8	181.863
181.95/182.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.95/182.08	c        0  65244   129498   456708    3   383518  500000      8      0 181.90
181.95/182.08	o -9	182.034
182.14/182.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.14/182.25	c        0  65244   129499   457708    3   383529  500000      9      0 182.07
182.14/182.25	o -10	182.204
182.34/182.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.34/182.42	c        0  65244   129500   458708    3   383541  500000     10      0 182.24
182.34/182.42	o -11	182.375
182.45/182.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.45/182.59	c        0  65244   129501   459708    3   383554  500000     11      0 182.41
182.45/182.59	o -12	182.546
182.64/182.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.64/182.76	c        0  65244   129502   460708    3   383568  500000     12      0 182.58
182.64/182.76	o -13	182.716
182.85/182.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.85/182.93	c        0  65244   129503   461708    3   383583  500000     13      0 182.75
182.85/182.93	o -14	182.887
183.05/183.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.05/183.10	c        0  65244   129504   462708    3   383599  500000     14      0 182.92
183.05/183.10	o -15	183.057
183.15/183.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.15/183.27	c        0  65244   129505   463708    3   383616  500000     15      0 183.09
183.15/183.27	o -16	183.228
183.34/183.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.34/183.44	c        0  65244   129506   464708    3   383634  500000     16      0 183.26
183.34/183.44	o -17	183.398
183.55/183.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.55/183.61	c        0  65244   129507   465708    3   383653  500000     17      0 183.43
183.55/183.61	o -18	183.568
183.65/183.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.65/183.78	c        0  65244   129508   466708    3   383673  500000     18      0 183.60
183.65/183.78	o -19	183.738
183.84/183.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.84/183.95	c        0  65244   129509   467708    3   383694  500000     19      0 183.77
183.84/183.95	o -20	183.908
184.04/184.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.04/184.12	c        0  65244   129510   468708    3   383716  500000     20      0 183.94
184.04/184.12	o -21	184.077
184.15/184.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.15/184.29	c        0  65244   129511   469708    3   383739  500000     21      0 184.11
184.15/184.29	o -22	184.247
184.34/184.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.34/184.46	c        0  65244   129512   470708    3   383763  500000     22      0 184.28
184.34/184.46	o -23	184.416
184.54/184.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.54/184.63	c        0  65244   129513   471708    3   383788  500000     23      0 184.45
184.54/184.63	o -24	184.585
184.75/184.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.75/184.84	c        0  65244   129514   472708    3   383814  500000     24      0 184.62
184.75/184.84	o -25	184.797
505.67/505.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
505.67/505.84	c        1  65244   129516   474990    3   383843  500000     26      0 184.83
505.67/505.84	c      101  65244   129616   595395    4   384043  550001    126      0 187.13
505.67/505.84	c      351  65244   129866   893729    6   384543  605002    376      1 194.75
505.67/505.84	c      826  65244   130341  1461090   11   385493  665503    851      3 207.06
505.67/505.84	c     1639  65244   131154  2466914   18   387119  732054   1664      7 224.73
505.67/505.84	c     2959  65244   132474  4276908   32   389759  805260   2984     11 250.21
505.67/505.84	c     5040  65244   134555  7700387   57   393921  885787   5065     18 274.55
505.67/505.84	c     8263  65244   137778 11829314   85   400367  974366   8288     24 341.89
505.67/505.84	c    13199  65244   142714 16771223  117   410239  500000  13224     35 374.27
505.67/505.84	c    20705  65244   150220 25768723  171   425251  550001  20730     40 505.35
505.67/505.84	o -26	505.721
531.87/532.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
531.87/532.03	c    20757  65244   150273 25866341  172   425383  500000  20783     41 505.77
531.87/532.03	c    20857  65244   150373 25970384  172   425583  550001  20883     40 510.26
531.87/532.03	c    21107  65244   150623 26260862  174   426083  605002  21133     40 519.62
531.87/532.03	c    21582  65244   151098 26940171  178   427033  665503  21608     40 530.88
531.87/532.03	o -27	531.907
556.96/557.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
556.96/557.17	c    21730  65244   151247 27194785  179   427358  500000  21757     40 531.96
556.96/557.17	c    21830  65244   151347 27298847  180   427558  550001  21857     40 536.34
556.96/557.17	c    22080  65244   151597 27587891  181   428058  605002  22107     40 545.16
556.96/557.17	c    22555  65244   152072 28260482  185   429008  665503  22582     40 556.06
556.96/557.17	o -28	557.041
559.66/559.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
559.66/559.81	c    22702  65244   152220 28512187  187   429332  500000  22730     40 557.09
559.66/559.81	c    22802  65244   152320 28612187  187   429532  550001  22830     40 557.34
559.66/559.81	c    23052  65244   152570 28862187  189   430032  605002  23080     41 557.75
559.66/559.81	c    23527  65244   153045 29337187  191   430982  665503  23555     42 558.33
559.66/559.81	c    24340  65244   153858 30150194  195   432608  732054  24368     43 559.29
559.66/559.81	o -29	559.686
1799.99/1800.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.99/1800.42	c    24557  65244   154076 30369164  197   433073  500000  24586     43 559.74
1799.99/1800.42	c    24657  65244   154176 30469164  197   433273  550001  24686     44 560.03
1799.99/1800.42	c    24907  65244   154426 30719164  198   433773  605002  24936     44 560.46
1799.99/1800.42	c    25382  65244   154901 31195021  201   434723  665503  25411     45 561.12
1799.99/1800.42	c    26195  65244   155714 32008801  205   436349  732054  26224     46 562.12
1799.99/1800.42	c    27515  65244   157034 33330054  212   438989  805260  27544     48 564.26
1799.99/1800.42	c    29596  65244   159115 36026638  226   443151  885787  29625     48 609.62
1799.99/1800.42	c    32819  65244   162338 39991252  246   449597  974366  32848     48 677.65
1799.99/1800.42	c    37755  65244   167274 46572534  278   459469  500000  37784     47 796.52
1799.99/1800.42	c    45261  65244   174780 56522590  323   474481  550001  45290     46 981.61
1799.99/1800.42	c    56622  65244   186141 71684321  385   497203  605002  56651     45 1253.52
1799.99/1800.42	c    73766  65244   203285 92821860  456   531491  665503  73795     47 1567.28
1799.99/1800.42	c Resources Exceeded
1799.99/1800.42	v x1 -x2 x3 x4 x5 x6 x7 x8 -x9 x10 x11 x12 x13 -x14 x15 x16 -x17 -x18 -x19 -x20 x21 -x22 x23 -x24 -x25 x26 x27 x28 -x29 -x30 x31 -x32 -x33
1799.99/1800.42	v x34 x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
1799.99/1800.42	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86
1799.99/1800.42	v -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109
1799.99/1800.42	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
1799.99/1800.42	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151
1799.99/1800.42	v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172
1799.99/1800.42	v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
1799.99/1800.42	v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214
1799.99/1800.42	v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235
1799.99/1800.42	v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256
1799.99/1800.42	v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277
1799.99/1800.42	v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298
1799.99/1800.42	v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319
1799.99/1800.42	v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 x339 -x340
1799.99/1800.42	v -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361
1799.99/1800.42	v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382
1799.99/1800.42	v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403
1799.99/1800.42	v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424
1799.99/1800.42	v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445
1799.99/1800.42	v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466
1799.99/1800.42	v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487
1799.99/1800.42	v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508
1799.99/1800.42	v -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529
1799.99/1800.42	v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
1799.99/1800.42	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571
1799.99/1800.42	v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592
1799.99/1800.42	v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613
1799.99/1800.42	v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634
1799.99/1800.42	v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655
1799.99/1800.42	v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676
1799.99/1800.42	v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697
1799.99/1800.42	v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
1799.99/1800.42	v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739
1799.99/1800.42	v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
1799.99/1800.42	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781
1799.99/1800.42	v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802
1799.99/1800.42	v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823
1799.99/1800.42	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844
1799.99/1800.42	v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865
1799.99/1800.42	v -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886
1799.99/1800.42	v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907
1799.99/1800.42	v -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928
1799.99/1800.42	v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949
1799.99/1800.42	v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
1799.99/1800.42	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991
1799.99/1800.42	v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1747 -x1986 -x1169 -x1441 -x1426 -x1941 -x1073 -x1377 -x1802 -x1265
1799.99/1800.42	v -x1859 -x1925 -x1394 -x1740 -x1603 -x1842 -x1976 -x1202 -x1896 -x1516 -x1143 -x1439 -x1259 -x1274 -x1648 -x1089 -x1099
1799.99/1800.42	v -x1108 -x1139 -x1146 -x1204 -x1229 -x1256 -x1375 -x1418 -x1461 -x1532 -x1598 -x1750 -x1787 -x1788 -x1881 -x1889 -x1001
1799.99/1800.42	v x1886 x1938 x1469 x1799 x1455 -x1215 x1137 x1975 -x1007 -x1562 x1916 x1079 x1291 x1069 x1695 x1149 x1993 x1088 -x1948 x1282
1799.99/1800.42	v x1153 x1923 -x1483 x1400 -x1055 x1162 x1207 -x1228 x1397 x1443 -x1454 -x1475 -x1555 -x1701 x1745 x1803 -x1002 -x1790 -x1625
1799.99/1800.42	v -x1838 -x1049 -x1898 -x1837 -x1286 -x1187 -x1305 -x1436 -x1642 -x1872 -x1572 -x1968 -x1878 -x1134 -x1883 -x1309 -x1424
1799.99/1800.42	v -x1951 -x1924 -x1296 -x1091 -x1812 -x1243 -x1054 -x1170 -x1220 -x1250 -x1344 -x1390 -x1489 -x1566 -x1597 -x1694 -x1699
1799.99/1800.42	v -x1760 -x1769 -x1003 -x1372 -x1316 -x1517 -x1854 -x1067 -x1307 -x1478 -x1905 -x1707 -x1727 -x1741 -x1992 -x1914 -x1398
1799.99/1800.42	v -x1427 -x1907 -x1269 -x1999 -x1874 -x1484 -x1757 -x1806 -x1059 -x1809 -x1179 -x1248 -x1324 -x1341 -x1425 -x1527 -x1591
1799.99/1800.42	v -x1595 -x1627 -x1004 -x1830 -x1354 -x1899 -x1994 -x1622 -x1661 -x1817 -x1728 -x1123 -x1304 -x1984 -x1181 -x1382 -x1724
1799.99/1800.42	v -x1172 -x1295 -x1473 -x1950 -x1553 -x1239 -x1431 -x1012 -x1027 -x1053 -x1113 -x1118 -x1184 -x1186 -x1237 -x1252 -x1266
1799.99/1800.42	v -x1297 -x1479 -x1545 -x1635 -x1844 -x1857 -x1867 -x1946 -x1991 -x1005 -x1535 -x1044 -x1689 -x1945 -x1852 -x1871 -x1299
1799.99/1800.42	v -x1102 -x1216 -x1246 -x1723 -x1414 -x1549 -x1955 -x1536 -x1290 -x1716 -x1586 -x1014 -x1232 -x1189 -x1284 -x1351 -x1401
1799.99/1800.42	v -x1465 -x1600 -x1736 -x1752 -x1792 -x1819 -x1942 -x1978 -x1006 -x1785 -x1579 -x1488 -x1563 -x1271 -x1449 -x1212 -x1311
1799.99/1800.42	v -x1393 -x1416 -x1533 -x1691 -x1869 -x1748 -x1289 -x1944 -x1328 -x1702 -x1634 -x1590 -x1048 -x1045 -x1057 -x1167 -x1226
1799.99/1800.42	v -x1359 -x1373 -x1378 -x1410 -x1505 -x1529 -x1606 -x1681 -x1746 -x1967 -x1657 -x1985 -x1126 -x1352 -x1704 -x1275 -x1714
1799.99/1800.42	v -x1208 -x1107 -x1851 -x1071 -x1840 -x1789 -x1843 -x1043 -x1093 -x1100 -x1142 -x1209 -x1251 -x1317 -x1396 -x1481 -x1542
1799.99/1800.42	v -x1608 -x1656 -x1679 -x1798 -x1008 -x1858 -x1800 -x1432 -x1257 -x1440 -x1241 -x1011 -x1687 -x1456 -x1474 -x1160 -x1192
1799.99/1800.42	v -x1101 -x1064 -x1645 -x1245 -x1038 -x1041 -x1103 -x1104 -x1114 -x1136 -x1196 -x1310 -x1313 -x1319 -x1336 -x1340 -x1578
1799.99/1800.42	v -x1911 -x1009 -x1783 -x1534 -x1949 -x1376 -x1346 -x1159 -x1602 -x1823 -x1833 -x1989 -x1649 -x1321 -x1462 -x1808 -x1513
1799.99/1800.42	v -x1233 -x1928 -x1559 -x1371 -x1016 -x1077 -x1128 -x1263 -x1318 -x1347 -x1509 -x1646 -x1713 -x1804 -x1972 -x1010 -x1778
1799.99/1800.42	v -x1762 -x1705 -x1711 -x1839 -x1596 -x1323 -x1887 -x1090 -x1709 -x1283 -x1893 -x1771 -x1932 -x1214 -x1584 -x1056 -x1080
1799.99/1800.42	v -x1260 -x1306 -x1355 -x1457 -x1476 -x1651 -x1780 -x1807 -x1848 -x1078 -x1498 -x1675 -x1408 -x1363 -x1315 -x1618 -x1021
1799.99/1800.42	v -x1203 -x1176 -x1692 -x1501 -x1958 -x1095 -x1148 -x1210 -x1231 -x1280 -x1331 -x1367 -x1383 -x1446 -x1463 -x1580 -x1620
1799.99/1800.42	v -x1643 -x1715 -x1902 -x1974 -x1664 -x1700 -x1035 -x1374 -x1391 -x1920 -x1876 -x1133 -x1190 -x1665 -x1558 -x1081 -x1931
1799.99/1800.42	v -x1921 -x1626 -x1031 -x1124 -x1180 -x1253 -x1403 -x1412 -x1413 -x1518 -x1567 -x1624 -x1013 -x1522 -x1075 -x1213 -x1575
1799.99/1800.42	v -x1539 -x1795 -x1277 -x1557 -x1846 -x1663 -x1406 -x1988 -x1990 -x1281 -x1122 -x1140 -x1206 -x1322 -x1415 -x1419 -x1420
1799.99/1800.42	v -x1451 -x1749 -x1763 -x1820 -x1444 -x1032 -x1334 -x1314 -x1254 -x1510 -x1939 -x1127 -x1936 -x1230 -x1829 -x1447 -x1024
1799.99/1800.42	v -x1222 -x1119 -x1430 -x1115 -x1262 -x1464 -x1623 -x1729 -x1744 -x1979 -x1015 -x1903 -x1338 -x1599 -x1395 -x1332 -x1086
1799.99/1800.42	v -x1236 -x1682 -x1156 -x1037 -x1912 -x1033 -x1046 -x1096 -x1199 -x1333 -x1362 -x1370 -x1417 -x1621 -x1650 -x1660 -x1680
1799.99/1800.42	v -x1690 -x1845 -x1502 -x1574 -x1485 -x1468 -x1387 -x1805 -x1673 -x1369 -x1512 -x1721 -x1157 -x1195 -x1028 -x1825 -x1060
1799.99/1800.42	v -x1065 -x1182 -x1227 -x1258 -x1268 -x1270 -x1303 -x1491 -x1547 -x1767 -x1017 -x1515 -x1588 -x1777 -x1407 -x1174 -x1500
1799.99/1800.42	v -x1565 -x1573 x1759 -x1238 -x1360 -x1514 -x1773 -x1875 -x1966 -x1018 -x1731 -x1613 -x1652 -x1422 -x1628 -x1855 -x1551
1799.99/1800.42	v -x1191 -x1384 -x1755 -x1482 -x1052 -x1255 -x1348 -x1380 -x1389 -x1450 -x1493 -x1738 -x1753 -x1906 -x1019 -x1490 -x1040
1799.99/1800.42	v -x1047 -x1082 -x1050 -x1062 -x1904 -x1604 -x1772 -x1561 -x1194 -x1943 -x1793 -x1097 -x1223 -x1402 -x1544 -x1764 -x1782
1799.99/1800.42	v -x1897 -x1020 -x1497 -x1922 -x1224 -x1981 -x1822 -x1601 -x1288 -x1235 -x1385 -x1076 -x1111 -x1145 -x1193 -x1647 -x1847
1799.99/1800.42	v -x1240 -x1221 -x1670 -x1437 -x1784 -x1438 -x1511 -x1023 -x1219 -x1267 -x1287 -x1774 -x1832 -x1863 -x1895 -x1022 -x1641
1799.99/1800.42	v -x1150 -x1503 -x1961 -x1357 -x1954 -x1116 -x1135 -x1343 -x1927 -x1674 -x1864 -x1873 -x1856 -x1877 -x1109 x1775 -x1611
1799.99/1800.42	v -x1120 -x1409 -x1892 -x1637 -x1617 -x1164 x1197 -x1225 -x1499 -x1593 -x1754 -x1791 -x1908 -x1486 -x1112 -x1537 -x1582
1799.99/1800.42	v -x1813 -x1810 -x1884 -x1084 -x1106 -x1217 -x1249 -x1577 -x1708 -x1025 -x1996 -x1947 -x1915 -x1507 -x1816 -x1977 -x1548
1799.99/1800.42	v -x1910 -x1743 -x1719 -x1034 -x1072 -x1381 -x1569 -x1619 -x1654 -x1779 -x1918 -x2000 -x1026 -x1302 -x1218 -x1758 -x1158
1799.99/1800.42	v -x1201 -x1279 -x1411 -x1429 -x1487 -x1576 -x1826 -x1667 -x1185 -x1737 -x1365 -x1698 -x1964 -x1940 -x1722 -x1198 -x1285
1799.99/1800.42	v -x1697 -x1732 -x1770 -x1183 -x1612 -x1630 -x1366 -x1726 -x1442 -x1710 -x1756 -x1353 -x1814 -x1029 -x1706 -x1929 -x1471
1799.99/1800.42	v -x1540 -x1301 -x1521 -x1935 -x1585 -x1640 -x1141 -x1901 -x1568 -x1036 -x1098 -x1188 -x1526 -x1686 -x1703 -x1827 -x1836
1799.99/1800.42	v -x1030 -x1273 -x1154 -x1083 -x1952 -x1494 -x1796 -x1718 -x1155 -x1211 -x1794 -x1671 -x1356 -x1495 -x1956 -x1639 -x1320
1799.99/1800.42	v -x1129 -x1339 -x1388 -x1171 -x1405 -x1325 -x1879 -x1061 -x1326 -x1435 -x1638 -x1811 -x1094 -x1631 -x1751 -x1862 -x1655
1799.99/1800.42	v -x1997 -x1177 -x1092 -x1685 -x1261 -x1144 -x1519 -x1610 -x1766 -x1074 -x1358 -x1329 -x1571 -x1891 -x1662 -x1888 -x1175
1799.99/1800.42	v -x1849 -x1368 -x1614 -x1669 -x1467 -x1583 -x1957 -x1151 -x1609 -x1629 -x1633 -x1546 -x1392 -x1453 -x1672 -x1824 -x1421
1799.99/1800.42	v -x1882 -x1308 -x1733 -x1926 -x1242 -x1070 -x1909 -x1161 -x1165 -x1276 -x1428 -x1659 -x1039 -x1543 -x1831 -x1570 -x1349
1799.99/1800.42	v -x1125 -x1433 -x1554 -x1264 -x1163 -x1234 -x1300 -x1868 -x1298 -x1668 -x1963 -x1890 -x1696 -x1042 -x1739 -x1797 -x1523
1799.99/1800.42	v -x1556 -x1051 -x1147 -x1166 -x1312 -x1472 -x1138 -x1470 -x1386 -x1460 -x1342 -x1917 -x1379 -x1200 -x1506 -x1520 -x1564
1799.99/1800.42	v -x1607 -x1995 -x1293 -x1933 -x1492 -x1292 -x1423 -x1168 -x1969 -x1477 -x1247 -x1594 -x1962 -x1841 -x1960 -x1480 -x1973
1799.99/1800.42	v -x1068 -x1677 -x1066 -x1364 -x1524 -x1541 -x1105 -x1998 -x1712 -x1345 -x1821 -x1734 -x1615 -x1152 -x1525 -x1538 -x1781
1799.99/1800.42	v -x1504 -x1560 -x1178 -x1448 -x1581 -x1452 -x1959 -x1085 -x1720 -x1934 -x1937 -x1605 -x1350 -x1688 -x1983 -x1953 -x1913
1799.99/1800.42	v -x1589 -x1815 -x1434 -x1818 -x1866 -x1587 -x1361 -x1678 -x1717 -x1880 -x1063 -x1087 -x1676 -x1683 -x1919 -x1330 -x1058
1799.99/1800.42	v -x1765 -x1725 x1632 -x1834 -x1850 -x1730 -x1272 -x1131 -x1327 -x1110 -x1445 -x1244 -x1860 -x1828 -x1742 -x1205 -x1885
1799.99/1800.42	v -x1550 -x1666 -x1965 -x1121 -x1835 -x1458 -x1971 -x1552 -x1404 -x1776 -x1644 -x1531 -x1117 -x1335 -x1459 -x1294 -x1337
1799.99/1800.42	v -x1801 -x1496 -x1466 -x1768 -x1658 -x1530 -x1173 -x1132 -x1399 -x1592 -x1786 -x1900 -x1980 -x1278 -x1861 -x1528 -x1130
1799.99/1800.42	v -x1865 -x1987 -x1853 -x1693 -x1636 -x1508 -x1894 -x1970 -x1930 -x1616 -x1735 -x1653 -x1870 -x1684 -x1761 -x1982
1799.99/1800.42	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.99/1800.42	c   59    87565   1169  1629578   217084 109730754  87594     48 1800.02
1799.99/1800.42	c Objective: -29
1799.99/1800.42	s SATISFIABLE
1799.99/1800.42	c Total time: 1800.02 s

Verifier Data (download as text)

OK	-29

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node52/watcher-455220-1178039405 -o ROOT/results/node52/solver-455220-1178039405 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455220-1178039405/instance-455220-1178039405.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.85 0.97 0.98 3/64 6125
/proc/meminfo: memFree=1884028/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=12660 CPUtime=0
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 158785562 12963840 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 3165 335 281 324 0 2003 0

[startup+0.022545 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 6125
/proc/meminfo: memFree=1884028/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=5816 CPUtime=0.01
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 630 0 0 0 1 0 0 0 18 0 1 0 158785562 5955584 599 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 1454 599 302 324 0 292 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5816

[startup+0.10155 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 6125
/proc/meminfo: memFree=1884028/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=9928 CPUtime=0.09
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 1700 0 0 0 8 1 0 0 18 0 1 0 158785562 10166272 1669 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 2482 1670 348 324 0 1320 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9928

[startup+0.301564 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 6125
/proc/meminfo: memFree=1884028/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=19920 CPUtime=0.29
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 4352 0 0 0 28 1 0 0 19 0 1 0 158785562 20398080 4202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134538905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 4980 4202 455 324 0 3818 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19920

[startup+0.701591 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 6125
/proc/meminfo: memFree=1884028/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=38668 CPUtime=0.69
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 9188 0 0 0 66 3 0 0 22 0 1 0 158785562 39596032 8758 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 9667 8758 307 324 0 8736 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38668

[startup+1.50164 s]
/proc/loadavg: 0.85 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1849972/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=38668 CPUtime=1.49
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 9222 0 0 0 146 3 0 0 25 0 1 0 158785562 39596032 8792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 9667 8792 307 324 0 8736 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38668

[startup+3.10175 s]
/proc/loadavg: 0.86 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1849844/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=38800 CPUtime=3.09
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 9226 0 0 0 306 3 0 0 25 0 1 0 158785562 39731200 8796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 9700 8796 307 324 0 8769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38800

[startup+6.30197 s]
/proc/loadavg: 0.86 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1849524/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=38800 CPUtime=6.29
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 9226 0 0 0 625 4 0 0 25 0 1 0 158785562 39731200 8796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 9700 8796 307 324 0 8769 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38800

[startup+12.7014 s]
/proc/loadavg: 0.88 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1849588/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=38800 CPUtime=12.68
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 9226 0 0 0 1264 4 0 0 25 0 1 0 158785562 39731200 8796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4739141 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 9700 8796 307 324 0 8769 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38800

[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1849652/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=38800 CPUtime=25.48
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 9226 0 0 0 2544 4 0 0 25 0 1 0 158785562 39731200 8796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 9700 8796 307 324 0 8769 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38800

[startup+51.102 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1849652/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=38800 CPUtime=51.07
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 9226 0 0 0 5102 5 0 0 25 0 1 0 158785562 39731200 8796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 9700 8796 307 324 0 8769 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38800

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1849652/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=38800 CPUtime=102.27
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 9226 0 0 0 10221 6 0 0 25 0 1 0 158785562 39731200 8796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 9700 8796 307 324 0 8769 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 38800

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1849652/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=38800 CPUtime=162.25
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 9226 0 0 0 16217 8 0 0 25 0 1 0 158785562 39731200 8796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551510 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 9700 8796 307 324 0 8769 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 38800

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1824500/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=63548 CPUtime=222.24
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 15686 0 0 0 22131 93 0 0 25 0 1 0 158785562 65073152 15128 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 15887 15128 313 324 0 14956 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 63548

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1748340/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=139568 CPUtime=282.22
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 34689 0 0 0 28117 105 0 0 25 0 1 0 158785562 142917632 34131 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 34892 34134 313 324 0 33961 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 139568

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1702004/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=187328 CPUtime=342.21
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 46624 0 0 0 34109 112 0 0 25 0 1 0 158785562 191823872 46066 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 46832 46066 313 324 0 45901 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 187328

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1589364/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=298280 CPUtime=402.2
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 74369 0 0 0 40093 127 0 0 25 0 1 0 158785562 305438720 73811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 74570 73811 313 324 0 73639 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 298280

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1553204/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=334424 CPUtime=462.18
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 83395 0 0 0 46086 132 0 0 25 0 1 0 158785562 342450176 82837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 83606 82837 313 324 0 82675 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 334424

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1516276/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=371388 CPUtime=522.17
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 92660 0 0 0 52079 138 0 0 25 0 1 0 158785562 380301312 92102 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 92847 92102 313 324 0 91916 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 371388

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1417972/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=469388 CPUtime=582.15
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 117160 0 0 0 58065 150 0 0 25 0 1 0 158785562 480653312 116602 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 117347 116602 313 324 0 116416 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 469388

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6126
/proc/meminfo: memFree=1364020/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=522948 CPUtime=642.15
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 130534 0 0 0 64057 158 0 0 25 0 1 0 158785562 535498752 129976 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 130737 129976 313 324 0 129806 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 522948


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

[startup+882.301 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 6126
/proc/meminfo: memFree=1197748/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=688976 CPUtime=882.09
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 172043 0 0 0 88027 182 0 0 25 0 1 0 158785562 705511424 171485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 172244 171485 313 324 0 171313 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 688976

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=1155380/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=733908 CPUtime=942.08
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 183291 0 0 0 94019 189 0 0 25 0 1 0 158785562 751521792 182733 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 183477 182733 313 324 0 182546 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 733908

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=1115060/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=771600 CPUtime=1002.07
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 192691 0 0 0 100013 194 0 0 25 0 1 0 158785562 790118400 192133 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 192900 192133 313 324 0 191969 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 771600

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=1070196/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=816412 CPUtime=1062.05
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 203905 0 0 0 106001 204 0 0 25 0 1 0 158785562 836005888 203347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 204103 203347 313 324 0 203172 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 816412

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=1031732/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=854660 CPUtime=1122.04
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 213479 0 0 0 111994 210 0 0 25 0 1 0 158785562 875171840 212921 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572835 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 213665 212921 313 324 0 212734 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 854660

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=987700/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=898752 CPUtime=1182.03
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 224491 0 0 0 117986 217 0 0 25 0 1 0 158785562 920322048 223933 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 224688 223933 313 324 0 223757 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 898752

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=949108/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=937276 CPUtime=1242.02
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 234106 0 0 0 123979 223 0 0 25 0 1 0 158785562 959770624 233548 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 234319 233548 313 324 0 233388 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 937276

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=893364/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=992544 CPUtime=1302
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 247946 0 0 0 129971 229 0 0 25 0 1 0 158785562 1016365056 247388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 248136 247388 313 324 0 247205 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 992544

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=837428/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=1048820 CPUtime=1361.98
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 261999 0 0 0 135961 237 0 0 25 0 1 0 158785562 1073991680 261442 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 262205 261442 313 324 0 261274 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1048820

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=779188/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=1106520 CPUtime=1421.98
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 276437 0 0 0 141952 246 0 0 25 0 1 0 158785562 1133076480 275879 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 276630 275879 313 324 0 275699 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1106520

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=735348/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=1150568 CPUtime=1481.96
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 287446 0 0 0 147943 253 0 0 25 0 1 0 158785562 1178181632 286888 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 287642 286888 313 324 0 286711 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1150568

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=686004/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=1199784 CPUtime=1541.94
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 299748 0 0 0 153934 260 0 0 25 0 1 0 158785562 1228578816 299190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 299946 299190 313 324 0 299015 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1199784

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=614644/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=1271016 CPUtime=1601.93
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 317546 0 0 0 159923 270 0 0 25 0 1 0 158785562 1301520384 316988 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 317754 316988 313 324 0 316823 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1271016

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=573556/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=1312016 CPUtime=1661.92
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 327792 0 0 0 165917 275 0 0 25 0 1 0 158785562 1343504384 327234 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572183 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 328004 327238 313 324 0 327073 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1312016

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=521012/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=1364460 CPUtime=1721.9
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 340915 0 0 0 171907 283 0 0 25 0 1 0 158785562 1397207040 340357 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 341115 340357 313 324 0 340184 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1364460

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=457524/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=1429116 CPUtime=1781.89
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194304 357075 0 0 0 177896 293 0 0 25 0 1 0 158785562 1463414784 356517 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551623 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 357279 356517 313 324 0 356348 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1429116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6126
/proc/meminfo: memFree=933940/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=0 CPUtime=1800.09
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194308 359221 0 0 0 179707 302 0 0 17 0 1 0 158785562 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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.00 0.99 2/66 6127
/proc/meminfo: memFree=1595756/2055920 swapFree=4182984/4192956
[pid=6125] ppid=6123 vsize=0 CPUtime=1800.2
/proc/6125/stat : 6125 (bsolo3.0.16) R 6123 6125 5267 0 -1 4194308 359221 0 0 0 179707 313 0 0 18 0 1 0 158785562 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6125/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.25
CPU user time (s): 1797.07
CPU system time (s): 3.17152
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 1437636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.07
system time used= 3.17152
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359221
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= 14
involuntary context switches= 2785

runsolver used 1.36779 second user time and 3.55846 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Tue May  1 17:10:05 UTC 2007

IDJOB= 455220
IDBENCH= 48249
IDSOLVER= 163
FILE ID= node52/455220-1178039405

PBS_JOBID= 4728426

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  d792065ec5adca4c7f7b540f15bc8ce9

RANDOM SEED= 760923651

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1884500 kB
Buffers:         38196 kB
Cached:          71544 kB
SwapCached:       3888 kB
Active:          83160 kB
Inactive:        37080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1884500 kB
SwapTotal:     4192956 kB
SwapFree:      4182984 kB
Dirty:            7640 kB
Writeback:           0 kB
Mapped:          15716 kB
Slab:            37208 kB
Committed_AS:  4496928 kB
PageTables:       1484 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= 66557 MiB

End job on node52 on Tue May  1 17:40:08 UTC 2007