Trace number 373072

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT (TO)24 1800.07 1800.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark1288.62
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
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 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/373072-1177161574/instance-373072-1177161574.opb
0.00/0.00	c File size is 435390 bytes.
0.09/0.14	c Highest Coefficient sum: 518
0.09/0.14	c Parsing was ok!!
0.09/0.14	c Total parsing time: 0.142 s
0.09/0.15	c Var: 4318 Constr: 15120 15119/1/0 Lit: 38442 Watch. Lit: 30696
0.09/0.15	c Obj. Vars: 490 (11.3478 % of total variables)
0.29/0.31	c Pre-processing Time: 0.314 s
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c        0   4307    15096    38399    2    30653    6031      0      0 0.31
0.29/0.31	c Switching off LPR mode.
0.29/0.32	o 27	0.325
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c        9   4307    15106    40601    2    31136    7031     10     27 0.33
0.49/0.59	c      111   4307    15208    45313    2    31340    7735    112    261 0.42
0.49/0.59	o 26	0.592
0.99/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.03	c      301   4307    15399    55484    3    32186    7031    303    506 0.59
0.99/1.03	c      401   4307    15499    60326    3    32386    7735    403    634 0.63
0.99/1.03	c      651   4307    15749   129804    8    32886    8509    653    849 0.77
0.99/1.03	c     1127   4307    16225   173538   10    33838    9360   1129   1096 1.03
0.99/1.03	o 25	1.035
0.99/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.04	c     1128   4307    16227   174034   10    34307    7031   1131   1086 1.04
0.99/1.04	o 24	1.046
1799.91/1800.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.91/1800.58	c     1129   4307    16229   174706   10    34777    7031   1133   1076 1.05
1799.91/1800.58	c     1229   4307    16329   188102   11    34977    7735   1233   1116 1.10
1799.91/1800.58	c     1480   4307    16580   204729   12    35479    8509   1484   1250 1.18
1799.91/1800.58	c     1957   4307    17057   258837   15    36433    9360   1961   1508 1.30
1799.91/1800.58	c     2770   4307    17870   395456   22    38059   10297   2774   1777 1.56
1799.91/1800.58	c     4090   4307    19190   705296   36    40699   11327   4094   2025 2.02
1799.91/1800.58	c     6171   4307    21271  1015628   47    44861   12460   6175   1791 3.44
1799.91/1800.58	c     9394   4307    24494  2788711  113    51307   13707   9398   1153 8.14
1799.91/1800.58	c    14331   4307    21951  1723457   78    44829   15078   6855   1263 11.34
1799.91/1800.58	c    21838   4307    29458  5569689  189    59843   16586  14362    892 24.48
1799.91/1800.58	c    33200   4307    28726  3692232  128    58379   18245  13630   1020 32.53
1799.91/1800.58	c    50345   4307    33085  9474573  286    67097   20070  17989    586 85.89
1799.91/1800.58	c    76164   4307    31107  2510139   80    63141   22078  16011    525 144.86
1799.91/1800.58	c   114996   4307    27702  4845450  174    56331   24286  12606    368 311.74
1799.91/1800.58	c   173348   4307    36919  5235991  141    74765   26715  21823    438 395.59
1799.91/1800.58	c   260980   4307    35831 13144587  366    72589   29387  20735    342 762.29
1799.91/1800.58	c   392535   4307    39832  2922667   73    80591   32326  24736    353 1110.27
1799.91/1800.58	c   589967   4307    27468  4780864  174    55863   35559  12372    334 1763.90
1799.91/1800.58	c Resources Exceeded
1799.91/1800.58	v x1 x362 x440 x515 x581 -x741 -x799 -x857 -x915 x973 -x1031 -x1089 -x1147 -x11 -x1205 -x14 -x1232 -x17 -x1259 -x20 -x1286 -x23
1799.91/1800.58	v -x1313 -x26 -x1340 -x29 -x1367 -x1394 -x34 -x1421 x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54
1799.91/1800.58	v -x1610 -x1637 -x59 -x1664 -x62 -x1691 -x65 -x1718 -x68 -x1745 -x71 -x1772 -x74 -x1799 -x77 -x1826 x1853 x82 -x1880 -x85 -x1907
1799.91/1800.58	v -x88 -x1934 -x1961 -x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 -x2033 -x2045 -x2047 -x2059 -x2061
1799.91/1800.58	v -x2073 -x2075 -x2087 -x2089 -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173 -x2185
1799.91/1800.58	v -x2187 -x2199 -x2201 -x2213 -x2215 -x2227 -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297 -x2309
1799.91/1800.58	v -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365 -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 x2409 -x2421 -x2423
1799.91/1800.58	v -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493 -x2505 -x2507 -x2519 -x2521 -x2533 -x2535 -x2547
1799.91/1800.58	v -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 -x2617 -x2619 -x2631 -x2633 x2645 -x2647 -x2659 -x2661
1799.91/1800.58	v -x2673 -x2675 -x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758 -x2763 -x2768 -x2773
1799.91/1800.58	v -x2778 -x2783 -x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 -x2853 -x2858
1799.91/1800.58	v -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938 -x2943
1799.91/1800.58	v -x2948 -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 x3023 -x3028
1799.91/1800.58	v -x3033 -x3038 -x3043 -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 -x3093 -x3105 -x3117 -x3129 -x3141
1799.91/1800.58	v -x3153 -x370 -x3165 -x3170 -x375 -x3175 -x378 -x3180 -x3185 -x383 -x3190 -x3195 -x388 -x3200 -x3205 -x393 -x3210 x396 -x3215
1799.91/1800.58	v -x399 -x3220 -x402 -x3225 -x405 -x3230 -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258
1799.91/1800.58	v x3260 x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 x3292 -x3304 -x3316 -x3328 -x3340 -x448 -x3352
1799.91/1800.58	v -x3357 -x3362 -x455 -x3367 -x458 -x3372 -x461 -x3377 -x464 x3382 -x3387 -x3392 -x471 -x3397 -x3402 -x476 -x3407 -x479 -x3412
1799.91/1800.58	v -x482 -x3417 -x3422 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 x3445 -x3447 -x3449 -x3451 -x3453 -x3455
1799.91/1800.58	v -x3457 -x3459 -x3461 -x3463 -x3465 -x3477 -x3489 -x3501 -x3513 -x3525 -x524 -x3537 x527 x3542 -x530 -x3547 -x3552 -x3557
1799.91/1800.58	v -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619
1799.91/1800.58	v -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3666 -x3693 -x3720 -x3747 x3774 -x3801 -x3828
1799.91/1800.58	v -x3840 -x3852 -x596 -x3864 -x599 x3876 -x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 -x3948 -x616 -x3960 -x3972 -x3984
1799.91/1800.58	v -x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094 -x4096 -x4101 -x4103
1799.91/1800.58	v -x4108 -x4110 -x4115 -x4117 -x4122 -x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 x4150 -x4155 -x4157 -x4162 -x4164
1799.91/1800.58	v -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 -x4206 -x4211 -x4213 -x4218 -x4220 -x4225
1799.91/1800.58	v -x4227 -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 -x4272 x4277 -x4279 -x4284 -x4286
1799.91/1800.58	v -x4291 -x4293 -x4298 -x4300 -x4305 -x4307 -x4312 -x4314 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30
1799.91/1800.58	v -x31 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58 -x60 -x61 -x63 -x64 -x66
1799.91/1800.58	v -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100
1799.91/1800.58	v -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121
1799.91/1800.58	v -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142
1799.91/1800.58	v -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x162
1799.91/1800.58	v -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182
1799.91/1800.58	v -x184 -x186 -x185 x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203
1799.91/1800.58	v -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224
1799.91/1800.58	v -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245
1799.91/1800.58	v -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266
1799.91/1800.58	v -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287
1799.91/1800.58	v -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308
1799.91/1800.58	v -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329
1799.91/1800.58	v -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350
1799.91/1800.58	v -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x369 -x371 -x372 -x373 -x374 -x376
1799.91/1800.58	v -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x394 -x395 -x397 -x398 -x400 -x401 -x403 -x404
1799.91/1800.58	v -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422 -x424 x426 x425 x427
1799.91/1800.58	v -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x363 -x364 -x365 -x366 -x367 -x368 -x447 -x449 -x450
1799.91/1800.58	v -x451 -x452 -x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x474 -x475 -x477
1799.91/1800.58	v -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 x501
1799.91/1800.58	v -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x441 x442 -x443 -x444 -x445 -x446 -x522
1799.91/1800.58	v -x523 -x525 x526 x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
1799.91/1800.58	v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563 -x565 -x567 -x566 -x568
1799.91/1800.58	v -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x516 -x517 -x518 -x519 -x520 -x521 -x589 -x590 -x591
1799.91/1800.58	v -x592 -x593 -x594 -x595 -x597 -x598 x600 -x601 -x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612 -x613 -x614 -x615 -x617
1799.91/1800.58	v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x640 -x639 -x641
1799.91/1800.58	v -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662
1799.91/1800.58	v -x663 -x664 -x666 -x665 -x667 -x669 -x668 x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679 -x681 -x680 -x682 -x684
1799.91/1800.58	v -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702 -x701 -x703 -x705
1799.91/1800.58	v -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x721 -x722 x724 -x723 -x725
1799.91/1800.58	v -x727 -x726 -x728 -x730 -x729 -x731 -x733 -x732 -x734 -x736 -x735 -x737 -x739 -x738 -x740 -x582 -x583 -x584 -x585 -x586 x587
1799.91/1800.58	v -x588 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761
1799.91/1800.58	v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782
1799.91/1800.58	v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x800 -x801 -x802 -x803 -x804
1799.91/1800.58	v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825
1799.91/1800.58	v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846
1799.91/1800.58	v -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868
1799.91/1800.58	v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889
1799.91/1800.58	v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
1799.91/1800.58	v -x911 -x912 -x913 -x914 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932
1799.91/1800.58	v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953
1799.91/1800.58	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x974 -x975
1799.91/1800.58	v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996
1799.91/1800.58	v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014
1799.91/1800.58	v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1032
1799.91/1800.58	v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049
1799.91/1800.58	v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066
1799.91/1800.58	v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083
1799.91/1800.58	v -x1084 -x1085 -x1086 -x1087 -x1088 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101
1799.91/1800.58	v -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118
1799.91/1800.58	v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135
1799.91/1800.58	v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1148 -x1149 -x1150 -x1151 -x1152 -x1153
1799.91/1800.58	v -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
1799.91/1800.58	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187
1799.91/1800.58	v -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204
1799.91/1800.58	v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222
1799.91/1800.58	v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
1799.91/1800.58	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257
1799.91/1800.58	v -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275
1799.91/1800.58	v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293
1799.91/1800.58	v -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
1799.91/1800.58	v -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
1799.91/1800.58	v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
1799.91/1800.58	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363
1799.91/1800.58	v -x1364 -x1365 -x1366 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
1799.91/1800.58	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1395 -x1396 -x1397 -x1398 -x1399
1799.91/1800.58	v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416
1799.91/1800.58	v -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434
1799.91/1800.58	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1449 -x1450 -x1451 -x1452
1799.91/1800.58	v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469
1799.91/1800.58	v -x1470 -x1471 -x1472 -x1473 -x1474 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487
1799.91/1800.58	v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505
1799.91/1800.58	v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522
1799.91/1800.58	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
1799.91/1800.58	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1557 -x1558
1799.91/1800.58	v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575
1799.91/1800.58	v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593
1799.91/1800.58	v -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611
1799.91/1800.58	v -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628
1799.91/1800.58	v -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646
1799.91/1800.58	v -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663
1799.91/1800.58	v x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682
1799.91/1800.58	v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
1799.91/1800.58	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717
1799.91/1800.58	v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735
1799.91/1800.58	v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753
1799.91/1800.58	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
1799.91/1800.58	v -x1771 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
1799.91/1800.58	v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806
1799.91/1800.58	v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823
1799.91/1800.58	v -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841
1799.91/1800.58	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1854 -x1855 -x1856 -x1857 -x1858 -x1859
1799.91/1800.58	v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876
1799.91/1800.58	v -x1877 -x1878 -x1879 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894
1799.91/1800.58	v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1908 -x1909 -x1910 -x1911 -x1912
1799.91/1800.58	v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929
1799.91/1800.58	v -x1930 -x1931 -x1932 -x1933 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947
1799.91/1800.58	v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1962 -x1964 -x1965 -x1966
1799.91/1800.58	v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985
1799.91/1800.58	v -x1986 -x1987 -x1988 x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2004 -x2006
1799.91/1800.58	v -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
1799.91/1800.58	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2032 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044
1799.91/1800.58	v -x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060 -x2062 -x2063 -x2064 -x2065
1799.91/1800.58	v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084
1799.91/1800.58	v -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 x2104 -x2105
1799.91/1800.58	v x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2116 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124
1799.91/1800.58	v -x2125 -x2126 -x2127 -x2128 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2144
1799.91/1800.58	v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2160 -x2161 -x2162 -x2163 -x2164
1799.91/1800.58	v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183
1799.91/1800.58	v -x2184 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2200 -x2202 -x2203 -x2204
1799.91/1800.58	v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2214 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223
1799.91/1800.58	v -x2224 -x2225 -x2226 -x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2242 -x2244
1799.91/1800.58	v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2256 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263
1799.91/1800.58	v -x2264 -x2265 -x2266 -x2267 -x2268 x2270 x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2284
1799.91/1800.58	v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303
1799.91/1800.58	v -x2304 -x2305 -x2306 -x2307 -x2308 -x2310 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322
1799.91/1800.58	v x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2338 -x2340 -x2341 -x2342 -x2343
1799.91/1800.58	v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362
1799.91/1800.58	v -x2363 -x2364 -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2380 -x2382 -x2383
1799.91/1800.58	v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402
1799.91/1800.58	v -x2403 -x2404 -x2405 -x2406 x2408 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2422 -x2424
1799.91/1800.58	v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443
1799.91/1800.58	v -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462
1799.91/1800.58	v -x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2478 -x2480 -x2481 -x2482 -x2483
1799.91/1800.58	v -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502
1799.91/1800.58	v -x2503 -x2504 -x2506 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2520 -x2522 -x2523
1799.91/1800.58	v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542
1799.91/1800.58	v -x2543 -x2544 -x2545 -x2546 -x2548 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2562 -x2564
1799.91/1800.58	v -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2576 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583
1799.91/1800.58	v -x2584 -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602
1799.91/1800.58	v -x2604 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2618 -x2620 -x2621 -x2622 -x2623
1799.91/1800.58	v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2632 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642
1799.91/1800.58	v -x2643 -x2644 x2646 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2660 -x2662 -x2663
1799.91/1800.58	v -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682
1799.91/1800.58	v -x2683 -x2684 -x2685 -x2686 x2688 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2702
1799.91/1800.58	v -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722
1799.91/1800.58	v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2730 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741
1799.91/1800.58	v -x2742 -x2744 -x2745 -x2746 -x2747 -x2749 -x2750 -x2751 -x2752 -x2754 -x2755 -x2756 -x2757 x2759 -x2760 -x2761 -x2762
1799.91/1800.58	v -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2774 -x2775 -x2776 -x2777 -x2779 -x2780 -x2781 -x2782 -x2784
1799.91/1800.58	v -x2785 -x2786 -x2787 x2789 -x2790 -x2791 -x2792 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805
1799.91/1800.58	v -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826
1799.91/1800.58	v -x2827 -x2829 -x2830 -x2831 -x2832 -x2834 -x2835 -x2836 -x2837 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847
1799.91/1800.58	v -x2849 -x2850 -x2851 -x2852 -x2854 -x2855 -x2856 -x2857 x2859 -x2860 -x2861 -x2862 -x2864 -x2865 -x2866 -x2867 -x2869
1799.91/1800.58	v -x2870 -x2871 -x2872 -x2874 -x2875 -x2876 -x2877 -x2879 -x2880 -x2881 -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890
1799.91/1800.58	v -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901 -x2902 -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911
1799.91/1800.58	v -x2912 -x2914 -x2915 -x2916 -x2917 -x2919 -x2920 -x2921 -x2922 -x2924 -x2925 -x2926 -x2927 x2929 x2930 -x2931 -x2932 -x2934
1799.91/1800.58	v -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2954 -x2955
1799.91/1800.58	v -x2956 -x2957 x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2974 -x2975 -x2976
1799.91/1800.58	v -x2977 -x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997
1799.91/1800.58	v -x2999 -x3000 -x3001 -x3002 -x3004 -x3005 -x3006 -x3007 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3019
1799.91/1800.58	v -x3020 -x3021 -x3022 x3024 -x3025 -x3026 -x3027 -x3029 -x3030 -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040
1799.91/1800.58	v -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 -x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061
1799.91/1800.58	v -x3062 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3079 -x3080 -x3081 -x3082
1799.91/1800.58	v -x3084 -x3085 -x3086 -x3087 -x3089 -x3090 -x3091 -x3092 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x3100 -x3101 -x3102 -x3103
1799.91/1800.58	v -x3104 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122
1799.91/1800.58	v -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
1799.91/1800.58	v -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3154 -x3155 -x3156 -x3157 -x3158 -x3159
1799.91/1800.58	v x3160 -x3161 -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 x3171 -x3172 -x3173 -x3174 -x3176 -x3177 -x3178 -x3179 x3181
1799.91/1800.58	v -x3182 -x3183 -x3184 x3186 -x3187 x3188 -x3189 -x3191 -x3192 -x3193 -x3194 x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203
1799.91/1800.58	v -x3204 x3206 -x3207 -x3208 -x3209 -x3211 -x3212 -x3213 -x3214 x3216 -x3217 -x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3226
1799.91/1800.58	v -x3227 -x3228 -x3229 x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3241 -x3243 x3245 x3247 -x3249 -x3251 -x3253
1799.91/1800.58	v x3255 -x3257 -x3259 x3261 x3263 -x3265 x3267 -x3269 -x3271 -x3273 x3275 -x3277 x3279 -x3281 -x3282 -x3283 -x3284 -x3285
1799.91/1800.58	v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303
1799.91/1800.58	v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3317 -x3318 -x3319 -x3320 -x3321 -x3322
1799.91/1800.58	v -x3323 -x3324 -x3325 -x3326 -x3327 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3341
1799.91/1800.58	v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360
1799.91/1800.58	v -x3361 -x3363 -x3364 -x3365 -x3366 -x3368 -x3369 -x3370 -x3371 -x3373 -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381
1799.91/1800.58	v x3383 -x3384 -x3385 -x3386 -x3388 -x3389 -x3390 -x3391 x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404
1799.91/1800.58	v -x3405 -x3406 -x3408 -x3409 -x3410 -x3411 -x3413 -x3414 -x3415 -x3416 x3418 -x3419 -x3420 -x3421 -x3423 -x3424 -x3425
1799.91/1800.58	v -x3426 -x3428 x3430 -x3432 x3434 -x3436 -x3438 -x3440 x3442 -x3444 x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 x3460
1799.91/1800.58	v x3462 -x3464 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3478 -x3479 x3480 -x3481 -x3482
1799.91/1800.58	v -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500
1799.91/1800.58	v x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519
1799.91/1800.58	v -x3520 -x3521 -x3522 -x3523 -x3524 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3538
1799.91/1800.58	v -x3539 -x3540 -x3541 x3543 -x3544 -x3545 -x3546 -x3548 -x3549 -x3550 -x3551 -x3553 -x3554 -x3555 -x3556 x3558 x3559 -x3560
1799.91/1800.58	v -x3561 x3563 -x3564 -x3565 -x3566 -x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581
1799.91/1800.58	v -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3593 -x3594 -x3595 -x3596 -x3598 -x3599 -x3600 -x3601 -x3603
1799.91/1800.58	v -x3604 -x3605 -x3606 -x3608 x3610 -x3612 -x3614 x3616 x3618 -x3620 -x3622 -x3624 -x3626 x3628 -x3630 x3632 -x3634 x3636
1799.91/1800.58	v -x3638 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655
1799.91/1800.58	v -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673
1799.91/1800.58	v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
1799.91/1800.58	v -x3691 -x3692 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708
1799.91/1800.58	v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726
1799.91/1800.58	v -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743
1799.91/1800.58	v -x3744 -x3745 -x3746 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761
1799.91/1800.58	v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 x3775 -x3776 -x3777 -x3778 -x3779
1799.91/1800.58	v -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796
1799.91/1800.58	v -x3797 -x3798 -x3799 -x3800 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814
1799.91/1800.58	v -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3829 -x3830 -x3831 -x3832
1799.91/1800.58	v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
1799.91/1800.58	v -x3851 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3865 -x3866 -x3867 -x3868 -x3869
1799.91/1800.58	v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887
1799.91/1800.58	v -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906
1799.91/1800.58	v -x3907 -x3908 -x3909 -x3910 -x3911 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925
1799.91/1800.58	v -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943
1799.91/1800.58	v -x3944 -x3945 -x3946 -x3947 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962
1799.91/1800.58	v -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
1799.91/1800.58	v -x3981 -x3982 -x3983 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3997 -x3998 -x3999
1799.91/1800.58	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017
1799.91/1800.58	v -x4018 -x4019 x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4033 -x4034 -x4035 -x4036
1799.91/1800.58	v -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054
1799.91/1800.58	v -x4055 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073
1799.91/1800.58	v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 -x4083 -x4084 -x4085 -x4086 -x4088 x4090 -x4091 -x4092 -x4093 -x4095
1799.91/1800.58	v -x4097 -x4098 -x4099 -x4100 -x4102 x4104 -x4105 -x4106 -x4107 -x4109 -x4111 -x4112 -x4113 -x4114 -x4116 -x4118 -x4119
1799.91/1800.58	v -x4120 -x4121 x4123 -x4125 -x4126 -x4127 -x4128 -x4130 -x4132 -x4133 -x4134 -x4135 -x4137 -x4138 -x4139 -x4140 -x4142
1799.91/1800.58	v -x4144 -x4145 -x4146 -x4147 -x4149 x4151 -x4152 -x4153 -x4154 -x4156 -x4158 -x4159 -x4160 -x4161 x4163 -x4165 -x4166 -x4167
1799.91/1800.58	v -x4168 -x4170 -x4172 -x4173 -x4174 -x4175 -x4177 -x4179 -x4180 -x4181 -x4182 -x4184 -x4186 -x4187 -x4188 -x4189 x4191
1799.91/1800.58	v -x4193 -x4194 -x4195 -x4196 -x4198 -x4200 -x4201 -x4202 -x4203 -x4205 -x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215
1799.91/1800.58	v -x4216 -x4217 -x4219 x4221 -x4222 -x4223 -x4224 -x4226 -x4228 -x4229 -x4230 -x4231 x4233 -x4235 -x4236 -x4237 -x4238 -x4240
1799.91/1800.58	v -x4242 -x4243 -x4244 -x4245 -x4247 -x4248 -x4249 -x4250 x4252 -x4254 -x4255 -x4256 -x4257 -x4259 -x4261 -x4262 -x4263
1799.91/1800.58	v -x4264 -x4266 -x4268 -x4269 -x4270 -x4271 -x4273 -x4274 -x4275 -x4276 x4278 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287
1799.91/1800.58	v -x4288 -x4289 -x4290 x4292 -x4294 -x4295 -x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304 -x4306 -x4308 -x4309 -x4310
1799.91/1800.58	v -x4311 x4313 -x4315 -x4316 -x4317 -x4318
1799.91/1800.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.91/1800.58	c   25   618827 258390  1836279    29768  2088089  14672    343 1800.00
1799.91/1800.58	c Objective: 24
1799.91/1800.58	s SATISFIABLE
1799.91/1800.58	c Total time: 1800 s

Verifier Data (download as text)

OK	24

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node39/watcher-373072-1177161574 -o ROOT/results/node39/solver-373072-1177161574 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373072-1177161574/instance-373072-1177161574.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: 1.00 1.00 1.00 3/77 21690
/proc/meminfo: memFree=1596992/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=12164 CPUtime=0
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 164069451 12455936 334 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 3041 334 281 324 0 2003 0

[startup+0.105014 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 21690
/proc/meminfo: memFree=1596992/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=5736 CPUtime=0.09
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 780 0 0 0 9 0 0 0 18 0 1 0 164069451 5873664 748 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 1434 748 359 324 0 396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5736

[startup+0.20203 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 21690
/proc/meminfo: memFree=1596992/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=6876 CPUtime=0.19
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 1220 0 0 0 19 0 0 0 18 0 1 0 164069451 7041024 1081 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 1719 1081 306 324 0 788 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6876

[startup+0.301047 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 21690
/proc/meminfo: memFree=1596992/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=7564 CPUtime=0.29
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 1392 0 0 0 28 1 0 0 19 0 1 0 164069451 7745536 1253 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 1891 1253 308 324 0 960 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7564

[startup+0.701113 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 21690
/proc/meminfo: memFree=1596992/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=7616 CPUtime=0.69
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 1563 0 0 0 67 2 0 0 23 0 1 0 164069451 7798784 1288 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 1904 1288 313 324 0 973 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7616

[startup+1.50125 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1591736/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=11504 CPUtime=1.49
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 2514 0 0 0 146 3 0 0 25 0 1 0 164069451 11780096 2239 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 2876 2240 313 324 0 1945 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11504

[startup+3.10252 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1583992/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=19344 CPUtime=3.08
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 4471 0 0 0 304 4 0 0 25 0 1 0 164069451 19808256 4196 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 4836 4196 313 324 0 3905 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19344

[startup+6.30106 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1567416/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=35988 CPUtime=6.29
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 8648 0 0 0 622 7 0 0 25 0 1 0 164069451 36851712 8373 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 8997 8373 313 324 0 8066 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35988

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1548408/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=52028 CPUtime=12.69
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 12651 0 0 0 1259 10 0 0 25 0 1 0 164069451 53276672 12376 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 13007 12376 313 324 0 12076 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52028

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1515960/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=85520 CPUtime=25.49
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 21017 0 0 0 2534 15 0 0 25 0 1 0 164069451 87572480 20742 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 21380 20742 313 324 0 20449 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85520

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1491832/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=108644 CPUtime=51.07
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 26812 0 0 0 5086 21 0 0 25 0 1 0 164069451 111251456 26537 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 27161 26537 313 324 0 26230 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 108644

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1460600/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=139740 CPUtime=102.25
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 34590 0 0 0 10196 29 0 0 25 0 1 0 164069451 143093760 34315 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 34935 34315 313 324 0 34004 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 139740

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1460600/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=139740 CPUtime=162.24
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 34590 0 0 0 16186 38 0 0 25 0 1 0 164069451 143093760 34315 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134547966 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 34935 34315 313 324 0 34004 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 139740

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1422968/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=177324 CPUtime=222.21
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 43984 0 0 0 22173 48 0 0 25 0 1 0 164069451 181579776 43709 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 44331 43709 313 324 0 43400 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 177324

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1399416/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=200736 CPUtime=282.19
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 49840 0 0 0 28160 59 0 0 25 0 1 0 164069451 205553664 49565 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 50184 49565 313 324 0 49253 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 200736

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 21691
/proc/meminfo: memFree=1399416/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=200748 CPUtime=342.18
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 49843 0 0 0 34150 68 0 0 25 0 1 0 164069451 205565952 49568 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 50187 49568 313 324 0 49256 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 200748

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1399416/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=200748 CPUtime=402.16
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 49843 0 0 0 40140 76 0 0 25 0 1 0 164069451 205565952 49568 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 50187 49568 313 324 0 49256 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 200748

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1399480/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=200756 CPUtime=462.14
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 49845 0 0 0 46133 81 0 0 25 0 1 0 164069451 205574144 49570 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 50189 49570 313 324 0 49258 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 200756

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1399480/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=200752 CPUtime=522.12
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 49845 0 0 0 52125 87 0 0 25 0 1 0 164069451 205570048 49570 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11525924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 50188 49570 313 324 0 49257 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 200752

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1399480/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=200752 CPUtime=582.1
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 49845 0 0 0 58118 92 0 0 25 0 1 0 164069451 205570048 49570 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 50188 49570 313 324 0 49257 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 200752

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1368824/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=231340 CPUtime=642.08
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 57494 0 0 0 64109 99 0 0 25 0 1 0 164069451 236892160 57219 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 57835 57219 313 324 0 56904 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 231340


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

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1365368/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=234664 CPUtime=882.01
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 58365 0 0 0 88082 119 0 0 25 0 1 0 164069451 240295936 58053 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 58666 58053 313 324 0 57735 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 234664

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1365368/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=234664 CPUtime=941.98
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 58365 0 0 0 94073 125 0 0 25 0 1 0 164069451 240295936 58053 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 58666 58053 313 324 0 57735 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 234664

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1365432/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=234664 CPUtime=1001.97
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 58365 0 0 0 100067 130 0 0 25 0 1 0 164069451 240295936 58053 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 58666 58053 313 324 0 57735 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 234664

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1365432/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=234664 CPUtime=1061.95
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 58365 0 0 0 106060 135 0 0 25 0 1 0 164069451 240295936 58053 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 58666 58053 313 324 0 57735 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 234664

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21691
/proc/meminfo: memFree=1365432/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=234668 CPUtime=1121.93
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 58366 0 0 0 112052 141 0 0 25 0 1 0 164069451 240300032 58054 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 58667 58054 313 324 0 57736 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 234668

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21693
/proc/meminfo: memFree=1365496/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=234676 CPUtime=1181.91
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 58367 0 0 0 118041 150 0 0 25 0 1 0 164069451 240308224 58055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 58669 58055 313 324 0 57738 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 234676

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21693
/proc/meminfo: memFree=1365432/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=234676 CPUtime=1241.88
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 58367 0 0 0 124031 157 0 0 25 0 1 0 164069451 240308224 58055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 58669 58055 313 324 0 57738 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 234676

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21693
/proc/meminfo: memFree=1365432/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=234676 CPUtime=1301.87
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 58367 0 0 0 130023 164 0 0 25 0 1 0 164069451 240308224 58055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 58669 58055 313 324 0 57738 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 234676

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21693
/proc/meminfo: memFree=1289592/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=311268 CPUtime=1361.85
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 77549 0 0 0 136005 180 0 0 25 0 1 0 164069451 318738432 77201 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11527059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 77817 77201 313 324 0 76886 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 311268

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21693
/proc/meminfo: memFree=1182264/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=417336 CPUtime=1421.83
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 104092 0 0 0 141988 195 0 0 25 0 1 0 164069451 427352064 103708 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 104334 103708 313 324 0 103403 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 417336

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21693
/proc/meminfo: memFree=1131320/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=470608 CPUtime=1481.81
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 117396 0 0 0 147975 206 0 0 25 0 1 0 164069451 481902592 117012 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134587020 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 117652 117012 313 324 0 116721 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 470608

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21693
/proc/meminfo: memFree=1081336/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=518160 CPUtime=1541.8
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 129332 0 0 0 153964 216 0 0 25 0 1 0 164069451 530595840 128912 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 129540 128912 313 324 0 128609 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 518160

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21693
/proc/meminfo: memFree=1134584/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=464832 CPUtime=1601.77
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 129332 0 0 0 159953 224 0 0 25 0 1 0 164069451 475987968 115594 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 116208 115594 313 324 0 115277 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 464832

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21693
/proc/meminfo: memFree=1134648/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=464832 CPUtime=1661.75
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 129332 0 0 0 165943 232 0 0 25 0 1 0 164069451 475987968 115594 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 116208 115594 313 324 0 115277 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 464832

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21693
/proc/meminfo: memFree=1149944/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=449512 CPUtime=1721.73
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 129332 0 0 0 171935 238 0 0 25 0 1 0 164069451 460300288 111764 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 112378 111764 313 324 0 111447 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 449512

[startup+1782.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 21693
/proc/meminfo: memFree=1150584/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=448836 CPUtime=1781.72
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194304 129332 0 0 0 177926 246 0 0 25 0 1 0 164069451 459608064 111595 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 112209 111595 313 324 0 111278 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 448836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 21693
/proc/meminfo: memFree=1249784/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=0 CPUtime=1800.01
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194308 129337 0 0 0 179751 250 0 0 17 0 1 0 164069451 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.6 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 21693
/proc/meminfo: memFree=1249784/2055920 swapFree=4158472/4192956
[pid=21690] ppid=21688 vsize=0 CPUtime=1800.01
/proc/21690/stat : 21690 (bsolo3.0.16) R 21688 21690 20886 0 -1 4194308 129337 0 0 0 179751 250 0 0 17 0 1 0 164069451 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21690/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.07
CPU user time (s): 1797.52
CPU system time (s): 2.55561
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 518160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.52
system time used= 2.55561
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129337
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= 15
involuntary context switches= 4924

runsolver used 2.10668 second user time and 4.43832 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Sat Apr 21 13:19:34 UTC 2007

IDJOB= 373072
IDBENCH= 25017
IDSOLVER= 163
FILE ID= node39/373072-1177161574

PBS_JOBID= 4648904

Free space on /tmp= 66484 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373072-1177161574/instance-373072-1177161574.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-373072-1177161574 -o ROOT/results/node39/solver-373072-1177161574 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373072-1177161574/instance-373072-1177161574.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  a6271c60ac3da107dd19024b50d39967

RANDOM SEED= 77752913

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:       1597464 kB
Buffers:         39452 kB
Cached:         329164 kB
SwapCached:      14564 kB
Active:         302452 kB
Inactive:        91972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1597464 kB
SwapTotal:     4192956 kB
SwapFree:      4158472 kB
Dirty:            4840 kB
Writeback:           0 kB
Mapped:          31908 kB
Slab:            49272 kB
Committed_AS:  1895348 kB
PageTables:       2016 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= 66484 MiB

End job on node39 on Sat Apr 21 13:49:37 UTC 2007