Trace number 372316

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.16SAT11087 1800.02 1800.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb
MD5SUM83e4cddd78ca4f87cfb13af1d930e0cc
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8781
Best CPU time to get the best result obtained on this benchmark44.9172
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8781
Optimality of the best value was proved YES
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 365
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 525162
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 365
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 525162
Number of bits of the biggest sum of numbers20
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/372316-1177087519/instance-372316-1177087519.opb
0.00/0.00	c File size is 269106 bytes.
0.00/0.05	c Highest Coefficient sum: 525162
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.048 s
0.00/0.05	c Var: 3945 Constr: 8604 8604/0/0 Lit: 22124 Watch. Lit: 17206
0.00/0.05	c Obj. Vars: 1872 (47.4525 % of total variables)
0.09/0.10	c Pre-processing Time: 0.102 s
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3777     7190    18848    2    14380    2396      0      0 0.10
0.09/0.10	c Switching off LPR mode.
0.09/0.11	o 11675	0.107
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3777     7191    20718    2    16210    6136      1      0 0.11
0.09/0.11	o 11623	0.113
18.88/18.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.88/18.93	c        1   3777     7193    22658    3    18042    6136      3      8 0.12
18.88/18.93	c      101   3777     7293    29129    3    18244    6750    103    635 0.16
18.88/18.93	c      351   3777     7543    46108    6    18744    7426    353   1365 0.26
18.88/18.93	c      827   3777     8019    78022    9    19696    8169    829   1892 0.44
18.88/18.93	c     1640   3777     8832   118604   13    21322    8986   1642   2129 0.77
18.88/18.93	c     2961   3777    10153   194561   19    23963    9885   2963   2191 1.35
18.88/18.93	c     5042   3777    12234   329521   26    28124   10874   5044   2092 2.41
18.88/18.93	c     8265   3777    15457   560493   36    34570   11962   8267   1992 4.15
18.88/18.93	c    13201   3777    13173   450410   34    28174   13159   5983   1947 6.78
18.88/18.93	c    20709   3777    13772   452105   32    29373   14475   6582   1957 10.58
18.88/18.93	c    32070   3777    15802   792173   50    33432   15923   8612   1696 18.90
18.88/18.93	o 11594	18.927
48.28/48.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.28/48.36	c    32142   3777    15875   798991   50    35408    6136   8685   1698 18.93
48.28/48.36	c    32243   3777    10361   238708   23    22550    6750   3171   1690 19.07
48.28/48.36	c    32493   3777    10611   258743   24    23051    7426   3421   1693 19.18
48.28/48.36	c    32968   3777    11086   296189   26    24001    8169   3896   1696 19.43
48.28/48.36	c    33782   3777    11900   345709   29    25628    8986   4710   1718 19.66
48.28/48.36	c    35102   3777    13220   427616   32    28268    9885   6030   1733 20.25
48.28/48.36	c    37183   3777    15301   547397   35    32431   10874   8111   1751 21.23
48.28/48.36	c    40406   3777    12629   360035   28    27086   11962   5439   1794 22.51
48.28/48.36	c    45344   3777    17567   651487   37    36962   13159  10377   1870 24.25
48.28/48.36	c    52850   3777    16104   772843   47    34036   14475   8914   1788 29.55
48.28/48.36	c    64212   3777    18023  1029560   57    37875   15923  10833   1775 36.17
48.28/48.36	c    81356   3777    15154   520143   34    32137   17516   7964   1684 48.29
48.28/48.36	o 11568	48.351
48.88/48.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.88/48.93	c    81503   3777    15302   531074   34    34262    6136   8112   1685 48.35
48.88/48.93	c    81603   3777    10360   211190   20    22549    6750   3170   1677 48.64
48.88/48.93	c    81853   3777    10610   223886   21    23049    7426   3420   1679 48.74
48.88/48.93	o 11556	48.92
113.17/113.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
113.17/113.25	c    82105   3777    10863   242696   22    25386    6136   3673   1678 48.92
113.17/113.25	c    82205   3777    10963   248192   22    25586    6750   3773   1678 48.98
113.17/113.25	c    82455   3777    11213   263819   23    26083    7426   4023   1679 49.09
113.17/113.25	c    82930   3777    11688   286237   24    27032    8169   4498   1682 49.29
113.17/113.25	c    83743   3777    12501   332791   26    28658    8986   5311   1686 49.65
113.17/113.25	c    85064   3777    13822   425133   30    31300    9885   6632   1697 50.12
113.17/113.25	c    87146   3777    15904   564435   35    35466   10874   8714   1705 51.11
113.17/113.25	c    90369   3777    12629   375844   29    27086   11962   5439   1721 52.48
113.17/113.25	c    95305   3777    17565   724045   41    36958   13159  10375   1745 54.59
113.17/113.25	c   102811   3777    16341   588720   36    34511   14475   9151   1785 57.60
113.17/113.25	c   114172   3777    18364   777167   42    38557   15923  11174   1749 65.26
113.17/113.25	c   131316   3777    15154   917208   60    32136   17516   7964   1675 78.37
113.17/113.25	c   157135   3777    17697  1076128   60    37223   19268  10507   1388 113.20
113.17/113.25	o 11461	113.216
113.76/113.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
113.76/113.80	c   157135   3777    17698  1077998   60    39054    6136  10508   1387 113.22
113.76/113.80	c   157235   3777    10360   333082   32    22549    6750   3170   1383 113.61
113.76/113.80	c   157485   3777    10610   355444   33    23049    7426   3420   1384 113.72
113.76/113.80	o 11454	113.775
718.82/719.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
718.82/719.02	c   157606   3777    10732   364941   34    25122    6136   3542   1385 113.78
718.82/719.02	c   157706   3777    10832   372160   34    25324    6750   3642   1385 113.84
718.82/719.02	c   157957   3777    11083   387227   34    25824    7426   3893   1385 113.97
718.82/719.02	c   158432   3777    11558   411562   35    26776    8169   4368   1387 114.21
718.82/719.02	c   159246   3777    12372   458263   37    28402    8986   5182   1390 114.54
718.82/719.02	c   160566   3777    13692   527521   38    31044    9885   6502   1395 115.04
718.82/719.02	c   162647   3777    15773   663351   42    35204   10874   8583   1402 115.94
718.82/719.02	c   165871   3777    12629   418063   33    27089   11962   5439   1409 117.69
718.82/719.02	c   170807   3777    17565   797534   45    36959   13159  10375   1426 119.75
718.82/719.02	c   178313   3777    16362   639841   39    34553   14475   9172   1451 122.82
718.82/719.02	c   189675   3777    18218   931854   51    38265   15923  11028   1466 129.38
718.82/719.02	c   206819   3777    15154   646864   42    32138   17516   7964   1390 148.69
718.82/719.02	c   232638   3777    18098  1056367   58    38025   19268  10908   1320 176.24
718.82/719.02	c   271470   3777    22567  1245706   55    46963   21195  15377   1091 248.67
718.82/719.02	c   329823   3777    17790   969536   54    37409   23315  10600    875 376.68
718.82/719.02	c   417455   3777    30601  2401926   78    63031   25647  23411    866 481.60
718.82/719.02	c   549008   3777    18446   888194   48    38720   28212  11256    763 718.83
718.82/719.02	o 11443	718.847
719.12/719.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
719.12/719.35	c   549008   3777    18447   890064   48    40552    6136  11257    763 718.85
719.12/719.35	o 11289	719.174
719.22/719.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
719.22/719.42	c   549016   3777    10269   251861   24    24197    6136   3079    763 719.18
719.22/719.42	c   549116   3777    10369   261345   25    24396    6750   3179    763 719.24
719.22/719.42	o 11107	719.243
1017.25/1017.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1017.25/1017.67	c   549116   3777    10370   263215   25    26228    6136   3180    763 719.25
1017.25/1017.67	c   549216   3777    10470   269380   25    26432    6750   3280    763 719.31
1017.25/1017.67	c   549467   3777    10721   282266   26    26931    7426   3531    763 719.45
1017.25/1017.67	c   549944   3777    11198   310116   27    27887    8169   4008    764 719.70
1017.25/1017.67	c   550757   3777    12011   358708   29    29512    8986   4821    764 720.11
1017.25/1017.67	c   552077   3777    13331   447187   33    32150    9885   6141    765 720.79
1017.25/1017.67	c   554158   3777    15412   589564   38    36315   10874   8222    767 721.87
1017.25/1017.67	c   557381   3777    12629   466205   36    27088   11962   5439    769 724.72
1017.25/1017.67	c   562318   3777    17566   731256   41    36962   13159  10376    774 726.11
1017.25/1017.67	c   569825   3777    16512   761943   46    34854   14475   9322    780 730.49
1017.25/1017.67	c   581186   3777    18377   811229   44    38584   15923  11187    788 736.82
1017.25/1017.67	c   598330   3777    15154   852699   56    32137   17516   7964    795 752.05
1017.25/1017.67	c   624149   3777    18053  1165610   64    37937   19268  10863    804 775.86
1017.25/1017.67	c   662981   3777    21508  1169217   54    44846   21195  14318    811 817.06
1017.25/1017.67	c   721333   3777    17838   645196   36    37506   23315  10648    817 882.53
1017.25/1017.67	c   808965   3777    18590   663754   35    39011   25647  11400    840 962.87
1017.25/1017.67	o 11100	1017.32
1072.34/1072.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1072.34/1072.76	c   861614   3777    20455  1012288   49    44572    6136  13265    846 1017.33
1072.34/1072.76	c   861714   3777    10360   258313   24    22552    6750   3170    846 1017.77
1072.34/1072.76	c   861964   3777    10610   270870   25    23051    7426   3420    846 1017.88
1072.34/1072.76	c   862439   3777    11085   293925   26    24001    8169   3895    847 1018.01
1072.34/1072.76	c   863252   3777    11898   340335   28    25627    8986   4708    847 1018.24
1072.34/1072.76	c   864572   3777    13218   414482   31    28266    9885   6028    848 1018.68
1072.34/1072.76	c   866653   3777    15299   515386   33    32428   10874   8109    850 1019.42
1072.34/1072.76	c   869876   3777    12629   339183   26    27087   11962   5439    852 1020.78
1072.34/1072.76	c   874812   3777    17565   603137   34    36961   13159  10375    855 1022.73
1072.34/1072.76	c   882319   3777    16214   593698   36    34259   14475   9024    858 1027.48
1072.34/1072.76	c   893680   3777    18047   865311   47    37925   15923  10857    864 1033.48
1072.34/1072.76	c   910824   3777    15154   706721   46    32140   17516   7964    867 1049.75
1072.34/1072.76	c   936643   3777    19962   854852   42    41755   19268  12772    873 1072.38
1072.34/1072.76	o 11087	1072.4
1799.96/1800.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.96/1800.54	c   936695   3777    20015   861241   43    43692    6136  12825    873 1072.41
1799.96/1800.54	c   936795   3777    10360   231507   22    22550    6750   3170    873 1072.95
1799.96/1800.54	c   937045   3777    10610   251290   23    23051    7426   3420    873 1073.05
1799.96/1800.54	c   937521   3777    11086   280704   25    24003    8169   3896    873 1073.25
1799.96/1800.54	c   938334   3777    11899   330135   27    25629    8986   4709    874 1073.51
1799.96/1800.54	c   939654   3777    13219   395430   29    28269    9885   6029    875 1073.88
1799.96/1800.54	c   941735   3777    15300   517110   33    32430   10874   8110    876 1074.54
1799.96/1800.54	c   944958   3777    12629   335430   26    27088   11962   5439    878 1075.85
1799.96/1800.54	c   949895   3777    17566   678433   38    36962   13159  10376    881 1077.73
1799.96/1800.54	c   957402   3777    16284   534845   32    34399   14475   9094    885 1080.75
1799.96/1800.54	c   968763   3777    18219   902096   49    38268   15923  11029    890 1088.21
1799.96/1800.54	c   985908   3777    15154   779292   51    32139   17516   7964    892 1104.19
1799.96/1800.54	c  1011727   3777    19014  1002878   52    39858   19268  11824    896 1127.97
1799.96/1800.54	c  1050559   3777    20726  1323522   63    43283   21195  13536    901 1164.77
1799.96/1800.54	c  1108912   3777    26462  1194458   45    54754   23315  19272    915 1211.00
1799.96/1800.54	c  1196544   3777    28136  1706446   60    58102   25647  20946    916 1305.70
1799.96/1800.54	c  1328096   3777    31082  1341298   43    63995   28212  23892    907 1464.17
1799.96/1800.54	c  1525528   3777    18886  1098535   58    39603   31034  11696    873 1746.94
1799.96/1800.54	c Resources Exceeded
1799.96/1800.54	v -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258
1799.96/1800.54	v -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300
1799.96/1800.54	v -x302 -x304 x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342
1799.96/1800.54	v -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384
1799.96/1800.54	v -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426
1799.96/1800.54	v -x428 x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 x464 -x466 -x468
1799.96/1800.54	v -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510
1799.96/1800.54	v -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551
1799.96/1800.54	v -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593
1799.96/1800.54	v -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 x627 -x629 -x631 -x633 -x635
1799.96/1800.54	v -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677
1799.96/1800.54	v -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719
1799.96/1800.54	v -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761
1799.96/1800.54	v -x763 x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x798 -x800 x802
1799.96/1800.54	v -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844
1799.96/1800.54	v -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886
1799.96/1800.54	v -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928
1799.96/1800.54	v -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970
1799.96/1800.54	v -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010
1799.96/1800.54	v -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044
1799.96/1800.54	v -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078
1799.96/1800.54	v -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112
1799.96/1800.54	v -x1114 -x1116 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145
1799.96/1800.54	v -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179
1799.96/1800.54	v -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213
1799.96/1800.54	v -x1215 -x1217 -x1219 -x1221 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246
1799.96/1800.54	v -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280
1799.96/1800.54	v -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314
1799.96/1800.54	v -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 x1348
1799.96/1800.54	v -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382
1799.96/1800.54	v -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416
1799.96/1800.54	v -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450
1799.96/1800.54	v -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484
1799.96/1800.54	v -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518
1799.96/1800.54	v -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552
1799.96/1800.54	v -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 x1578 -x1580 -x1582 -x1584 -x1586
1799.96/1800.54	v -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620
1799.96/1800.54	v -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654
1799.96/1800.54	v -x1656 -x1658 -x1660 x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688
1799.96/1800.54	v -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 x1714 -x1716 -x1718 -x1720 -x1722
1799.96/1800.54	v -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756
1799.96/1800.54	v -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790
1799.96/1800.54	v -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824
1799.96/1800.54	v -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858
1799.96/1800.54	v -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892
1799.96/1800.54	v -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926
1799.96/1800.54	v -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960
1799.96/1800.54	v -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994
1799.96/1800.54	v -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028
1799.96/1800.54	v -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062
1799.96/1800.54	v -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096
1799.96/1800.54	v -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130
1799.96/1800.54	v -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164
1799.96/1800.54	v -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198
1799.96/1800.54	v -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232
1799.96/1800.54	v -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 x2256 -x2258 -x2260 -x2262 -x2264 -x2266
1799.96/1800.54	v -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300
1799.96/1800.54	v -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334
1799.96/1800.54	v -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368
1799.96/1800.54	v -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402
1799.96/1800.54	v -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436
1799.96/1800.54	v -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470
1799.96/1800.54	v -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 x2502 -x2504
1799.96/1800.54	v -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538
1799.96/1800.54	v -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572
1799.96/1800.54	v -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606
1799.96/1800.54	v -x2608 -x2610 -x2612 -x2614 x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640
1799.96/1800.54	v -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674
1799.96/1800.54	v -x2676 -x2678 -x2680 x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707
1799.96/1800.54	v -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741
1799.96/1800.54	v -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775
1799.96/1800.54	v -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809
1799.96/1800.54	v -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843
1799.96/1800.54	v -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877
1799.96/1800.54	v -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911
1799.96/1800.54	v -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945
1799.96/1800.54	v -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979
1799.96/1800.54	v -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013
1799.96/1800.54	v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046
1799.96/1800.54	v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080
1799.96/1800.54	v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114
1799.96/1800.54	v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148
1799.96/1800.54	v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182
1799.96/1800.54	v -x3184 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215
1799.96/1800.54	v -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249
1799.96/1800.54	v -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283
1799.96/1800.54	v -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317
1799.96/1800.54	v -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351
1799.96/1800.54	v -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385
1799.96/1800.54	v -x3387 -x3389 x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419
1799.96/1800.54	v -x3421 -x3423 -x3425 -x3427 x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453
1799.96/1800.54	v -x3455 -x3457 -x3459 -x3461 -x3463 x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487
1799.96/1800.54	v -x3489 -x3491 -x3493 -x3495 -x3497 x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521
1799.96/1800.54	v -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555
1799.96/1800.54	v -x3557 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587
1799.96/1800.54	v -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621
1799.96/1800.54	v -x3623 -x3625 -x3627 -x3629 x3631 -x3633 -x3635 -x3637 -x3639 x3641 -x3643 -x3645 x3647 -x3649 -x3651 -x3653 -x3655 -x3657
1799.96/1800.54	v -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690
1799.96/1800.54	v -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3719 -x3721 -x3722
1799.96/1800.54	v -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756
1799.96/1800.54	v -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3781 -x3783 -x3784 -x3785 -x3787
1799.96/1800.54	v -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821
1799.96/1800.54	v -x3823 -x3825 -x3827 -x3829 -x3831 x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855
1799.96/1800.54	v -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889
1799.96/1800.54	v -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 x3905 x3907 -x3909 -x3911 -x3913 x3915 -x3917 -x3919 -x3921 -x3923 -x3925
1799.96/1800.54	v -x3927 -x3929 x3931 -x3933 -x3935 -x3937 x3939 -x3941 x3943 -x3945 -x217 -x1 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x2
1799.96/1800.54	v -x233 -x235 -x237 -x3 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x4 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269
1799.96/1800.54	v -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 x305 -x307 -x309 -x311
1799.96/1800.54	v -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x5 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x6
1799.96/1800.54	v -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x7 -x365 -x367 -x369 -x8 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x9 -x385 -x387
1799.96/1800.54	v -x389 -x10 -x391 -x393 -x395 -x11 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x12 -x411 -x413 -x415 -x13 -x417 -x419 -x421
1799.96/1800.54	v -x14 -x423 -x425 -x427 -x15 x429 x16 -x431 -x17 -x433 -x435 -x437 -x18 -x439 -x441 -x443 x19 -x445 x447 -x449 -x451 -x453 -x455
1799.96/1800.54	v -x457 -x459 -x461 x463 -x465 -x467 -x469 -x471 -x20 -x473 -x475 -x477 -x21 -x479 -x481 -x483 -x22 -x485 -x487 -x489 -x491
1799.96/1800.54	v -x493 -x495 -x497 -x23 -x499 -x501 -x503 -x24 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x25 -x527
1799.96/1800.54	v -x529 -x531 -x533 -x536 -x538 -x26 -x540 -x542 -x544 -x27 -x546 -x548 -x550 -x28 -x552 -x554 -x556 -x558 -x560 -x562 -x564
1799.96/1800.54	v -x29 -x566 -x568 -x570 -x30 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x31 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600
1799.96/1800.54	v -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642
1799.96/1800.54	v -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x32 -x678 -x680 -x682
1799.96/1800.54	v -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x33 -x700 -x702 -x704 -x706 -x708 -x34 -x710 -x712 -x714 -x716 -x718 -x720
1799.96/1800.54	v -x722 -x724 -x726 -x728 -x730 -x35 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760
1799.96/1800.54	v -x762 x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x799 x801 -x803
1799.96/1800.54	v -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845
1799.96/1800.54	v -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x36 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885
1799.96/1800.54	v -x887 -x889 -x37 -x891 -x893 -x895 -x897 -x899 -x901 x903 -x905 -x907 -x909 -x38 -x911 -x913 -x915 -x39 -x917 -x919 -x921
1799.96/1800.54	v -x923 -x925 -x927 -x929 -x40 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 x951 -x953 -x955 -x957 -x959 -x961
1799.96/1800.54	v -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001
1799.96/1800.54	v -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x41 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x42 -x1029 -x1031 -x1033
1799.96/1800.54	v -x1035 -x1037 -x1039 -x1041 -x43 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x44 -x1057 -x1059 -x1061 -x45 -x1063
1799.96/1800.54	v -x1065 -x1067 -x46 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x47 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 x1095
1799.96/1800.54	v x48 -x1097 -x1099 -x1101 -x49 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1118 -x1120 -x1122 -x50 -x1124 -x1126
1799.96/1800.54	v x1128 x51 -x1130 -x1132 -x1134 -x52 -x1136 -x1138 -x1140 -x53 -x1142 -x1144 -x1146 -x54 -x1148 -x55 -x1150 -x56 -x1152 -x1154
1799.96/1800.54	v -x1156 -x57 -x1158 -x1160 -x1162 -x58 -x1164 -x1166 -x1168 -x59 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x60 -x1184
1799.96/1800.54	v -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x61 -x1198 -x1200 -x1202 -x62 -x1204 -x1206 -x1208 -x63 -x1210 -x1212 -x1214
1799.96/1800.54	v -x1216 -x1218 -x1220 -x64 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x65 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247
1799.96/1800.54	v -x1249 -x66 -x1251 -x1253 -x1255 -x67 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x68
1799.96/1800.54	v -x1279 -x1281 -x1283 -x1285 -x1287 -x69 -x1289 -x1291 -x1293 -x1295 -x1297 -x70 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309
1799.96/1800.54	v -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343
1799.96/1800.54	v -x1345 x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377
1799.96/1800.54	v -x1379 -x1381 -x71 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411
1799.96/1800.54	v -x72 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445
1799.96/1800.54	v -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479
1799.96/1800.54	v -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 x1501 -x1503 -x73 -x1505 -x1507 -x1509 -x1511 -x1513
1799.96/1800.54	v -x1515 -x1517 -x74 -x1519 -x1521 -x1523 -x75 -x1525 -x1527 -x1529 -x76 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543
1799.96/1800.54	v -x77 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 x1577
1799.96/1800.54	v -x1579 -x78 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x79 -x1595 -x1597 -x1599 -x80 -x1601 -x1603 -x1605 -x81 -x1607
1799.96/1800.54	v -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x82 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x83 -x1635 -x1637 -x1639
1799.96/1800.54	v -x84 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 x1661 -x1663 -x1665 -x1667 -x85 -x1669 -x1671
1799.96/1800.54	v -x1673 -x86 -x1675 -x1677 -x1679 -x87 -x1681 -x1683 -x1685 -x88 -x1687 -x89 -x1689 -x90 -x1691 -x1693 -x1695 -x91 -x1697
1799.96/1800.54	v -x1699 -x1701 -x92 -x1703 -x1705 -x1707 -x93 -x1709 -x1711 x1713 x94 -x1715 -x1717 -x1719 -x95 -x1721 -x1723 -x1725 -x96
1799.96/1800.54	v -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x97 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x98 -x1755 -x1757
1799.96/1800.54	v -x1759 -x1761 -x1763 -x1765 -x1767 -x99 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x100 -x1781 -x1783 -x1785 -x101 -x1787
1799.96/1800.54	v -x1789 -x1791 -x102 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x103 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819
1799.96/1800.54	v -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x104 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851
1799.96/1800.54	v -x1853 -x1855 -x1857 -x105 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x106 -x1881 -x1883
1799.96/1800.54	v -x1885 -x1887 -x1889 -x107 -x1891 -x1893 -x1895 -x1897 -x1899 -x108 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915
1799.96/1800.54	v -x1917 -x1919 -x1921 -x109 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x110 -x1945 -x1947
1799.96/1800.54	v -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 x1973 -x1975 -x1977 -x1979 -x1981
1799.96/1800.54	v -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015
1799.96/1800.54	v -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 x2041 -x2043 -x2045 -x2047 -x2049
1799.96/1800.54	v -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083
1799.96/1800.54	v -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x111 -x2115
1799.96/1800.54	v -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x112 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x113 -x2143 -x2145 -x2147
1799.96/1800.54	v -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x114 -x2165 -x2167 -x2169 -x115 -x2171 -x2173 -x2175 -x116 -x2177
1799.96/1800.54	v -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x117 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x118 -x2205 -x2207 -x2209
1799.96/1800.54	v -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243
1799.96/1800.54	v -x2245 -x2247 -x2249 -x2251 -x2253 x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277
1799.96/1800.54	v -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x119 -x2305 -x2307 -x2309
1799.96/1800.54	v -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x120 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341
1799.96/1800.54	v -x2343 -x2345 -x2347 x121 -x2349 -x2351 -x2353 x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x122 -x2371 -x2373
1799.96/1800.54	v -x2375 -x123 -x2377 -x2379 -x2381 -x124 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x125 -x2397 -x2399 -x2401 -x2403
1799.96/1800.54	v -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x126 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435
1799.96/1800.54	v -x2437 -x2439 -x127 -x2441 -x2443 -x128 -x2445 -x2447 -x2449 -x129 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465
1799.96/1800.54	v -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x130 -x2481 -x2483 -x2485 -x131 -x2487 -x2489 -x2491 -x132 -x2493 -x2495
1799.96/1800.54	v -x2497 -x2499 x2501 x133 -x2503 -x134 -x2505 -x135 -x2507 -x2509 -x2511 -x2513 -x2515 -x136 -x2517 -x2519 -x2521 x137 -x2523
1799.96/1800.54	v x2525 -x2527 -x138 -x2529 -x2531 -x2533 -x139 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555
1799.96/1800.54	v -x2557 -x2559 -x2561 -x2563 -x140 -x2565 -x2567 -x2569 -x141 -x2571 -x2573 -x2575 -x142 -x2577 -x2579 -x2581 -x2583 -x2585
1799.96/1800.54	v -x2587 -x2589 -x143 -x2591 -x2593 -x2595 -x144 -x2597 -x2599 -x2601 -x145 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 x2615
1799.96/1800.54	v -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x146 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x147 -x2645 -x2647
1799.96/1800.54	v -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 x2681
1799.96/1800.54	v -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716
1799.96/1800.54	v -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750
1799.96/1800.54	v -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x148
1799.96/1800.54	v -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x149 -x2806 -x2808 -x2810 -x2812 -x2814
1799.96/1800.54	v -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x150 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846
1799.96/1800.54	v -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x151 -x2862 -x2864 -x2866 -x2868 -x2870 -x152 -x2872 -x2874 -x2876 -x2878
1799.96/1800.54	v -x2880 -x153 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x154 -x2904 -x2906 -x2908 -x2910
1799.96/1800.54	v -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x155 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942
1799.96/1800.54	v -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976
1799.96/1800.54	v -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010
1799.96/1800.54	v -x3012 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045
1799.96/1800.54	v -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x156 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077
1799.96/1800.54	v -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x157 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109
1799.96/1800.54	v -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x158 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x159 -x3139 -x3141
1799.96/1800.54	v -x3143 -x3145 -x3147 -x3149 -x3151 -x160 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173
1799.96/1800.54	v -x161 -x3175 -x3177 -x3179 -x162 -x3181 -x3183 -x163 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204
1799.96/1800.54	v -x3206 -x164 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x165 -x3230 -x3232 -x3234 -x166
1799.96/1800.54	v -x3236 -x3238 -x3240 -x167 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266
1799.96/1800.54	v -x3268 -x3270 -x168 -x3272 -x3274 -x3276 -x169 -x3278 -x3280 -x3282 -x170 -x3284 -x3286 -x3288 -x171 -x3290 -x3292 -x3294
1799.96/1800.54	v -x3296 -x3298 -x172 x3300 x173 -x3302 -x174 -x3304 -x3306 -x3308 -x175 -x3310 -x3312 -x3314 -x176 -x3316 -x3318 -x3320
1799.96/1800.54	v -x177 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x178 -x3352
1799.96/1800.54	v -x3354 -x3356 -x179 -x3358 -x3360 -x3362 -x180 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384
1799.96/1800.54	v -x3386 -x3388 x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418
1799.96/1800.54	v -x181 -x3420 -x3422 -x3424 -x3426 x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x182 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450
1799.96/1800.54	v -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484
1799.96/1800.54	v -x3486 -x3488 -x3490 x183 -x3492 -x3494 -x3496 x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518
1799.96/1800.54	v -x3520 -x184 -x3522 -x3524 -x3526 -x185 -x3528 -x3530 -x3532 -x186 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548
1799.96/1800.54	v -x3550 -x3552 -x3554 -x3556 -x3559 -x3561 -x187 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3576 -x3578 -x3580 -x3582
1799.96/1800.54	v -x3584 -x3586 -x3588 -x3590 -x188 -x3592 -x3594 -x189 -x3596 -x3598 -x3600 -x190 -x3602 -x3604 -x3606 -x191 -x3608 -x3610
1799.96/1800.54	v -x3612 -x3614 -x3616 -x192 -x3618 -x193 -x3620 -x194 -x3622 -x3624 -x3626 -x3628 x3630 -x3632 -x3634 -x3636 -x3638 x3640
1799.96/1800.54	v -x3642 -x3644 x3646 -x3648 -x195 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674
1799.96/1800.54	v -x3677 -x3679 -x3681 -x3683 -x3685 -x196 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707
1799.96/1800.54	v -x3709 -x3711 -x3713 -x3715 -x3717 -x3720 -x3723 -x3725 -x197 -x3727 -x3729 -x3731 -x3733 -x3735 -x198 -x3737 -x3739 -x3741
1799.96/1800.54	v -x3743 -x3745 -x199 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773
1799.96/1800.54	v -x3775 -x3777 -x3779 -x3782 -x200 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808
1799.96/1800.54	v -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x201 -x3824 -x3826 -x3828 -x3830 x3832 -x3834 -x202 -x3836 -x3838 -x3840
1799.96/1800.54	v -x203 -x3842 -x3844 -x3846 -x3848 -x3850 -x204 -x3852 -x205 -x3854 -x206 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 x3868
1799.96/1800.54	v -x3870 -x207 -x3872 -x3874 -x3876 -x3878 -x3880 -x208 -x3882 -x3884 -x3886 -x3888 -x3890 -x209 -x3892 -x3894 -x210 -x3896
1799.96/1800.54	v -x3898 -x3900 -x3902 x3904 x3906 -x3908 x211 -x3910 -x3912 x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 x3930
1799.96/1800.54	v -x3932 -x3934 -x3936 -x212 x3938 x213 -x3940 -x214 x3942 x215 -x3944 x216
1799.96/1800.54	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.96/1800.54	c  110  1557586 983939  6185049    30381  1934841  23191    865 1800.00
1799.96/1800.54	c Objective: 11087
1799.96/1800.54	s SATISFIABLE
1799.96/1800.54	c Total time: 1800 s

Verifier Data (download as text)

OK	11087

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node68/watcher-372316-1177087519 -o ROOT/results/node68/solver-372316-1177087519 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372316-1177087519/instance-372316-1177087519.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.10 1.04 3/64 2184
/proc/meminfo: memFree=1663808/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=12000 CPUtime=0
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 184741433 12288000 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 3000 336 282 324 0 2003 0

[startup+0.077323 s]
/proc/loadavg: 1.00 1.10 1.04 3/64 2184
/proc/meminfo: memFree=1663808/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=5932 CPUtime=0.07
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 927 0 0 0 7 0 0 0 18 0 1 0 184741433 6074368 829 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 1483 829 305 324 0 552 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5932

[startup+0.101324 s]
/proc/loadavg: 1.00 1.10 1.04 3/64 2184
/proc/meminfo: memFree=1663808/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=5904 CPUtime=0.09
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 958 0 0 0 9 0 0 0 18 0 1 0 184741433 6045696 856 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 1476 856 307 324 0 545 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5904

[startup+0.301343 s]
/proc/loadavg: 1.00 1.10 1.04 3/64 2184
/proc/meminfo: memFree=1663808/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=6292 CPUtime=0.29
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 1048 0 0 0 28 1 0 0 19 0 1 0 184741433 6443008 946 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 1573 946 313 324 0 642 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6292

[startup+0.701378 s]
/proc/loadavg: 1.00 1.10 1.04 3/64 2184
/proc/meminfo: memFree=1663808/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=7076 CPUtime=0.69
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 1257 0 0 0 67 2 0 0 22 0 1 0 184741433 7245824 1155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 1769 1155 313 324 0 838 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7076

[startup+1.50245 s]
/proc/loadavg: 1.00 1.10 1.04 2/65 2185
/proc/meminfo: memFree=1659832/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=8764 CPUtime=1.49
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 1665 0 0 0 146 3 0 0 25 0 1 0 184741433 8974336 1563 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 2191 1563 313 324 0 1260 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8764

[startup+3.1016 s]
/proc/loadavg: 1.00 1.10 1.04 2/65 2185
/proc/meminfo: memFree=1657528/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=12000 CPUtime=3.09
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 2462 0 0 0 304 5 0 0 25 0 1 0 184741433 12288000 2360 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 3000 2360 313 324 0 2069 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12000

[startup+6.30188 s]
/proc/loadavg: 1.00 1.10 1.04 2/65 2185
/proc/meminfo: memFree=1650752/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=17912 CPUtime=6.29
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 3953 0 0 0 622 7 0 0 25 0 1 0 184741433 18341888 3851 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 4478 3851 313 324 0 3547 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17912

[startup+12.7015 s]
/proc/loadavg: 1.00 1.10 1.04 2/65 2185
/proc/meminfo: memFree=1648192/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=19092 CPUtime=12.69
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 4247 0 0 0 1257 12 0 0 25 0 1 0 184741433 19550208 4145 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 4773 4145 313 324 0 3842 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19092

[startup+25.5016 s]
/proc/loadavg: 1.00 1.09 1.03 2/65 2185
/proc/meminfo: memFree=1641984/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=25308 CPUtime=25.48
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 5812 0 0 0 2525 23 0 0 25 0 1 0 184741433 25915392 5710 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 6327 5710 313 324 0 5396 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25308

[startup+51.1019 s]
/proc/loadavg: 1.00 1.09 1.03 2/65 2185
/proc/meminfo: memFree=1638144/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=29128 CPUtime=51.07
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 6766 0 0 0 5071 36 0 0 25 0 1 0 184741433 29827072 6664 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 7282 6664 313 324 0 6351 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29128

[startup+102.306 s]
/proc/loadavg: 1.00 1.07 1.03 2/65 2185
/proc/meminfo: memFree=1630080/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=37236 CPUtime=102.27
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 8788 0 0 0 10173 54 0 0 25 0 1 0 184741433 38129664 8686 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 9309 8686 313 324 0 8378 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37236

[startup+162.302 s]
/proc/loadavg: 1.00 1.05 1.02 2/65 2185
/proc/meminfo: memFree=1630080/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=37048 CPUtime=162.25
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 8788 0 0 0 16150 75 0 0 25 0 1 0 184741433 37937152 8651 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 9262 8651 313 324 0 8331 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37048

[startup+222.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/65 2185
/proc/meminfo: memFree=1630080/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=37048 CPUtime=222.23
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 8789 0 0 0 22141 82 0 0 25 0 1 0 184741433 37937152 8652 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 9262 8652 313 324 0 8331 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 37048

[startup+282.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/65 2185
/proc/meminfo: memFree=1628352/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=39224 CPUtime=282.22
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 9329 0 0 0 28128 94 0 0 25 0 1 0 184741433 40165376 9192 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 9806 9192 313 324 0 8875 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 39224

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2185
/proc/meminfo: memFree=1620032/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=47100 CPUtime=342.21
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 11298 0 0 0 34113 108 0 0 25 0 1 0 184741433 48230400 11161 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 11775 11161 313 324 0 10844 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 47100

[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2185
/proc/meminfo: memFree=1620032/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=47096 CPUtime=402.19
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 11300 0 0 0 40100 119 0 0 25 0 1 0 184741433 48226304 11163 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 11774 11163 313 324 0 10843 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 47096

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2185
/proc/meminfo: memFree=1620032/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=47092 CPUtime=462.18
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 11300 0 0 0 46090 128 0 0 25 0 1 0 184741433 48222208 11163 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 11773 11163 313 324 0 10842 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 47092

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2185
/proc/meminfo: memFree=1620032/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=47156 CPUtime=522.17
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 11311 0 0 0 52078 139 0 0 25 0 1 0 184741433 48287744 11174 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 11789 11174 313 324 0 10858 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 47156

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2185
/proc/meminfo: memFree=1611264/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55916 CPUtime=582.15
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13501 0 0 0 58068 147 0 0 25 0 1 0 184741433 57257984 13364 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13979 13364 313 324 0 13048 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 55916

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2185
/proc/meminfo: memFree=1609920/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=57256 CPUtime=642.14
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 64057 157 0 0 25 0 1 0 184741433 58630144 13700 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 14314 13700 313 324 0 13383 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 57256


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

/proc/meminfo: memFree=1610496/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=56324 CPUtime=1061.94
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 105913 281 0 0 25 0 1 0 184741433 57675776 13471 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 14081 13471 313 324 0 13150 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 56324

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611776/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55052 CPUtime=1121.92
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 111885 307 0 0 25 0 1 0 184741433 56373248 13153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13763 13153 313 324 0 12832 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 55052

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55052 CPUtime=1181.91
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 117868 323 0 0 25 0 1 0 184741433 56373248 13153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13763 13153 313 324 0 12832 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 55052

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611968/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55052 CPUtime=1241.89
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 123853 336 0 0 25 0 1 0 184741433 56373248 13153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13763 13153 313 324 0 12832 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 55052

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611968/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55052 CPUtime=1301.88
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 129840 348 0 0 25 0 1 0 184741433 56373248 13153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13763 13153 313 324 0 12832 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 55052

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611968/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55052 CPUtime=1361.86
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 135826 360 0 0 25 0 1 0 184741433 56373248 13153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13763 13153 313 324 0 12832 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 55052

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611904/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55052 CPUtime=1421.85
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 141805 380 0 0 25 0 1 0 184741433 56373248 13153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160521836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13763 13153 313 324 0 12832 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 55052

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611904/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55060 CPUtime=1481.83
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13839 0 0 0 147783 400 0 0 25 0 1 0 184741433 56381440 13155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10944664 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13765 13155 313 324 0 12834 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 55060

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55060 CPUtime=1541.82
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13839 0 0 0 153771 411 0 0 25 0 1 0 184741433 56381440 13155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13765 13155 313 324 0 12834 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 55060

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611904/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55060 CPUtime=1601.8
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13839 0 0 0 159758 422 0 0 25 0 1 0 184741433 56381440 13155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13765 13155 313 324 0 12834 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 55060

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55060 CPUtime=1661.79
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13839 0 0 0 165745 434 0 0 25 0 1 0 184741433 56381440 13155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13765 13155 313 324 0 12834 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 55060

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55060 CPUtime=1721.78
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13839 0 0 0 171733 445 0 0 25 0 1 0 184741433 56381440 13155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13765 13155 313 324 0 12834 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 55060

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55072 CPUtime=1781.76
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13841 0 0 0 177723 453 0 0 25 0 1 0 184741433 56393728 13157 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13768 13157 313 324 0 12837 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 55072

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55072 CPUtime=1791.37
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13842 0 0 0 178681 456 0 0 25 0 1 0 184741433 56393728 13158 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13768 13158 313 324 0 12837 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 55072

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55072 CPUtime=1794.57
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13842 0 0 0 178999 458 0 0 25 0 1 0 184741433 56393728 13158 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13768 13158 313 324 0 12837 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 55072

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611776/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55072 CPUtime=1797.75
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13842 0 0 0 179317 458 0 0 25 0 1 0 184741433 56393728 13158 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13768 13158 313 324 0 12837 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 55072

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611904/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55072 CPUtime=1799.35
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13842 0 0 0 179476 459 0 0 25 0 1 0 184741433 56393728 13158 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13768 13158 313 324 0 12837 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (KiB) 55072

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611904/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55072 CPUtime=1799.75
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13842 0 0 0 179516 459 0 0 25 0 1 0 184741433 56393728 13158 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13768 13158 313 324 0 12837 0
Current children cumulated CPU time (s) 1799.75
Current children cumulated vsize (KiB) 55072

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2384
/proc/meminfo: memFree=1611904/2055920 swapFree=4183868/4192956
[pid=2184] ppid=2182 vsize=55072 CPUtime=1799.96
/proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13842 0 0 0 179536 460 0 0 25 0 1 0 184741433 56393728 13158 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134552167 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2184/statm: 13768 13158 313 324 0 12837 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (KiB) 55072

Child status: 0
Real time (s): 1800.55
CPU time (s): 1800.02
CPU user time (s): 1795.4
CPU system time (s): 4.6123
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 57368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.4
system time used= 4.6123
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13843
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= 11
involuntary context switches= 3844

runsolver used 1.14682 second user time and 3.82342 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Fri Apr 20 16:45:19 UTC 2007

IDJOB= 372316
IDBENCH= 24963
IDSOLVER= 163
FILE ID= node68/372316-1177087519

PBS_JOBID= 4640307

Free space on /tmp= 66323 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  83e4cddd78ca4f87cfb13af1d930e0cc

RANDOM SEED= 614615406

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1664280 kB
Buffers:         28280 kB
Cached:         300600 kB
SwapCached:       2824 kB
Active:         147844 kB
Inactive:       191152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1664280 kB
SwapTotal:     4192956 kB
SwapFree:      4183868 kB
Dirty:            4644 kB
Writeback:           0 kB
Mapped:          16116 kB
Slab:            38732 kB
Committed_AS:  2815680 kB
PageTables:       1380 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= 66323 MiB

End job on node68 on Fri Apr 20 17:15:20 UTC 2007