Trace number 35612

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.57 1801.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
MD5SUM7262f9f4ab1a3ada75b3b140acf97f7d
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.56
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 constraints41605
Number of constraints which are clauses41605
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 41605 PB-constraints to clauses...
1.11	c   -- Unit propagations: (none)
1.11	c   -- Detecting intervals from adjacent constraints: (none)
1.11	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
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 |   41605    83210 |   13868       0        0     nan |  0.000 % |
1.21	c ==============================================================================
1.21	c Found solution: -29
1.21	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 |   77753   168122 |   25917       0        0     nan |  0.000 % |
1.42	c |       101 |   77380   167357 |   28508      74     1087    14.7 |  0.796 % |
1.53	c |       251 |   76935   166400 |   31359     187     2027    10.8 |  1.831 % |
1.76	c |       476 |   75593   163504 |   34495     333     4511    13.5 |  4.972 % |
2.06	c ==============================================================================
2.06	c Found solution: -32
2.06	o -32
2.07	c ---[   0]---> Sorter-cost:    0     Base:
2.11	c ==================================[MINISAT+]==================================
2.11	c | Conflicts | Original         | Learnt                           | Progress |
2.11	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.11	c ==============================================================================
2.11	c |       781 |   74235   160714 |   24745     565     8133    14.4 |  4.972 % |
2.21	c |       881 |   73694   159487 |   27219     640     8842    13.8 | 10.031 % |
2.31	c |      1031 |   73182   158344 |   29941     742     9894    13.3 | 11.290 % |
2.54	c |      1256 |   71817   155279 |   32935     908    11980    13.2 | 14.690 % |
2.78	c |      1593 |   70390   152058 |   36229    1120    14315    12.8 | 18.255 % |
3.15	c |      2099 |   68314   147352 |   39852    1473    20259    13.8 | 23.529 % |
3.76	c |      2858 |   64983   139810 |   43837    2005    27170    13.6 | 31.922 % |
4.40	c |      3997 |   61942   132839 |   48221    2827    38151    13.5 | 39.672 % |
5.27	c |      5705 |   57794   123031 |   53043    4147    58590    14.1 | 50.708 % |
6.39	c |      8267 |   53937   113879 |   58347    6175   101349    16.4 | 61.198 % |
7.64	c |     12111 |   51088   107100 |   64182    9376   209229    22.3 | 68.931 % |
8.38	c ==============================================================================
8.38	c Found solution: -33
8.38	o -33
8.39	c ---[   0]---> Sorter-cost:    0     Base:
8.43	c ==================================[MINISAT+]==================================
8.43	c | Conflicts | Original         | Learnt                           | Progress |
8.43	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.43	c ==============================================================================
8.43	c |     14510 |   50433   105575 |   16811   11454   342561    29.9 | 68.931 % |
8.46	c |     14610 |   50433   105575 |   18492   11554   344419    29.8 | 70.722 % |
8.50	c |     14761 |   50433   105575 |   20341   11705   350475    29.9 | 70.722 % |
8.56	c |     14986 |   50433   105575 |   22375   11930   361583    30.3 | 70.722 % |
8.74	c |     15324 |   50107   104782 |   24612   12183   372190    30.5 | 71.626 % |
8.91	c |     15831 |   49933   104364 |   27074   12595   390221    31.0 | 72.104 % |
9.15	c |     16590 |   49629   103648 |   29781   13283   428057    32.2 | 72.916 % |
9.66	c |     17729 |   48931   101939 |   32759   14235   473128    33.2 | 74.898 % |
10.15	c |     19438 |   48867   101783 |   36035   15894   575254    36.2 | 75.083 % |
11.17	c |     22000 |   48275   100352 |   39639   18090   716401    39.6 | 76.734 % |
12.23	c ==============================================================================
12.23	c Found solution: -34
12.23	o -34
12.24	c ---[   0]---> Sorter-cost:    0     Base:
12.29	c ==================================[MINISAT+]==================================
12.29	c | Conflicts | Original         | Learnt                           | Progress |
12.29	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.29	c ==============================================================================
12.29	c |     24883 |   48095    99832 |   16031   20800   934720    44.9 | 76.734 % |
12.48	c |     24983 |   47740    98976 |   17634   20624   932425    45.2 | 78.263 % |
12.54	c |     25133 |   47740    98976 |   19397   20774   941755    45.3 | 78.263 % |
12.62	c |     25358 |   47702    98882 |   21337   20927   950824    45.4 | 78.376 % |
12.73	c |     25695 |   47702    98882 |   23470   21264   970411    45.6 | 78.376 % |
12.92	c |     26201 |   47700    98878 |   25818   21769  1001975    46.0 | 78.380 % |
13.27	c |     26960 |   47487    98334 |   28399   22339  1043094    46.7 | 79.015 % |
13.71	c |     28099 |   47449    98246 |   31239   23430  1110397    47.4 | 79.115 % |
14.43	c |     29807 |   47449    98246 |   34363   25138  1301421    51.8 | 79.115 % |
15.62	c |     32369 |   47408    98151 |   37800   27600  1517138    55.0 | 79.224 % |
16.97	c ==============================================================================
16.97	c Found solution: -35
16.97	o -35
16.98	c ---[   0]---> Sorter-cost:    0     Base:
17.04	c ==================================[MINISAT+]==================================
17.04	c | Conflicts | Original         | Learnt                           | Progress |
17.04	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
17.04	c ==============================================================================
17.04	c |     34890 |   47234    97752 |   15744   29984  1760205    58.7 | 79.224 % |
17.12	c |     34990 |   47194    97654 |   17318   29906  1761335    58.9 | 79.907 % |
17.20	c |     35140 |   47194    97654 |   19050   30056  1774039    59.0 | 79.907 % |
17.31	c |     35365 |   47194    97654 |   20955   30281  1792828    59.2 | 79.907 % |
17.48	c |     35702 |   47194    97654 |   23050   30618  1825661    59.6 | 79.907 % |
17.70	c |     36208 |   47194    97654 |   25355   31124  1860327    59.8 | 79.907 % |
18.10	c |     36968 |   47166    97583 |   27891   31860  1920463    60.3 | 79.991 % |
18.69	c |     38109 |   47162    97573 |   30680   32897  2012855    61.2 | 80.003 % |
19.64	c |     39818 |   47162    97573 |   33748   34606  2163659    62.5 | 80.003 % |
21.12	c |     42380 |   47162    97573 |   37123   37168  2449092    65.9 | 80.003 % |
23.75	c |     46227 |   47060    97338 |   40835   40876  2850607    69.7 | 80.260 % |
28.00	c |     51994 |   46982    97141 |   44919   46508  3471568    74.6 | 80.484 % |
35.09	c |     60644 |   46934    97017 |   49411   54952  4522068    82.3 | 80.632 % |
40.03	c ==============================================================================
40.03	c Found solution: -36
40.03	o -36
40.04	c ---[   0]---> Sorter-cost:    0     Base:
40.14	c ==================================[MINISAT+]==================================
40.14	c | Conflicts | Original         | Learnt                           | Progress |
40.14	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
40.14	c ==============================================================================
40.14	c |     65436 |   46893    96903 |   15631   59362  5113871    86.1 | 80.632 % |
40.29	c |     65536 |   46893    96903 |   17194   18644  1614753    86.6 | 80.749 % |
40.42	c |     65686 |   46854    96804 |   18913   18767  1618131    86.2 | 80.869 % |
40.53	c |     65911 |   46795    96659 |   20804   18985  1627818    85.7 | 81.042 % |
40.68	c |     66248 |   46795    96659 |   22885   19322  1649457    85.4 | 81.042 % |
40.87	c |     66756 |   46795    96659 |   25173   19830  1672800    84.4 | 81.042 % |
41.21	c |     67518 |   46795    96659 |   27691   20592  1744416    84.7 | 81.042 % |
41.75	c |     68657 |   46795    96659 |   30460   21731  1856295    85.4 | 81.042 % |
42.52	c |     70366 |   46795    96659 |   33506   23440  1997186    85.2 | 81.042 % |
43.85	c |     72928 |   46742    96532 |   36857   25984  2212431    85.1 | 81.190 % |
46.09	c |     76774 |   46714    96464 |   40542   29821  2582192    86.6 | 81.266 % |
49.61	c |     82540 |   46712    96460 |   44597   35586  3095009    87.0 | 81.270 % |
55.78	c |     91190 |   46712    96460 |   49056   44236  3866480    87.4 | 81.270 % |
66.74	c |    104165 |   46623    96245 |   53962   57037  4993464    87.5 | 81.522 % |
86.50	c |    123626 |   46580    96146 |   59358   20979  1569020    74.8 | 81.634 % |
104.44	c |    152819 |   46485    95911 |   65294   50114  4321342    86.2 | 81.914 % |
147.17	c |    196609 |   46391    95677 |   71824   26970  1175384    43.6 | 82.190 % |
214.17	c |    262293 |   46384    95660 |   79006   92651  5737328    61.9 | 82.211 % |
308.12	c |    360821 |   46278    95411 |   86907   25024  2605510   104.1 | 82.491 % |
452.50	c |    508611 |   46094    94961 |   95597   83876  6252924    74.5 | 83.019 % |
688.40	c ==============================================================================
688.40	c Found solution: -37
688.40	o -37
688.41	c ---[   0]---> Sorter-cost:    0     Base:
688.56	c ==================================[MINISAT+]==================================
688.56	c | Conflicts | Original         | Learnt                           | Progress |
688.56	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
688.56	c ==============================================================================
688.56	c |    717483 |   46005    94755 |   15335   96623  8602712    89.0 | 83.019 % |
689.14	c |    717587 |   46005    94755 |   16868   22197  1267225    57.1 | 83.286 % |
689.20	c |    717738 |   46005    94755 |   18555   22348  1275292    57.1 | 83.286 % |
689.29	c |    717966 |   46005    94755 |   20410   22576  1285093    56.9 | 83.286 % |
689.44	c |    718303 |   45968    94665 |   22451   22910  1304131    56.9 | 83.386 % |
689.64	c |    718809 |   45968    94665 |   24697   23416  1340629    57.3 | 83.386 % |
689.92	c |    719568 |   45968    94665 |   27166   24175  1390694    57.5 | 83.386 % |
690.40	c |    720707 |   45940    94599 |   29883   25310  1470712    58.1 | 83.462 % |
691.16	c |    722416 |   45940    94599 |   32871   27019  1600072    59.2 | 83.462 % |
692.25	c |    724978 |   45940    94599 |   36159   29581  1792036    60.6 | 83.462 % |
694.21	c |    728822 |   45899    94498 |   39775   33410  2086802    62.5 | 83.578 % |
697.60	c |    734588 |   45899    94498 |   43752   39176  2585425    66.0 | 83.578 % |
703.46	c |    743238 |   45899    94498 |   48127   47826  3234109    67.6 | 83.578 % |
714.40	c |    756213 |   45899    94498 |   52940   60801  4112651    67.6 | 83.578 % |
732.13	c |    775674 |   45899    94498 |   58234   25812   976849    37.8 | 83.578 % |
752.78	c |    804866 |   45899    94498 |   64058   55004  3048293    55.4 | 83.578 % |
779.24	c ==============================================================================
779.24	c Found solution: -38
779.24	o -38
779.25	c ---[   0]---> Sorter-cost:    0     Base:
779.35	c ==================================[MINISAT+]==================================
779.35	c | Conflicts | Original         | Learnt                           | Progress |
779.35	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
779.35	c ==============================================================================
779.35	c |    828882 |   45888    94437 |   15296   79014  3988820    50.5 | 83.578 % |
779.75	c |    828982 |   45888    94437 |   16825   22761   627140    27.6 | 83.615 % |
779.83	c |    829132 |   45888    94437 |   18508   22911   630990    27.5 | 83.615 % |
779.95	c |    829357 |   45888    94437 |   20358   23136   640661    27.7 | 83.615 % |
780.12	c |    829694 |   45888    94437 |   22394   23473   657843    28.0 | 83.615 % |
780.36	c |    830200 |   45888    94437 |   24634   23979   684188    28.5 | 83.615 % |
780.63	c |    830959 |   45888    94437 |   27097   24738   724605    29.3 | 83.615 % |
781.03	c |    832098 |   45888    94437 |   29807   25877   793788    30.7 | 83.615 % |
781.58	c |    833807 |   45888    94437 |   32788   27586   909845    33.0 | 83.615 % |
782.50	c |    836369 |   45888    94437 |   36067   30148  1085925    36.0 | 83.615 % |
784.15	c |    840215 |   45859    94365 |   39673   33990  1344419    39.6 | 83.695 % |
787.02	c |    845982 |   45854    94354 |   43641   39754  1665902    41.9 | 83.707 % |
792.12	c |    854631 |   45854    94354 |   48005   48403  2179968    45.0 | 83.707 % |
800.95	c |    867605 |   45854    94354 |   52805   61377  2869493    46.8 | 83.707 % |
815.34	c |    887067 |   45854    94354 |   58086   26347   974862    37.0 | 83.707 % |
832.90	c |    916259 |   45842    94328 |   63895   55530  2672612    48.1 | 83.735 % |
867.04	c |    960048 |   45791    94207 |   70284   36113  1076244    29.8 | 83.867 % |
918.96	c |   1025732 |   45769    94155 |   77313   31589  1033687    32.7 | 83.927 % |
997.53	c |   1124258 |   45765    94145 |   85044   52954  1908600    36.0 | 83.939 % |
1131.28	c |   1272048 |   45697    93969 |   93548   33998   973037    28.6 | 84.147 % |
1333.01	c |   1493731 |   45669    93899 |  102903   83838  2466700    29.4 | 84.231 % |
1629.45	c |   1826256 |   45530    93562 |  113194  118102  4961674    42.0 | 84.627 % |
1801.14	c 
1801.14	c *** TERMINATED ***
1801.14	s SATISFIABLE
1801.14	v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740
1801.14	v x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 x719
1801.14	v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
1801.14	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677
1801.14	v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
1801.14	v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 x636 -x635
1801.14	v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614
1801.14	v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
1801.14	v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572
1801.14	v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551
1801.14	v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530
1801.14	v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 x510 -x509
1801.14	v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488
1801.14	v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467
1801.14	v -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446
1801.14	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425
1801.14	v -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404
1801.14	v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383
1801.14	v -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362
1801.14	v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
1801.14	v x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
1801.14	v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299
1801.14	v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278
1801.14	v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257
1801.14	v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236
1801.14	v -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215
1801.14	v -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
1801.14	v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173
1801.14	v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152
1801.14	v -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 x132 -x131
1801.14	v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110
1801.14	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.14	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.14	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.14	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.14	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/node15/watcher-35612-1149293689 -o ROOT/results/node15/solver-35612-1149293689 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node15/35612-1149293689/instance-35612-1149293689.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 1482
/proc/meminfo: memFree=1358488/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=1180 CPUtime=0
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 142 0 0 0 0 0 0 0 19 0 1 0 195031697 1208320 127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 295 127 74 215 0 77 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 1482
/proc/meminfo: memFree=1343712/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=16092 CPUtime=9.99
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 3896 0 0 0 992 7 0 0 25 0 1 0 195031697 16478208 3773 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 4023 3773 110 215 0 3805 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 16092

[startup+20.0082 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 1482
/proc/meminfo: memFree=1336800/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=23020 CPUtime=19.99
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 5631 0 0 0 1991 8 0 0 25 0 1 0 195031697 23572480 5508 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 5755 5508 110 215 0 5537 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 23020

[startup+30.0139 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 1482
/proc/meminfo: memFree=1330272/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=29672 CPUtime=29.99
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 7281 0 0 0 2989 10 0 0 25 0 1 0 195031697 30384128 7158 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 7418 7158 110 215 0 7200 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 29672

[startup+40.0196 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 1482
/proc/meminfo: memFree=1324256/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=35700 CPUtime=39.99
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 8782 0 0 0 3987 12 0 0 25 0 1 0 195031697 36556800 8659 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 8925 8659 110 215 0 8707 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 35700

[startup+50.0253 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 1482
/proc/meminfo: memFree=1324128/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=35728 CPUtime=49.99
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 8808 0 0 0 4987 12 0 0 25 0 1 0 195031697 36585472 8685 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 8932 8685 110 215 0 8714 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 35728

[startup+60.031 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 1482
/proc/meminfo: memFree=1324192/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=35728 CPUtime=60
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 8808 0 0 0 5988 12 0 0 25 0 1 0 195031697 36585472 8685 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574427 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 8932 8685 110 215 0 8714 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 35728

[startup+70.0368 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 1482
/proc/meminfo: memFree=1323040/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=36912 CPUtime=70
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 9091 0 0 0 6987 13 0 0 25 0 1 0 195031697 37797888 8968 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 9228 8968 110 215 0 9010 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 36912

[startup+80.0425 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 1482
/proc/meminfo: memFree=1318368/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=41608 CPUtime=80
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10261 0 0 0 7986 14 0 0 25 0 1 0 195031697 42606592 10138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 10402 10138 110 215 0 10184 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 41608

[startup+90.0482 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 1482
/proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=44220 CPUtime=90.01
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10899 0 0 0 8986 15 0 0 25 0 1 0 195031697 45281280 10776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 11055 10776 110 215 0 10837 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 44220

[startup+100.053 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 1482
/proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=44220 CPUtime=100.01
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10899 0 0 0 9986 15 0 0 25 0 1 0 195031697 45281280 10776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 11055 10776 110 215 0 10837 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 44220

[startup+110.06 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 1482
/proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=44220 CPUtime=110.01
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10899 0 0 0 10986 15 0 0 25 0 1 0 195031697 45281280 10776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 11055 10776 110 215 0 10837 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 44220

[startup+120.065 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1482
/proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=44220 CPUtime=120.02
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10899 0 0 0 11987 15 0 0 25 0 1 0 195031697 45281280 10776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 11055 10776 110 215 0 10837 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 44220

[startup+130.071 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1482
/proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=44220 CPUtime=130.02
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10900 0 0 0 12987 15 0 0 25 0 1 0 195031697 45281280 10777 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 11055 10777 110 215 0 10837 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 44220

[startup+140.078 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1482
/proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=44220 CPUtime=140.02
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10908 0 0 0 13987 15 0 0 25 0 1 0 195031697 45281280 10785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 11055 10785 110 215 0 10837 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 44220

[startup+150.084 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1482
/proc/meminfo: memFree=1315680/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=44220 CPUtime=150.02
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10911 0 0 0 14987 15 0 0 25 0 1 0 195031697 45281280 10788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 11055 10788 110 215 0 10837 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 44220

[startup+160.089 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1482
/proc/meminfo: memFree=1315680/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=44220 CPUtime=160.03
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10911 0 0 0 15988 15 0 0 25 0 1 0 195031697 45281280 10788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 11055 10788 110 215 0 10837 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 44220

[startup+170.096 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1482
/proc/meminfo: memFree=1315680/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=44220 CPUtime=170.03
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10911 0 0 0 16988 15 0 0 25 0 1 0 195031697 45281280 10788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 11055 10788 110 215 0 10837 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 44220

[startup+180.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1482
/proc/meminfo: memFree=1315680/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=44220 CPUtime=180.03
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10911 0 0 0 17988 15 0 0 25 0 1 0 195031697 45281280 10788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 11055 10788 110 215 0 10837 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 44220

[startup+190.107 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1482
/proc/meminfo: memFree=1315680/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=44220 CPUtime=190.03
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10911 0 0 0 18988 15 0 0 25 0 1 0 195031697 45281280 10788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 11055 10788 110 215 0 10837 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 44220

[startup+200.114 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1482
/proc/meminfo: memFree=1315680/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=44220 CPUtime=200.04
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 10911 0 0 0 19989 15 0 0 25 0 1 0 195031697 45281280 10788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 11055 10788 110 215 0 10837 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 44220

[startup+210.121 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1482
/proc/meminfo: memFree=1315744/2055920 swapFree=4181408/4192956

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

[pid=1482] ppid=1480 vsize=70208 CPUtime=1781.44
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178116 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (Kb) 70208

[startup+1783.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1782.45
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178217 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 70208

[startup+1784.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1783.45
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178317 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 70208

[startup+1785.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1784.46
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178418 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 70208

[startup+1786.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1785.46
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178518 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (Kb) 70208

[startup+1787.06 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 1484
/proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1786.47
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178619 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (Kb) 70208

[startup+1788.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1787.48
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178720 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580496 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (Kb) 70208

[startup+1789.07 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 1484
/proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1788.48
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178820 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580809 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (Kb) 70208

[startup+1790.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289632/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1789.48
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 178920 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (Kb) 70208

[startup+1791.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1790.49
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179021 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134585598 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 70208

[startup+1792.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1791.49
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179121 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580919 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 70208

[startup+1793.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1792.5
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179222 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576399 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 70208

[startup+1794.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1793.5
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179322 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 70208

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1794.51
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179423 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (Kb) 70208

[startup+1796.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1795.51
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179523 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580311 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 70208

[startup+1797.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1796.52
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179624 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 70208

[startup+1798.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1797.52
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179724 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (Kb) 70208

[startup+1799.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1798.53
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179825 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 70208

[startup+1800.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1799.53
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 179925 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (Kb) 70208

[startup+1801.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1800.54
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 180026 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575696 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (Kb) 70208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 1484
/proc/meminfo: memFree=1289568/2055920 swapFree=4181408/4192956
[pid=1482] ppid=1480 vsize=70208 CPUtime=1800.54
/proc/1482/stat : 1482 (minisat+) R 1480 1482 1436 0 -1 4194304 17392 0 0 0 180026 28 0 0 25 0 1 0 195031697 71892992 17269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/1482/statm: 17552 17269 110 215 0 17334 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (Kb) 70208

Sending SIGTERM to -1482
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.15
CPU time (s): 1800.57
CPU user time (s): 1800.27
CPU system time (s): 0.299954
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (Kb): 70208

Launcher Data (download as text)

Begin job on node15 on Sat Jun  3 00:14:49 UTC 2006


FILE ID= 35612-1149293689

PBS_JOBID= 307008

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

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  7262f9f4ab1a3ada75b3b140acf97f7d

RANDOM SEED= 989498449


/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.285
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.285
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:       1358704 kB
Buffers:         29964 kB
Cached:         606268 kB
SwapCached:       3308 kB
Active:         100060 kB
Inactive:       544972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1358704 kB
SwapTotal:     4192956 kB
SwapFree:      4181408 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14692 kB
Slab:            38188 kB
Committed_AS:   295520 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node15 on Sat Jun  3 00:44:50 UTC 2006