Trace number 35609

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.5 1801.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUMc9380923d34e254cfa512f89027f1d42
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1800.59
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 constraints41095
Number of constraints which are clauses41095
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.04	c Converting 41095 PB-constraints to clauses...
1.04	c   -- Unit propagations: (none)
1.04	c   -- Detecting intervals from adjacent constraints: (none)
1.04	c   -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.13	c ==================================[MINISAT+]==================================
1.13	c | Conflicts | Original         | Learnt                           | Progress |
1.13	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.13	c ==============================================================================
1.13	c |         0 |   41095    82190 |   13698       0        0     nan |  0.000 % |
1.13	c ==============================================================================
1.13	c Found solution: -31
1.13	o -31
1.13	c ---[   0]---> Sorter-cost:35010     Base:
1.21	c ==================================[MINISAT+]==================================
1.21	c | Conflicts | Original         | Learnt                           | Progress |
1.21	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.21	c ==============================================================================
1.21	c |         0 |   77395   167462 |   25798       0        0     nan |  0.000 % |
1.29	c |       101 |   77238   167143 |   28377      90      929    10.3 |  0.331 % |
1.39	c |       251 |   76847   166316 |   31215     211     2466    11.7 |  1.208 % |
1.61	c |       476 |   75972   164442 |   34337     395     4215    10.7 |  3.304 % |
1.91	c |       813 |   74494   161218 |   37770     658     7446    11.3 |  6.726 % |
2.40	c |      1319 |   71556   154677 |   41547    1013    11473    11.3 | 13.931 % |
3.02	c |      2078 |   68045   146771 |   45702    1564    17859    11.4 | 22.774 % |
3.83	c |      3217 |   62670   134504 |   50273    2321    28070    12.1 | 36.635 % |
4.89	c |      4925 |   56128   119095 |   55300    3417    45635    13.4 | 53.971 % |
6.04	c |      7487 |   51841   108909 |   60830    5071    80265    15.8 | 65.575 % |
6.54	c ==============================================================================
6.54	c Found solution: -32
6.54	o -32
6.55	c ---[   0]---> Sorter-cost:    0     Base:
6.59	c ==================================[MINISAT+]==================================
6.59	c | Conflicts | Original         | Learnt                           | Progress |
6.59	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
6.59	c ==============================================================================
6.59	c |      8864 |   50474   105612 |   16824    6059   132156    21.8 | 65.575 % |
6.65	c |      8964 |   50044   104589 |   18506    6068   132299    21.8 | 70.483 % |
6.73	c |      9114 |   49720   103800 |   20357    6093   133270    21.9 | 71.397 % |
6.80	c |      9339 |   49622   103571 |   22392    6281   138021    22.0 | 71.655 % |
6.87	c |      9677 |   49534   103357 |   24632    6586   144121    21.9 | 71.908 % |
7.01	c |     10183 |   49289   102776 |   27095    7005   153375    21.9 | 72.576 % |
7.24	c |     10942 |   48817   101638 |   29804    7437   174082    23.4 | 73.908 % |
7.59	c |     12081 |   48123    99987 |   32785    8315   226746    27.3 | 75.808 % |
7.98	c |     13789 |   47814    99243 |   36063    9822   297504    30.3 | 76.774 % |
8.30	c ==============================================================================
8.30	c Found solution: -33
8.30	o -33
8.31	c ---[   0]---> Sorter-cost:    0     Base:
8.35	c ==================================[MINISAT+]==================================
8.35	c | Conflicts | Original         | Learnt                           | Progress |
8.35	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.35	c ==============================================================================
8.35	c |     15122 |   47804    99246 |   15934   11128   367947    33.1 | 76.774 % |
8.40	c |     15222 |   47639    98853 |   17527   11109   366482    33.0 | 77.190 % |
8.44	c |     15372 |   47595    98751 |   19280   11227   369541    32.9 | 77.307 % |
8.50	c |     15597 |   47595    98751 |   21208   11452   386987    33.8 | 77.307 % |
8.57	c |     15936 |   47595    98751 |   23328   11791   400789    34.0 | 77.307 % |
8.71	c |     16442 |   47499    98515 |   25661   12216   419172    34.3 | 77.584 % |
9.04	c |     17201 |   47006    97343 |   28228   12699   460842    36.3 | 78.935 % |
9.33	c |     18340 |   46999    97326 |   31050   13820   534818    38.7 | 78.955 % |
9.82	c |     20048 |   46939    97192 |   34155   15464   658464    42.6 | 79.104 % |
10.10	c ==============================================================================
10.10	c Found solution: -34
10.10	o -34
10.11	c ---[   0]---> Sorter-cost:    0     Base:
10.16	c ==================================[MINISAT+]==================================
10.16	c | Conflicts | Original         | Learnt                           | Progress |
10.16	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
10.16	c ==============================================================================
10.16	c |     20986 |   46927    97141 |   15642   16249   721785    44.4 | 79.104 % |
10.29	c |     21086 |   46732    96676 |   17206   16212   722537    44.6 | 79.688 % |
10.35	c |     21236 |   46721    96649 |   18926   16356   727214    44.5 | 79.720 % |
10.42	c |     21463 |   46721    96649 |   20819   16583   740187    44.6 | 79.720 % |
10.51	c |     21800 |   46721    96649 |   22901   16920   757005    44.7 | 79.720 % |
10.64	c |     22306 |   46721    96649 |   25191   17426   776599    44.6 | 79.720 % |
10.86	c |     23065 |   46718    96642 |   27710   18177   823057    45.3 | 79.728 % |
11.30	c |     24204 |   46648    96470 |   30481   19252   920173    47.8 | 79.929 % |
11.97	c |     25912 |   46551    96239 |   33530   20864  1063720    51.0 | 80.183 % |
13.08	c |     28474 |   46411    95903 |   36883   23262  1288226    55.4 | 80.568 % |
14.59	c |     32318 |   46361    95779 |   40571   27052  1576672    58.3 | 80.713 % |
17.39	c |     38085 |   46232    95472 |   44628   32638  2119521    64.9 | 81.067 % |
22.97	c |     46736 |   46197    95387 |   49091   41194  3124221    75.8 | 81.163 % |
32.02	c |     59710 |   45887    94639 |   54000   53780  4274679    79.5 | 82.040 % |
39.39	c ==============================================================================
39.39	c Found solution: -35
39.39	o -35
39.40	c ---[   0]---> Sorter-cost:    0     Base:
39.50	c ==================================[MINISAT+]==================================
39.50	c | Conflicts | Original         | Learnt                           | Progress |
39.50	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
39.50	c ==============================================================================
39.50	c |     68731 |   45876    94626 |   15292   62730  5053895    80.6 | 82.040 % |
39.65	c |     68831 |   45876    94626 |   16821   18447  1108901    60.1 | 82.148 % |
39.70	c |     68981 |   45852    94564 |   18503   18590  1112238    59.8 | 82.220 % |
39.79	c |     69207 |   45846    94550 |   20353   18795  1124590    59.8 | 82.236 % |
39.91	c |     69544 |   45846    94550 |   22389   19132  1156718    60.5 | 82.236 % |
40.10	c |     70050 |   45846    94550 |   24627   19638  1198376    61.0 | 82.236 % |
40.39	c |     70809 |   45846    94550 |   27090   20397  1276601    62.6 | 82.236 % |
40.82	c |     71948 |   45846    94550 |   29799   21536  1352008    62.8 | 82.236 % |
41.61	c |     73656 |   45846    94550 |   32779   23244  1501208    64.6 | 82.236 % |
42.78	c |     76218 |   45772    94364 |   36057   25794  1717538    66.6 | 82.460 % |
44.57	c ==============================================================================
44.57	c Found solution: -36
44.57	o -36
44.58	c ---[   0]---> Sorter-cost:    0     Base:
44.65	c ==================================[MINISAT+]==================================
44.65	c | Conflicts | Original         | Learnt                           | Progress |
44.65	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
44.65	c ==============================================================================
44.65	c |     79852 |   45763    94329 |   15254   29426  2135545    72.6 | 82.460 % |
44.71	c |     79952 |   45763    94329 |   16779   29526  2141968    72.5 | 82.494 % |
44.79	c |     80102 |   45763    94329 |   18457   29676  2155080    72.6 | 82.494 % |
44.89	c |     80327 |   45763    94329 |   20303   29901  2168898    72.5 | 82.494 % |
45.05	c |     80665 |   45763    94329 |   22333   30239  2188372    72.4 | 82.494 % |
45.29	c |     81171 |   45763    94329 |   24566   30745  2229210    72.5 | 82.494 % |
45.65	c |     81930 |   45763    94329 |   27023   31504  2289974    72.7 | 82.494 % |
46.17	c |     83069 |   45763    94329 |   29725   32643  2381067    72.9 | 82.494 % |
47.05	c |     84777 |   45763    94329 |   32698   34351  2511357    73.1 | 82.494 % |
48.38	c |     87340 |   45753    94303 |   35968   36906  2770585    75.1 | 82.526 % |
50.49	c |     91184 |   45690    94150 |   39564   40741  3063992    75.2 | 82.706 % |
54.14	c |     96950 |   45658    94074 |   43521   46425  3529731    76.0 | 82.794 % |
59.83	c |    105600 |   45646    94046 |   47873   55068  4237732    77.0 | 82.826 % |
69.37	c |    118574 |   45646    94046 |   52660   68042  5330410    78.3 | 82.826 % |
80.32	c |    138036 |   45576    93882 |   57927   34000  2343565    68.9 | 83.014 % |
86.67	c ==============================================================================
86.67	c Found solution: -37
86.67	o -37
86.68	c ---[   0]---> Sorter-cost:    0     Base:
86.76	c ==================================[MINISAT+]==================================
86.76	c | Conflicts | Original         | Learnt                           | Progress |
86.76	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
86.76	c ==============================================================================
86.76	c |    149466 |   45599    93945 |   15199   45430  3332463    73.4 | 83.014 % |
86.90	c |    149566 |   45599    93945 |   16718   17803  1045062    58.7 | 82.973 % |
86.95	c |    149718 |   45599    93945 |   18390   17955  1053066    58.7 | 82.973 % |
87.03	c |    149943 |   45599    93945 |   20229   18180  1067373    58.7 | 82.973 % |
87.16	c |    150281 |   45596    93938 |   22252   18516  1082787    58.5 | 82.981 % |
87.32	c |    150787 |   45593    93931 |   24478   19013  1111621    58.5 | 82.989 % |
87.58	c |    151546 |   45593    93931 |   26925   19772  1179618    59.7 | 82.989 % |
88.02	c |    152686 |   45593    93931 |   29618   20912  1287628    61.6 | 82.989 % |
88.70	c |    154394 |   45593    93931 |   32580   22620  1436347    63.5 | 82.989 % |
89.66	c |    156956 |   45580    93900 |   35838   25160  1626071    64.6 | 83.025 % |
91.29	c |    160800 |   45469    93635 |   39422   28964  1960525    67.7 | 83.337 % |
94.20	c |    166566 |   45422    93516 |   43364   34720  2450264    70.6 | 83.481 % |
99.12	c |    175216 |   45422    93516 |   47700   43370  3106157    71.6 | 83.481 % |
107.83	c |    188190 |   45409    93485 |   52471   56340  4190159    74.4 | 83.517 % |
124.06	c |    207651 |   45378    93412 |   57718   20752   843783    40.7 | 83.597 % |
139.68	c |    236844 |   45348    93342 |   63489   49941  3556546    71.2 | 83.677 % |
176.65	c |    280635 |   45332    93300 |   69838   29311  1271672    43.4 | 83.729 % |
222.81	c ==============================================================================
222.81	c Found solution: -38
222.81	o -38
222.82	c ---[   0]---> Sorter-cost:    0     Base:
222.87	c ==================================[MINISAT+]==================================
222.87	c | Conflicts | Original         | Learnt                           | Progress |
222.87	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
222.87	c ==============================================================================
222.87	c |    344995 |   45289    93179 |   15096   22206   620998    28.0 | 83.729 % |
222.93	c |    345095 |   45289    93179 |   16605   22306   624408    28.0 | 83.859 % |
223.02	c |    345245 |   45289    93179 |   18266   22456   629871    28.0 | 83.859 % |
223.11	c |    345471 |   45289    93179 |   20092   22682   637923    28.1 | 83.859 % |
223.23	c |    345808 |   45289    93179 |   22102   23019   650581    28.3 | 83.859 % |
223.39	c |    346315 |   45289    93179 |   24312   23526   669167    28.4 | 83.859 % |
223.62	c |    347074 |   45221    93013 |   26743   24280   705523    29.1 | 84.055 % |
224.01	c |    348213 |   45212    92988 |   29417   25414   778295    30.6 | 84.087 % |
224.62	c |    349921 |   45141    92818 |   32359   27103   880732    32.5 | 84.283 % |
225.44	c |    352483 |   45141    92818 |   35595   29665  1032114    34.8 | 84.283 % |
226.91	c |    356327 |   45141    92818 |   39155   33509  1294905    38.6 | 84.283 % |
229.46	c |    362093 |   45141    92818 |   43070   39275  1678091    42.7 | 84.283 % |
233.97	c |    370742 |   45141    92818 |   47377   47924  2281068    47.6 | 84.283 % |
243.33	c |    383716 |   45141    92818 |   52115   60898  2875601    47.2 | 84.283 % |
257.87	c |    403178 |   45131    92794 |   57327   26764   757803    28.3 | 84.311 % |
275.31	c |    432371 |   45125    92780 |   63059   55955  2218138    39.6 | 84.327 % |
307.26	c |    476160 |   45116    92759 |   69365   36944  1091586    29.5 | 84.351 % |
352.66	c |    541845 |   45114    92755 |   76302   33991   951202    28.0 | 84.355 % |
425.93	c |    640371 |   45101    92724 |   83932   58273  2804766    48.1 | 84.391 % |
553.24	c |    788161 |   45038    92569 |   92325   46297  1993503    43.1 | 84.575 % |
733.53	c |   1009845 |   45022    92533 |  101558   89371  3211573    35.9 | 84.615 % |
1031.33	c |   1342371 |   44996    92473 |  111714   32607   881272    27.0 | 84.683 % |
1438.42	c |   1841160 |   44807    92014 |  122885   96533  3118276    32.3 | 85.222 % |
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
1801.15	v -x86 -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
1801.15	v -x60 -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
1801.15	v -x34 -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
1801.15	v -x8 -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/node82/watcher-35609-1149292980 -o ROOT/results/node82/solver-35609-1149292980 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node82/35609-1149292980/instance-35609-1149292980.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1561016/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=1180 CPUtime=0
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 141 0 0 0 0 0 0 0 19 0 1 0 186487279 1208320 127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 295 127 74 215 0 77 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1546360/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=16068 CPUtime=9.98
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 3890 0 0 0 993 5 0 0 25 0 1 0 186487279 16453632 3769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 4017 3769 110 215 0 3799 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 16068

[startup+20.0081 s]
/proc/loadavg: 0.94 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1537848/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=24628 CPUtime=19.98
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 6004 0 0 0 1991 7 0 0 25 0 1 0 186487279 25219072 5883 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 6157 5883 110 215 0 5939 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 24628

[startup+30.014 s]
/proc/loadavg: 0.95 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1531768/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=30584 CPUtime=29.99
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 7514 0 0 0 2990 9 0 0 25 0 1 0 186487279 31318016 7393 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 7646 7393 110 215 0 7428 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 30584

[startup+40.0198 s]
/proc/loadavg: 0.96 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1527160/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=35312 CPUtime=40
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 8673 0 0 0 3989 11 0 0 25 0 1 0 186487279 36159488 8552 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576660 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 8828 8552 110 215 0 8610 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 35312

[startup+50.0257 s]
/proc/loadavg: 0.96 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1527224/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=35312 CPUtime=50
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 8673 0 0 0 4989 11 0 0 25 0 1 0 186487279 36159488 8552 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580496 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 8828 8552 110 215 0 8610 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 35312

[startup+60.0316 s]
/proc/loadavg: 0.97 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1527160/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=35312 CPUtime=60
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 8673 0 0 0 5989 11 0 0 25 0 1 0 186487279 36159488 8552 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 8828 8552 110 215 0 8610 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 35312

[startup+70.0375 s]
/proc/loadavg: 0.97 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1525304/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=37256 CPUtime=70
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9142 0 0 0 6989 11 0 0 25 0 1 0 186487279 38150144 9021 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9314 9021 110 215 0 9096 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 37256

[startup+80.0434 s]
/proc/loadavg: 0.98 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1523704/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=38820 CPUtime=80
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9558 0 0 0 7989 11 0 0 25 0 1 0 186487279 39751680 9437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9705 9437 110 215 0 9487 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 38820

[startup+90.0493 s]
/proc/loadavg: 0.98 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1523704/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=38820 CPUtime=90
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9558 0 0 0 8989 11 0 0 25 0 1 0 186487279 39751680 9437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580311 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9705 9437 110 215 0 9487 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 38820

[startup+100.055 s]
/proc/loadavg: 0.98 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1523640/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=38820 CPUtime=100
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9558 0 0 0 9989 11 0 0 25 0 1 0 186487279 39751680 9437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9705 9437 110 215 0 9487 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 38820

[startup+110.061 s]
/proc/loadavg: 0.98 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1523640/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=38820 CPUtime=110.01
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9558 0 0 0 10990 11 0 0 25 0 1 0 186487279 39751680 9437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580959 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9705 9437 110 215 0 9487 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 38820

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1523640/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=38820 CPUtime=120.01
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9558 0 0 0 11990 11 0 0 25 0 1 0 186487279 39751680 9437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9705 9437 110 215 0 9487 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 38820

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1523640/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=38820 CPUtime=130.01
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9560 0 0 0 12990 11 0 0 25 0 1 0 186487279 39751680 9439 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580747 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9705 9439 110 215 0 9487 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 38820

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1523640/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=38820 CPUtime=140.01
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9560 0 0 0 13990 11 0 0 25 0 1 0 186487279 39751680 9439 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580980 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9705 9439 110 215 0 9487 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 38820

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1523640/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=38820 CPUtime=150.02
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9560 0 0 0 14991 11 0 0 25 0 1 0 186487279 39751680 9439 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9705 9439 110 215 0 9487 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 38820

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1523576/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=38820 CPUtime=160.02
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9560 0 0 0 15991 11 0 0 25 0 1 0 186487279 39751680 9439 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9705 9439 110 215 0 9487 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 38820

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1523512/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=38952 CPUtime=170.02
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9592 0 0 0 16991 11 0 0 25 0 1 0 186487279 39886848 9471 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579541 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9738 9471 110 215 0 9520 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 38952

[startup+180.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1522744/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=39740 CPUtime=180.03
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9786 0 0 0 17991 12 0 0 25 0 1 0 186487279 40693760 9665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9935 9665 110 215 0 9717 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 39740

[startup+190.108 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1522744/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=39740 CPUtime=190.03
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9786 0 0 0 18991 12 0 0 25 0 1 0 186487279 40693760 9665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135013402 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9935 9665 110 215 0 9717 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 39740

[startup+200.114 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1522744/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=39740 CPUtime=200.03
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 9786 0 0 0 19991 12 0 0 25 0 1 0 186487279 40693760 9665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 9935 9665 110 215 0 9717 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 39740

[startup+210.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26892
/proc/meminfo: memFree=1522680/2055892 swapFree=4087504/4096564

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

[pid=26892] ppid=26890 vsize=52224 CPUtime=1781.39
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178125 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (Kb) 52224

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1782.4
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178226 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (Kb) 52224

[startup+1784.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1783.4
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178326 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1783.4
Current children cumulated vsize (Kb) 52224

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1784.4
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178426 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (Kb) 52224

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1785.41
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178527 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (Kb) 52224

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1786.41
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178627 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1786.41
Current children cumulated vsize (Kb) 52224

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1787.42
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178728 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1787.42
Current children cumulated vsize (Kb) 52224

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1788.42
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178828 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (Kb) 52224

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1789.42
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 178928 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006488 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (Kb) 52224

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1790.43
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179029 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (Kb) 52224

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1791.43
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179129 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (Kb) 52224

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1792.44
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179230 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1792.44
Current children cumulated vsize (Kb) 52224

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1793.44
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179330 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581113 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1793.44
Current children cumulated vsize (Kb) 52224

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1794.45
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179431 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (Kb) 52224

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1795.45
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179531 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581318 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (Kb) 52224

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1796.46
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179632 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580259 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (Kb) 52224

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1797.46
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179732 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580493 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (Kb) 52224

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1798.47
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179833 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (Kb) 52224

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1799.47
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 179933 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (Kb) 52224

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1800.48
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 180034 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 52224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 26894
/proc/meminfo: memFree=1510776/2055892 swapFree=4087504/4096564
[pid=26892] ppid=26890 vsize=52224 CPUtime=1800.48
/proc/26892/stat : 26892 (minisat+) R 26890 26892 26846 0 -1 4194304 12739 0 0 0 180034 14 0 0 25 0 1 0 186487279 53477376 12618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26892/statm: 13056 12618 110 215 0 12838 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 52224

Sending SIGTERM to -26892
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.16
CPU time (s): 1800.5
CPU user time (s): 1800.34
CPU system time (s): 0.152976
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (Kb): 52224

Launcher Data (download as text)

Begin job on node82 on Sat Jun  3 00:03:00 UTC 2006


FILE ID= 35609-1149292980

PBS_JOBID= 306973

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-3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node82/35609-1149292980/instance-35609-1149292980.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node82/watcher-35609-1149292980 -o ROOT/results/node82/solver-35609-1149292980 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node82/35609-1149292980/instance-35609-1149292980.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  c9380923d34e254cfa512f89027f1d42

RANDOM SEED= 656282469


/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.265
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	: 6006.17
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.265
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	: 5999.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1561224 kB
Buffers:         30804 kB
Cached:         391772 kB
SwapCached:       2764 kB
Active:          49624 kB
Inactive:       381656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1561224 kB
SwapTotal:     4096564 kB
SwapFree:      4087504 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          14572 kB
Slab:            49676 kB
Committed_AS:   299480 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node82 on Sat Jun  3 00:33:01 UTC 2006