Trace number 354947

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT25 1800 1800.56

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUMa70b0edfadf87ffd0bc1b32400cae43b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark1802.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/354947-1176738303/instance-354947-1176738303.opb
0.00/0.00	c File size is 10354 bytes.
0.00/0.00	c Highest Coefficient sum: 5454
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 172 Constr: 14 0/0/14 Lit: 1058 Watch. Lit: 312
0.00/0.00	c Obj. Vars: 112 (65.1163 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    172       14     1058   75      322    2116      0      0 0.00
0.00/0.00	c Switching off LPR mode.
0.00/0.00	o 643	0.004
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    172       15     1170   78      727    2340      1      0 0.01
0.00/0.03	c      101    172      116     8144   70      926    2575    102   8416 0.01
0.00/0.03	o 606	0.026
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      251    172      267    18946   70     1335    2340    253   9653 0.03
0.00/0.04	c      353    172      369    25361   68     1549    2575    355   9805 0.04
0.00/0.04	o 506	0.037
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      354    172      371    25546   68     1617    2340    357   9567 0.04
0.00/0.04	o 504	0.038
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      356    172      374    25845   69     1727    2340    360   9368 0.04
0.00/0.06	c      456    172      474    29995   63     1965    2575    460   9913 0.05
0.00/0.06	o 503	0.056
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      540    172      559    35171   62     2195    2340    545   9642 0.06
0.09/0.10	c      641    172      660    40128   60     2453    2575    646   9567 0.07
0.09/0.10	c      892    172      911    53745   58     2936    2833    897   9102 0.10
0.09/0.10	o 493	0.103
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c      923    172      943    55490   58     3047    2340    929   8961 0.10
0.19/0.25	c     1024    172     1044    61069   58     3333    2575   1030   8677 0.12
0.19/0.25	c     1274    172     1294    75470   58     3763    2833   1280   8381 0.15
0.19/0.25	c     1749    172     1769   101015   57     4762    3117   1755   7914 0.22
0.19/0.25	o 488	0.246
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c     1910    172     1931   111130   57     5140    2340   1917   7764 0.25
0.39/0.47	c     2010    172     2031   116313   57     5381    2575   2017   7730 0.26
0.39/0.47	c     2260    172     2281   130493   57     5887    2833   2267   7635 0.30
0.39/0.47	c     2737    172     2758   158248   57     6847    3117   2744   7259 0.38
0.39/0.47	o 473	0.469
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c     3284    172     1651    97371   58     4215    2340   1637   7002 0.47
0.39/0.49	c     3390    172     1757   103218   58     4425    2575   1743   6989 0.48
0.39/0.49	o 468	0.486
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c     3394    172     1762   103472   58     4509    2340   1748   6983 0.49
0.39/0.49	o 460	0.486
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c     3395    172     1764   103674   58     4612    2340   1750   6971 0.49
0.39/0.49	o 458	0.491
0.49/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.50	c     3423    172     1793   105851   59     4795    2340   1779   6971 0.49
0.49/0.50	o 438	0.504
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     3505    172     1876   110770   59     5082    2340   1862   6954 0.50
0.49/0.53	c     3605    172     1976   115584   58     5279    2575   1962   6946 0.52
0.49/0.53	o 428	0.527
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c     3653    172     2025   117855   58     5464    2340   2011   6931 0.53
0.49/0.54	o 426	0.538
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c     3720    172     2093   122256   58     5680    2340   2079   6914 0.54
0.49/0.54	o 407	0.544
0.59/0.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.61	c     3750    172     2124   123606   58     5823    2340   2110   6893 0.54
0.59/0.61	c     3850    172     2224   129330   58     6123    2575   2210   6850 0.56
0.59/0.61	c     4100    172     2474   145369   58     6591    2833   2460   6776 0.60
0.59/0.61	o 333	0.612
0.59/0.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.62	c     4136    172     2511   146922   58     6620    2340   2497   6758 0.61
0.59/0.62	o 331	0.623
0.59/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.63	c     4184    172     1234    72683   58     3274    2340   1220   6715 0.62
0.59/0.63	o 329	0.635
0.59/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.64	c     4279    172     1330    80093   60     3569    2340   1316   6738 0.64
0.59/0.64	o 273	0.644
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c     4344    172     1396    82874   59     3788    2340   1382   6745 0.64
0.59/0.66	c     4447    172     1499    88125   58     4040    2575   1485   6768 0.66
0.59/0.66	o 255	0.661
0.59/0.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.67	c     4470    172     1523    89449   58     4157    2340   1509   6762 0.66
0.59/0.67	o 253	0.669
0.69/0.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.73	c     4531    172     1585    93096   58     4368    2340   1571   6772 0.67
0.69/0.73	c     4631    172     1685    97661   57     4610    2575   1671   6780 0.68
0.69/0.73	c     4881    172     1935   110417   57     5094    2833   1921   6855 0.71
0.69/0.73	o 241	0.728
0.69/0.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.74	c     4992    172     2047   115910   56     5413    2340   2033   6857 0.73
0.69/0.74	o 237	0.742
0.79/0.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.82	c     5070    172     2126   120023   56     5675    2340   2112   6832 0.74
0.79/0.82	c     5170    172     2226   123578   55     5902    2575   2212   6847 0.76
0.79/0.82	c     5421    172     2477   136994   55     6413    2833   2463   6793 0.80
0.79/0.82	o 208	0.819
6.39/6.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.46	c     5538    172     2595   142374   54     6696    2340   2581   6761 0.82
6.39/6.46	c     5639    172     1286    64127   49     3283    2575   1272   6761 0.83
6.39/6.46	c     5890    172     1537    77236   50     3794    2833   1523   6856 0.86
6.39/6.46	c     6368    172     2015   105240   52     4748    3117   2001   7005 0.91
6.39/6.46	c     7181    172     2828   139863   49     6343    3429   2814   7238 0.99
6.39/6.46	c     8501    172     2372   113403   47     5437    3772   2358   7253 1.17
6.39/6.46	c    10582    172     2510   114027   45     5694    4150   2496   7145 1.48
6.39/6.46	c    13805    172     3601   152720   42     7880    4566   3587   7097 1.95
6.39/6.46	c    18741    172     3860   185961   48     8390    5023   3846   6469 2.90
6.39/6.46	c    26248    172     3693   163473   44     8092    5526   3679   6245 4.20
6.39/6.46	c    37609    172     3776   157960   41     8263    6079   3762   5904 6.37
6.39/6.46	o 206	6.46
6.59/6.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.59/6.69	c    38306    172     4474   199407   44     9767    2340   4460   5929 6.46
6.59/6.69	c    38406    172     1285    65383   50     3270    2575   1271   5877 6.53
6.59/6.69	c    38656    172     1535    76033   49     3785    2833   1521   5890 6.56
6.59/6.69	c    39131    172     2010    97435   48     4729    3117   1996   5910 6.62
6.59/6.69	o 200	6.685
6.68/6.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.68/6.77	c    39637    172     2517   123726   49     5849    2340   2503   5929 6.68
6.68/6.77	c    39737    172     1285    61131   47     3269    2575   1271   5931 6.70
6.68/6.77	c    39987    172     1535    74196   48     3768    2833   1521   5945 6.73
6.68/6.77	o 197	6.767
6.78/6.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.78/6.85	c    40351    172     1900    92846   48     4616    2340   1886   5962 6.77
6.78/6.85	c    40451    172     2000    96510   48     4796    2575   1986   5967 6.78
6.78/6.85	c    40701    172     2250   108398   48     5303    2833   2236   5975 6.81
6.78/6.85	o 195	6.848
6.88/6.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.88/6.90	c    40942    172     2492   119666   48     5921    2340   2478   5978 6.85
6.88/6.90	c    41042    172     1285    61600   47     3250    2575   1271   5975 6.87
6.88/6.90	o 194	6.897
6.88/6.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.88/6.91	c    41256    172     1500    74537   49     3814    2340   1486   5981 6.90
6.88/6.91	o 190	6.906
6.88/6.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.88/6.94	c    41315    172     1560    77757   49     4036    2340   1546   5981 6.91
6.88/6.94	c    41415    172     1660    80963   48     4233    2575   1646   5987 6.92
6.88/6.94	o 186	6.943
6.98/7.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.98/7.09	c    41575    172     1821    89249   49     4681    2340   1807   5988 6.94
6.98/7.09	c    41675    172     1921    94302   49     4877    2575   1907   5990 6.96
6.98/7.09	c    41925    172     2171   104222   48     5368    2833   2157   5996 6.99
6.98/7.09	c    42403    172     2649   130821   49     6327    3117   2635   6003 7.06
6.98/7.09	o 185	7.088
7.08/7.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.10	c    42535    172     2782   136559   49     6708    2340   2768   6000 7.09
7.08/7.10	o 181	7.096
7.08/7.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.10	c    42541    172     1192    59882   50     3201    2340   1178   5995 7.10
7.08/7.10	o 179	7.098
7.08/7.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.10	c    42561    172     1213    61013   50     3350    2340   1199   5996 7.10
7.08/7.10	o 175	7.102
7.08/7.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.11	c    42594    172     1247    62375   50     3506    2340   1233   5997 7.10
7.08/7.11	o 173	7.109
7.08/7.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.13	c    42637    172     1291    65137   50     3706    2340   1277   5997 7.11
7.08/7.13	c    42737    172     1391    68719   49     3933    2575   1377   6001 7.12
7.08/7.13	o 124	7.128
7.08/7.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.14	c    42770    172     1425    70766   49     4095    2340   1411   6000 7.13
7.08/7.14	o 118	7.14
7.08/7.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.14	c    42833    168     1489    73184   49     4331    2332   1475   5999 7.14
7.08/7.14	o 116	7.142
7.08/7.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.15	c    42846    168     1503    74259   49     4474    2332   1489   5998 7.14
7.08/7.15	o 114	7.147
7.18/7.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.20	c    42867    168     1525    75813   49     4618    2332   1511   5997 7.15
7.18/7.20	c    42967    165     1625    80171   49     4817    2566   1611   5999 7.16
7.18/7.20	o 112	7.199
8.79/8.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.79/8.82	c    43172    164     1831    90125   49     5331    2324   1817   5996 7.20
8.79/8.82	c    43272    162     1931    93697   48     5534    2557   1917   5996 7.22
8.79/8.82	c    43522    162     2181   103056   47     6028    2813   2167   6003 7.25
8.79/8.82	c    43997    162     2656   121782   45     6986    3095   2642   6002 7.33
8.79/8.82	c    44810    162     1876    77254   41     4436    3405   1862   6001 7.47
8.79/8.82	c    46130    160     3196   126403   39     7081    3746   3182   6042 7.63
8.79/8.82	c    48212    160     3352   128191   38     7394    4121   3338   6073 7.94
8.79/8.82	c    51435    160     2363    95113   40     5406    4534   2349   6049 8.50
8.79/8.82	o 111	8.822
8.88/8.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.88/8.93	c    53538    159     4467   180201   40     9726    2314   4453   6068 8.82
8.88/8.93	c    53638    159     1285    52308   40     3260    2546   1271   6052 8.86
8.88/8.93	c    53888    159     1535    62225   40     3761    2801   1521   6059 8.89
8.88/8.93	o 105	8.928
10.89/10.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.95	c    54156    159     1804    72638   40     4393    2314   1790   6065 8.93
10.89/10.95	c    54256    159     1904    76915   40     4597    2546   1890   6068 8.94
10.89/10.95	c    54506    159     2154    87128   40     5099    2801   2140   6073 8.97
10.89/10.95	c    54981    159     2629   105906   40     6041    3082   2615   6081 9.04
10.89/10.95	c    55794    159     1867    75050   40     4420    3391   1853   6089 9.16
10.89/10.95	c    57114    159     3187   128505   40     7043    3731   3173   6114 9.34
10.89/10.95	c    59195    159     3350   138746   41     7379    4105   3336   6118 9.68
10.89/10.95	c    62418    159     2367    98082   41     5414    4516   2353   6125 10.19
10.89/10.95	o 104	10.946
10.89/10.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.95	c    66983    159     2329    89260   38     5446    2314   2315   6119 10.95
10.89/10.95	o 102	10.948
22.99/23.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.99/23.06	c    66993    159     2340    89785   38     5566    2314   2326   6119 10.95
22.99/23.06	c    67094    159     1212    50431   41     3116    2546   1198   6116 10.97
22.99/23.06	c    67344    159     1462    60071   41     3611    2801   1448   6124 10.99
22.99/23.06	c    67819    159     1937    78589   40     4562    3082   1923   6139 11.05
22.99/23.06	c    68632    159     2750   112434   40     6182    3391   2736   6154 11.15
22.99/23.06	c    69952    159     2322    93054   40     5315    3731   2308   6172 11.33
22.99/23.06	c    72033    158     2485   111068   44     5657    4105   2471   6166 11.68
22.99/23.06	c    75256    158     3607   146174   40     7876    4516   3593   6216 12.11
22.99/23.06	c    80192    158     3946   162169   41     8571    4968   3932   6203 12.93
22.99/23.06	c    87698    158     3868   160965   41     8414    5465   3854   6166 14.22
22.99/23.06	c    99059    158     4121   177772   43     8929    6012   4107   6051 16.37
22.99/23.06	c   116203    158     6002   268254   44    12679    6614   5988   5799 20.04
22.99/23.06	o 73	23.053
23.09/23.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.09/23.12	c   129805    158     6185   260466   42    13159    2312   6171   5630 23.05
23.09/23.12	o 69	23.116
1266.06/1266.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1266.06/1266.55	c   129808    158     1189    51183   43     3167    2312   1175   5615 23.12
1266.06/1266.55	c   129908    158     1289    57045   44     3367    2544   1275   5617 23.13
1266.06/1266.55	c   130158    158     1539    66172   42     3854    2799   1525   5621 23.15
1266.06/1266.55	c   130633    158     2014    83280   41     4805    3079   2000   5628 23.21
1266.06/1266.55	c   131446    158     2827   115356   40     6431    3387   2813   5636 23.32
1266.06/1266.55	c   132766    158     2416    90036   37     5509    3726   2402   5649 23.50
1266.06/1266.55	c   134847    158     2580    99684   38     5835    4099   2566   5659 23.83
1266.06/1266.55	c   138071    158     3709   141085   38     8102    4509   3695   5678 24.32
1266.06/1266.55	c   143008    158     4056   155056   38     8792    4960   4042   5709 25.05
1266.06/1266.55	c   150514    158     3978   156769   39     8632    5457   3964   5713 26.34
1266.06/1266.55	c   161875    158     4248   160824   37     9177    6003   4234   5699 28.40
1266.06/1266.55	c   179019    158     3097   123650   39     6864    6604   3083   5636 31.76
1266.06/1266.55	c   204838    158     5526   228629   41    11711    7265   5512   5532 37.02
1266.06/1266.55	c   243670    158     3970   160416   40     8594    7992   3956   5315 45.84
1266.06/1266.55	c   302022    158     5754   236498   41    12177    8792   5740   5043 59.89
1266.06/1266.55	c   389654    158     4561   182917   40     9801    9672   4547   4708 82.76
1266.06/1266.55	c   521206    158     9309   365085   39    19288   10640   9295   4254 122.50
1266.06/1266.55	c   718638    158     8346   344610   41    17360   11705   8332   3898 184.31
1266.06/1266.55	c  1014890    158     9894   405155   40    20453   12876   9880   3494 290.45
1266.06/1266.55	c  1459373    158     7194   299589   41    15063   14164   7180   3135 465.51
1266.06/1266.55	c  2126201    158    11579   499124   43    23824   15581  11565   2784 763.62
1266.06/1266.55	c  3126546    158     9383   353577   37    19445   17140   9369   2529 1236.01
1266.06/1266.55	o 67	1266.13
1269.27/1269.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1269.27/1269.78	c  3193593    158    16103   626593   38    32990    2312  16089   2522 1266.13
1269.27/1269.78	c  3193693    158     1285    59031   45     3238    2544   1271   2521 1266.66
1269.27/1269.78	c  3193943    158     1535    70585   45     3763    2799   1521   2521 1266.69
1269.27/1269.78	c  3194418    158     2010    86545   43     4703    3079   1996   2521 1266.74
1269.27/1269.78	c  3195231    158     2823   115673   40     6326    3387   2809   2522 1266.84
1269.27/1269.78	c  3196551    158     2396    89752   37     5479    3726   2382   2522 1267.03
1269.27/1269.78	c  3198632    158     2576    92492   35     5836    4099   2562   2523 1267.33
1269.27/1269.78	c  3201855    158     3705   139940   37     8080    4509   3691   2525 1267.82
1269.27/1269.78	c  3206791    158     4030   147652   36     8739    4960   4016   2527 1268.51
1269.27/1269.78	o 66	1269.36
1317.16/1317.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1317.16/1317.61	c  3211930    158     4128   159108   38     9040    2312   4114   2530 1269.36
1317.16/1317.61	c  3212030    158     1285    51014   39     3242    2544   1271   2530 1269.40
1317.16/1317.61	c  3212280    158     1535    59430   38     3742    2799   1521   2530 1269.42
1317.16/1317.61	c  3212755    158     2010    75265   37     4676    3079   1996   2530 1269.47
1317.16/1317.61	c  3213568    158     2823   102813   36     6323    3387   2809   2531 1269.55
1317.16/1317.61	c  3214888    158     2400    83017   34     5489    3726   2386   2531 1269.72
1317.16/1317.61	c  3216969    158     2584    96793   37     5843    4099   2570   2533 1270.01
1317.16/1317.61	c  3220192    158     3701   145245   39     8077    4509   3687   2534 1270.51
1317.16/1317.61	c  3225128    158     4034   148413   36     8726    4960   4020   2537 1271.23
1317.16/1317.61	c  3232634    158     3971   142916   35     8597    5457   3957   2540 1272.47
1317.16/1317.61	c  3243996    158     4254   157865   37     9154    6003   4240   2545 1274.21
1317.16/1317.61	c  3261140    158     3108   113241   36     6872    6604   3094   2553 1277.37
1317.16/1317.61	c  3286959    158     5490   204297   37    11667    7265   5476   2563 1282.12
1317.16/1317.61	c  3325791    158     3920   149571   38     8502    7992   3906   2576 1290.60
1317.16/1317.61	c  3384144    158     5700   219340   38    12054    8792   5686   2597 1302.99
1317.16/1317.61	o 59	1317.18
1317.16/1317.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1317.16/1317.65	c  3440680    158     4522   183961   40     9832    2312   4508   2612 1317.18
1317.16/1317.65	o 57	1317.22
1322.65/1323.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1322.65/1323.19	c  3440711    156     1217    53432   43     3220    2308   1203   2612 1317.22
1322.65/1323.19	c  3440811    146     1317    57253   43     3410    2539   1303   2612 1317.24
1322.65/1323.19	c  3441061    145     1567    68612   43     3907    2793   1553   2612 1317.28
1322.65/1323.19	c  3441536    144     2042    90077   44     4853    3073   2028   2612 1317.36
1322.65/1323.19	c  3442350    144     2856   127835   44     6481    3381   2842   2612 1317.50
1322.65/1323.19	c  3443670    144     2447   111415   45     5543    3720   2433   2613 1317.76
1322.65/1323.19	c  3445751    144     2615   123870   47     5898    4093   2601   2613 1318.20
1322.65/1323.19	c  3448974    144     3757   181532   48     8197    4503   3743   2615 1318.91
1322.65/1323.19	c  3453910    144     4081   191901   47     8842    4954   4067   2616 1320.15
1322.65/1323.19	c  3461416    144     4026   186266   46     8735    5450   4012   2618 1322.05
1322.65/1323.19	o 55	1322.76
1322.76/1323.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1322.76/1323.22	c  3464074    144     3915   182400   46     8595    2284   3901   2618 1322.76
1322.76/1323.22	c  3464174    144     1285    60787   47     3239    2513   1271   2618 1322.79
1322.76/1323.22	o 53	1322.79
1341.46/1341.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1341.46/1341.97	c  3464220    144     1332    63946   48     3409    2284   1318   2618 1322.79
1341.46/1341.97	c  3464320    144     1432    68826   48     3615    2513   1418   2618 1322.81
1341.46/1341.97	c  3464570    144     1682    79453   47     4102    2765   1668   2619 1322.85
1341.46/1341.97	c  3465046    144     2158   101060   46     5072    3042   2144   2619 1322.92
1341.46/1341.97	c  3465859    144     2971   137357   46     6687    3347   2957   2619 1323.08
1341.46/1341.97	c  3467179    144     2563   112857   44     5785    3682   2549   2620 1323.33
1341.46/1341.97	c  3469261    144     2761   123295   44     6188    4051   2747   2620 1323.75
1341.46/1341.97	c  3472484    144     3921   183220   46     8516    4457   3907   2621 1324.44
1341.46/1341.97	c  3477420    144     4296   189816   44     9264    4903   4282   2623 1325.54
1341.46/1341.97	c  3484926    144     4332   195792   45     9327    5394   4318   2625 1327.34
1341.46/1341.97	c  3496287    144     4738   216675   45    10142    5934   4724   2628 1330.27
1341.46/1341.97	c  3513431    144     3811   172765   45     8287    6528   3797   2632 1334.86
1341.46/1341.97	o 51	1341.53
1341.55/1342.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1341.55/1342.05	c  3536299    144     3553   172865   48     7854    2284   3539   2636 1341.53
1341.55/1342.05	c  3536400    144     1286    62437   48     3240    2513   1272   2636 1341.56
1341.55/1342.05	c  3536650    144     1536    73231   47     3737    2765   1522   2636 1341.60
1341.55/1342.05	o 49	1341.61
1341.55/1342.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1341.55/1342.07	c  3536736    144     1623    78377   48     3988    2284   1609   2636 1341.61
1341.55/1342.07	c  3536836    144     1723    83189   48     4191    2513   1709   2636 1341.63
1341.55/1342.07	o 47	1341.63
1341.55/1342.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1341.55/1342.08	c  3536854    144     1742    84535   48     4306    2284   1728   2636 1341.63
1341.55/1342.08	o 45	1341.64
1342.45/1342.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1342.45/1342.97	c  3536867    144     1756    85710   48     4413    2284   1742   2636 1341.64
1342.45/1342.97	c  3536968    144     1857    90488   48     4623    2513   1843   2636 1341.65
1342.45/1342.97	c  3537218    144     2107   100514   47     5118    2765   2093   2636 1341.70
1342.45/1342.97	c  3537693    144     2582   120080   46     6079    3042   2568   2636 1341.79
1342.45/1342.97	c  3538506    144     1834    78828   42     4339    3347   1820   2636 1341.94
1342.45/1342.97	c  3539826    144     3154   135972   43     6979    3682   3140   2637 1342.17
1342.45/1342.97	o 41	1342.53
1428.52/1429.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1428.52/1429.09	c  3541787    144     3230   138219   42     7214    2284   3216   2638 1342.53
1428.52/1429.09	c  3541887    144     1285    53217   41     3227    2513   1271   2638 1342.56
1428.52/1429.09	c  3542138    144     1536    63436   41     3729    2765   1522   2638 1342.59
1428.52/1429.09	c  3542614    144     2012    82520   41     4685    3042   1998   2638 1342.67
1428.52/1429.09	c  3543427    144     2825   117412   41     6321    3347   2811   2638 1342.82
1428.52/1429.09	c  3544747    144     2429    97372   40     5523    3682   2415   2639 1343.06
1428.52/1429.09	c  3546829    144     2627   105867   40     5924    4051   2613   2640 1343.43
1428.52/1429.09	c  3550052    144     3785   159476   42     8215    4457   3771   2641 1344.07
1428.52/1429.09	c  3554988    144     4183   180931   43     9024    4903   4169   2642 1345.10
1428.52/1429.09	c  3562494    144     4204   184423   43     9077    5394   4190   2645 1346.73
1428.52/1429.09	c  3573855    144     4611   211090   45     9892    5934   4597   2648 1349.56
1428.52/1429.09	c  3590999    144     3682   162433   44     8030    6528   3668   2652 1353.77
1428.52/1429.09	c  3616818    144     6348   292544   46    13359    7181   6334   2658 1360.67
1428.52/1429.09	c  3655650    144     5212   237121   45    11091    7900   5198   2665 1371.72
1428.52/1429.09	c  3714003    144     7709   338525   43    16088    8691   7695   2671 1390.21
1428.52/1429.09	c  3801636    144     7589   353134   46    15838    9561   7575   2677 1420.10
1428.52/1429.09	o 38	1428.63
1428.62/1429.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1428.62/1429.19	c  3825350    144     7201   320556   44    15154    2284   7187   2677 1428.63
1428.62/1429.19	o 32	1428.73
1428.72/1429.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1428.72/1429.20	c  3825356    144     1192    52526   44     3136    2284   1178   2677 1428.73
1428.72/1429.20	o 30	1428.74
1727.95/1728.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1727.95/1728.59	c  3825384    143     1221    54503   44     3275    2282   1207   2677 1428.74
1727.95/1728.59	c  3825484    133     1321    58387   44     3459    2511   1307   2677 1428.76
1727.95/1728.59	c  3825734    132     1571    70062   44     3942    2763   1557   2677 1428.81
1727.95/1728.59	c  3826209    131     2046    92943   45     4906    3040   2032   2677 1428.91
1727.95/1728.59	c  3827022    130     2859   132141   46     6522    3345   2845   2677 1429.10
1727.95/1728.59	c  3828342    130     2457   117738   47     5568    3680   2443   2678 1429.41
1727.95/1728.59	c  3830423    130     2650   127641   48     5954    4049   2636   2678 1429.87
1727.95/1728.59	c  3833646    130     3810   183107   48     8280    4454   3796   2679 1430.72
1727.95/1728.59	c  3838582    130     4219   210279   49     9089    4900   4205   2680 1432.08
1727.95/1728.59	c  3846089    130     4264   206670   48     9180    5391   4250   2681 1434.16
1727.95/1728.59	c  3857450    130     4676   229930   49     9999    5931   4662   2683 1437.39
1727.95/1728.59	c  3874594    130     3771   186209   49     8171    6525   3757   2686 1442.47
1727.95/1728.59	c  3900413    130     6461   317006   49    13564    7178   6447   2688 1450.70
1727.95/1728.59	c  3939245    130     5364   262046   48    11377    7896   5350   2688 1465.05
1727.95/1728.59	c  3997597    130     7858   389283   49    16363    8686   7844   2686 1487.80
1727.95/1728.59	c  4085229    130     7739   382104   49    16131    9555   7725   2678 1525.45
1727.95/1728.59	c  4216781    130     9167   455561   49    18982   10511   9153   2654 1588.76
1727.95/1728.59	c  4414213    130     5356   268957   50    11367   11563   5342   2610 1690.77
1727.95/1728.59	o 29	1728.05
1728.25/1728.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1728.25/1728.88	c  4482898    130    10010   494715   49    20740    2256   9996   2594 1728.05
1728.25/1728.88	o 27	1728.34
1764.64/1765.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1764.64/1765.22	c  4482979    130     1267    61748   48     3237    2256   1253   2593 1728.34
1764.64/1765.22	c  4483079    130     1367    66498   48     3441    2482   1353   2593 1728.35
1764.64/1765.22	c  4483329    130     1617    78092   48     3942    2731   1603   2593 1728.39
1764.64/1765.22	c  4483804    130     2092   101293   48     4880    3005   2078   2594 1728.47
1764.64/1765.22	c  4484619    130     2907   140133   48     6518    3306   2893   2594 1728.64
1764.64/1765.22	c  4485939    130     2525   119537   47     5678    3637   2511   2594 1728.94
1764.64/1765.22	c  4488021    130     2742   130315   47     6125    4001   2728   2595 1729.43
1764.64/1765.22	c  4491244    130     3917   189490   48     8473    4402   3903   2595 1730.20
1764.64/1765.22	c  4496180    130     4345   209212   48     9330    4843   4331   2596 1731.52
1764.64/1765.22	c  4503687    130     4451   215925   48     9536    5328   4437   2597 1733.61
1764.64/1765.22	c  4515048    130     4976   242602   48    10583    5861   4962   2599 1737.05
1764.64/1765.22	c  4532193    130     4286   207990   48     9213    6448   4272   2601 1742.22
1764.64/1765.22	c  4558012    130     3973   189699   47     8576    7093   3959   2603 1750.57
1764.64/1765.22	c  4596844    130     6939   334919   48    14516    7803   6925   2606 1763.91
1764.64/1765.22	o 25	1764.67
1799.93/1800.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.93/1800.56	c  4598777    130     4936   240251   48    10579    2256   4922   2606 1764.67
1799.93/1800.56	c  4598877    130     1285    62157   48     3205    2482   1271   2605 1764.74
1799.93/1800.56	c  4599128    130     1536    75967   49     3712    2731   1522   2606 1764.78
1799.93/1800.56	c  4599603    130     2011    98312   48     4662    3005   1997   2606 1764.88
1799.93/1800.56	c  4600416    130     2824   137846   48     6277    3306   2810   2606 1765.04
1799.93/1800.56	c  4601736    130     2453   117426   47     5543    3637   2439   2606 1765.34
1799.93/1800.56	c  4603817    130     2675   130100   48     5984    4001   2661   2607 1765.81
1799.93/1800.56	c  4607040    130     3847   184797   48     8317    4402   3833   2607 1766.57
1799.93/1800.56	c  4611976    130     4303   203748   47     9242    4843   4289   2608 1767.88
1799.93/1800.56	c  4619483    130     4410   211769   48     9448    5328   4396   2610 1769.91
1799.93/1800.56	c  4630844    130     4957   239886   48    10539    5861   4943   2611 1773.17
1799.93/1800.56	c  4647988    130     4256   205269   48     9129    6448   4242   2613 1778.30
1799.93/1800.56	c  4673807    130     3951   195614   49     8524    7093   3937   2615 1786.66
1799.93/1800.56	c  4712640    130     6917   335172   48    14464    7803   6903   2618 1799.74
1799.93/1800.56	c Resources Exceeded
1799.93/1800.56	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1799.93/1800.56	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 x51 -x52 -x53 -x54 -x55
1799.93/1800.56	v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1799.93/1800.56	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1799.93/1800.56	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 x118 -x119 -x120 x121 x122 x123 x124 x125 x126 -x127 -x128
1799.93/1800.56	v -x129 -x130 x131 -x132 x133 x134 x135 -x136 -x137 x138 x139 -x140 x141 x142 x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151
1799.93/1800.56	v x152 x153 -x154 -x155 x156 -x157 -x158 x159 x160 x161 -x162 x163 x164 -x165 x166 -x167 -x168 x169 x170 x171 -x172
1799.93/1800.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.93/1800.56	c  265  4713356  62153  4803620     7633   371055   7619   2618 1800.00
1799.93/1800.56	c Objective: 25
1799.93/1800.56	s SATISFIABLE
1799.93/1800.56	c Total time: 1800 s

Verifier Data (download as text)

OK	25

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node27/watcher-354947-1176738303 -o ROOT/results/node27/solver-354947-1176738303 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354947-1176738303/instance-354947-1176738303.opb 

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 3403
/proc/meminfo: memFree=1790320/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=11748 CPUtime=0
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 86526171 12029952 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 2937 336 282 324 0 2003 0

[startup+0.0918829 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 3403
/proc/meminfo: memFree=1790320/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=4704 CPUtime=0.08
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 588 0 0 0 8 0 0 0 18 0 1 0 86526171 4816896 553 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 1176 553 312 324 0 245 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4704

[startup+0.101884 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 3403
/proc/meminfo: memFree=1790320/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=4832 CPUtime=0.09
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 606 0 0 0 9 0 0 0 18 0 1 0 86526171 4947968 571 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 1208 571 312 324 0 277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4832

[startup+0.301904 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 3403
/proc/meminfo: memFree=1790320/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=5872 CPUtime=0.29
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 893 0 0 0 29 0 0 0 19 0 1 0 86526171 6012928 858 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 1468 858 312 324 0 537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5872

[startup+0.701945 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 3403
/proc/meminfo: memFree=1790320/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=6788 CPUtime=0.69
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1103 0 0 0 69 0 0 0 22 0 1 0 86526171 6950912 1068 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 1697 1068 312 324 0 766 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6788

[startup+1.50103 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1787240/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=6788 CPUtime=1.49
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1103 0 0 0 148 1 0 0 25 0 1 0 86526171 6950912 1068 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 1697 1068 312 324 0 766 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6788

[startup+3.10119 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1786920/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=7564 CPUtime=3.09
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1295 0 0 0 307 2 0 0 25 0 1 0 86526171 7745536 1260 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 1891 1260 312 324 0 960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7564

[startup+6.30151 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1785832/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=7936 CPUtime=6.29
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1387 0 0 0 626 3 0 0 25 0 1 0 86526171 8126464 1352 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 1984 1352 312 324 0 1053 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7936

[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1785832/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=7912 CPUtime=12.69
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1387 0 0 0 1263 6 0 0 25 0 1 0 86526171 8101888 1352 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 1978 1352 312 324 0 1047 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7912

[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1785128/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=8524 CPUtime=25.48
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1553 0 0 0 2537 11 0 0 25 0 1 0 86526171 8728576 1518 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 2131 1518 312 324 0 1200 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8524

[startup+51.1011 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1784616/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=9128 CPUtime=51.08
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1687 0 0 0 5089 19 0 0 25 0 1 0 86526171 9347072 1652 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 2282 1652 312 324 0 1351 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9128

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1783272/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=10444 CPUtime=102.27
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2017 0 0 0 10195 32 0 0 25 0 1 0 86526171 10694656 1982 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 2611 1982 312 324 0 1680 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 10444

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1782696/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=11092 CPUtime=162.25
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2181 0 0 0 16178 47 0 0 25 0 1 0 86526171 11358208 2146 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 2773 2146 312 324 0 1842 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 11092

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1781864/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=11804 CPUtime=222.23
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2372 0 0 0 22162 61 0 0 25 0 1 0 86526171 12087296 2337 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 2951 2337 312 324 0 2020 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 11804

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1781800/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=11856 CPUtime=282.22
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2385 0 0 0 28149 73 0 0 25 0 1 0 86526171 12140544 2350 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 2964 2350 312 324 0 2033 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 11856

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1781032/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=12676 CPUtime=342.2
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2580 0 0 0 34134 86 0 0 25 0 1 0 86526171 12980224 2545 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3169 2545 312 324 0 2238 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 12676

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1780968/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=12676 CPUtime=402.19
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2588 0 0 0 40119 100 0 0 25 0 1 0 86526171 12980224 2553 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3169 2553 312 324 0 2238 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 12676

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1780968/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=12668 CPUtime=462.17
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2592 0 0 0 46104 113 0 0 25 0 1 0 86526171 12972032 2557 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3167 2557 312 324 0 2236 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 12668

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1780072/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=13540 CPUtime=522.16
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2807 0 0 0 52091 125 0 0 25 0 1 0 86526171 13864960 2772 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3385 2772 312 324 0 2454 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 13540

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1779944/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=13672 CPUtime=582.14
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2846 0 0 0 58077 137 0 0 25 0 1 0 86526171 14000128 2811 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3418 2811 312 324 0 2487 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 13672

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3404
/proc/meminfo: memFree=1779880/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=13672 CPUtime=642.13
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2846 0 0 0 64066 147 0 0 25 0 1 0 86526171 14000128 2811 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3418 2811 312 324 0 2487 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 13672


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

/proc/meminfo: memFree=1778792/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14500 CPUtime=1061.92
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3046 0 0 0 105963 229 0 0 25 0 1 0 86526171 14848000 3009 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3625 3009 312 324 0 2694 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 14500

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3602
/proc/meminfo: memFree=1778792/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14500 CPUtime=1121.9
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3050 0 0 0 111951 239 0 0 25 0 1 0 86526171 14848000 3013 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3625 3013 312 324 0 2694 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 14500

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3602
/proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14628 CPUtime=1181.89
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3077 0 0 0 117939 250 0 0 25 0 1 0 86526171 14979072 3040 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3657 3040 312 324 0 2726 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 14628

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3602
/proc/meminfo: memFree=1778600/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14708 CPUtime=1241.88
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 123927 261 0 0 25 0 1 0 86526171 15060992 3057 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3677 3057 312 324 0 2746 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 14708

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3602
/proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14560 CPUtime=1301.86
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 129908 278 0 0 25 0 1 0 86526171 14909440 3034 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3640 3034 312 324 0 2709 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 14560

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3602
/proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1361.85
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 135889 296 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 14548

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3602
/proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1421.83
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 141874 309 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 14548

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3602
/proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1481.82
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 147860 322 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 14548

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3602
/proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1541.8
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 153845 335 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 14548

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3602
/proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1601.78
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 159835 343 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 14548

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 3602
/proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1661.77
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 165824 353 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 14548

[startup+1722.3 s]
/proc/loadavg: 1.03 0.99 0.98 2/66 3602
/proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1721.75
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 171813 362 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 14548

[startup+1782.3 s]
/proc/loadavg: 1.01 0.99 0.98 2/66 3602
/proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1781.74
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 177798 376 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551381 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 14548

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

[startup+1791.91 s]
/proc/loadavg: 1.01 0.99 0.98 2/66 3602
/proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1791.34
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 178756 378 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 1900028 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 14548

[startup+1795.1 s]
/proc/loadavg: 1.01 0.99 0.98 2/66 3602
/proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1794.54
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 179074 380 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 14548

[startup+1798.3 s]
/proc/loadavg: 1.01 0.99 0.98 2/66 3602
/proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1797.73
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 179392 381 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 14548

[startup+1799.9 s]
/proc/loadavg: 1.01 0.99 0.98 2/66 3602
/proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1799.33
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 179552 381 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1799.33
Current children cumulated vsize (KiB) 14548

[startup+1800.3 s]
/proc/loadavg: 1.01 0.99 0.98 2/66 3602
/proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1799.73
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 179592 381 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 1900263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1799.73
Current children cumulated vsize (KiB) 14548

[startup+1800.5 s]
/proc/loadavg: 1.01 0.99 0.98 2/66 3602
/proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956
[pid=3403] ppid=3401 vsize=14548 CPUtime=1799.93
/proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 179612 381 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3403/statm: 3637 3031 312 324 0 2706 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 14548

Child status: 0
Real time (s): 1800.56
CPU time (s): 1800
CPU user time (s): 1796.18
CPU system time (s): 3.82142
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 14716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.18
system time used= 3.82142
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 1626

runsolver used 1.22581 second user time and 3.80042 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Mon Apr 16 15:45:03 UTC 2007

IDJOB= 354947
IDBENCH= 2924
IDSOLVER= 163
FILE ID= node27/354947-1176738303

PBS_JOBID= 4559548

Free space on /tmp= 66514 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354947-1176738303/instance-354947-1176738303.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-354947-1176738303 -o ROOT/results/node27/solver-354947-1176738303 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354947-1176738303/instance-354947-1176738303.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  a70b0edfadf87ffd0bc1b32400cae43b

RANDOM SEED= 761722407

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
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:       1790792 kB
Buffers:         21104 kB
Cached:         178632 kB
SwapCached:       2904 kB
Active:          53364 kB
Inactive:       156768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1790792 kB
SwapTotal:     4192956 kB
SwapFree:      4184636 kB
Dirty:            4468 kB
Writeback:           0 kB
Mapped:          16848 kB
Slab:            41016 kB
Committed_AS:  1568104 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66514 MiB

End job on node27 on Mon Apr 16 16:15:03 UTC 2007