Trace number 455526

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)-32 1800.21 1800.81

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_2.opb
MD5SUM24465d104818b01999b811ba346c3d8e
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-152
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 -152
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)63088
Sum of products size (including duplicates)126176
Number of different products31544
Sum of products size63088

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455526-1178045153/instance-455526-1178045153.opb
0.00/0.00	c File size is 940668 bytes.
0.39/0.40	c Highest Coefficient sum: 2000
0.39/0.40	c Parsing was ok!!
0.39/0.40	c Total parsing time: 0.401 s
0.49/0.51	c Var: 65088 Constr: 129178 64088/2002/63088 Lit: 447616 Watch. Lit: 382530
0.49/0.51	c Obj. Vars: 1000 (1.53638 % of total variables)
179.44/179.58	c Pre-processing Time: 179.53 s
179.44/179.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.44/179.59	c        0  65088   129178   447616    3   382530  500000      0      0 179.53
179.44/179.59	c Switching off LPR mode.
179.54/179.67	o -1	179.624
179.74/179.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.74/179.80	c        0  65088   129179   448616    3   382533  500000      1      0 179.66
179.74/179.80	o -2	179.75
179.84/179.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.84/179.92	c        0  65088   129180   449616    3   382537  500000      2      0 179.78
179.84/179.92	o -3	179.873
179.94/180.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.94/180.05	c        0  65088   129181   450616    3   382542  500000      3      0 179.90
179.94/180.05	o -4	179.998
180.04/180.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.04/180.17	c        0  65088   129182   451616    3   382548  500000      4      0 180.03
180.04/180.17	o -5	180.124
180.14/180.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.14/180.30	c        0  65088   129183   452616    3   382555  500000      5      0 180.16
180.14/180.30	o -6	180.251
180.34/180.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.34/180.43	c        0  65088   129184   453616    3   382563  500000      6      0 180.28
180.34/180.43	o -7	180.379
180.44/180.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.44/180.55	c        0  65088   129185   454616    3   382572  500000      7      0 180.41
180.44/180.55	o -8	180.506
180.54/180.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.54/180.68	c        0  65088   129186   455616    3   382582  500000      8      0 180.54
180.54/180.68	o -9	180.634
180.74/180.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.74/180.81	c        0  65088   129187   456616    3   382593  500000      9      0 180.67
180.74/180.81	o -10	180.763
180.84/180.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.84/180.94	c        0  65088   129188   457616    3   382605  500000     10      0 180.79
180.84/180.94	o -11	180.891
180.93/181.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.93/181.07	c        0  65088   129189   458616    3   382618  500000     11      0 180.92
180.93/181.07	o -12	181.02
181.13/181.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.13/181.20	c        0  65088   129190   459616    3   382632  500000     12      0 181.05
181.13/181.20	o -13	181.149
181.23/181.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.23/181.33	c        0  65088   129191   460616    3   382647  500000     13      0 181.18
181.23/181.33	o -14	181.279
181.34/181.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.34/181.46	c        0  65088   129192   461616    3   382663  500000     14      0 181.31
181.34/181.46	o -15	181.409
181.44/181.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.44/181.59	c        0  65088   129193   462616    3   382680  500000     15      0 181.44
181.44/181.59	o -16	181.54
181.63/181.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.63/181.72	c        0  65088   129194   463616    3   382698  500000     16      0 181.57
181.63/181.72	o -17	181.67
181.73/181.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.73/181.85	c        0  65088   129195   464616    3   382717  500000     17      0 181.70
181.73/181.85	o -18	181.801
181.83/181.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.83/181.98	c        0  65088   129196   465616    3   382737  500000     18      0 181.84
181.83/181.98	o -19	181.932
182.03/182.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.03/182.11	c        0  65088   129197   466616    3   382758  500000     19      0 181.97
182.03/182.11	o -20	182.063
182.13/182.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.13/182.24	c        0  65088   129198   467616    3   382780  500000     20      0 182.10
182.13/182.24	o -21	182.195
182.23/182.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.23/182.38	c        0  65088   129199   468616    3   382803  500000     21      0 182.23
182.23/182.38	o -22	182.326
182.44/182.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.44/182.51	c        0  65088   129200   469616    3   382827  500000     22      0 182.36
182.44/182.51	o -23	182.458
182.54/182.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.54/182.64	c        0  65088   129201   470616    3   382852  500000     23      0 182.49
182.54/182.64	o -24	182.59
182.63/182.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.63/182.77	c        0  65088   129202   471616    3   382878  500000     24      0 182.62
182.63/182.77	o -25	182.722
182.83/182.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.83/182.90	c        0  65088   129203   472616    3   382905  500000     25      0 182.76
182.83/182.90	o -26	182.854
182.93/183.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.93/183.04	c        0  65088   129204   473616    3   382933  500000     26      0 182.89
182.93/183.04	o -27	182.987
183.03/183.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.03/183.17	c        0  65088   129205   474616    3   382962  500000     27      0 183.02
183.03/183.17	o -28	183.119
183.23/183.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.23/183.30	c        0  65088   129206   475616    3   382992  500000     28      0 183.15
183.23/183.30	o -29	183.252
183.43/183.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.43/183.54	c        0  65088   129207   476616    3   383023  500000     29      0 183.29
183.43/183.54	o -30	183.493
304.21/304.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
304.21/304.37	c        4  65088   129212   482220    3   383063  500000     34      0 183.53
304.21/304.37	c      104  65088   129312   603828    4   383263  550001    134      0 186.33
304.21/304.37	c      354  65088   129562   898755    6   383763  605002    384      1 192.56
304.21/304.37	c      829  65088   130037  1453612   11   384713  665503    859      4 201.64
304.21/304.37	c     1642  65088   130850  2400646   18   386339  732054   1672      7 218.89
304.21/304.37	c     2962  65088   132170  3976480   30   388979  805260   2992     12 237.26
304.21/304.37	c     5043  65088   134251  6610025   49   393141  885787   5073     19 263.63
304.21/304.37	c     8266  65088   137474 11446662   83   399587  974366   8296     27 302.78
304.21/304.37	o -31	304.286
332.39/332.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
332.39/332.55	c     8552  65088   137761 11971547   86   400192  500000   8583     28 304.34
332.39/332.55	c     8652  65088   137861 12074381   87   400392  550001   8683     27 309.91
332.39/332.55	c     8902  65088   138111 12364535   89   400892  605002   8933     27 320.90
332.39/332.55	c     9377  65088   138586 13030393   94   401842  665503   9408     28 331.36
332.39/332.55	o -32	332.455
1800.00/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.60	c     9549  65088   138759 13346537   96   402220  500000   9581     28 332.51
1800.00/1800.60	c     9649  65088   138859 13444955   96   402420  550001   9681     28 336.67
1800.00/1800.60	c     9899  65088   139109 13732051   98   402920  605002   9931     28 346.09
1800.00/1800.60	c    10374  65088   139584 14389051  103   403870  665503  10406     29 355.55
1800.00/1800.60	c    11187  65088   140397 15448162  110   405496  732054  11219     29 375.80
1800.00/1800.60	c    12507  65088   141717 17298299  122   408136  805260  12539     31 402.92
1800.00/1800.60	c    14588  65088   143798 19746697  137   412298  885787  14620     33 440.77
1800.00/1800.60	c    17811  65088   147021 23643304  160   418744  974366  17843     35 505.44
1800.00/1800.60	c    22747  65088   151957 30163411  198   428616  500000  22779     37 599.08
1800.00/1800.60	c    30253  65088   159463 39669949  248   443628  550001  30285     39 763.67
1800.00/1800.60	c    41614  65088   170824 54055666  316   466350  605002  41646     40 1027.80
1800.00/1800.60	c    58758  65088   187968 76192513  405   500638  665503  58790     41 1402.09
1800.00/1800.61	c Caught signal: 15
1800.00/1800.61	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
1800.00/1800.61	v -x33 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
1800.00/1800.61	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 -x87
1800.00/1800.61	v -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
1800.00/1800.61	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131
1800.00/1800.61	v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152
1800.00/1800.61	v -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173
1800.00/1800.61	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194
1800.00/1800.61	v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
1800.00/1800.61	v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236
1800.00/1800.61	v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1800.00/1800.61	v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278
1800.00/1800.61	v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
1800.00/1800.61	v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
1800.00/1800.61	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341
1800.00/1800.61	v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362
1800.00/1800.61	v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
1800.00/1800.61	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404
1800.00/1800.61	v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425
1800.00/1800.61	v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446
1800.00/1800.61	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467
1800.00/1800.61	v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488
1800.00/1800.61	v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509
1800.00/1800.61	v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1800.00/1800.61	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551
1800.00/1800.61	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572
1800.00/1800.61	v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
1800.00/1800.61	v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614
1800.00/1800.61	v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635
1800.00/1800.61	v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656
1800.00/1800.61	v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677
1800.00/1800.61	v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698
1800.00/1800.61	v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719
1800.00/1800.61	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
1800.00/1800.61	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761
1800.00/1800.61	v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782
1800.00/1800.61	v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803
1800.00/1800.61	v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824
1800.00/1800.61	v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845
1800.00/1800.61	v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866
1800.00/1800.61	v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887
1800.00/1800.61	v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908
1800.00/1800.61	v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 x928 -x929
1800.00/1800.61	v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
1800.00/1800.61	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971
1800.00/1800.61	v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992
1800.00/1800.61	v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1291 -x1720 -x1789 -x1576 -x1062 -x1499 -x1865 -x1278 -x1746 -x1628
1800.00/1800.61	v -x1343 -x1180 -x1150 -x1094 -x1038 -x1050 -x1655 -x1774 -x1368 -x1731 -x1003 -x1573 -x1570 -x1316 -x1768 -x1075 -x1106
1800.00/1800.61	v -x1122 -x1136 -x1205 -x1306 -x1356 -x1457 -x1548 -x1584 -x1666 -x1670 -x1683 -x1738 -x1783 -x1001 x1392 x1211 x1631 x1297
1800.00/1800.61	v -x1064 -x1014 -x1587 x1803 x1162 -x1197 x1653 x1378 x1474 x1398 x1358 -x1168 -x1929 x1507 x1261 -x1966 -x1557 -x1915 x1091
1800.00/1800.61	v -x1276 -x1012 -x1041 -x1060 x1085 -x1161 x1268 x1280 -x1308 x1728 x1916 -x1002 x1645 x1446 x1200 x1567 -x1761 x1967 -x1310
1800.00/1800.61	v x1324 -x1949 -x1606 -x1387 -x1963 x1544 -x1522 -x1117 -x1057 -x1718 -x1769 -x1787 x1191 -x1518 -x1144 x1711 -x1650 -x1026
1800.00/1800.61	v -x1160 -x1229 -x1238 -x1259 -x1275 x1281 x1636 -x1702 -x1719 -x1852 -x1880 -x1890 -x1950 -x1971 -x1763 -x1558 -x1186 -x1234
1800.00/1800.61	v -x1385 -x1800 -x1704 -x1461 -x1438 -x1652 -x1418 -x1824 -x1961 -x1697 -x1082 -x1370 -x1766 -x1202 -x1156 -x1309 -x1051
1800.00/1800.61	v -x1123 -x1199 -x1220 -x1227 -x1483 -x1552 -x1581 -x1698 -x1812 -x1004 -x1299 -x1019 -x1516 -x1300 -x1989 -x1210 -x1578
1800.00/1800.61	v -x1747 -x1484 -x1598 -x1424 -x1035 -x1190 -x1193 -x1155 -x1506 -x1907 -x1589 -x1032 -x1070 -x1092 -x1134 -x1254 -x1498
1800.00/1800.61	v -x1526 -x1592 -x1850 -x1858 -x1942 -x1005 -x1875 -x1673 -x1142 -x1382 -x1333 -x1861 -x1351 -x1376 -x1331 -x1691 -x1892
1800.00/1800.61	v -x1269 -x1488 -x1638 -x1080 -x1323 -x1473 -x1042 -x1921 -x1010 -x1817 -x1307 -x1517 -x1045 -x1101 -x1226 -x1242 -x1264
1800.00/1800.61	v -x1511 -x1543 -x1602 -x1662 -x1692 -x1833 -x1943 -x1975 -x1006 -x1706 -x1867 -x1776 -x1646 -x1741 -x1132 -x1999 -x1153
1800.00/1800.61	v -x1482 -x1727 -x1835 -x1524 -x1732 -x1079 -x1792 -x1571 -x1068 -x1223 -x1893 -x1540 -x1617 -x1165 -x1048 -x1073 -x1076
1800.00/1800.61	v -x1151 -x1167 -x1198 -x1230 -x1341 -x1421 -x1500 -x1586 -x1614 -x1684 -x1007 -x1550 -x1785 -x1472 -x1100 -x1146 -x1340
1800.00/1800.61	v -x1157 -x1115 -x1802 -x1752 -x1914 -x1941 -x1225 -x1397 -x1939 -x1729 -x1017 -x1564 -x1754 -x1748 -x1642 -x1545 -x1020
1800.00/1800.61	v -x1056 -x1065 -x1072 -x1149 -x1231 -x1266 -x1317 -x1383 -x1423 -x1445 -x1504 -x1512 -x1820 -x1860 -x1008 -x1709 -x1120
1800.00/1800.61	v -x1601 -x1736 -x1520 -x1902 -x1758 -x1677 -x1708 -x1911 -x1781 -x1974 -x1851 -x1357 -x1086 -x1600 -x1158 -x1649 -x1022
1800.00/1800.61	v -x1105 -x1140 -x1152 -x1369 -x1442 -x1455 -x1513 -x1593 -x1659 -x1678 -x1778 -x1831 -x1009 -x1705 -x1258 -x1249 -x1927
1800.00/1800.61	v -x1841 -x1302 -x1272 -x1327 -x1173 -x1404 -x1344 -x1826 -x1799 -x1274 -x1121 -x1133 -x1164 -x1183 -x1252 -x1256 -x1265
1800.00/1800.61	v -x1380 -x1515 -x1668 -x1796 -x1509 -x1767 -x1594 -x1119 -x1924 -x1823 -x1533 -x1460 -x1288 -x1143 -x1096 -x1619 -x1565
1800.00/1800.61	v -x1363 -x1990 -x1013 -x1355 -x1381 -x1384 -x1414 -x1429 -x1462 -x1485 -x1489 -x1541 -x1624 -x1625 -x1676 -x1935 -x1011
1800.00/1800.61	v -x1390 -x1786 -x1494 -x1411 -x1177 -x1947 -x1530 -x1452 -x1353 -x1985 -x1478 -x1128 -x1765 -x1622 -x1447 -x1058 -x1722
1800.00/1800.61	v -x1021 -x1090 -x1095 -x1129 -x1439 -x1475 -x1527 -x1849 -x1944 -x1521 -x1816 -x1437 -x1179 -x1856 -x1651 -x1618 -x1777
1800.00/1800.61	v -x1597 -x1318 -x1490 -x1434 -x1224 -x1284 -x1519 -x1810 -x1945 -x1111 -x1175 -x1844 -x1034 -x1248 x1349 -x1399 -x1556
1800.00/1800.61	v -x1981 -x1206 -x1804 -x1209 -x1932 -x1510 -x1590 -x1350 -x1043 -x1212 -x1623 -x1923 -x1952 -x1793 -x1352 -x1904 -x1878
1800.00/1800.61	v -x1647 -x1289 -x1125 -x1347 -x1244 -x1403 -x1917 -x1176 -x1237 -x1018 -x1084 -x1112 -x1114 -x1135 -x1246 -x1260 -x1495
1800.00/1800.61	v -x1523 -x1528 -x1658 -x1808 -x1845 -x1848 -x1882 -x1015 -x1675 -x1905 -x1098 -x1948 -x1568 -x1169 -x1713 -x1973 -x1616
1800.00/1800.61	v -x1627 -x1870 -x1373 -x1599 -x1218 -x1036 -x1074 -x1081 -x1436 -x1479 -x1480 -x1497 -x1920 -x1016 -x1609 -x1107 -x1187
1800.00/1800.61	v -x1637 -x1994 -x1956 -x1626 -x1170 -x1797 -x1919 -x1023 -x1163 -x1339 -x1496 -x1641 -x1714 -x1863 -x1889 -x1913 -x1986
1800.00/1800.61	v -x1992 -x1621 -x1742 -x1233 -x1047 -x1053 -x1315 -x1721 -x1431 -x1487 -x1958 -x1689 -x1314 -x1174 -x1296 -x1321 x1640
1800.00/1800.61	v -x1873 -x1688 -x1954 -x1078 -x1295 -x1235 -x1501 -x1634 -x1931 -x1335 -x1287 -x1463 -x1087 -x1283 -x1301 -x1364 -x1412
1800.00/1800.61	v -x1425 -x1448 -x1458 -x1481 -x1660 -x1694 -x1710 -x1759 -x1887 -x1940 -x1936 -x1396 -x1608 -x1453 -x1104 -x1575 -x1874
1800.00/1800.61	v -x1025 -x1055 -x1419 -x1725 -x1839 -x1866 -x1695 -x1505 -x1108 -x1554 -x1723 -x1998 -x1901 -x1753 -x1686 -x1279 -x1088
1800.00/1800.61	v -x1109 -x1166 -x1154 -x1466 -x1644 -x1102 -x1319 -x1546 -x1794 -x1679 -x1791 -x1579 -x1788 -x1046 -x1103 -x1215 -x1239
1800.00/1800.61	v -x1559 -x1681 -x1903 -x1983 -x1277 -x1194 -x1900 -x1739 -x1630 -x1465 -x1401 -x1049 -x1213 -x1410 -x1435 -x1707 -x1814
1800.00/1800.61	v -x1818 -x1762 -x1375 -x1443 -x1877 -x1551 -x1756 -x1737 -x1178 -x1219 -x1342 -x1348 -x1988 -x1024 -x1089 -x1337 -x1815
1800.00/1800.61	v -x1330 -x1433 -x1216 -x1124 -x1217 -x1432 -x1304 -x1141 -x1228 -x1305 -x1825 -x1470 -x1682 -x1665 -x1930 -x1982 -x1334
1800.00/1800.61	v -x1322 -x1131 -x1292 -x1420 -x1854 -x1735 -x1148 -x1717 -x1416 -x1159 -x1770 -x1970 -x1980 -x1562 -x1029 -x1067 -x1097
1800.00/1800.61	v -x1145 -x1303 -x1394 -x1406 -x1456 -x1724 -x1859 -x1908 -x1027 -x1648 -x1232 -x1972 -x1612 -x1960 -x1408 -x1243 -x1449
1800.00/1800.61	v -x1428 -x1896 -x1033 -x1069 -x1181 -x1572 -x1588 -x1591 -x1674 -x1830 -x1028 -x1262 -x1332 -x1879 -x1362 -x1052 -x1061
1800.00/1800.61	v -x1066 -x1757 -x1773 -x1840 -x1925 -x1965 -x1196 -x1566 -x1909 -x1077 -x1534 -x1821 -x1979 -x1037 -x1039 -x1326 -x1454
1800.00/1800.61	v -x1744 -x1749 -x1790 -x1030 -x1185 -x1629 -x1607 -x1984 -x1422 -x1531 -x1806 -x1241 -x1031 -x1978 -x1346 -x1829 -x1365
1800.00/1800.61	v -x1730 -x1876 -x1857 -x1221 -x1613 -x1883 -x1664 -x1426 -x1828 -x1430 -x1270 -x1407 -x1639 -x1801 -x1805 -x1906 -x1782
1800.00/1800.61	v -x1240 -x1285 -x1328 -x1329 -x1379 -x1493 -x1635 -x1733 -x1886 -x1071 -x1535 -x2000 -x1993 -x1113 -x1563 -x1413 -x1338
1800.00/1800.61	v -x1611 -x1836 -x1926 -x1293 -x1441 -x1603 -x1054 -x1099 -x1312 -x1464 -x1822 -x1389 -x1734 -x1937 -x1195 -x1492 -x1809
1800.00/1800.61	v -x1968 -x1561 -x1267 -x1784 -x1311 -x1405 -x1502 -x1207 -x1374 -x1508 -x1700 -x1987 -x1372 -x1991 -x1126 -x1477 -x1263
1800.00/1800.61	v -x1450 -x1377 -x1934 -x1838 -x1236 -x1127 -x1208 -x1577 -x1040 -x1755 -x1402 -x1962 -x1137 -x1427 -x1468 -x1685 -x1997
1800.00/1800.61	v -x1271 -x1282 -x1760 -x1959 -x1130 -x1214 -x1345 -x1671 -x1811 -x1400 -x1946 -x1569 -x1553 -x1110 -x1222 -x1313 -x1367
1800.00/1800.61	v -x1539 -x1661 -x1703 -x1273 -x1996 -x1669 -x1471 -x1336 -x1542 -x1604 -x1044 -x1633 -x1884 -x1247 -x1807 -x1899 -x1951
1800.00/1800.61	v -x1290 -x1693 -x1189 -x1320 -x1361 -x1912 -x1933 -x1063 -x1751 -x1585 -x1298 -x1093 -x1536 -x1699 -x1855 -x1969 -x1560
1800.00/1800.61	v -x1409 -x1891 -x1188 -x1667 -x1596 -x1359 -x1440 -x1701 -x1764 -x1955 -x1486 -x1643 -x1740 -x1696 -x1538 -x1872 -x1813
1800.00/1800.61	v -x1843 -x1654 -x1918 -x1837 -x1083 -x1251 -x1888 -x1964 -x1842 -x1715 -x1574 -x1138 -x1610 -x1354 -x1672 -x1846 -x1503
1800.00/1800.61	v -x1716 -x1203 -x1476 -x1881 -x1257 -x1537 -x1391 -x1393 -x1467 -x1417 -x1895 -x1147 -x1192 -x1184 -x1182 -x1451 -x1922
1800.00/1800.61	v -x1059 -x1795 -x1250 -x1897 -x1525 -x1139 -x1514 -x1657 -x1583 -x1605 -x1750 -x1864 -x1898 -x1171 -x1253 -x1680 -x1366
1800.00/1800.61	v -x1325 -x1415 -x1871 -x1894 -x1201 -x1620 -x1547 -x1798 -x1780 -x1245 -x1395 -x1847 -x1775 -x1977 -x1827 -x1928 -x1910
1800.00/1800.61	v -x1371 -x1690 -x1204 -x1386 -x1869 -x1116 -x1294 -x1388 -x1615 -x1885 -x1745 -x1444 -x1172 -x1555 -x1834 -x1743 -x1656
1800.00/1800.61	v -x1953 -x1632 -x1286 -x1862 -x1469 -x1580 -x1779 -x1582 -x1868 -x1595 -x1549 -x1118 -x1687 -x1772 -x1995 -x1832 -x1938
1800.00/1800.61	v -x1255 -x1771 -x1726 -x1459 -x1532 -x1491 -x1529 -x1957 -x1853 -x1360 -x1819 -x1712 -x1976 -x1663
1800.00/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.61	c   53    73351   1026  1845580   202561 95486206  73383     40 1800.01
1800.00/1800.61	c Objective: -32
1800.00/1800.61	s SATISFIABLE
1800.00/1800.61	c Total time: 1800.01 s

Verifier Data (download as text)

OK	-32

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-455526-1178045153 -o ROOT/results/node18/solver-455526-1178045153 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455526-1178045153/instance-455526-1178045153.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6605
/proc/meminfo: memFree=1843056/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=12656 CPUtime=0
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 252432736 12959744 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 3164 334 279 324 0 2004 0

[startup+0.0687549 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6605
/proc/meminfo: memFree=1843056/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=8272 CPUtime=0.06
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 1270 0 0 0 6 0 0 0 18 0 1 0 252432736 8470528 1240 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 2068 1241 327 324 0 908 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8272

[startup+0.101758 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6605
/proc/meminfo: memFree=1843056/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=10052 CPUtime=0.09
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 1722 0 0 0 9 0 0 0 18 0 1 0 252432736 10293248 1692 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 2513 1693 347 324 0 1353 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10052

[startup+0.301778 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6605
/proc/meminfo: memFree=1843056/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=19904 CPUtime=0.29
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 4349 0 0 0 28 1 0 0 19 0 1 0 252432736 20381696 4200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 4976 4200 453 324 0 3816 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19904

[startup+0.701815 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6605
/proc/meminfo: memFree=1843056/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=38596 CPUtime=0.69
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 9165 0 0 0 66 3 0 0 23 0 1 0 252432736 39522304 8737 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 9649 8737 305 324 0 8719 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38596

[startup+1.50189 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 6606
/proc/meminfo: memFree=1809000/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=38596 CPUtime=1.49
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 9200 0 0 0 146 3 0 0 25 0 1 0 252432736 39522304 8772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 9649 8772 305 324 0 8719 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38596

[startup+3.10105 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 6606
/proc/meminfo: memFree=1808872/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=38596 CPUtime=3.09
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 9200 0 0 0 305 4 0 0 25 0 1 0 252432736 39522304 8772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7978097 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 9649 8772 305 324 0 8719 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38596

[startup+6.30135 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 6606
/proc/meminfo: memFree=1808616/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=38596 CPUtime=6.29
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 9203 0 0 0 625 4 0 0 25 0 1 0 252432736 39522304 8775 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 9649 8775 305 324 0 8719 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38596

[startup+12.702 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 6606
/proc/meminfo: memFree=1808640/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=38728 CPUtime=12.69
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 9204 0 0 0 1265 4 0 0 25 0 1 0 252432736 39657472 8776 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8290456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 9682 8776 305 324 0 8752 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38728

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 6606
/proc/meminfo: memFree=1808832/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=38724 CPUtime=25.48
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 9205 0 0 0 2543 5 0 0 25 0 1 0 252432736 39653376 8777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8290456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 9681 8777 305 324 0 8751 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38724

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 6606
/proc/meminfo: memFree=1808832/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=38724 CPUtime=51.08
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 9205 0 0 0 5102 6 0 0 25 0 1 0 252432736 39653376 8777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 9681 8777 305 324 0 8751 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38724

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 6606
/proc/meminfo: memFree=1808832/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=38724 CPUtime=102.26
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 9205 0 0 0 10218 8 0 0 25 0 1 0 252432736 39653376 8777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8290373 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 9681 8777 305 324 0 8751 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 38724

[startup+162.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 6606
/proc/meminfo: memFree=1808832/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=38724 CPUtime=162.25
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 9205 0 0 0 16214 11 0 0 25 0 1 0 252432736 39653376 8777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8294241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 9681 8777 305 324 0 8751 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 38724

[startup+222.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 6606
/proc/meminfo: memFree=1778432/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=68700 CPUtime=222.23
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 16977 0 0 0 22208 15 0 0 25 0 1 0 252432736 70348800 16421 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 17175 16421 311 324 0 16245 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 68700

[startup+282.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 6606
/proc/meminfo: memFree=1708288/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=139532 CPUtime=282.21
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 34667 0 0 0 28196 25 0 0 25 0 1 0 252432736 142880768 34111 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 34883 34111 311 324 0 33953 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 139532

[startup+342.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 6606
/proc/meminfo: memFree=1638592/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=208268 CPUtime=342.2
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 51849 0 0 0 34186 34 0 0 25 0 1 0 252432736 213266432 51293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 52067 51293 311 324 0 51137 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 208268

[startup+402.302 s]
/proc/loadavg: 1.09 1.04 1.00 2/78 6606
/proc/meminfo: memFree=1593024/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=255072 CPUtime=402.17
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 63571 0 0 0 40178 39 0 0 25 0 1 0 252432736 261193728 63015 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 63768 63015 311 324 0 62838 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 255072

[startup+462.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 6606
/proc/meminfo: memFree=1544896/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=301640 CPUtime=462.16
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 75206 0 0 0 46170 46 0 0 25 0 1 0 252432736 308879360 74650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 75410 74650 311 324 0 74480 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 301640

[startup+522.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 6606
/proc/meminfo: memFree=1497088/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=349832 CPUtime=522.14
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 87246 0 0 0 52161 53 0 0 25 0 1 0 252432736 358227968 86690 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 87458 86690 311 324 0 86528 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 349832

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6606
/proc/meminfo: memFree=1449344/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=396972 CPUtime=582.13
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 99047 0 0 0 58155 58 0 0 25 0 1 0 252432736 406499328 98491 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572643 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 99243 98491 311 324 0 98313 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 396972

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6606
/proc/meminfo: memFree=1400832/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=445360 CPUtime=642.12
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 111126 0 0 0 64148 64 0 0 25 0 1 0 252432736 456048640 110570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 111340 110570 311 324 0 110410 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 445360


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6606
/proc/meminfo: memFree=1218304/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=627220 CPUtime=882.04
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 156603 0 0 0 88113 91 0 0 25 0 1 0 252432736 642273280 156047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 156805 156047 311 324 0 155875 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 627220

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 6772
/proc/meminfo: memFree=1181952/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=662132 CPUtime=941.95
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 165335 0 0 0 94099 96 0 0 25 0 1 0 252432736 678023168 164779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 165533 164779 311 324 0 164603 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 662132

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=1144192/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=701324 CPUtime=1001.9
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 175113 0 0 0 100089 101 0 0 25 0 1 0 252432736 718155776 174557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 175331 174557 311 324 0 174401 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 701324

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=1093504/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=751680 CPUtime=1061.89
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 187707 0 0 0 106081 108 0 0 25 0 1 0 252432736 769720320 187151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 187920 187151 311 324 0 186990 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 751680

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=1046144/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=798792 CPUtime=1121.88
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 199483 0 0 0 112073 115 0 0 25 0 1 0 252432736 817963008 198927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572583 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 199698 198927 311 324 0 198768 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 798792

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=1000000/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=845032 CPUtime=1181.86
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 211055 0 0 0 118065 121 0 0 25 0 1 0 252432736 865312768 210499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 211258 210499 311 324 0 210328 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 845032

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=956992/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=887448 CPUtime=1241.85
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 221654 0 0 0 124057 128 0 0 25 0 1 0 252432736 908746752 221098 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 221862 221098 311 324 0 220932 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 887448

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=910016/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=934136 CPUtime=1301.83
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 233321 0 0 0 130048 135 0 0 25 0 1 0 252432736 956555264 232765 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8294241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 233534 232765 311 324 0 232604 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 934136

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=862784/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=981704 CPUtime=1361.81
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 245209 0 0 0 136040 141 0 0 25 0 1 0 252432736 1005264896 244653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 245426 244653 311 324 0 244496 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 981704

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=821568/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=1022384 CPUtime=1421.8
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 255385 0 0 0 142033 147 0 0 25 0 1 0 252432736 1046921216 254829 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 255596 254829 311 324 0 254666 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1022384

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=786688/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=1057532 CPUtime=1481.77
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 264187 0 0 0 148026 151 0 0 25 0 1 0 252432736 1082912768 263631 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 264383 263631 311 324 0 263453 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1057532

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=745088/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=1098692 CPUtime=1541.76
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 274477 0 0 0 154019 157 0 0 25 0 1 0 252432736 1125060608 273921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 274673 273921 311 324 0 273743 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1098692

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=710784/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=1133252 CPUtime=1601.74
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 283117 0 0 0 160012 162 0 0 25 0 1 0 252432736 1160450048 282561 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 283313 282561 311 324 0 282383 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1133252

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=669120/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=1174520 CPUtime=1661.73
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 293412 0 0 0 166006 167 0 0 25 0 1 0 252432736 1202708480 292856 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 293630 292856 311 324 0 292700 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1174520

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=635840/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=1207816 CPUtime=1721.72
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 301757 0 0 0 172000 172 0 0 25 0 1 0 252432736 1236803584 301201 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 301954 301201 311 324 0 301024 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1207816

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=599744/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=1243756 CPUtime=1781.7
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 310743 0 0 0 177994 176 0 0 25 0 1 0 252432736 1273606144 310187 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 310939 310187 311 324 0 310009 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1243756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=588032/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=1255200 CPUtime=1800
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194304 313587 0 0 0 179823 177 0 0 25 0 1 0 252432736 1285324800 313031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 313800 313031 311 324 0 312870 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1255200

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6804
/proc/meminfo: memFree=588032/2055920 swapFree=4147156/4192956
[pid=6605] ppid=6603 vsize=0 CPUtime=1800.19
/proc/6605/stat : 6605 (bsolo3.0.17) R 6603 6605 5361 0 -1 4194308 313591 0 0 0 179823 196 0 0 25 0 1 0 252432736 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/6605/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.81
CPU time (s): 1800.21
CPU user time (s): 1798.24
CPU system time (s): 1.9717
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 1255200

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

runsolver used 1.46678 second user time and 3.75243 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Tue May  1 18:45:54 UTC 2007

IDJOB= 455526
IDBENCH= 48269
IDSOLVER= 199
FILE ID= node18/455526-1178045153

PBS_JOBID= 4728423

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  24465d104818b01999b811ba346c3d8e

RANDOM SEED= 489154407

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1843464 kB
Buffers:         50780 kB
Cached:          68128 kB
SwapCached:      14168 kB
Active:          50932 kB
Inactive:        94448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843464 kB
SwapTotal:     4192956 kB
SwapFree:      4147156 kB
Dirty:            7604 kB
Writeback:           0 kB
Mapped:          32228 kB
Slab:            52644 kB
Committed_AS:  8302644 kB
PageTables:       1780 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 node18 on Tue May  1 19:15:56 UTC 2007