Trace number 433537

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)25 1800.04 1800.51

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.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433537-1177960843/instance-433537-1177960843.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.003 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.005 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.01
0.00/0.00	c Switching off LPR mode.
0.00/0.00	o 643	0.005
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   7769 0.01
0.00/0.03	o 606	0.027
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   9296 0.03
0.00/0.04	c      353    172      369    25361   68     1549    2575    355   9540 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   9315 0.04
0.00/0.04	o 504	0.038
0.04/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.06	c      356    172      374    25845   69     1727    2340    360   9368 0.04
0.04/0.06	c      456    172      474    29995   63     1965    2575    460   9913 0.05
0.04/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   9426 0.07
0.09/0.10	c      892    172      911    53745   58     2936    2833    897   9010 0.10
0.09/0.10	o 493	0.104
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   8875 0.10
0.19/0.25	c     1024    172     1044    61069   58     3333    2575   1030   8605 0.12
0.19/0.25	c     1274    172     1294    75470   58     3763    2833   1280   8326 0.15
0.19/0.25	c     1749    172     1769   101015   57     4762    3117   1755   7843 0.22
0.19/0.25	o 488	0.248
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   7701 0.25
0.39/0.47	c     2010    172     2031   116313   57     5381    2575   2017   7701 0.26
0.39/0.47	c     2260    172     2281   130493   57     5887    2833   2267   7558 0.30
0.39/0.47	c     2737    172     2758   158248   57     6847    3117   2744   7202 0.38
0.39/0.47	o 473	0.473
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   6942 0.47
0.39/0.49	c     3390    172     1757   103218   58     4425    2575   1743   6946 0.49
0.39/0.49	o 468	0.489
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   6940 0.49
0.39/0.49	o 460	0.49
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   6928 0.49
0.39/0.49	o 458	0.494
0.49/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.51	c     3423    172     1793   105851   59     4795    2340   1779   6929 0.49
0.49/0.51	o 438	0.507
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   6899 0.51
0.49/0.53	c     3605    172     1976   115584   58     5279    2575   1962   6906 0.52
0.49/0.53	o 428	0.53
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   6892 0.53
0.49/0.54	o 426	0.541
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c     3720    172     2093   122256   58     5680    2340   2079   6863 0.54
0.49/0.55	o 407	0.547
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   6855 0.55
0.59/0.61	c     3850    172     2224   129330   58     6123    2575   2210   6814 0.56
0.59/0.61	c     4100    172     2474   145369   58     6591    2833   2460   6743 0.61
0.59/0.61	o 333	0.616
0.59/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.63	c     4136    172     2511   146922   58     6620    2340   2497   6714 0.62
0.59/0.63	o 331	0.627
0.59/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.64	c     4184    172     1234    72683   58     3274    2340   1220   6673 0.63
0.59/0.64	o 329	0.638
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     4279    172     1330    80093   60     3569    2340   1316   6706 0.64
0.59/0.65	o 273	0.647
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   6714 0.65
0.59/0.66	c     4447    172     1499    88125   58     4040    2575   1485   6727 0.66
0.59/0.66	o 255	0.664
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   6731 0.66
0.59/0.67	o 253	0.672
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   6742 0.67
0.69/0.73	c     4631    172     1685    97661   57     4610    2575   1671   6750 0.69
0.69/0.73	c     4881    172     1935   110417   57     5094    2833   1921   6817 0.72
0.69/0.73	o 241	0.731
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   6829 0.73
0.69/0.74	o 237	0.745
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   6805 0.74
0.79/0.82	c     5170    172     2226   123578   55     5902    2575   2212   6820 0.76
0.79/0.82	c     5421    172     2477   136994   55     6413    2833   2463   6759 0.80
0.79/0.82	o 208	0.823
6.39/6.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.47	c     5538    172     2595   142374   54     6696    2340   2581   6729 0.82
6.39/6.47	c     5639    172     1286    64127   49     3283    2575   1272   6729 0.84
6.39/6.47	c     5890    172     1537    77236   50     3794    2833   1523   6825 0.86
6.39/6.47	c     6368    172     2015   105240   52     4748    3117   2001   6982 0.91
6.39/6.47	c     7181    172     2828   139863   49     6343    3429   2814   7202 1.00
6.39/6.47	c     8501    172     2372   113403   47     5437    3772   2358   7222 1.18
6.39/6.47	c    10582    172     2510   114027   45     5694    4150   2496   7111 1.49
6.39/6.47	c    13805    172     3601   152720   42     7880    4566   3587   7072 1.95
6.39/6.47	c    18741    172     3860   185961   48     8390    5023   3846   6453 2.90
6.39/6.47	c    26248    172     3693   163473   44     8092    5526   3679   6236 4.21
6.39/6.47	c    37609    172     3776   157960   41     8263    6079   3762   5893 6.38
6.39/6.47	o 206	6.471
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   5919 6.47
6.59/6.69	c    38406    172     1285    65383   50     3270    2575   1271   5867 6.54
6.59/6.69	c    38656    172     1535    76033   49     3785    2833   1521   5881 6.57
6.59/6.69	c    39131    172     2010    97435   48     4729    3117   1996   5901 6.63
6.59/6.69	o 200	6.694
6.69/6.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.78	c    39637    172     2517   123726   49     5849    2340   2503   5921 6.69
6.69/6.78	c    39737    172     1285    61131   47     3269    2575   1271   5922 6.71
6.69/6.78	c    39987    172     1535    74196   48     3768    2833   1521   5937 6.74
6.69/6.78	o 197	6.776
6.79/6.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.86	c    40351    172     1900    92846   48     4616    2340   1886   5954 6.78
6.79/6.86	c    40451    172     2000    96510   48     4796    2575   1986   5959 6.79
6.79/6.86	c    40701    172     2250   108398   48     5303    2833   2236   5967 6.82
6.79/6.86	o 195	6.857
6.89/6.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.91	c    40942    172     2492   119666   48     5921    2340   2478   5970 6.86
6.89/6.91	c    41042    172     1285    61600   47     3250    2575   1271   5968 6.88
6.89/6.91	o 194	6.906
6.89/6.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.92	c    41256    172     1500    74537   49     3814    2340   1486   5973 6.91
6.89/6.92	o 190	6.915
6.89/6.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.95	c    41315    172     1560    77757   49     4036    2340   1546   5974 6.92
6.89/6.95	c    41415    172     1660    80963   48     4233    2575   1646   5980 6.92
6.89/6.95	o 186	6.951
6.99/7.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.10	c    41575    172     1821    89249   49     4681    2340   1807   5981 6.95
6.99/7.10	c    41675    172     1921    94302   49     4877    2575   1907   5983 6.96
6.99/7.10	c    41925    172     2171   104222   48     5368    2833   2157   5990 7.00
6.99/7.10	c    42403    172     2649   130821   49     6327    3117   2635   5997 7.07
6.99/7.10	o 185	7.095
7.09/7.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.10	c    42535    172     2782   136559   49     6708    2340   2768   5995 7.09
7.09/7.10	o 181	7.102
7.09/7.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.11	c    42541    172     1192    59882   50     3201    2340   1178   5990 7.10
7.09/7.11	o 179	7.105
7.09/7.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.11	c    42561    172     1213    61013   50     3350    2340   1199   5990 7.11
7.09/7.11	o 175	7.108
7.09/7.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.12	c    42594    172     1247    62375   50     3506    2340   1233   5992 7.11
7.09/7.12	o 173	7.116
7.09/7.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.13	c    42637    172     1291    65137   50     3706    2340   1277   5991 7.12
7.09/7.13	c    42737    172     1391    68719   49     3933    2575   1377   5995 7.13
7.09/7.13	o 124	7.134
7.09/7.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.15	c    42770    172     1425    70766   49     4095    2340   1411   5995 7.13
7.09/7.15	o 118	7.146
7.09/7.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.15	c    42833    168     1489    73184   49     4331    2332   1475   5993 7.15
7.09/7.15	o 116	7.148
7.09/7.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.15	c    42846    168     1503    74259   49     4474    2332   1489   5994 7.15
7.09/7.15	o 114	7.153
7.19/7.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.21	c    42867    168     1525    75813   49     4618    2332   1511   5992 7.15
7.19/7.21	c    42967    165     1625    80171   49     4817    2566   1611   5994 7.17
7.19/7.21	o 112	7.205
8.79/8.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.79/8.81	c    43172    164     1831    90125   49     5331    2324   1817   5991 7.21
8.79/8.81	c    43272    162     1931    93697   48     5534    2557   1917   5992 7.22
8.79/8.81	c    43522    162     2181   103056   47     6028    2813   2167   5998 7.26
8.79/8.81	c    43997    162     2656   121782   45     6986    3095   2642   5998 7.33
8.79/8.81	c    44810    162     1876    77254   41     4436    3405   1862   5997 7.47
8.79/8.81	c    46130    160     3196   126403   39     7081    3746   3182   6039 7.64
8.79/8.81	c    48212    160     3352   128191   38     7394    4121   3338   6074 7.94
8.79/8.81	c    51435    160     2363    95113   40     5406    4534   2349   6056 8.49
8.79/8.81	o 111	8.807
8.89/8.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.89/8.91	c    53538    159     4467   180201   40     9726    2314   4453   6078 8.81
8.89/8.91	c    53638    159     1285    52308   40     3260    2546   1271   6062 8.85
8.89/8.91	c    53888    159     1535    62225   40     3761    2801   1521   6069 8.88
8.89/8.91	o 105	8.912
10.89/10.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.91	c    54156    159     1804    72638   40     4393    2314   1790   6076 8.91
10.89/10.91	c    54256    159     1904    76915   40     4597    2546   1890   6079 8.93
10.89/10.91	c    54506    159     2154    87128   40     5099    2801   2140   6083 8.96
10.89/10.91	c    54981    159     2629   105906   40     6041    3082   2615   6093 9.02
10.89/10.91	c    55794    159     1867    75050   40     4420    3391   1853   6101 9.14
10.89/10.91	c    57114    159     3187   128505   40     7043    3731   3173   6129 9.32
10.89/10.91	c    59195    159     3350   138746   41     7379    4105   3336   6133 9.65
10.89/10.91	c    62418    159     2367    98082   41     5414    4516   2353   6144 10.16
10.89/10.91	o 104	10.906
10.89/10.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.91	c    66983    159     2329    89260   38     5446    2314   2315   6141 10.91
10.89/10.91	o 102	10.908
22.98/23.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.98/23.05	c    66993    159     2340    89785   38     5566    2314   2326   6141 10.91
22.98/23.05	c    67094    159     1212    50431   41     3116    2546   1198   6138 10.93
22.98/23.05	c    67344    159     1462    60071   41     3611    2801   1448   6147 10.95
22.98/23.05	c    67819    159     1937    78589   40     4562    3082   1923   6162 11.01
22.98/23.05	c    68632    159     2750   112434   40     6182    3391   2736   6177 11.11
22.98/23.05	c    69952    159     2322    93054   40     5315    3731   2308   6197 11.29
22.98/23.05	c    72033    158     2485   111068   44     5657    4105   2471   6192 11.63
22.98/23.05	c    75256    158     3607   146174   40     7876    4516   3593   6243 12.05
22.98/23.05	c    80192    158     3946   162169   41     8571    4968   3932   6229 12.87
22.98/23.05	c    87698    158     3868   160965   41     8414    5465   3854   6188 14.17
22.98/23.05	c    99059    158     4121   177772   43     8929    6012   4107   6067 16.32
22.98/23.05	c   116203    158     6002   268254   44    12679    6614   5988   5805 20.02
22.98/23.05	o 73	23.05
23.08/23.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.08/23.12	c   129805    158     6185   260466   42    13159    2312   6171   5631 23.05
23.08/23.12	o 69	23.113
1267.86/1268.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1267.86/1268.24	c   129808    158     1189    51183   43     3167    2312   1175   5616 23.11
1267.86/1268.24	c   129908    158     1289    57045   44     3367    2544   1275   5617 23.12
1267.86/1268.24	c   130158    158     1539    66172   42     3854    2799   1525   5622 23.15
1267.86/1268.24	c   130633    158     2014    83280   41     4805    3079   2000   5629 23.21
1267.86/1268.24	c   131446    158     2827   115356   40     6431    3387   2813   5637 23.32
1267.86/1268.24	c   132766    158     2416    90036   37     5509    3726   2402   5650 23.50
1267.86/1268.24	c   134847    158     2580    99684   38     5835    4099   2566   5660 23.82
1267.86/1268.24	c   138071    158     3709   141085   38     8102    4509   3695   5680 24.31
1267.86/1268.24	c   143008    158     4056   155056   38     8792    4960   4042   5710 25.04
1267.86/1268.24	c   150514    158     3978   156769   39     8632    5457   3964   5714 26.34
1267.86/1268.24	c   161875    158     4248   160824   37     9177    6003   4234   5701 28.39
1267.86/1268.24	c   179019    158     3097   123650   39     6864    6604   3083   5654 31.66
1267.86/1268.24	c   204838    158     5526   228629   41    11711    7265   5512   5550 36.90
1267.86/1268.24	c   243670    158     3970   160416   40     8594    7992   3956   5321 45.79
1267.86/1268.24	c   302022    158     5754   236498   41    12177    8792   5740   5048 59.83
1267.86/1268.24	c   389654    158     4561   182917   40     9801    9672   4547   4711 82.71
1267.86/1268.24	c   521206    158     9309   365085   39    19288   10640   9295   4251 122.58
1267.86/1268.24	c   718638    158     8346   344610   41    17360   11705   8332   3893 184.57
1267.86/1268.24	c  1014890    158     9894   405155   40    20453   12876   9880   3489 290.85
1267.86/1268.24	c  1459373    158     7194   299589   41    15063   14164   7180   3131 466.09
1267.86/1268.24	c  2126201    158    11579   499124   43    23824   15581  11565   2780 764.68
1267.86/1268.24	c  3126546    158     9383   353577   37    19445   17140   9369   2526 1237.68
1267.86/1268.24	o 67	1267.91
1271.06/1271.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1271.06/1271.43	c  3193593    158    16103   626593   38    32990    2312  16089   2518 1267.91
1271.06/1271.43	c  3193693    158     1285    59031   45     3238    2544   1271   2517 1268.43
1271.06/1271.43	c  3193943    158     1535    70585   45     3763    2799   1521   2517 1268.46
1271.06/1271.43	c  3194418    158     2010    86545   43     4703    3079   1996   2518 1268.51
1271.06/1271.43	c  3195231    158     2823   115673   40     6326    3387   2809   2518 1268.61
1271.06/1271.43	c  3196551    158     2396    89752   37     5479    3726   2382   2519 1268.80
1271.06/1271.43	c  3198632    158     2576    92492   35     5836    4099   2562   2520 1269.10
1271.06/1271.43	c  3201855    158     3705   139940   37     8080    4509   3691   2521 1269.58
1271.06/1271.43	c  3206791    158     4030   147652   36     8739    4960   4016   2524 1270.27
1271.06/1271.43	o 66	1271.1
1318.85/1319.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1318.85/1319.23	c  3211930    158     4128   159108   38     9040    2312   4114   2526 1271.10
1318.85/1319.23	c  3212030    158     1285    51014   39     3242    2544   1271   2526 1271.14
1318.85/1319.23	c  3212280    158     1535    59430   38     3742    2799   1521   2527 1271.17
1318.85/1319.23	c  3212755    158     2010    75265   37     4676    3079   1996   2527 1271.21
1318.85/1319.23	c  3213568    158     2823   102813   36     6323    3387   2809   2527 1271.29
1318.85/1319.23	c  3214888    158     2400    83017   34     5489    3726   2386   2528 1271.46
1318.85/1319.23	c  3216969    158     2584    96793   37     5843    4099   2570   2529 1271.75
1318.85/1319.23	c  3220192    158     3701   145245   39     8077    4509   3687   2531 1272.24
1318.85/1319.23	c  3225128    158     4034   148413   36     8726    4960   4020   2533 1272.94
1318.85/1319.23	c  3232634    158     3971   142916   35     8597    5457   3957   2537 1274.18
1318.85/1319.23	c  3243996    158     4254   157865   37     9154    6003   4240   2542 1275.91
1318.85/1319.23	c  3261140    158     3108   113241   36     6872    6604   3094   2549 1279.08
1318.85/1319.23	c  3286959    158     5490   204297   37    11667    7265   5476   2560 1283.86
1318.85/1319.23	c  3325791    158     3920   149571   38     8502    7992   3906   2573 1292.28
1318.85/1319.23	c  3384144    158     5700   219340   38    12054    8792   5686   2593 1304.74
1318.85/1319.23	o 59	1318.89
1318.85/1319.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1318.85/1319.28	c  3440680    158     4522   183961   40     9832    2312   4508   2608 1318.89
1318.85/1319.28	o 57	1318.93
1324.45/1324.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1324.45/1324.84	c  3440711    156     1217    53432   43     3220    2308   1203   2608 1318.93
1324.45/1324.84	c  3440811    146     1317    57253   43     3410    2539   1303   2608 1318.95
1324.45/1324.84	c  3441061    145     1567    68612   43     3907    2793   1553   2608 1318.99
1324.45/1324.84	c  3441536    144     2042    90077   44     4853    3073   2028   2609 1319.07
1324.45/1324.84	c  3442350    144     2856   127835   44     6481    3381   2842   2609 1319.22
1324.45/1324.84	c  3443670    144     2447   111415   45     5543    3720   2433   2609 1319.47
1324.45/1324.84	c  3445751    144     2615   123870   47     5898    4093   2601   2610 1319.92
1324.45/1324.84	c  3448974    144     3757   181532   48     8197    4503   3743   2611 1320.64
1324.45/1324.84	c  3453910    144     4081   191901   47     8842    4954   4067   2612 1321.88
1324.45/1324.84	c  3461416    144     4026   186266   46     8735    5450   4012   2614 1323.79
1324.45/1324.84	o 55	1324.49
1324.45/1324.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1324.45/1324.87	c  3464074    144     3915   182400   46     8595    2284   3901   2615 1324.49
1324.45/1324.87	c  3464174    144     1285    60787   47     3239    2513   1271   2615 1324.52
1324.45/1324.87	o 53	1324.53
1343.14/1343.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1343.14/1343.55	c  3464220    144     1332    63946   48     3409    2284   1318   2615 1324.53
1343.14/1343.55	c  3464320    144     1432    68826   48     3615    2513   1418   2615 1324.54
1343.14/1343.55	c  3464570    144     1682    79453   47     4102    2765   1668   2615 1324.58
1343.14/1343.55	c  3465046    144     2158   101060   46     5072    3042   2144   2615 1324.66
1343.14/1343.55	c  3465859    144     2971   137357   46     6687    3347   2957   2616 1324.82
1343.14/1343.55	c  3467179    144     2563   112857   44     5785    3682   2549   2616 1325.06
1343.14/1343.55	c  3469261    144     2761   123295   44     6188    4051   2747   2617 1325.49
1343.14/1343.55	c  3472484    144     3921   183220   46     8516    4457   3907   2618 1326.18
1343.14/1343.55	c  3477420    144     4296   189816   44     9264    4903   4282   2619 1327.27
1343.14/1343.55	c  3484926    144     4332   195792   45     9327    5394   4318   2622 1329.05
1343.14/1343.55	c  3496287    144     4738   216675   45    10142    5934   4724   2624 1331.94
1343.14/1343.55	c  3513431    144     3811   172765   45     8287    6528   3797   2628 1336.49
1343.14/1343.55	o 51	1343.2
1343.24/1343.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1343.24/1343.63	c  3536299    144     3553   172865   48     7854    2284   3539   2632 1343.20
1343.24/1343.63	c  3536400    144     1286    62437   48     3240    2513   1272   2632 1343.23
1343.24/1343.63	c  3536650    144     1536    73231   47     3737    2765   1522   2632 1343.27
1343.24/1343.63	o 49	1343.28
1343.24/1343.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1343.24/1343.65	c  3536736    144     1623    78377   48     3988    2284   1609   2632 1343.28
1343.24/1343.65	c  3536836    144     1723    83189   48     4191    2513   1709   2632 1343.30
1343.24/1343.65	o 47	1343.3
1343.24/1343.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1343.24/1343.65	c  3536854    144     1742    84535   48     4306    2284   1728   2632 1343.30
1343.24/1343.65	o 45	1343.31
1344.14/1344.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1344.14/1344.54	c  3536867    144     1756    85710   48     4413    2284   1742   2632 1343.31
1344.14/1344.54	c  3536968    144     1857    90488   48     4623    2513   1843   2633 1343.32
1344.14/1344.54	c  3537218    144     2107   100514   47     5118    2765   2093   2633 1343.37
1344.14/1344.54	c  3537693    144     2582   120080   46     6079    3042   2568   2633 1343.46
1344.14/1344.54	c  3538506    144     1834    78828   42     4339    3347   1820   2633 1343.61
1344.14/1344.54	c  3539826    144     3154   135972   43     6979    3682   3140   2634 1343.84
1344.14/1344.54	o 41	1344.19
1430.11/1430.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1430.11/1430.55	c  3541787    144     3230   138219   42     7214    2284   3216   2634 1344.19
1430.11/1430.55	c  3541887    144     1285    53217   41     3227    2513   1271   2634 1344.22
1430.11/1430.55	c  3542138    144     1536    63436   41     3729    2765   1522   2635 1344.26
1430.11/1430.55	c  3542614    144     2012    82520   41     4685    3042   1998   2635 1344.33
1430.11/1430.55	c  3543427    144     2825   117412   41     6321    3347   2811   2635 1344.48
1430.11/1430.55	c  3544747    144     2429    97372   40     5523    3682   2415   2636 1344.72
1430.11/1430.55	c  3546829    144     2627   105867   40     5924    4051   2613   2636 1345.09
1430.11/1430.55	c  3550052    144     3785   159476   42     8215    4457   3771   2638 1345.72
1430.11/1430.55	c  3554988    144     4183   180931   43     9024    4903   4169   2639 1346.75
1430.11/1430.55	c  3562494    144     4204   184423   43     9077    5394   4190   2642 1348.38
1430.11/1430.55	c  3573855    144     4611   211090   45     9892    5934   4597   2645 1351.16
1430.11/1430.55	c  3590999    144     3682   162433   44     8030    6528   3668   2649 1355.35
1430.11/1430.55	c  3616818    144     6348   292544   46    13359    7181   6334   2654 1362.28
1430.11/1430.55	c  3655650    144     5212   237121   45    11091    7900   5198   2661 1373.28
1430.11/1430.55	c  3714003    144     7709   338525   43    16088    8691   7695   2668 1391.79
1430.11/1430.55	c  3801636    144     7589   353134   46    15838    9561   7575   2674 1421.67
1430.11/1430.55	o 38	1430.17
1430.21/1430.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1430.21/1430.65	c  3825350    144     7201   320556   44    15154    2284   7187   2674 1430.17
1430.21/1430.65	o 32	1430.28
1430.21/1430.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1430.21/1430.65	c  3825356    144     1192    52526   44     3136    2284   1178   2674 1430.28
1430.21/1430.65	o 30	1430.28
1729.75/1730.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1729.75/1730.27	c  3825384    143     1221    54503   44     3275    2282   1207   2674 1430.28
1729.75/1730.27	c  3825484    133     1321    58387   44     3459    2511   1307   2674 1430.30
1729.75/1730.27	c  3825734    132     1571    70062   44     3942    2763   1557   2674 1430.35
1729.75/1730.27	c  3826209    131     2046    92943   45     4906    3040   2032   2674 1430.45
1729.75/1730.27	c  3827022    130     2859   132141   46     6522    3345   2845   2675 1430.64
1729.75/1730.27	c  3828342    130     2457   117738   47     5568    3680   2443   2675 1430.94
1729.75/1730.27	c  3830423    130     2650   127641   48     5954    4049   2636   2675 1431.40
1729.75/1730.27	c  3833646    130     3810   183107   48     8280    4454   3796   2676 1432.23
1729.75/1730.27	c  3838582    130     4219   210279   49     9089    4900   4205   2677 1433.59
1729.75/1730.27	c  3846089    130     4264   206670   48     9180    5391   4250   2678 1435.66
1729.75/1730.27	c  3857450    130     4676   229930   49     9999    5931   4662   2680 1438.88
1729.75/1730.27	c  3874594    130     3771   186209   49     8171    6525   3757   2683 1443.98
1729.75/1730.27	c  3900413    130     6461   317006   49    13564    7178   6447   2685 1452.14
1729.75/1730.27	c  3939245    130     5364   262046   48    11377    7896   5350   2686 1466.50
1729.75/1730.27	c  3997597    130     7858   389283   49    16363    8686   7844   2684 1489.27
1729.75/1730.27	c  4085229    130     7739   382104   49    16131    9555   7725   2675 1526.96
1729.75/1730.27	c  4216781    130     9167   455561   49    18982   10511   9153   2651 1590.38
1729.75/1730.27	c  4414213    130     5356   268957   50    11367   11563   5342   2607 1692.58
1729.75/1730.27	o 29	1729.82
1730.04/1730.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1730.04/1730.55	c  4482898    130    10010   494715   49    20740    2256   9996   2591 1729.82
1730.04/1730.55	o 27	1730.11
1766.23/1766.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1766.23/1766.76	c  4482979    130     1267    61748   48     3237    2256   1253   2591 1730.11
1766.23/1766.76	c  4483079    130     1367    66498   48     3441    2482   1353   2591 1730.12
1766.23/1766.76	c  4483329    130     1617    78092   48     3942    2731   1603   2591 1730.16
1766.23/1766.76	c  4483804    130     2092   101293   48     4880    3005   2078   2591 1730.24
1766.23/1766.76	c  4484619    130     2907   140133   48     6518    3306   2893   2591 1730.40
1766.23/1766.76	c  4485939    130     2525   119537   47     5678    3637   2511   2591 1730.70
1766.23/1766.76	c  4488021    130     2742   130315   47     6125    4001   2728   2592 1731.18
1766.23/1766.76	c  4491244    130     3917   189490   48     8473    4402   3903   2593 1731.94
1766.23/1766.76	c  4496180    130     4345   209212   48     9330    4843   4331   2594 1733.24
1766.23/1766.76	c  4503687    130     4451   215925   48     9536    5328   4437   2595 1735.33
1766.23/1766.76	c  4515048    130     4976   242602   48    10583    5861   4962   2596 1738.78
1766.23/1766.76	c  4532193    130     4286   207990   48     9213    6448   4272   2598 1743.97
1766.23/1766.76	c  4558012    130     3973   189699   47     8576    7093   3959   2601 1752.21
1766.23/1766.76	c  4596844    130     6939   334919   48    14516    7803   6925   2603 1765.55
1766.23/1766.76	o 25	1766.31
1800.02/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.50	c  4598777    130     4936   240251   48    10579    2256   4922   2603 1766.31
1800.02/1800.50	c  4598877    130     1285    62157   48     3205    2482   1271   2603 1766.38
1800.02/1800.50	c  4599128    130     1536    75967   49     3712    2731   1522   2603 1766.42
1800.02/1800.50	c  4599603    130     2011    98312   48     4662    3005   1997   2603 1766.51
1800.02/1800.50	c  4600416    130     2824   137846   48     6277    3306   2810   2603 1766.67
1800.02/1800.50	c  4601736    130     2453   117426   47     5543    3637   2439   2604 1766.97
1800.02/1800.50	c  4603817    130     2675   130100   48     5984    4001   2661   2604 1767.45
1800.02/1800.50	c  4607040    130     3847   184797   48     8317    4402   3833   2605 1768.21
1800.02/1800.50	c  4611976    130     4303   203748   47     9242    4843   4289   2606 1769.51
1800.02/1800.50	c  4619483    130     4410   211769   48     9448    5328   4396   2607 1771.52
1800.02/1800.50	c  4630844    130     4957   239886   48    10539    5861   4943   2609 1774.74
1800.02/1800.50	c  4647988    130     4256   205269   48     9129    6448   4242   2611 1779.90
1800.02/1800.50	c  4673807    130     3951   195614   49     8524    7093   3937   2613 1788.29
1800.02/1800.50	c Caught signal: 15
1800.02/1800.50	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
1800.02/1800.50	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
1800.02/1800.50	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
1800.02/1800.50	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
1800.02/1800.50	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 x118 -x119 -x120 x121 x122 x123 x124 x125 x126 -x127 -x128
1800.02/1800.50	v -x129 -x130 x131 -x132 x133 x134 x135 -x136 -x137 x138 x139 -x140 x141 x142 x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151
1800.02/1800.50	v x152 x153 -x154 -x155 x156 -x157 -x158 x159 x160 x161 -x162 x163 x164 -x165 x166 -x167 -x168 x169 x170 x171 -x172
1800.02/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.50	c  264  4708603  62145  4798834     6472   307734   6458   2615 1800.04
1800.02/1800.50	c Objective: 25
1800.02/1800.50	s SATISFIABLE
1800.02/1800.50	c Total time: 1800.04 s

Verifier Data (download as text)

OK	25

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node17/watcher-433537-1177960843 -o ROOT/results/node17/solver-433537-1177960843 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433537-1177960843/instance-433537-1177960843.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.99 3/77 6469
/proc/meminfo: memFree=1870840/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=11748 CPUtime=0
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 244001842 12029952 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 2937 334 280 324 0 2004 0

[startup+0.0460829 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 6469
/proc/meminfo: memFree=1870840/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=4444 CPUtime=0.04
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 507 0 0 0 4 0 0 0 18 0 1 0 244001842 4550656 474 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 1111 474 310 324 0 181 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4444

[startup+0.101087 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 6469
/proc/meminfo: memFree=1870840/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=4704 CPUtime=0.09
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 600 0 0 0 9 0 0 0 18 0 1 0 244001842 4816896 567 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 1176 567 310 324 0 246 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4704

[startup+0.301108 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 6469
/proc/meminfo: memFree=1870840/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=5872 CPUtime=0.29
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 887 0 0 0 29 0 0 0 19 0 1 0 244001842 6012928 854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 1468 854 310 324 0 538 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5872

[startup+0.70115 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 6469
/proc/meminfo: memFree=1870840/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=6788 CPUtime=0.69
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1099 0 0 0 69 0 0 0 23 0 1 0 244001842 6950912 1066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 1697 1066 310 324 0 767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6788

[startup+1.50123 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6470
/proc/meminfo: memFree=1867760/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=6788 CPUtime=1.49
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1099 0 0 0 149 0 0 0 25 0 1 0 244001842 6950912 1066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091743 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 1697 1066 310 324 0 767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6788

[startup+3.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6470
/proc/meminfo: memFree=1867504/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=7564 CPUtime=3.09
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1285 0 0 0 309 0 0 0 25 0 1 0 244001842 7745536 1252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 1891 1252 310 324 0 961 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7564

[startup+6.30173 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6470
/proc/meminfo: memFree=1866224/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=7936 CPUtime=6.29
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1383 0 0 0 629 0 0 0 25 0 1 0 244001842 8126464 1350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3290965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 1984 1350 310 324 0 1054 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7936

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6470
/proc/meminfo: memFree=1866224/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=7912 CPUtime=12.68
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1383 0 0 0 1268 0 0 0 25 0 1 0 244001842 8101888 1350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 1978 1350 310 324 0 1048 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7912

[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6470
/proc/meminfo: memFree=1865648/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=8524 CPUtime=25.48
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1549 0 0 0 2548 0 0 0 25 0 1 0 244001842 8728576 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 2131 1516 310 324 0 1201 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8524

[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6470
/proc/meminfo: memFree=1865136/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=9128 CPUtime=51.07
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1683 0 0 0 5106 1 0 0 25 0 1 0 244001842 9347072 1650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551515 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 2282 1650 310 324 0 1352 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9128

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6470
/proc/meminfo: memFree=1863792/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=10444 CPUtime=102.26
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2013 0 0 0 10225 1 0 0 25 0 1 0 244001842 10694656 1980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 2611 1980 310 324 0 1681 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 10444

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6470
/proc/meminfo: memFree=1863088/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=11092 CPUtime=162.24
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2177 0 0 0 16222 2 0 0 25 0 1 0 244001842 11358208 2144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 2773 2144 310 324 0 1843 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 11092

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6470
/proc/meminfo: memFree=1862192/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=11804 CPUtime=222.22
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2368 0 0 0 22220 2 0 0 25 0 1 0 244001842 12087296 2335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 2951 2335 310 324 0 2021 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 11804

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6470
/proc/meminfo: memFree=1862064/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=11856 CPUtime=282.21
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2381 0 0 0 28218 3 0 0 25 0 1 0 244001842 12140544 2348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 2964 2348 310 324 0 2034 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 11856

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6470
/proc/meminfo: memFree=1861232/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=12676 CPUtime=342.2
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2576 0 0 0 34216 4 0 0 25 0 1 0 244001842 12980224 2543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3169 2543 310 324 0 2239 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 12676

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6470
/proc/meminfo: memFree=1861104/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=12676 CPUtime=402.18
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2584 0 0 0 40214 4 0 0 25 0 1 0 244001842 12980224 2551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3169 2551 310 324 0 2239 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 12676

[startup+462.301 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 6470
/proc/meminfo: memFree=1861040/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=12668 CPUtime=462.17
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2588 0 0 0 46212 5 0 0 25 0 1 0 244001842 12972032 2555 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3167 2555 310 324 0 2237 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 12668

[startup+522.302 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 6470
/proc/meminfo: memFree=1860144/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=13540 CPUtime=522.14
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2803 0 0 0 52209 5 0 0 25 0 1 0 244001842 13864960 2770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3385 2770 310 324 0 2455 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 13540

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6470
/proc/meminfo: memFree=1859952/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=13672 CPUtime=582.14
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2842 0 0 0 58208 6 0 0 25 0 1 0 244001842 14000128 2809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3418 2809 310 324 0 2488 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 13672

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6470
/proc/meminfo: memFree=1859888/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=13672 CPUtime=642.12
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2842 0 0 0 64206 6 0 0 25 0 1 0 244001842 14000128 2809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3418 2809 310 324 0 2488 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 13672


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

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6470
/proc/meminfo: memFree=1858672/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14508 CPUtime=882.05
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3037 0 0 0 88197 8 0 0 25 0 1 0 244001842 14856192 3004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3627 3004 310 324 0 2697 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 14508

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6470
/proc/meminfo: memFree=1858544/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14440 CPUtime=942.04
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3037 0 0 0 94195 9 0 0 25 0 1 0 244001842 14786560 3002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572689 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3610 3002 310 324 0 2680 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 14440

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6470
/proc/meminfo: memFree=1858544/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14512 CPUtime=1002.02
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3038 0 0 0 100193 9 0 0 25 0 1 0 244001842 14860288 3003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3293025 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3628 3003 310 324 0 2698 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 14512

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6470
/proc/meminfo: memFree=1858480/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14500 CPUtime=1062.01
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3042 0 0 0 106191 10 0 0 25 0 1 0 244001842 14848000 3007 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3625 3007 310 324 0 2695 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 14500

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6470
/proc/meminfo: memFree=1858416/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14500 CPUtime=1121.99
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3046 0 0 0 112189 10 0 0 25 0 1 0 244001842 14848000 3011 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3625 3011 310 324 0 2695 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 14500

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6471
/proc/meminfo: memFree=1858032/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14628 CPUtime=1181.98
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3073 0 0 0 118187 11 0 0 25 0 1 0 244001842 14979072 3038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3657 3038 310 324 0 2727 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 14628

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6472
/proc/meminfo: memFree=1857968/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14708 CPUtime=1241.97
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 124186 11 0 0 25 0 1 0 244001842 15060992 3055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3677 3055 310 324 0 2747 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 14708

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6472
/proc/meminfo: memFree=1857840/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14560 CPUtime=1301.95
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 130184 11 0 0 25 0 1 0 244001842 14909440 3032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3301139 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3640 3032 310 324 0 2710 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 14560

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6472
/proc/meminfo: memFree=1857776/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14548 CPUtime=1361.93
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 136181 12 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552366 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3637 3029 310 324 0 2707 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 14548

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6472
/proc/meminfo: memFree=1857776/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14548 CPUtime=1421.92
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 142180 12 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3637 3029 310 324 0 2707 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 14548

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6472
/proc/meminfo: memFree=1857712/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14548 CPUtime=1481.91
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 148178 13 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3637 3029 310 324 0 2707 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 14548

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6472
/proc/meminfo: memFree=1857648/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14548 CPUtime=1541.88
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 154175 13 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3637 3029 310 324 0 2707 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 14548

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6472
/proc/meminfo: memFree=1857584/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14548 CPUtime=1601.88
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 160174 14 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546185 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3637 3029 310 324 0 2707 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 14548

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6472
/proc/meminfo: memFree=1857520/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14548 CPUtime=1661.86
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 166172 14 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3637 3029 310 324 0 2707 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 14548

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6472
/proc/meminfo: memFree=1857392/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14548 CPUtime=1721.84
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 172169 15 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3637 3029 310 324 0 2707 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 14548

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6472
/proc/meminfo: memFree=1857328/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14548 CPUtime=1781.82
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 178167 15 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3637 3029 310 324 0 2707 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 14548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6472
/proc/meminfo: memFree=1857264/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14548 CPUtime=1800.02
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 179987 15 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3637 3029 310 324 0 2707 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 14548

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 6472
/proc/meminfo: memFree=1857264/2055920 swapFree=4140032/4192956
[pid=6469] ppid=6467 vsize=14548 CPUtime=1800.02
/proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 179987 15 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6469/statm: 3637 3029 310 324 0 2707 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 14548

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.88
CPU system time (s): 0.161975
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 14716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3094
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= 12
involuntary context switches= 37108

runsolver used 1.38779 second user time and 3.83642 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Mon Apr 30 19:20:43 UTC 2007

IDJOB= 433537
IDBENCH= 2924
IDSOLVER= 199
FILE ID= node17/433537-1177960843

PBS_JOBID= 4727698

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  a70b0edfadf87ffd0bc1b32400cae43b

RANDOM SEED= 601182887

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1871312 kB
Buffers:          5484 kB
Cached:          74136 kB
SwapCached:      15172 kB
Active:         104028 kB
Inactive:        21860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1871312 kB
SwapTotal:     4192956 kB
SwapFree:      4140032 kB
Dirty:            6608 kB
Writeback:           0 kB
Mapped:          53212 kB
Slab:            44176 kB
Committed_AS:  7403296 kB
PageTables:       1868 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node17 on Mon Apr 30 19:50:46 UTC 2007