Trace number 454911

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)-31 1800.29 1801.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_4.opb
MD5SUM95a6f76009dbd8a204f015cb008300c0
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-146
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -146
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)63184
Sum of products size (including duplicates)126368
Number of different products31592
Sum of products size63184

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/454911-1178033650/instance-454911-1178033650.opb
0.00/0.00	c File size is 941958 bytes.
0.59/0.63	c Highest Coefficient sum: 2000
0.59/0.63	c Parsing was ok!!
0.59/0.63	c Total parsing time: 0.632 s
0.69/0.74	c Var: 65184 Constr: 129370 64184/2002/63184 Lit: 448288 Watch. Lit: 383106
0.69/0.74	c Obj. Vars: 1000 (1.53412 % of total variables)
179.71/179.83	c Pre-processing Time: 179.758 s
179.71/179.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.71/179.84	c        0  65184   129370   448288    3   383106  500000      0      0 179.76
179.71/179.84	c Switching off LPR mode.
179.81/179.93	o -1	179.854
179.91/180.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.91/180.05	c        0  65184   129371   449288    3   383109  500000      1      0 179.88
179.91/180.05	o -2	179.978
180.01/180.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.01/180.18	c        0  65184   129372   450288    3   383113  500000      2      0 180.01
180.01/180.18	o -3	180.103
180.21/180.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.21/180.30	c        0  65184   129373   451288    3   383118  500000      3      0 180.13
180.21/180.30	o -4	180.23
180.32/180.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.32/180.43	c        0  65184   129374   452288    3   383124  500000      4      0 180.26
180.32/180.43	o -5	180.357
180.42/180.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.42/180.56	c        0  65184   129375   453288    3   383131  500000      5      0 180.39
180.42/180.56	o -6	180.485
180.51/180.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.51/180.69	c        0  65184   129376   454288    3   383139  500000      6      0 180.52
180.51/180.69	o -7	180.613
180.71/180.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.71/180.82	c        0  65184   129377   455288    3   383148  500000      7      0 180.65
180.71/180.82	o -8	180.742
180.81/180.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.81/180.95	c        0  65184   129378   456288    3   383158  500000      8      0 180.77
180.81/180.95	o -9	180.872
180.91/181.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.91/181.08	c        0  65184   129379   457288    3   383169  500000      9      0 180.90
180.91/181.08	o -10	181.001
181.11/181.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.11/181.21	c        0  65184   129380   458288    3   383181  500000     10      0 181.03
181.11/181.21	o -11	181.131
181.21/181.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.21/181.34	c        0  65184   129381   459288    3   383194  500000     11      0 181.16
181.21/181.34	o -12	181.261
181.31/181.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.31/181.47	c        0  65184   129382   460288    3   383208  500000     12      0 181.29
181.31/181.47	o -13	181.392
181.42/181.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.42/181.60	c        0  65184   129383   461288    3   383223  500000     13      0 181.43
181.42/181.60	o -14	181.523
181.61/181.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.61/181.73	c        0  65184   129384   462288    3   383239  500000     14      0 181.56
181.61/181.73	o -15	181.654
181.71/181.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.71/181.86	c        0  65184   129385   463288    3   383256  500000     15      0 181.69
181.71/181.86	o -16	181.785
181.81/181.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.81/181.99	c        0  65184   129386   464288    3   383274  500000     16      0 181.82
181.81/181.99	o -17	181.917
182.01/182.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.01/182.12	c        0  65184   129387   465288    3   383293  500000     17      0 181.95
182.01/182.12	o -18	182.049
182.11/182.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.11/182.26	c        0  65184   129388   466288    3   383313  500000     18      0 182.08
182.11/182.26	o -19	182.181
182.21/182.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.21/182.39	c        0  65184   129389   467288    3   383334  500000     19      0 182.22
182.21/182.39	o -20	182.313
182.41/182.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.41/182.52	c        0  65184   129390   468288    3   383356  500000     20      0 182.35
182.41/182.52	o -21	182.445
182.52/182.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.52/182.65	c        0  65184   129391   469288    3   383379  500000     21      0 182.48
182.52/182.65	o -22	182.578
182.62/182.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.62/182.79	c        0  65184   129392   470288    3   383403  500000     22      0 182.61
182.62/182.79	o -23	182.711
182.81/182.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.81/182.92	c        0  65184   129393   471288    3   383428  500000     23      0 182.75
182.81/182.92	o -24	182.844
182.91/183.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.91/183.05	c        0  65184   129394   472288    3   383454  500000     24      0 182.88
182.91/183.05	o -25	182.978
183.01/183.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.01/183.19	c        0  65184   129395   473288    3   383481  500000     25      0 183.01
183.01/183.19	o -26	183.111
183.21/183.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.21/183.32	c        0  65184   129396   474288    3   383509  500000     26      0 183.15
183.21/183.32	o -27	183.245
183.31/183.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.31/183.45	c        0  65184   129397   475288    3   383538  500000     27      0 183.28
183.31/183.45	o -28	183.378
183.41/183.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.41/183.59	c        0  65184   129398   476288    3   383568  500000     28      0 183.41
183.41/183.59	o -29	183.513
183.72/183.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.72/183.82	c        0  65184   129399   477288    3   383599  500000     29      0 183.55
183.72/183.82	o -30	183.75
285.48/285.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
285.48/285.67	c       10  65184   129410   488981    3   383651  500000     40      0 183.79
285.48/285.67	c      110  65184   129510   605896    4   383851  550001    140      0 186.15
285.48/285.67	c      360  65184   129760   898288    6   384351  605002    390      1 191.23
285.48/285.67	c      835  65184   130235  1436669   11   385301  665503    865      4 200.02
285.48/285.67	c     1648  65184   131048  2407269   18   386927  732054   1678      7 214.91
285.48/285.67	c     2968  65184   132368  4045875   30   389567  805260   2998     12 233.20
285.48/285.67	c     5049  65184   134449  6812512   50   393729  885787   5079     19 256.83
285.48/285.67	c     8272  65184   137672 11647420   84   400175  974366   8302     29 283.52
285.48/285.67	o -31	285.554
1800.06/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.80	c     8608  65184   138009 11988302   86   400880  500000   8639     30 285.61
1800.06/1800.80	c     8708  65184   138109 12087303   87   401080  550001   8739     30 287.75
1800.06/1800.80	c     8958  65184   138359 12337303   89   401580  605002   8989     30 292.15
1800.06/1800.80	c     9433  65184   138834 12812303   92   402530  665503   9464     31 296.32
1800.06/1800.80	c    10246  65184   139647 13627236   97   404156  732054  10277     33 305.27
1800.06/1800.80	c    11566  65184   140967 14948922  106   406796  805260  11597     36 320.46
1800.06/1800.80	c    13647  65184   143048 17549746  122   410958  885787  13678     36 378.87
1800.06/1800.80	c    16870  65184   146271 21589059  147   417404  974366  16901     38 439.16
1800.06/1800.80	c    21806  65184   151207 27866508  184   427276  500000  21837     39 545.21
1800.06/1800.80	c    29312  65184   158713 37892247  238   442288  550001  29343     39 750.21
1800.06/1800.80	c    40673  65184   170074 52530368  308   465010  605002  40704     40 1007.66
1800.06/1800.80	c    57817  65184   187218 73690280  393   499298  665503  57848     43 1333.89
1800.06/1800.81	c Caught signal: 15
1800.06/1800.81	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 x34
1800.06/1800.81	v 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 -x61
1800.06/1800.81	v -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.06/1800.81	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.06/1800.81	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131
1800.06/1800.81	v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152
1800.06/1800.81	v -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173
1800.06/1800.81	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194
1800.06/1800.81	v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
1800.06/1800.81	v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236
1800.06/1800.81	v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1800.06/1800.81	v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278
1800.06/1800.81	v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
1800.06/1800.81	v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
1800.06/1800.81	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341
1800.06/1800.81	v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362
1800.06/1800.81	v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
1800.06/1800.81	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404
1800.06/1800.81	v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425
1800.06/1800.81	v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446
1800.06/1800.81	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467
1800.06/1800.81	v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488
1800.06/1800.81	v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509
1800.06/1800.81	v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1800.06/1800.81	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551
1800.06/1800.81	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572
1800.06/1800.81	v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
1800.06/1800.81	v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614
1800.06/1800.81	v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635
1800.06/1800.81	v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656
1800.06/1800.81	v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677
1800.06/1800.81	v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698
1800.06/1800.81	v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719
1800.06/1800.81	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
1800.06/1800.81	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761
1800.06/1800.81	v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782
1800.06/1800.81	v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803
1800.06/1800.81	v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824
1800.06/1800.81	v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845
1800.06/1800.81	v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866
1800.06/1800.81	v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887
1800.06/1800.81	v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908
1800.06/1800.81	v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929
1800.06/1800.81	v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
1800.06/1800.81	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971
1800.06/1800.81	v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992
1800.06/1800.81	v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1302 -x1084 -x1275 -x1327 -x1364 -x1538 -x1026 -x1029 -x1386 -x1545
1800.06/1800.81	v -x1955 -x1715 -x1965 -x1404 -x1415 -x1903 -x1942 -x1402 -x1150 -x1718 -x1605 -x1969 -x1280 -x1574 -x1719 -x1016 -x1099
1800.06/1800.81	v -x1146 -x1226 -x1299 -x1328 -x1361 -x1424 -x1565 -x1594 -x1597 -x1720 -x1766 -x1787 -x1809 -x1866 -x1001 x1323 x1883 x1721
1800.06/1800.81	v x1821 x1631 x1374 x1905 x1257 x1700 x1620 x1795 -x1725 x1984 x1823 x1462 -x1880 -x1777 x1176 -x1845 x1532 -x1943 x1473 x1344
1800.06/1800.81	v -x1248 x1088 x1129 x1191 x1195 x1229 x1251 x1290 x1362 -x1527 -x1534 -x1564 -x1582 -x1607 x1699 x1941 -x1956 -x1002 -x1190
1800.06/1800.81	v -x1948 -x1568 -x1822 -x1873 -x1287 -x1496 -x1755 -x1007 -x1317 -x1738 -x1732 -x1573 -x1994 -x1432 -x1192 -x1140 -x1508
1800.06/1800.81	v -x1962 -x1970 -x1407 -x1091 -x1497 -x1603 -x1049 -x1065 -x1157 -x1161 -x1262 -x1285 -x1435 -x1487 -x1520 -x1537 -x1566
1800.06/1800.81	v -x1701 -x1892 -x1957 -x1003 -x1974 -x1439 -x1447 -x1134 -x1300 -x1988 -x1433 -x1868 -x1306 -x1506 -x1657 -x1412 -x1864
1800.06/1800.81	v -x1325 -x1501 -x1595 -x1249 -x1847 -x1378 -x1440 -x1986 -x1886 -x1967 -x1035 -x1092 -x1097 -x1123 -x1183 -x1193 -x1201
1800.06/1800.81	v -x1206 -x1231 -x1240 -x1359 -x1403 -x1757 -x1761 -x1840 -x1890 -x1004 -x1207 -x1742 -x1703 -x1494 -x1379 -x1513 -x1627
1800.06/1800.81	v -x1678 -x1853 -x1897 -x1365 -x1717 -x1021 -x1480 -x1265 -x1697 -x1981 -x1212 -x1945 -x1023 -x1069 -x1114 -x1130 -x1143
1800.06/1800.81	v -x1170 -x1247 -x1304 -x1334 -x1347 -x1369 -x1575 -x1612 -x1626 -x1705 -x1730 -x1739 -x1786 -x1862 -x1898 -x1917 -x1932
1800.06/1800.81	v -x1005 -x1827 -x1589 -x1385 -x1164 -x1826 -x1463 -x1384 -x1427 -x1556 -x1105 -x1271 -x1483 -x1135 -x1910 -x1160 -x1987
1800.06/1800.81	v -x1321 -x1057 -x1352 -x1037 -x1810 -x1724 -x1008 -x1048 -x1136 -x1145 -x1242 -x1255 -x1288 -x1516 -x1599 -x1682 -x1782
1800.06/1800.81	v -x1803 -x1006 -x1869 -x1421 -x1849 -x1638 -x1027 -x1578 -x1101 -x1756 -x1155 -x1139 -x1933 -x1560 -x1577 -x1182 -x1860
1800.06/1800.81	v -x1519 -x1770 -x1679 -x1046 -x1053 -x1216 -x1239 -x1355 -x1417 -x1428 -x1457 -x1458 -x1469 -x1495 -x1824 -x1964 -x1303
1800.06/1800.81	v -x1090 -x1087 -x1479 -x1896 -x1674 -x1502 -x1547 -x1663 -x1241 -x1319 -x1348 -x1825 -x1470 -x1486 -x1758 -x1030 -x1063
1800.06/1800.81	v -x1794 -x1018 -x1041 -x1166 -x1200 -x1263 -x1332 -x1426 -x1444 -x1648 -x1672 -x1799 -x1996 -x1211 -x1922 -x1313 -x1879
1800.06/1800.81	v -x1043 -x1343 -x1485 -x1781 -x1539 -x1315 -x1028 -x1268 -x1661 -x1702 -x1769 -x1559 -x1596 -x1481 -x1010 -x1081 -x1083
1800.06/1800.81	v -x1225 -x1316 -x1405 -x1414 -x1549 -x1666 -x1745 -x1009 -x1066 -x1141 -x1238 -x1555 -x1032 -x1476 -x1696 -x1888 -x1871
1800.06/1800.81	v -x1390 -x1959 -x1669 -x1579 -x1681 -x1602 -x1966 -x1685 -x1040 -x1060 -x1198 -x1234 -x1237 -x1294 -x1295 -x1297 -x1322
1800.06/1800.81	v -x1398 -x1454 -x1569 -x1581 -x1752 -x1817 -x1834 -x1857 -x1073 -x1273 -x1341 -x1668 -x1928 -x1085 -x1068 -x1059 -x1531
1800.06/1800.81	v -x1622 -x1442 -x1449 -x1489 -x1779 -x1878 -x1199 -x1025 -x1399 -x1509 -x1693 -x1370 -x1571 -x1737 -x1926 -x1936 -x1977
1800.06/1800.81	v -x1011 -x1434 -x1387 x1811 -x1632 x1491 -x1042 -x1106 -x1836 -x1554 -x1324 -x1202 -x1593 -x1128 -x1272 -x1283 -x1326 -x1453
1800.06/1800.81	v -x1505 -x1558 -x1590 -x1637 -x1667 -x1012 -x1600 -x1540 -x1448 -x1333 -x1604 -x1477 -x1220 -x1587 -x1968 -x1704 -x1816
1800.06/1800.81	v -x1067 -x1122 -x1133 -x1154 -x1184 -x1230 -x1291 -x1465 -x1466 -x1930 -x1013 -x1351 -x1939 -x1340 -x1292 -x1747 -x1832
1800.06/1800.81	v -x1286 -x1850 -x1456 -x1711 -x1676 -x1650 -x1400 -x1047 -x1076 -x1107 -x1121 -x1209 -x1310 -x1484 -x1618 -x1929 -x1014
1800.06/1800.81	v -x1630 -x1445 -x1606 -x1935 -x1750 -x1544 -x1044 -x1918 -x1790 -x1266 -x1459 -x1467 -x1096 -x1389 -x1749 -x1221 -x1354
1800.06/1800.81	v -x1429 -x1522 -x1580 -x1015 -x1204 -x1856 -x1610 -x1837 -x1877 -x1281 -x1924 -x1215 -x1673 -x1110 -x1858 -x1051 -x1017
1800.06/1800.81	v -x1038 -x1117 -x1174 -x1194 -x1349 -x1557 -x1800 -x1865 -x1971 -x1972 -x1116 -x1175 -x1079 -x1561 -x1550 -x1511 -x1363
1800.06/1800.81	v -x1754 -x1851 -x1820 -x1320 -x1523 -x1172 -x1120 -x1153 -x1168 -x1203 -x1655 -x1714 -x1859 -x1152 -x1542 -x1788 -x1876
1800.06/1800.81	v -x1909 -x1376 -x1036 -x1751 -x1872 -x1455 -x1625 -x1305 -x1050 -x1055 -x1228 -x1269 -x1339 -x1423 -x1461 -x1548 -x1793
1800.06/1800.81	v -x1812 -x1991 -x1179 -x1162 -x1118 -x1624 -x1125 -x1411 -x1353 -x1584 -x1960 -x1358 -x1954 -x1178 -x1071 -x1089 -x1293
1800.06/1800.81	v -x1309 -x1312 -x1335 -x1443 -x1609 -x1643 -x1735 -x1789 -x1019 -x1762 -x1640 -x1296 -x1474 -x1436 -x1947 -x1912 -x1382
1800.06/1800.81	v -x1734 -x1259 -x1533 -x1833 -x1086 -x1137 -x1267 -x1366 -x1401 -x1763 -x1835 -x1894 -x1949 -x1020 -x1647 -x1258 -x1177
1800.06/1800.81	v -x1082 -x1891 -x1377 -x1165 -x1277 -x1952 -x1422 -x1675 -x1102 -x1284 -x1708 -x1731 -x1753 -x1848 -x1863 -x1503 -x1563
1800.06/1800.81	v -x1687 -x1644 -x1642 -x1373 -x1270 -x1927 -x1665 -x1252 -x1278 -x1367 -x1419 -x1684 -x1690 -x1698 -x1022 -x1814 -x1488
1800.06/1800.81	v -x1838 -x1151 -x1260 -x1380 -x1999 -x1658 -x1686 -x1289 -x1855 -x1628 -x1950 -x1232 -x1222 -x1126 -x1482 -x1186 -x1843
1800.06/1800.81	v -x1131 -x1375 -x1393 -x1576 -x1691 -x1828 -x1875 -x1024 -x1740 -x1616 -x1451 -x1395 -x1656 -x1311 -x1925 -x1034 -x1541
1800.06/1800.81	v -x1148 -x1070 -x1342 -x1360 -x1498 -x1634 -x1680 -x1772 -x1791 -x1885 -x1982 -x1408 -x1452 -x1167 -x1410 -x1920 -x1441
1800.06/1800.81	v -x1045 -x1098 -x1144 -x1245 -x1318 -x1884 -x1504 -x1562 -x1585 -x1728 -x1431 -x1953 -x1219 -x1736 -x1243 -x1783 -x1870
1800.06/1800.81	v -x1792 -x1806 -x1250 -x1039 -x1188 -x1235 -x1425 -x1446 -x1514 -x1507 -x1331 -x1995 -x1308 -x1397 -x1899 -x1611 -x1881
1800.06/1800.81	v -x1261 -x1279 -x1500 -x1651 -x1980 -x1940 -x1839 -x1784 -x1895 -x1115 -x1301 -x1330 -x1418 -x1553 -x1659 -x1759 -x1913
1800.06/1800.81	v -x1138 -x1546 -x1346 -x1938 -x1934 -x1551 -x1052 -x1471 -x1031 -x1187 -x1900 -x1797 -x1804 -x1588 -x1158 -x1510 -x1819
1800.06/1800.81	v -x1336 -x1992 -x1543 -x1475 -x1368 -x1119 -x1765 -x1181 -x1641 -x1692 -x1695 -x1785 -x1033 -x1526 -x1861 -x1846 -x1973
1800.06/1800.81	v -x1298 -x1944 -x1109 -x1706 -x1722 -x1907 -x1276 -x1919 -x1075 -x1223 -x1713 -x1113 -x1233 -x1815 -x1572 -x1614 -x1683
1800.06/1800.81	v -x1776 -x1124 -x1515 -x1156 -x1653 -x1764 -x1946 -x1159 -x1127 -x1244 -x1468 -x1391 -x1409 -x1660 -x1867 -x1893 -x1493
1800.06/1800.81	v -x1805 -x1633 -x1615 -x1345 -x1388 -x1438 -x1058 -x1567 -x1535 -x1654 -x1798 -x1492 -x1921 -x1524 -x1743 -x1842 -x1978
1800.06/1800.81	v -x1707 -x1213 -x1307 -x1253 -x1729 -x1914 -x1983 -x1054 -x1529 -x1979 -x1796 -x1989 -x1768 -x1670 -x1677 -x1095 -x1077
1800.06/1800.81	v -x1733 -x1381 -x1639 -x1629 -x1802 -x1218 -x1094 -x1169 -x1224 -x1472 -x1518 -x1671 -x1818 x1061 -x1142 -x1874 -x1635
1800.06/1800.81	v -x1592 -x1694 -x1406 -x1902 -x1906 -x1662 -x1931 -x1274 -x1775 -x1254 -x1710 -x1723 -x1214 -x1976 -x1072 -x1499 -x1882
1800.06/1800.81	v -x1180 -x1357 -x1464 -x1338 -x1771 -x1937 -x1844 -x1074 -x1646 -x1450 -x1741 -x1512 -x1478 -x1608 -x2000 -x1808 -x1173
1800.06/1800.81	v -x1227 -x1598 -x1601 -x1570 -x1688 -x1961 -x1103 -x1314 -x1371 -x1517 -x1623 -x1841 -x1078 -x1108 -x1132 -x1831 -x1621
1800.06/1800.81	v -x1985 -x1716 -x1915 -x1649 -x1911 -x1490 -x1904 -x1413 -x1356 -x1636 -x1689 -x1726 -x1525 -x1852 -x1056 -x1185 -x1416
1800.06/1800.81	v -x1337 -x1528 -x1217 -x1196 -x1530 -x1329 -x1829 -x1236 -x1080 -x1205 -x1854 -x1383 -x1727 -x1460 -x1062 -x1264 -x1189
1800.06/1800.81	v -x1210 -x1813 -x1197 -x1916 -x1552 -x1064 -x1998 -x1617 -x1208 -x1746 -x1613 -x1619 -x1392 -x1372 -x1963 -x1645 -x1104
1800.06/1800.81	v -x1712 -x1801 -x1171 -x1586 -x1923 -x1889 -x1521 -x1990 -x1760 -x1147 -x1246 -x1536 -x1709 -x1664 -x1430 -x1748 -x1282
1800.06/1800.81	v -x1887 -x1908 -x1780 -x1149 -x1111 -x1394 -x1163 -x1951 -x1112 -x1591 -x1975 -x1993 -x1437 -x1583 -x1100 -x1396 -x1901
1800.06/1800.81	v -x1774 -x1093 -x1767 -x1350 -x1256 -x1773 -x1958 -x1830 -x1744 -x1420 -x1997 -x1652 -x1778 -x1807
1800.06/1800.81	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.81	c   49    79579   1093  1862804   208980 102040452  79610     44 1800.07
1800.06/1800.81	c Objective: -31
1800.06/1800.81	s SATISFIABLE
1800.06/1800.81	c Total time: 1800.07 s

Verifier Data (download as text)

OK	-31

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node39/watcher-454911-1178033650 -o ROOT/results/node39/solver-454911-1178033650 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454911-1178033650/instance-454911-1178033650.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.69 1.04 1.08 3/77 23159
/proc/meminfo: memFree=1836616/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=12656 CPUtime=0
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 251277071 12959744 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 3164 332 279 324 0 2004 0

[startup+0.10141 s]
/proc/loadavg: 0.69 1.04 1.08 3/77 23159
/proc/meminfo: memFree=1836616/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=8268 CPUtime=0.09
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 1242 0 0 0 9 0 0 0 18 0 1 0 251277071 8466432 1212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 2067 1212 325 324 0 907 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8268

[startup+0.201427 s]
/proc/loadavg: 0.69 1.04 1.08 3/77 23159
/proc/meminfo: memFree=1836616/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=11448 CPUtime=0.19
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 2111 0 0 0 18 1 0 0 18 0 1 0 251277071 11722752 2041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 2862 2041 362 324 0 1702 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11448

[startup+0.301444 s]
/proc/loadavg: 0.69 1.04 1.08 3/77 23159
/proc/meminfo: memFree=1836616/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=14396 CPUtime=0.29
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 2911 0 0 0 27 2 0 0 19 0 1 0 251277071 14741504 2841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 3599 2841 396 324 0 2439 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14396

[startup+0.701511 s]
/proc/loadavg: 0.69 1.04 1.08 3/77 23159
/proc/meminfo: memFree=1836616/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=32188 CPUtime=0.69
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 7696 0 0 0 66 3 0 0 22 0 1 0 251277071 32960512 7268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 8047 7269 301 324 0 7117 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32188

[startup+1.50165 s]
/proc/loadavg: 0.69 1.04 1.08 2/78 23160
/proc/meminfo: memFree=1802624/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=38640 CPUtime=1.49
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 9212 0 0 0 145 4 0 0 25 0 1 0 251277071 39567360 8784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 9660 8784 305 324 0 8730 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38640

[startup+3.10192 s]
/proc/loadavg: 0.69 1.04 1.08 2/78 23160
/proc/meminfo: memFree=1802496/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=38640 CPUtime=3.09
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 9213 0 0 0 305 4 0 0 25 0 1 0 251277071 39567360 8785 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 9660 8785 305 324 0 8730 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38640

[startup+6.30146 s]
/proc/loadavg: 0.71 1.04 1.08 2/78 23160
/proc/meminfo: memFree=1802240/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=38772 CPUtime=6.28
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 9216 0 0 0 624 4 0 0 25 0 1 0 251277071 39702528 8788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 9693 8788 305 324 0 8763 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38772

[startup+12.7025 s]
/proc/loadavg: 0.73 1.04 1.08 2/78 23160
/proc/meminfo: memFree=1802248/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=38772 CPUtime=12.68
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 9216 0 0 0 1264 4 0 0 25 0 1 0 251277071 39702528 8788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11522117 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 9693 8788 305 324 0 8763 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38772

[startup+25.5017 s]
/proc/loadavg: 0.79 1.04 1.08 2/78 23160
/proc/meminfo: memFree=1802312/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=38772 CPUtime=25.48
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 9216 0 0 0 2543 5 0 0 25 0 1 0 251277071 39702528 8788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583013 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 9693 8788 305 324 0 8763 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38772

[startup+51.101 s]
/proc/loadavg: 0.86 1.03 1.07 2/78 23160
/proc/meminfo: memFree=1802312/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=38772 CPUtime=51.06
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 9217 0 0 0 5100 6 0 0 25 0 1 0 251277071 39702528 8789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 9693 8789 305 324 0 8763 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 38772

[startup+102.302 s]
/proc/loadavg: 0.94 1.02 1.07 2/78 23160
/proc/meminfo: memFree=1802376/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=38772 CPUtime=102.24
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 9217 0 0 0 10217 7 0 0 25 0 1 0 251277071 39702528 8789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 9693 8789 305 324 0 8763 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 38772

[startup+162.302 s]
/proc/loadavg: 0.98 1.02 1.06 2/78 23160
/proc/meminfo: memFree=1802376/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=38772 CPUtime=162.22
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 9217 0 0 0 16212 10 0 0 25 0 1 0 251277071 39702528 8789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 9693 8789 305 324 0 8763 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 38772

[startup+222.305 s]
/proc/loadavg: 0.99 1.01 1.06 2/78 23160
/proc/meminfo: memFree=1769416/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=71144 CPUtime=222.2
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 17597 0 0 0 22204 16 0 0 25 0 1 0 251277071 72851456 17041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 17786 17041 311 324 0 16856 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 71144

[startup+282.301 s]
/proc/loadavg: 0.99 1.01 1.05 2/78 23160
/proc/meminfo: memFree=1659848/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=181288 CPUtime=282.18
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 45121 0 0 0 28189 29 0 0 25 0 1 0 251277071 185638912 44565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 45322 44565 311 324 0 44392 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 181288

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.04 2/78 23160
/proc/meminfo: memFree=1604808/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=235372 CPUtime=342.16
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 58639 0 0 0 34180 36 0 0 25 0 1 0 251277071 241020928 58083 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 58843 58083 311 324 0 57913 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 235372

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.04 2/78 23161
/proc/meminfo: memFree=1559240/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=281164 CPUtime=402.14
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 70099 0 0 0 40172 42 0 0 25 0 1 0 251277071 287911936 69543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 70291 69543 311 324 0 69361 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 281164

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.03 2/78 23162
/proc/meminfo: memFree=1512840/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=327268 CPUtime=462.12
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 81608 0 0 0 46165 47 0 0 25 0 1 0 251277071 335122432 81052 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571952 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 81817 81052 311 324 0 80887 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 327268

[startup+522.302 s]
/proc/loadavg: 1.12 1.03 1.04 2/78 23162
/proc/meminfo: memFree=1464392/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=375756 CPUtime=522.09
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 93731 0 0 0 52156 53 0 0 25 0 1 0 251277071 384774144 93175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 93939 93175 311 324 0 93009 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 375756

[startup+582.302 s]
/proc/loadavg: 1.04 1.02 1.03 2/78 23162
/proc/meminfo: memFree=1427528/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=412576 CPUtime=582.08
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 102935 0 0 0 58150 58 0 0 25 0 1 0 251277071 422477824 102379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11525976 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 103144 102379 311 324 0 102214 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 412576

[startup+642.301 s]
/proc/loadavg: 1.01 1.02 1.03 2/78 23162
/proc/meminfo: memFree=1386568/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=453188 CPUtime=642.06
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 113104 0 0 0 64143 63 0 0 25 0 1 0 251277071 464064512 112548 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 113297 112548 311 324 0 112367 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 453188


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23162
/proc/meminfo: memFree=1176904/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=662788 CPUtime=941.95
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 165503 0 0 0 94103 92 0 0 25 0 1 0 251277071 678694912 164947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 165697 164947 311 324 0 164767 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 662788

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23162
/proc/meminfo: memFree=1136456/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=703244 CPUtime=1001.93
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 175612 0 0 0 100094 99 0 0 25 0 1 0 251277071 720121856 175056 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572583 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 175811 175056 311 324 0 174881 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 703244

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23162
/proc/meminfo: memFree=1089160/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=750108 CPUtime=1061.91
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 187324 0 0 0 106086 105 0 0 25 0 1 0 251277071 768110592 186768 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 187527 186768 311 324 0 186597 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 750108

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23162
/proc/meminfo: memFree=1042120/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=796880 CPUtime=1121.89
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 199016 0 0 0 112077 112 0 0 25 0 1 0 251277071 816005120 198460 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 199220 198460 311 324 0 198290 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 796880

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23162
/proc/meminfo: memFree=1005512/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=833988 CPUtime=1181.87
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 208297 0 0 0 118070 117 0 0 25 0 1 0 251277071 854003712 207741 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 208497 207741 311 324 0 207567 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 833988

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23162
/proc/meminfo: memFree=951752/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=887128 CPUtime=1241.85
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 221572 0 0 0 124060 125 0 0 25 0 1 0 251277071 908419072 221016 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572650 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 221782 221016 311 324 0 220852 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 887128

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23162
/proc/meminfo: memFree=902152/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=937216 CPUtime=1301.83
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 234102 0 0 0 130051 132 0 0 25 0 1 0 251277071 959709184 233546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 234304 233546 311 324 0 233374 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 937216

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23162
/proc/meminfo: memFree=840136/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=1000156 CPUtime=1361.81
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 249841 0 0 0 136042 139 0 0 25 0 1 0 251277071 1024159744 249285 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 250039 249285 311 324 0 249109 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1000156

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23162
/proc/meminfo: memFree=790984/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=1047196 CPUtime=1421.79
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 261606 0 0 0 142033 146 0 0 25 0 1 0 251277071 1072328704 261050 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 261799 261050 311 324 0 260869 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1047196

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23162
/proc/meminfo: memFree=745480/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=1092860 CPUtime=1481.76
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 273011 0 0 0 148024 152 0 0 25 0 1 0 251277071 1119088640 272455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 273215 272455 311 324 0 272285 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1092860

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23162
/proc/meminfo: memFree=704456/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=1133728 CPUtime=1541.75
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 283233 0 0 0 154017 158 0 0 25 0 1 0 251277071 1160937472 282677 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 283432 282677 311 324 0 282502 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1133728

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23162
/proc/meminfo: memFree=660680/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=1177924 CPUtime=1601.72
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 294265 0 0 0 160009 163 0 0 25 0 1 0 251277071 1206194176 293709 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 294481 293709 311 324 0 293551 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1177924

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 23340
/proc/meminfo: memFree=604744/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=1232240 CPUtime=1661.62
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 307859 0 0 0 165990 172 0 0 25 0 1 0 251277071 1261813760 307303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 308060 307303 311 324 0 307130 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 1232240

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23360
/proc/meminfo: memFree=549960/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=1287920 CPUtime=1721.58
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 321785 0 0 0 171979 179 0 0 25 0 1 0 251277071 1318830080 321229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 321980 321229 311 324 0 321050 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 1287920

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23360
/proc/meminfo: memFree=506248/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=1331420 CPUtime=1781.56
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 332638 0 0 0 177972 184 0 0 25 0 1 0 251277071 1363374080 332082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 332855 332082 311 324 0 331925 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1331420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 23360
/proc/meminfo: memFree=498376/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=1339096 CPUtime=1800.06
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194304 334576 0 0 0 179821 185 0 0 25 0 1 0 251277071 1371234304 334020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 334774 334020 311 324 0 333844 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1339096

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

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

[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 23360
/proc/meminfo: memFree=498376/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=0 CPUtime=1800.16
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194308 334580 0 0 0 179821 195 0 0 25 0 1 0 251277071 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 23360
/proc/meminfo: memFree=498376/2055920 swapFree=4159404/4192956
[pid=23159] ppid=23157 vsize=0 CPUtime=1800.25
/proc/23159/stat : 23159 (bsolo3.0.17) R 23157 23159 23094 0 -1 4194308 334580 0 0 0 179821 204 0 0 25 0 1 0 251277071 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/23159/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1801.03
CPU time (s): 1800.29
CPU user time (s): 1798.22
CPU system time (s): 2.07169
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (KiB): 1339096

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

runsolver used 1.35879 second user time and 4.17436 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Tue May  1 15:34:10 UTC 2007

IDJOB= 454911
IDBENCH= 48228
IDSOLVER= 199
FILE ID= node39/454911-1178033650

PBS_JOBID= 4728440

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_4.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454911-1178033650/instance-454911-1178033650.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-454911-1178033650 -o ROOT/results/node39/solver-454911-1178033650 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/454911-1178033650/instance-454911-1178033650.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  95a6f76009dbd8a204f015cb008300c0

RANDOM SEED= 839369820

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1837088 kB
Buffers:         56540 kB
Cached:          70844 kB
SwapCached:      13784 kB
Active:         101596 kB
Inactive:        49772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1837088 kB
SwapTotal:     4192956 kB
SwapFree:      4159404 kB
Dirty:            7748 kB
Writeback:           0 kB
Mapped:          30800 kB
Slab:            52724 kB
Committed_AS:  3921144 kB
PageTables:       2012 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 node39 on Tue May  1 16:04:13 UTC 2007