Trace number 433676

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)11087 1800.09 1802.62

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

Verifier Data (download as text)

OK	11087

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.59 0.88 0.88 3/77 18584
/proc/meminfo: memFree=1794224/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=12000 CPUtime=0
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 244106256 12288000 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 3000 336 280 324 0 2004 0

[startup+0.0368881 s]
/proc/loadavg: 0.59 0.88 0.88 3/77 18584
/proc/meminfo: memFree=1794224/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=5032 CPUtime=0.03
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 610 0 0 0 3 0 0 0 18 0 1 0 244106256 5152768 580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 1258 580 324 324 0 262 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5032

[startup+0.101892 s]
/proc/loadavg: 0.59 0.88 0.88 3/77 18584
/proc/meminfo: memFree=1794224/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=5904 CPUtime=0.09
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 954 0 0 0 9 0 0 0 18 0 1 0 244106256 6045696 854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 1476 854 305 324 0 546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5904

[startup+0.301904 s]
/proc/loadavg: 0.59 0.88 0.88 3/77 18584
/proc/meminfo: memFree=1794224/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=6292 CPUtime=0.29
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 1048 0 0 0 29 0 0 0 19 0 1 0 244106256 6443008 948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 1573 948 311 324 0 643 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6292

[startup+0.70193 s]
/proc/loadavg: 0.59 0.88 0.88 3/77 18584
/proc/meminfo: memFree=1794224/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=7076 CPUtime=0.69
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 1256 0 0 0 69 0 0 0 23 0 1 0 244106256 7245824 1156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 1769 1156 311 324 0 839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7076

[startup+1.50198 s]
/proc/loadavg: 0.59 0.88 0.88 2/78 18585
/proc/meminfo: memFree=1789992/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=8764 CPUtime=1.49
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 1670 0 0 0 149 0 0 0 25 0 1 0 244106256 8974336 1570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7446517 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 2191 1570 311 324 0 1261 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8764

[startup+3.10108 s]
/proc/loadavg: 0.59 0.88 0.88 2/78 18585
/proc/meminfo: memFree=1787880/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=12000 CPUtime=3.09
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 2481 0 0 0 308 1 0 0 25 0 1 0 244106256 12288000 2381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 3000 2381 311 324 0 2070 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12000

[startup+6.30128 s]
/proc/loadavg: 0.62 0.88 0.88 2/78 18585
/proc/meminfo: memFree=1781104/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=18044 CPUtime=6.29
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 3984 0 0 0 627 2 0 0 25 0 1 0 244106256 18477056 3884 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 4511 3884 311 324 0 3581 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18044

[startup+12.7017 s]
/proc/loadavg: 0.65 0.88 0.88 2/78 18585
/proc/meminfo: memFree=1778736/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=19092 CPUtime=12.69
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 4243 0 0 0 1267 2 0 0 25 0 1 0 244106256 19550208 4143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 4773 4143 311 324 0 3843 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19092

[startup+25.5015 s]
/proc/loadavg: 0.73 0.89 0.88 2/78 18585
/proc/meminfo: memFree=1772528/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=25308 CPUtime=25.48
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 5808 0 0 0 2545 3 0 0 25 0 1 0 244106256 25915392 5708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 6327 5708 311 324 0 5397 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25308

[startup+51.1011 s]
/proc/loadavg: 0.82 0.89 0.89 2/78 18587
/proc/meminfo: memFree=1768688/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=29128 CPUtime=51.08
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 6762 0 0 0 5104 4 0 0 25 0 1 0 244106256 29827072 6662 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 7282 6662 311 324 0 6352 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29128

[startup+102.305 s]
/proc/loadavg: 0.97 0.92 0.90 2/78 18587
/proc/meminfo: memFree=1760560/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=37236 CPUtime=102.26
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 8784 0 0 0 10221 5 0 0 25 0 1 0 244106256 38129664 8684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 9309 8684 311 324 0 8379 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 37236

[startup+162.302 s]
/proc/loadavg: 0.99 0.93 0.90 2/78 18587
/proc/meminfo: memFree=1760560/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=37048 CPUtime=162.25
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 8784 0 0 0 16219 6 0 0 25 0 1 0 244106256 37937152 8649 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 9262 8649 311 324 0 8332 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37048

[startup+222.302 s]
/proc/loadavg: 0.99 0.94 0.91 2/78 18587
/proc/meminfo: memFree=1760560/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=37048 CPUtime=222.23
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 8785 0 0 0 22217 6 0 0 25 0 1 0 244106256 37937152 8650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 9262 8650 311 324 0 8332 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 37048

[startup+282.301 s]
/proc/loadavg: 0.99 0.95 0.91 2/78 18587
/proc/meminfo: memFree=1757936/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=40256 CPUtime=282.22
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 9574 0 0 0 28215 7 0 0 25 0 1 0 244106256 41222144 9439 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 10064 9439 311 324 0 9134 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 40256

[startup+342.301 s]
/proc/loadavg: 0.99 0.95 0.91 2/78 18587
/proc/meminfo: memFree=1750576/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=47100 CPUtime=342.21
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 11294 0 0 0 34212 9 0 0 25 0 1 0 244106256 48230400 11159 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 11775 11159 311 324 0 10845 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 47100

[startup+402.302 s]
/proc/loadavg: 0.99 0.96 0.91 2/78 18587
/proc/meminfo: memFree=1750512/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=47096 CPUtime=402.19
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 11296 0 0 0 40210 9 0 0 25 0 1 0 244106256 48226304 11161 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 11774 11161 311 324 0 10844 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 47096

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18587
/proc/meminfo: memFree=1750512/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=47092 CPUtime=462.18
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 11296 0 0 0 46208 10 0 0 25 0 1 0 244106256 48222208 11161 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 11773 11161 311 324 0 10843 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 47092

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18587
/proc/meminfo: memFree=1750448/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=47156 CPUtime=522.16
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 11307 0 0 0 52206 10 0 0 25 0 1 0 244106256 48287744 11172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 11789 11172 311 324 0 10859 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 47156

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18587
/proc/meminfo: memFree=1741232/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=56692 CPUtime=582.15
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13671 0 0 0 58201 14 0 0 25 0 1 0 244106256 58052608 13536 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 14173 13536 311 324 0 13243 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 56692

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18587
/proc/meminfo: memFree=1740272/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=57060 CPUtime=642.14
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13833 0 0 0 64200 14 0 0 25 0 1 0 244106256 58429440 13653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 14265 13653 311 324 0 13335 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 57060


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

/proc/meminfo: memFree=1740976/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=56324 CPUtime=1002.05
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13833 0 0 0 100188 17 0 0 25 0 1 0 244106256 57675776 13469 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 14081 13469 311 324 0 13151 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 56324

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18587
/proc/meminfo: memFree=1740976/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=56324 CPUtime=1062.04
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13833 0 0 0 106186 18 0 0 25 0 1 0 244106256 57675776 13469 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7458498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 14081 13469 311 324 0 13151 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 56324

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18587
/proc/meminfo: memFree=1742128/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55052 CPUtime=1122.02
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13833 0 0 0 112184 18 0 0 25 0 1 0 244106256 56373248 13151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13763 13151 311 324 0 12833 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 55052

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18587
/proc/meminfo: memFree=1742128/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55052 CPUtime=1182.01
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13833 0 0 0 118182 19 0 0 25 0 1 0 244106256 56373248 13151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13763 13151 311 324 0 12833 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 55052

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18587
/proc/meminfo: memFree=1742064/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55052 CPUtime=1241.99
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13833 0 0 0 124180 19 0 0 25 0 1 0 244106256 56373248 13151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13763 13151 311 324 0 12833 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 55052

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18587
/proc/meminfo: memFree=1742064/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55052 CPUtime=1301.98
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13833 0 0 0 130178 20 0 0 25 0 1 0 244106256 56373248 13151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13763 13151 311 324 0 12833 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 55052

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/84 18659
/proc/meminfo: memFree=1740736/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55052 CPUtime=1361.93
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13833 0 0 0 136173 20 0 0 25 0 1 0 244106256 56373248 13151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7458468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13763 13151 311 324 0 12833 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 55052

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18785
/proc/meminfo: memFree=1741808/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55052 CPUtime=1421.86
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13833 0 0 0 142165 21 0 0 25 0 1 0 244106256 56373248 13151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13763 13151 311 324 0 12833 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 55052

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18785
/proc/meminfo: memFree=1741936/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55060 CPUtime=1481.84
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13835 0 0 0 148163 21 0 0 25 0 1 0 244106256 56381440 13153 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13765 13153 311 324 0 12835 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 55060

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18785
/proc/meminfo: memFree=1742000/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55060 CPUtime=1541.83
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13835 0 0 0 154161 22 0 0 25 0 1 0 244106256 56381440 13153 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13765 13153 311 324 0 12835 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 55060

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18785
/proc/meminfo: memFree=1741936/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55060 CPUtime=1601.81
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13835 0 0 0 160159 22 0 0 25 0 1 0 244106256 56381440 13153 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13765 13153 311 324 0 12835 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 55060

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18785
/proc/meminfo: memFree=1742000/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55060 CPUtime=1661.8
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13835 0 0 0 166157 23 0 0 25 0 1 0 244106256 56381440 13153 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13765 13153 311 324 0 12835 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 55060

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18785
/proc/meminfo: memFree=1741936/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55060 CPUtime=1721.78
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13835 0 0 0 172155 23 0 0 25 0 1 0 244106256 56381440 13153 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13765 13153 311 324 0 12835 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 55060

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18785
/proc/meminfo: memFree=1741936/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55072 CPUtime=1781.77
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13838 0 0 0 178153 24 0 0 25 0 1 0 244106256 56393728 13156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13768 13156 311 324 0 12838 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 55072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18785
/proc/meminfo: memFree=1741936/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55072 CPUtime=1800.07
/proc/18584/stat : 18584 (bsolo3.0.17) R 18582 18584 17394 0 -1 4194304 13838 0 0 0 179983 24 0 0 25 0 1 0 244106256 56393728 13156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13768 13156 311 324 0 12838 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 55072

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 18785
/proc/meminfo: memFree=1741936/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55072 CPUtime=1800.07
/proc/18584/stat : 18584 (bsolo3.0.17) S 18582 18584 17394 0 -1 4194304 13838 0 0 0 179983 24 0 0 25 0 1 0 244106256 56393728 13156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13768 13156 311 324 0 12838 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 55072

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.91 1/79 18786
/proc/meminfo: memFree=1741864/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55072 CPUtime=1800.07
/proc/18584/stat : 18584 (bsolo3.0.17) S 18582 18584 17394 0 -1 4194304 13838 0 0 0 179983 24 0 0 25 0 1 0 244106256 56393728 13156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13768 13156 311 324 0 12838 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 55072

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.91 1/79 18786
/proc/meminfo: memFree=1741864/2055920 swapFree=4157096/4192956
[pid=18584] ppid=18582 vsize=55072 CPUtime=1800.07
/proc/18584/stat : 18584 (bsolo3.0.17) S 18582 18584 17394 0 -1 4194304 13838 0 0 0 179983 24 0 0 25 0 1 0 244106256 56393728 13156 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/18584/statm: 13768 13156 311 324 0 12838 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 55072

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1800.09
CPU user time (s): 1799.84
CPU system time (s): 0.253961
CPU usage (%): 99.8596
Max. virtual memory (cumulated for all children) (KiB): 57260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.253961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13838
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= 13
involuntary context switches= 37691

runsolver used 1.44978 second user time and 3.74843 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Mon Apr 30 19:38:26 UTC 2007

IDJOB= 433676
IDBENCH= 24963
IDSOLVER= 199
FILE ID= node30/433676-1177961906

PBS_JOBID= 4727709

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
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.17 -m1800 /tmp/evaluation/433676-1177961906/instance-433676-1177961906.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-433676-1177961906 -o ROOT/results/node30/solver-433676-1177961906 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433676-1177961906/instance-433676-1177961906.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  83e4cddd78ca4f87cfb13af1d930e0cc

RANDOM SEED= 922391443

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node30.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.218
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.218
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:       1794568 kB
Buffers:         31448 kB
Cached:         138868 kB
SwapCached:      15324 kB
Active:          47500 kB
Inactive:       151424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1794568 kB
SwapTotal:     4192956 kB
SwapFree:      4157096 kB
Dirty:            7008 kB
Writeback:           0 kB
Mapped:          35632 kB
Slab:            47924 kB
Committed_AS:  3669196 kB
PageTables:       1788 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= 66558 MiB

End job on node30 on Mon Apr 30 20:08:29 UTC 2007