Trace number 35610

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
minisat+ 1.14SAT (TO)-38 1800.65 1801.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM5249f5f1c551add7f5b5b920fc1c3b9c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-39
Best CPU time to get the best result obtained on this benchmark1800.64
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41263
Number of constraints which are clauses41263
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00	c Parsing PB file...
1.11	c Converting 41263 PB-constraints to clauses...
1.11	c   -- Unit propagations: (none)
1.11	c   -- Detecting intervals from adjacent constraints: (none)
1.12	c   -- Clauses(.)/Splits(s): ...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.22	c ==================================[MINISAT+]==================================
1.22	c | Conflicts | Original         | Learnt                           | Progress |
1.22	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.22	c ==============================================================================
1.22	c |         0 |   41263    82526 |   13754       0        0     nan |  0.000 % |
1.22	c ==============================================================================
1.22	c Found solution: -29
1.22	o -29
1.22	c ---[   0]---> Sorter-cost:35010     Base:
1.30	c ==================================[MINISAT+]==================================
1.30	c | Conflicts | Original         | Learnt                           | Progress |
1.30	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.30	c ==============================================================================
1.30	c |         0 |   77411   167438 |   25803       0        0     nan |  0.000 % |
1.38	c |       100 |   77197   167004 |   28383      85     1743    20.5 |  0.449 % |
1.48	c |       250 |   76777   166128 |   31221     216     3076    14.2 |  1.370 % |
1.69	c |       475 |   75681   163748 |   34343     367     7270    19.8 |  3.965 % |
1.92	c |       812 |   74772   161767 |   37778     638    10625    16.7 |  6.213 % |
2.38	c |      1318 |   72216   156098 |   41555     971    15210    15.7 | 12.362 % |
2.45	c ==============================================================================
2.45	c Found solution: -30
2.45	o -30
2.45	c ---[   0]---> Sorter-cost:    0     Base:
2.49	c ==================================[MINISAT+]==================================
2.49	c | Conflicts | Original         | Learnt                           | Progress |
2.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.49	c ==============================================================================
2.49	c |      1358 |   71957   155524 |   23985    1000    15644    15.6 | 12.362 % |
2.56	c |      1458 |   71484   154445 |   26383    1077    16216    15.1 | 14.235 % |
2.70	c |      1609 |   70637   152550 |   29021    1185    17694    14.9 | 16.491 % |
2.83	c |      1834 |   69903   150904 |   31924    1355    19103    14.1 | 18.302 % |
3.08	c |      2171 |   68629   148052 |   35116    1633    21862    13.4 | 21.386 % |
3.40	c |      2677 |   66555   143323 |   38628    2003    25849    12.9 | 26.681 % |
3.89	c |      3436 |   63907   137250 |   42490    2573    35121    13.6 | 33.519 % |
4.50	c |      4575 |   60641   129717 |   46739    3414    45806    13.4 | 42.032 % |
5.10	c |      6284 |   58132   123765 |   51413    4758    70644    14.8 | 48.684 % |
5.36	c ==============================================================================
5.36	c Found solution: -32
5.36	o -32
5.37	c ---[   0]---> Sorter-cost:    0     Base:
5.41	c ==================================[MINISAT+]==================================
5.41	c | Conflicts | Original         | Learnt                           | Progress |
5.41	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
5.41	c ==============================================================================
5.41	c |      6893 |   57499   122346 |   19166    5251    79403    15.1 | 48.684 % |
5.45	c |      6993 |   57374   122059 |   21082    5340    80419    15.1 | 50.986 % |
5.51	c |      7143 |   57174   121601 |   23190    5476    83135    15.2 | 51.497 % |
5.56	c |      7368 |   57124   121493 |   25509    5691    90616    15.9 | 51.614 % |
5.70	c |      7705 |   56450   119888 |   28060    5895    93895    15.9 | 53.460 % |
5.89	c |      8211 |   55724   118204 |   30867    6317   101819    16.1 | 55.371 % |
6.22	c |      8970 |   54430   115147 |   33953    6865   120056    17.5 | 58.891 % |
6.64	c |     10109 |   53229   112295 |   37349    7784   156050    20.0 | 62.178 % |
7.23	c |     11817 |   51998   109354 |   41084    9200   202992    22.1 | 65.558 % |
8.11	c |     14379 |   50235   105114 |   45192   10981   295829    26.9 | 70.406 % |
8.66	c ==============================================================================
8.66	c Found solution: -33
8.66	o -33
8.67	c ---[   0]---> Sorter-cost:    0     Base:
8.71	c ==================================[MINISAT+]==================================
8.71	c | Conflicts | Original         | Learnt                           | Progress |
8.71	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.71	c ==============================================================================
8.71	c |     15965 |   49478   103359 |   16492   12311   371372    30.2 | 70.406 % |
8.73	c |     16066 |   49478   103359 |   18141   12412   374678    30.2 | 72.440 % |
8.77	c |     16216 |   49424   103225 |   19955   12525   376566    30.1 | 72.597 % |
8.84	c |     16441 |   49285   102876 |   21950   12651   381138    30.1 | 72.991 % |
8.95	c |     16778 |   49212   102697 |   24145   12924   395334    30.6 | 73.204 % |
9.10	c |     17285 |   49156   102561 |   26560   13400   438885    32.8 | 73.360 % |
9.52	c |     18044 |   48324   100548 |   29216   13832   461348    33.4 | 75.707 % |
9.86	c |     19183 |   48201   100261 |   32138   14905   550058    36.9 | 76.033 % |
10.45	c |     20891 |   47874    99472 |   35352   16285   636889    39.1 | 76.957 % |
11.31	c |     23453 |   47628    98870 |   38887   18649   839926    45.0 | 77.656 % |
11.92	c ==============================================================================
11.92	c Found solution: -34
11.92	o -34
11.93	c ---[   0]---> Sorter-cost:    0     Base:
11.98	c ==================================[MINISAT+]==================================
11.98	c | Conflicts | Original         | Learnt                           | Progress |
11.98	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.98	c ==============================================================================
11.98	c |     25038 |   47524    98566 |   15841   20184   980752    48.6 | 77.656 % |
12.01	c |     25139 |   47524    98566 |   17425   20285   983661    48.5 | 77.940 % |
12.07	c |     25289 |   47524    98566 |   19167   20435   990976    48.5 | 77.939 % |
12.15	c |     25514 |   47524    98566 |   21084   20660  1005617    48.7 | 77.939 % |
12.26	c |     25851 |   47524    98566 |   23192   20997  1026282    48.9 | 77.939 % |
12.46	c |     26358 |   47524    98566 |   25512   21504  1055909    49.1 | 77.940 % |
12.73	c |     27118 |   47524    98566 |   28063   22264  1120991    50.3 | 77.939 % |
13.34	c |     28258 |   47202    97772 |   30869   23237  1219781    52.5 | 78.852 % |
14.08	c |     29966 |   47191    97747 |   33956   24941  1366171    54.8 | 78.880 % |
15.31	c |     32528 |   47072    97453 |   37352   27423  1611937    58.8 | 79.221 % |
17.34	c |     36372 |   47072    97453 |   41087   31267  2099445    67.1 | 79.221 % |
20.70	c |     42138 |   46746    96661 |   45196   36763  2600401    70.7 | 80.142 % |
23.29	c ==============================================================================
23.29	c Found solution: -35
23.29	o -35
23.30	c ---[   0]---> Sorter-cost:    0     Base:
23.39	c ==================================[MINISAT+]==================================
23.39	c | Conflicts | Original         | Learnt                           | Progress |
23.39	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
23.39	c ==============================================================================
23.39	c |     46022 |   46748    96684 |   15582   40621  3011087    74.1 | 80.142 % |
23.49	c |     46122 |   46748    96684 |   17140   18203  1211729    66.6 | 80.221 % |
23.54	c |     46272 |   46748    96684 |   18854   18353  1218705    66.4 | 80.221 % |
23.65	c |     46497 |   46714    96607 |   20739   18539  1230555    66.4 | 80.297 % |
23.82	c |     46834 |   46703    96582 |   22813   18867  1250274    66.3 | 80.325 % |
24.05	c |     47340 |   46651    96453 |   25094   19368  1284175    66.3 | 80.473 % |
24.47	c |     48100 |   46472    96017 |   27604   20063  1320976    65.8 | 80.974 % |
24.97	c |     49239 |   46437    95936 |   30364   21181  1424831    67.3 | 81.066 % |
25.62	c |     50947 |   46434    95929 |   33401   22886  1532403    67.0 | 81.074 % |
26.72	c |     53509 |   46389    95814 |   36741   25444  1762687    69.3 | 81.214 % |
28.54	c |     57353 |   46351    95720 |   40415   29177  2121672    72.7 | 81.326 % |
31.85	c |     63119 |   46102    95119 |   44457   34489  2610152    75.7 | 82.030 % |
37.48	c |     71769 |   46087    95084 |   48902   43071  3470985    80.6 | 82.070 % |
48.71	c |     84743 |   46022    94925 |   53793   55928  4763761    85.2 | 82.259 % |
54.53	c ==============================================================================
54.53	c Found solution: -36
54.53	o -36
54.54	c ---[   0]---> Sorter-cost:    0     Base:
54.65	c ==================================[MINISAT+]==================================
54.65	c | Conflicts | Original         | Learnt                           | Progress |
54.65	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
54.65	c ==============================================================================
54.65	c |     91656 |   46006    94872 |   15335   62707  5469040    87.2 | 82.259 % |
54.82	c |     91756 |   46006    94872 |   16868   20099  1258236    62.6 | 82.312 % |
54.91	c |     91906 |   46004    94868 |   18555   20247  1269896    62.7 | 82.316 % |
55.06	c |     92131 |   45981    94815 |   20410   20467  1286191    62.8 | 82.376 % |
55.25	c |     92469 |   45978    94808 |   22451   20801  1325256    63.7 | 82.384 % |
55.45	c |     92975 |   45956    94754 |   24697   21154  1350045    63.8 | 82.448 % |
55.83	c |     93735 |   45891    94586 |   27166   21886  1408143    64.3 | 82.640 % |
56.33	c |     94874 |   45891    94586 |   29883   23025  1506974    65.4 | 82.640 % |
57.17	c |     96582 |   45850    94484 |   32871   24718  1656829    67.0 | 82.756 % |
58.36	c |     99144 |   45850    94484 |   36159   27280  1890855    69.3 | 82.756 % |
60.63	c |    102988 |   45767    94285 |   39775   31063  2199681    70.8 | 82.989 % |
63.89	c |    108754 |   45767    94285 |   43752   36829  2758646    74.9 | 82.988 % |
69.95	c |    117404 |   45755    94257 |   48127   45475  3584527    78.8 | 83.021 % |
80.99	c |    130378 |   45713    94155 |   52940   58391  4806838    82.3 | 83.141 % |
86.33	c ==============================================================================
86.33	c Found solution: -37
86.33	o -37
86.34	c ---[   0]---> Sorter-cost:    0     Base:
86.45	c ==================================[MINISAT+]==================================
86.45	c | Conflicts | Original         | Learnt                           | Progress |
86.45	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
86.45	c ==============================================================================
86.45	c |    136420 |   45733    94207 |   15244   64433  5331404    82.7 | 83.141 % |
86.64	c |    136520 |   45733    94207 |   16768   20826  1132496    54.4 | 83.107 % |
86.70	c |    136670 |   45733    94207 |   18445   20976  1139985    54.3 | 83.107 % |
86.79	c |    136895 |   45733    94207 |   20289   21201  1153537    54.4 | 83.107 % |
86.90	c |    137232 |   45733    94207 |   22318   21538  1169510    54.3 | 83.107 % |
87.12	c |    137738 |   45733    94207 |   24550   22044  1213136    55.0 | 83.107 % |
87.46	c |    138497 |   45733    94207 |   27005   22803  1266674    55.5 | 83.108 % |
87.98	c |    139636 |   45733    94207 |   29706   23942  1351252    56.4 | 83.107 % |
88.79	c |    141344 |   45733    94207 |   32676   25650  1504180    58.6 | 83.107 % |
89.93	c |    143906 |   45733    94207 |   35944   28212  1667932    59.1 | 83.107 % |
91.80	c |    147751 |   45733    94207 |   39539   32057  2014186    62.8 | 83.107 % |
95.11	c |    153517 |   45733    94207 |   43492   37823  2552526    67.5 | 83.107 % |
101.13	c |    162166 |   45681    94069 |   47842   46460  3249653    69.9 | 83.271 % |
112.17	c |    175140 |   45681    94069 |   52626   59434  4360949    73.4 | 83.271 % |
128.99	c |    194601 |   45651    93995 |   57889   24662  1331831    54.0 | 83.359 % |
148.33	c |    223793 |   45636    93958 |   63677   53847  4465405    82.9 | 83.403 % |
186.10	c |    267582 |   45636    93958 |   70045   31596  1238437    39.2 | 83.403 % |
242.69	c |    333266 |   45616    93912 |   77050   24572   866247    35.3 | 83.455 % |
326.41	c |    431792 |   45563    93787 |   84755   42419  1615243    38.1 | 83.599 % |
464.45	c |    579581 |   45394    93384 |   93230  104816  9597208    91.6 | 84.067 % |
630.47	c ==============================================================================
630.47	c Found solution: -38
630.47	o -38
630.48	c ---[   0]---> Sorter-cost:    0     Base:
630.60	c ==================================[MINISAT+]==================================
630.60	c | Conflicts | Original         | Learnt                           | Progress |
630.60	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
630.60	c ==============================================================================
630.60	c |    746055 |   45309    93144 |   15103   81950  6733409    82.2 | 84.067 % |
630.90	c |    746156 |   45309    93144 |   16613   20600   787436    38.2 | 84.320 % |
630.96	c |    746307 |   45309    93144 |   18274   20751   796853    38.4 | 84.320 % |
631.04	c |    746533 |   45309    93144 |   20102   20977   809901    38.6 | 84.320 % |
631.17	c |    746871 |   45296    93111 |   22112   21311   829311    38.9 | 84.360 % |
631.36	c |    747378 |   45296    93111 |   24323   21818   869493    39.9 | 84.360 % |
631.63	c |    748137 |   45296    93111 |   26755   22577   921934    40.8 | 84.360 % |
632.00	c |    749276 |   45296    93111 |   29431   23716   995302    42.0 | 84.360 % |
632.68	c |    750984 |   45296    93111 |   32374   25424  1157917    45.5 | 84.360 % |
633.77	c |    753546 |   45296    93111 |   35612   27986  1353640    48.4 | 84.360 % |
635.50	c |    757392 |   45296    93111 |   39173   31832  1690350    53.1 | 84.360 % |
638.49	c |    763158 |   45296    93111 |   43090   37598  2211301    58.8 | 84.360 % |
643.83	c |    771807 |   45296    93111 |   47399   46247  2847100    61.6 | 84.360 % |
653.90	c |    784782 |   45296    93111 |   52139   59222  3519632    59.4 | 84.360 % |
670.28	c |    804243 |   45296    93111 |   57353   24037  1461669    60.8 | 84.360 % |
686.93	c |    833435 |   45288    93091 |   63088   53223  3135410    58.9 | 84.384 % |
725.63	c |    877224 |   45281    93074 |   69397   33257  1060368    31.9 | 84.404 % |
782.20	c |    942908 |   45275    93060 |   76337   30653   910282    29.7 | 84.420 % |
857.55	c |   1041434 |   45267    93040 |   83971   52317  1630717    31.2 | 84.444 % |
992.31	c |   1189223 |   45267    93040 |   92368   41100  1094366    26.6 | 84.444 % |
1188.32	c |   1410906 |   45243    92980 |  101605   88995  3315877    37.3 | 84.516 % |
1506.62	c |   1743431 |   45183    92838 |  111765   29995  1600865    53.4 | 84.680 % |
1801.15	c 
1801.15	c *** TERMINATED ***
1801.15	s SATISFIABLE
1801.15	v -x760 -x759 -x758 -x757 x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
1801.15	v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719
1801.15	v x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698
1801.15	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677
1801.15	v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
1801.15	v -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635
1801.15	v -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 -x615 -x614
1801.15	v -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
1801.15	v -x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572
1801.15	v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551
1801.15	v -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530
1801.15	v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509
1801.15	v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488
1801.15	v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 x467
1801.15	v -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 x446
1801.15	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425
1801.15	v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404
1801.15	v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383
1801.15	v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362
1801.15	v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
1801.15	v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
1801.15	v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
1801.15	v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278
1801.15	v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257
1801.15	v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236
1801.15	v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215
1801.15	v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194
1801.15	v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173
1801.15	v -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152
1801.15	v -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131
1801.15	v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110
1801.15	v x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
1801.15	v -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
1801.15	v -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
1801.15	v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8
1801.15	v -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-38

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node18/watcher-35610-1149293015 -o ROOT/results/node18/solver-35610-1149293015 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node18/35610-1149293015/instance-35610-1149293015.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1852920/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=1048 CPUtime=0
/proc/4001/stat : 4001 (minisat+) D 3999 4001 3955 0 -1 4194304 85 0 0 0 0 0 0 0 18 0 1 0 194964511 1073152 70 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031051 0 2147483391 4096 16386 18446744072099781622 0 0 17 1 0 0
/proc/4001/statm: 262 70 58 215 0 44 0

[startup+10.0029 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1838336/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=16000 CPUtime=9.98
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 3871 0 0 0 992 6 0 0 25 0 1 0 194964511 16384000 3749 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 4000 3749 110 215 0 3782 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 16000

[startup+20.0089 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1830336/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=23980 CPUtime=19.98
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 5868 0 0 0 1990 8 0 0 25 0 1 0 194964511 24555520 5746 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574057 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 5995 5746 110 215 0 5777 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 23980

[startup+30.0149 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1827968/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=26364 CPUtime=29.99
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 6465 0 0 0 2990 9 0 0 25 0 1 0 194964511 26996736 6343 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579892 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 6591 6343 110 215 0 6373 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 26364

[startup+40.0208 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1824448/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=29976 CPUtime=39.99
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 7340 0 0 0 3989 10 0 0 25 0 1 0 194964511 30695424 7218 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 7494 7218 110 215 0 7276 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 29976

[startup+50.0268 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1819648/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=34676 CPUtime=49.99
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 8541 0 0 0 4987 12 0 0 25 0 1 0 194964511 35508224 8419 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 8669 8419 110 215 0 8451 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 34676

[startup+60.0328 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1817088/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=37328 CPUtime=59.99
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9179 0 0 0 5987 12 0 0 25 0 1 0 194964511 38223872 9057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 9332 9057 110 215 0 9114 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 37328

[startup+70.0378 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1817088/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=37328 CPUtime=69.99
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9179 0 0 0 6987 12 0 0 25 0 1 0 194964511 38223872 9057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 9332 9057 110 215 0 9114 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 37328

[startup+80.0437 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1817152/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=37328 CPUtime=79.99
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9179 0 0 0 7987 12 0 0 25 0 1 0 194964511 38223872 9057 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 9332 9057 110 215 0 9114 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 37328

[startup+90.0497 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1817152/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=37328 CPUtime=90
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9180 0 0 0 8988 12 0 0 25 0 1 0 194964511 38223872 9058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 9332 9058 110 215 0 9114 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 37328

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1817152/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=37328 CPUtime=100.01
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9180 0 0 0 9988 13 0 0 25 0 1 0 194964511 38223872 9058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 9332 9058 110 215 0 9114 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 37328

[startup+110.062 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1817152/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=37328 CPUtime=110.01
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9180 0 0 0 10988 13 0 0 25 0 1 0 194964511 38223872 9058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 9332 9058 110 215 0 9114 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 37328

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1817152/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=37328 CPUtime=120.02
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9184 0 0 0 11989 13 0 0 25 0 1 0 194964511 38223872 9062 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 9332 9062 110 215 0 9114 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 37328

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1816000/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=38500 CPUtime=130.02
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9464 0 0 0 12989 13 0 0 25 0 1 0 194964511 39424000 9342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 9625 9342 110 215 0 9407 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 38500

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1816000/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=38500 CPUtime=140.02
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9464 0 0 0 13989 13 0 0 25 0 1 0 194964511 39424000 9342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 9625 9342 110 215 0 9407 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 38500

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1815936/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=38500 CPUtime=150.02
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9464 0 0 0 14989 13 0 0 25 0 1 0 194964511 39424000 9342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580730 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 9625 9342 110 215 0 9407 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 38500

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1815936/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=38500 CPUtime=160.03
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9464 0 0 0 15990 13 0 0 25 0 1 0 194964511 39424000 9342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 9625 9342 110 215 0 9407 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 38500

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1815040/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=39400 CPUtime=170.03
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 9690 0 0 0 16990 13 0 0 25 0 1 0 194964511 40345600 9568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 9850 9568 110 215 0 9632 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 39400

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1812928/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=41512 CPUtime=180.03
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 10223 0 0 0 17990 13 0 0 25 0 1 0 194964511 42508288 10101 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574262 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 10378 10101 110 215 0 10160 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 41512

[startup+190.108 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1812864/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=41512 CPUtime=190.04
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 10231 0 0 0 18990 14 0 0 25 0 1 0 194964511 42508288 10109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575446 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 10378 10109 110 215 0 10160 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 41512

[startup+200.114 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1812928/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=41512 CPUtime=200.04
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 10238 0 0 0 19990 14 0 0 25 0 1 0 194964511 42508288 10116 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 10378 10116 110 215 0 10160 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 41512

[startup+210.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1812864/2055920 swapFree=4180888/4192956

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

[pid=4001] ppid=3999 vsize=62792 CPUtime=1781.54
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15543 0 0 0 178133 21 0 0 25 0 1 0 194964511 64299008 15421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15421 110 215 0 15480 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (Kb) 62792

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1791232/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1782.55
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15543 0 0 0 178234 21 0 0 25 0 1 0 194964511 64299008 15421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15421 110 215 0 15480 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 62792

[startup+1784.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1791232/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1783.55
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178334 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1783.55
Current children cumulated vsize (Kb) 62792

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1791232/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1784.55
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178434 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1784.55
Current children cumulated vsize (Kb) 62792

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1791232/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1785.56
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178535 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 62792

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4001
/proc/meminfo: memFree=1791232/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1786.56
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178635 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1786.56
Current children cumulated vsize (Kb) 62792

[startup+1788.08 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1787.57
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178736 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1787.57
Current children cumulated vsize (Kb) 62792

[startup+1789.09 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1788.57
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178836 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1788.57
Current children cumulated vsize (Kb) 62792

[startup+1790.09 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1789.58
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 178937 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (Kb) 62792

[startup+1791.1 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1790.58
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179037 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1790.58
Current children cumulated vsize (Kb) 62792

[startup+1792.1 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1791.59
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179138 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 62792

[startup+1793.11 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1792.59
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179238 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1792.59
Current children cumulated vsize (Kb) 62792

[startup+1794.11 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1793.6
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179339 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 62792

[startup+1795.12 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1794.6
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179439 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (Kb) 62792

[startup+1796.12 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1795.61
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179540 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 62792

[startup+1797.13 s]
/proc/loadavg: 1.06 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1796.61
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179640 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (Kb) 62792

[startup+1798.13 s]
/proc/loadavg: 1.06 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1797.61
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179740 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (Kb) 62792

[startup+1799.14 s]
/proc/loadavg: 1.06 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1798.62
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179841 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576660 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (Kb) 62792

[startup+1800.14 s]
/proc/loadavg: 1.06 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1799.62
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 179941 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580854 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (Kb) 62792

[startup+1801.15 s]
/proc/loadavg: 1.06 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1800.63
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 180042 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569778 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 62792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 1.06 0.99 0.91 2/64 4001
/proc/meminfo: memFree=1791168/2055920 swapFree=4180888/4192956
[pid=4001] ppid=3999 vsize=62792 CPUtime=1800.63
/proc/4001/stat : 4001 (minisat+) R 3999 4001 3955 0 -1 4194304 15544 0 0 0 180042 21 0 0 25 0 1 0 194964511 64299008 15422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0
/proc/4001/statm: 15698 15422 110 215 0 15480 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 62792

Sending SIGTERM to -4001
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.17
CPU time (s): 1800.65
CPU user time (s): 1800.43
CPU system time (s): 0.225965
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (Kb): 62820

Launcher Data (download as text)

Begin job on node18 on Sat Jun  3 00:03:36 UTC 2006


FILE ID= 35610-1149293015

PBS_JOBID= 306984

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node18/35610-1149293015/instance-35610-1149293015.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-35610-1149293015 -o ROOT/results/node18/solver-35610-1149293015 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node18/35610-1149293015/instance-35610-1149293015.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  5249f5f1c551add7f5b5b920fc1c3b9c

RANDOM SEED= 700366772


/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	: 5931.00
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:       1853128 kB
Buffers:         16692 kB
Cached:         121268 kB
SwapCached:       3684 kB
Active:          49780 kB
Inactive:        96812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853128 kB
SwapTotal:     4192956 kB
SwapFree:      4180888 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14680 kB
Slab:            42264 kB
Committed_AS:   313280 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node18 on Sat Jun  3 00:33:37 UTC 2006