Trace number 4241109

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
R1: cosoco-sat 1.1? (TO) 2400.01 2400.9

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5/
mdd-7-25-5-56-16.xml
MD5SUM9d7406c968f8af9220e5e662d0bd5052
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark340.207
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree8
Maximum variable degree24
Distribution of variable degrees[{"degree":8,"count":1},{"degree":9,"count":1},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":2},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":1},{"degree":24,"count":1}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":56}]
Number of extensional constraints56
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":56}]
Optimization problemNO
Type of objective

Solver Data 

13.98/14.09	c SAT : Variables: 125 -- Clauses: 275
14.08/14.16	c root propagations     : 0           
14.08/14.16	c restarts enabled, print stats at every restarts
14.08/14.16	c
14.08/14.16	c
14.08/14.16	c
14.08/14.16	c This is cosoco 1.0 --  
14.08/14.16	c
14.08/14.16	c ========================================[ Problem Statistics ]===========================================
14.08/14.16	c |                                                                                                       
14.08/14.16	c |  Parse time        :        14.02 s 
14.08/14.16	c |
14.08/14.16	c |               Variables: 25
14.08/14.16	c |            Domain Sizes: 5..5
14.08/14.16	c |
14.08/14.16	c |             Constraints: 56
14.08/14.16	c |                   Arity: 7..7
14.08/14.16	c | 
14.08/14.16	c |                   Types: 
14.08/14.16	c |                          Extension: 56  (nb tuples: 33018..45409) -- (shared: 0)
14.08/14.16	c |                          
14.08/14.16	c =========================================================================================================
14.08/14.16	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
14.18/14.28	c 10             36             2031           514            0              6              12   15   12   
14.39/14.42	c 20             65             4200           1082           0              13             11   13   10   
14.48/14.53	c 30             94             5798           1507           0              15             11   15   12   
14.58/14.66	c 40             125            7532           2037           0              21             8   16   11    
14.68/14.78	c 50             163            9477           2518           0              26             12   15   12   
14.88/14.97	c 60             198            11673          3150           0              30             9   13   9     
14.98/15.09	c 70             227            13635          3688           0              32             9   12   9     
15.18/15.22	c 80             254            14854          4027           0              37             10   12   10   
15.28/15.35	c 90             286            16745          4521           0              43             9   13   10    
15.38/15.47	c 100            312            18253          4961           0              49             10   13   10   
15.48/15.57	c 101            321            18566          5023           0              50             9   9   4      
15.58/15.69	c 110            347            20013          5433           0              53             9   12   10    
15.78/15.82	c 120            377            21849          5890           0              57             10   13   10   
15.88/15.99	c 130            404            23415          6364           0              60             9   12   9     
16.08/16.14	c 140            430            24872          6854           0              68             9   13   9     
16.18/16.28	c 150            457            26448          7286           0              72             9   13   9     
16.38/16.45	c 160            486            28285          7846           0              73             8   13   9     
16.48/16.59	c 170            518            30053          8438           0              76             11   15   11   
16.68/16.73	c 180            552            31651          8904           0              85             10   14   11   
16.78/16.89	c 190            580            33631          9450           0              89             9   13   9     
16.98/17.01	c 200            611            35186          9899           0              91             10   13   10   
17.08/17.16	c 210            645            37080          10415          0              97             10   16   10   
17.18/17.27	c 211            653            37342          10477          0              98             8   8   4      
17.38/17.42	c 220            679            38961          10927          0              101            8   13   10    
17.48/17.57	c 230            711            40776          11430          0              103            9   15   10    
17.68/17.74	c 240            739            42505          11929          0              105            8   13   9     
17.88/17.91	c 250            777            44518          12498          0              109            10   13   11   
17.98/18.06	c 260            812            46410          12994          0              111            11   14   11   
18.18/18.23	c 270            841            48034          13510          0              118            9   13   9     
18.28/18.38	c 280            870            49796          13977          0              121            10   12   9    
18.48/18.55	c 290            898            51062          14348          0              126            10   12   9    
18.58/18.70	c 300            927            52563          14820          0              132            11   14   11   
18.78/18.88	c 310            959            54515          15437          0              138            8   13   9     
18.98/19.09	c 320            992            56756          16110          0              140            9   13   10    
19.18/19.25	c 330            1031           59063          16731          0              146            9   14   11    
19.28/19.38	c 332            1044           59613          16819          0              148            10   12   7    
19.48/19.51	c 340            1069           61232          17318          0              155            9   12   9     
19.58/19.66	c 350            1097           62833          17714          0              156            9   12   10    
19.78/19.82	c 360            1132           64688          18234          0              159            11   14   11   
19.98/20.03	c 370            1161           66367          18636          0              162            9   12   9     
20.08/20.19	c 380            1200           68469          19226          0              170            9   15   10    
20.28/20.39	c 390            1226           70079          19644          0              172            9   12   9     
20.48/20.57	c 400            1255           71737          20063          0              176            8   13   10    
20.68/20.74	c 410            1288           73449          20566          0              185            9   13   10    
20.89/20.95	c 420            1317           75143          21024          0              189            8   13   9     
21.08/21.15	c 430            1358           77534          21698          0              195            8   14   10    
21.28/21.32	c 440            1386           79160          22222          0              197            10   14   11   
21.48/21.50	c 450            1423           81252          22795          0              202            10   14   10   
21.58/21.64	c 460            1454           82847          23206          0              204            11   15   11   
21.78/21.81	c 465            1474           84384          23569          0              207            10   12   9    
21.98/22.01	c 470            1492           85384          23800          0              210            8   11   8     
22.08/22.18	c 480            1526           87537          24431          0              212            9   13   10    
22.28/22.36	c 490            1564           90030          25090          0              215            10   14   11   
22.48/22.57	c 500            1600           92170          25687          0              222            8   13   9     
22.68/22.76	c 510            1630           93808          26186          0              228            9   13   9     
22.88/22.93	c 520            1659           95917          26750          0              234            11   13   10   
23.08/23.14	c 530            1691           97768          27229          0              238            10   14   11   
23.28/23.31	c 540            1723           99779          27758          0              243            8   13   10    
23.38/23.46	c 550            1760           101394         28198          0              245            11   15   12   
23.58/23.63	c 560            1792           103266         28719          0              250            11   14   10   
23.78/23.82	c 570            1828           105584         29358          0              253            11   14   11   
23.88/23.97	c 580            1865           107806         30036          0              259            11   15   11   
24.08/24.15	c 590            1896           109467         30501          0              263            8   14   10    
24.29/24.30	c 600            1927           111379         31057          0              266            10   15   10   
24.38/24.43	c 610            1953           112761         31402          0              270            11   14   11   
24.48/24.56	c 611            1962           113116         31469          0              271            9   9   4      
24.68/24.70	c 620            1996           115178         32132          0              272            12   15   11   
24.78/24.87	c 630            2035           117360         32693          0              277            10   14   11   
24.98/25.06	c 640            2064           119025         33117          0              281            10   12   10   
25.18/25.23	c 650            2099           120959         33599          0              284            9   14   10    
25.29/25.37	c 660            2132           122397         33980          0              287            11   14   11   
25.48/25.51	c 670            2161           124215         34459          0              290            9   16   12    
25.58/25.68	c 680            2188           125754         34952          0              295            8   12   9     
25.88/25.95	c 690            2226           127954         35497          0              300            10   13   10   
26.08/26.13	c 700            2260           129979         36029          0              307            10   15   11   
26.28/26.34	c 710            2298           132124         36612          0              311            10   14   11   
26.48/26.51	c 720            2328           133872         37104          0              317            9   13   10    
26.58/26.67	c 730            2362           135545         37560          0              321            11   13   11   
26.78/26.84	c 740            2394           137757         38140          0              328            9   14   10    
26.88/26.99	c 750            2422           139228         38528          0              335            9   13   10    
27.08/27.14	c 760            2455           141020         39007          0              339            11   15   12   
27.28/27.34	c 770            2490           143173         39556          0              342            11   14   11   
27.38/27.47	c 771            2503           143745         39667          0              343            13   13   6    
27.58/27.66	c 780            2533           145922         40162          0              346            9   12   10    
27.78/27.82	c 790            2567           147735         40590          0              352            11   14   11   
27.88/27.94	conflict 12lvl : 12 bt11-121:0(38)X5663
27.88/27.98	c 800            2600           149565         41165          0              358            10   14   10   
28.08/28.15	c 810            2639           151501         41617          0              362            8   14   11    
28.28/28.32	c 820            2672           153415         42074          0              366            8   14   10    
28.38/28.48	c 830            2705           155183         42589          0              370            9   13   10    
28.58/28.64	c 840            2743           157252         43132          0              375            9   16   11    
28.78/28.87	c 850            2768           158812         43554          0              377            9   14   10    
29.08/29.11	c 860            2803           161014         44210          0              380            10   13   10   
29.18/29.28	c 870            2835           162922         44730          0              387            8   13   10    
29.38/29.43	c 880            2868           164684         45186          0              390            13   15   12   
29.58/29.60	c 890            2894           166135         45617          0              395            10   13   10   
29.68/29.76	c 900            2929           168297         46165          0              396            10   16   12   
29.88/29.91	c 910            2959           170065         46647          0              400            11   14   11   
29.98/30.05	c 920            2987           171430         47094          0              402            12   14   11   
30.18/30.21	c 930            3020           173272         47599          0              404            10   13   10   
30.28/30.37	c 940            3052           175335         48161          0              408            10   13   10   
30.48/30.52	c 947            3073           176564         48497          0              410            10   12   9    
30.58/30.66	c 950            3087           177228         48641          0              412            10   12   8    
30.78/30.83	c 960            3117           179347         49258          0              416            10   13   10   
30.98/31.07	c 970            3152           181326         49769          0              419            10   14   10   
31.18/31.26	c 980            3187           183287         50298          0              422            9   14   10    
31.37/31.43	c 990            3220           185336         50898          0              424            9   14   10    
31.57/31.61	c 1000           3253           187027         51320          0              427            8   14   10    
31.67/31.77	c 1010           3286           188664         51844          0              429            8   14   11    
31.88/31.99	c 1020           3315           190440         52280          0              430            10   14   10   
32.07/32.14	c 1030           3353           192290         52758          0              433            10   14   11   
32.27/32.33	c 1040           3389           194628         53328          0              435            9   13   10    
32.37/32.48	c 1050           3418           196061         53741          0              441            10   14   10   
32.57/32.64	c 1060           3447           197768         54219          0              447            11   14   11   
32.67/32.79	c 1070           3481           199532         54641          0              449            11   14   11   
32.87/32.94	c 1080           3517           201565         55228          0              450            10   15   11   
33.08/33.11	c 1090           3552           203482         55708          0              456            10   14   10   
33.17/33.28	c 1100           3582           205040         56134          0              458            9   13   10    
33.37/33.43	c 1110           3615           206898         56663          0              463            10   15   11   
33.57/33.60	c 1120           3641           208505         57105          0              469            10   13   10   
33.67/33.76	c 1130           3676           210674         57695          0              472            10   14   11   
33.87/33.93	c 1140           3712           212788         58253          0              477            10   13   10   
33.97/34.08	c 1141           3723           213334         58380          0              478            11   11   5    
34.18/34.24	c 1150           3755           215187         58839          0              482            11   15   11   
34.37/34.43	c 1160           3791           217029         59328          0              485            11   14   11   
34.57/34.61	c 1170           3824           219071         59876          0              488            10   14   11   
34.67/34.78	c 1180           3855           220993         60474          0              490            10   13   10   
34.87/34.96	c 1190           3889           222848         61014          0              492            10   15   10   
35.07/35.10	c 1200           3915           224170         61459          0              497            10   13   10   
35.18/35.29	c 1210           3950           226014         61901          0              501            10   14   10   
35.37/35.46	c 1220           3981           227820         62411          0              505            10   15   11   
35.57/35.67	c 1230           4017           230021         63027          0              508            10   14   10   
35.77/35.81	c 1240           4047           231400         63366          0              511            12   13   11   
35.87/35.99	c 1250           4083           233316         63863          0              515            11   14   10   
36.07/36.16	c 1260           4114           234825         64247          0              518            10   13   11   
36.17/36.30	c 1270           4140           236536         64678          0              519            10   13   10   
36.38/36.48	c 1280           4169           238119         65161          0              522            10   13   10   
36.57/36.65	c 1290           4202           239974         65573          0              525            9   13   10    
36.77/36.81	c 1300           4235           241900         66058          0              528            10   14   10   
36.87/36.95	c 1310           4264           243260         66408          0              532            11   14   11   
37.07/37.12	c 1320           4291           244736         66901          0              535            10   12   10   
37.17/37.29	c 1330           4325           246415         67323          0              540            11   13   11   
37.38/37.46	c 1340           4356           248104         67749          0              542            10   14   10   
37.57/37.67	c 1350           4394           250269         68297          0              546            11   14   11   
37.77/37.82	c 1352           4409           251069         68462          0              548            10   14   8    
37.97/38.01	c 1360           4435           252756         68883          0              551            8   13   9     
38.17/38.21	c 1370           4460           254190         69350          0              557            8   12   9     
38.37/38.40	c 1380           4492           255986         69787          0              559            10   15   10   
38.48/38.57	c 1390           4523           257784         70241          0              563            10   14   10   
38.67/38.75	c 1400           4556           259654         70738          0              568            11   14   11   
38.87/38.90	c 1410           4589           261336         71174          0              569            12   14   11   
38.97/39.09	c 1420           4618           263106         71665          0              572            10   14   10   
39.17/39.24	c 1430           4654           265091         72217          0              576            11   15   11   
39.37/39.42	c 1440           4682           266809         72630          0              580            10   12   9    
39.58/39.61	c 1450           4710           269009         73213          0              584            10   11   9    
39.68/39.76	c 1460           4747           271078         73782          0              587            12   14   11   
39.88/39.93	c 1470           4771           272561         74233          0              590            9   12   9     
39.97/40.08	c 1480           4802           274440         74704          0              592            9   13   9     
40.17/40.26	c 1490           4835           276284         75170          0              599            11   14   11   
40.37/40.42	c 1500           4867           278202         75683          0              605            11   14   11   
40.57/40.61	c 1510           4900           280049         76214          0              609            9   14   10    
40.78/40.81	c 1520           4928           281790         76621          0              612            11   13   11   
40.87/40.97	c 1530           4956           283535         77134          0              615            9   13   9     
41.07/41.15	c 1540           4994           285478         77683          0              622            9   14   11    
41.27/41.31	c 1550           5025           287431         78200          0              625            10   13   10   
41.37/41.47	c 1560           5056           289251         78642          0              630            10   13   10   
41.57/41.65	c 1570           5085           290931         78951          0              633            10   13   10   
41.78/41.81	c 1580           5119           292903         79441          0              636            11   13   11   
41.88/41.95	c 1585           5141           293971         79721          0              640            8   13   9     
42.07/42.10	c 1590           5158           294849         79912          0              641            11   13   10   
42.17/42.25	c 1600           5188           296456         80302          0              647            10   13   10   
42.37/42.41	c 1610           5220           298474         80828          0              652            11   14   11   
42.47/42.54	c 1620           5246           299943         81250          0              653            9   13   10    
42.67/42.76	c 1630           5275           302039         81787          0              656            11   14   11   
42.88/42.95	c 1640           5314           304493         82440          0              659            11   16   12   
43.07/43.13	c 1650           5342           306326         83033          0              663            9   13   9     
43.17/43.25	conflict 7lvl : 7 bt7-81:0(7)X9671
43.27/43.36	 -> -81:X(7)c 1660           5379           308442         83603          0              667            10   14   11   
43.47/43.53	c 1670           5408           310140         84083          0              672            8   13   9     
43.67/43.73	c 1680           5447           312397         84643          0              675            10   15   11   
43.87/43.92	c 1690           5476           314625         85274          0              680            9   13   10    
44.07/44.10	c 1700           5508           316245         85685          0              682            10   14   11   
44.17/44.28	c 1710           5541           317947         86190          0              685            10   14   11   
44.37/44.42	c 1720           5570           319630         86643          0              686            10   12   10   
44.47/44.57	conflict 9lvl : 10 bt9-114:0(29)X9949
44.57/44.61	c 1730           5603           321533         87124          0              695            9   14   10    
44.77/44.83	c 1740           5639           324026         87792          0              699            8   13   10    
44.87/44.98	c 1750           5665           325509         88176          0              704            10   12   9    
45.07/45.19	c 1760           5701           327124         88606          0              709            10   15   11   
45.27/45.37	c 1770           5733           328956         89128          0              713            9   13   10    
45.47/45.54	c 1780           5764           330713         89640          0              716            10   16   10   
45.67/45.73	c 1790           5805           332647         90093          0              722            10   17   11   
45.87/45.94	c 1800           5840           334927         90675          0              725            9   17   10    
46.07/46.17	c 1810           5869           336657         91226          0              730            8   12   9     
46.27/46.36	c 1820           5897           338466         91705          0              733            11   14   11   
46.47/46.54	c 1830           5924           340050         92144          0              737            10   13   9    
46.67/46.73	c 1840           5953           341771         92561          0              740            11   14   11   
46.77/46.87	c 1841           5965           342199         92622          0              741            12   12   6    
46.97/47.06	c 1850           6003           344243         93177          0              748            8   13   10    
47.17/47.22	c 1860           6042           346274         93682          0              752            9   17   11    
47.27/47.40	c 1870           6070           347753         94062          0              758            11   14   11   
47.47/47.57	c 1880           6104           349596         94546          0              761            11   15   12   
47.67/47.76	c 1890           6132           351290         95015          0              762            9   12   9     
47.87/47.91	c 1900           6161           352822         95399          0              769            10   14   10   
48.07/48.11	c 1910           6194           354943         95898          0              771            9   14   10    
48.27/48.30	c 1920           6229           357083         96443          0              777            9   15   10    
48.37/48.49	c 1930           6265           358858         96905          0              781            9   16   10    
48.57/48.68	c 1940           6292           360330         97289          0              784            11   14   11   
48.77/48.84	c 1950           6322           361968         97721          0              789            10   14   10   
48.97/49.00	c 1960           6356           363917         98213          0              794            9   13   10    
49.17/49.29	c 1970           6397           366485         98948          0              799            7   15   10    
49.37/49.47	c 1980           6433           368748         99479          0              804            9   16   11    
49.57/49.64	c 1990           6463           370569         99914          0              809            9   14   11    
49.77/49.82	c 2000           6489           371981         100234         0              815            8   13   9     
49.97/50.01	c 2010           6531           374135         100749         0              817            10   14   11   
50.07/50.18	c 2020           6571           376543         101288         0              820            13   14   12   
50.27/50.37	c 2030           6601           378365         101779         0              825            10   12   9    
50.47/50.53	c 2040           6630           380291         102248         0              830            12   14   11   
50.67/50.75	c 2050           6666           382510         102889         0              835            8   15   10    
50.87/50.92	c 2060           6703           384423         103355         0              837            10   16   11   
51.07/51.10	c 2070           6732           385884         103733         0              838            12   15   12   
51.17/51.25	c 2080           6764           387518         104079         0              841            12   15   12   
51.37/51.41	c 2090           6793           389612         104566         0              846            9   13   9     
51.57/51.61	c 2100           6826           391427         105149         0              852            8   14   11    
51.77/51.82	c 2110           6860           393599         105682         0              856            10   13   9    
51.97/52.02	c 2120           6895           395159         106107         0              861            10   15   11   
52.07/52.17	c 2122           6905           395641         106209         0              863            9   9   6      
52.27/52.35	c 2130           6937           397420         106587         0              869            8   15   11    
52.46/52.54	c 2140           6970           399273         107138         0              875            10   16   11   
52.66/52.74	c 2150           7001           401252         107711         0              878            9   12   9     
52.87/52.92	c 2160           7039           403380         108273         0              882            8   14   11    
52.96/53.09	c 2170           7069           405003         108697         0              887            8   13   9     
53.16/53.28	c 2180           7095           406485         109017         0              891            10   14   10   
53.36/53.43	c 2190           7124           408034         109414         0              894            9   15   11    
53.56/53.62	c 2200           7159           409698         109857         0              898            10   15   11   
53.66/53.79	c 2210           7198           411758         110409         0              900            11   15   11   
53.87/53.97	c 2220           7226           413301         110799         0              903            10   13   10   
54.06/54.16	c 2230           7261           415081         111177         0              907            11   14   11   
54.36/54.41	c 2240           7304           417788         111914         0              909            9   15   10    
54.46/54.59	c 2250           7338           419570         112415         0              913            10   13   11   
54.76/54.81	c 2260           7373           421646         112857         0              917            8   13   10    
54.97/55.01	c 2270           7414           423880         113458         0              921            13   16   12   
55.07/55.18	c 2280           7441           425453         113915         0              927            8   13   9     
55.26/55.37	c 2290           7465           426705         114253         0              933            9   12   9     
55.46/55.57	c 2300           7491           428334         114595         0              937            8   12   8     
55.66/55.74	c 2310           7523           429980         114995         0              939            12   15   12   
55.86/55.96	c 2320           7558           432360         115566         0              942            9   14   9     
56.06/56.13	c 2330           7587           433795         115907         0              945            12   14   12   
56.26/56.31	c 2340           7623           435679         116360         0              949            9   14   10    
56.46/56.51	c 2350           7649           437383         116874         0              952            9   13   10    
56.66/56.70	c 2360           7685           439366         117422         0              956            10   14   10   
56.86/56.90	c 2370           7717           441377         117895         0              961            8   15   9     
56.96/57.07	c 2380           7755           443336         118413         0              965            11   14   11   
57.16/57.24	c 2390           7782           444825         118811         0              968            10   14   10   
57.36/57.41	c 2400           7814           446361         119186         0              973            10   13   10   
57.56/57.68	c 2410           7847           448624         119806         0              978            7   14   9     
57.76/57.84	c 2420           7881           450639         120381         0              982            10   14   11   
57.96/58.03	c 2430           7910           452428         120816         0              985            9   13   9     
58.06/58.19	c 2431           7924           453040         120923         0              986            14   14   7    
58.36/58.45	c 2440           7960           455657         121550         0              990            9   14   10    
58.56/58.66	c 2450           7996           457997         122160         0              994            10   14   10   
58.76/58.86	c 2460           8029           459771         122641         0              997            8   14   10    
58.96/59.03	c 2470           8058           461209         123008         0              998            13   14   12   
59.06/59.18	c 2480           8088           463231         123565         0              1004           10   13   10   
59.26/59.36	c 2490           8118           464998         124000         0              1006           8   15   10    
59.46/59.52	c 2500           8152           467220         124589         0              1011           11   15   11   
59.66/59.71	c 2510           8188           469333         125183         0              1016           9   14   10    
59.76/59.87	c 2520           8219           471142         125658         0              1022           10   15   10   
59.96/60.04	c 2530           8252           473167         126171         0              1024           10   14   10   
60.16/60.22	c 2540           8280           474790         126555         0              1025           11   14   11   
60.26/60.37	c 2550           8312           476442         126971         0              1026           12   16   11   
60.46/60.56	c 2560           8342           478295         127424         0              1028           11   13   11   
60.66/60.75	c 2570           8386           480914         128041         0              1034           10   15   11   
60.86/60.95	c 2580           8416           482786         128487         0              1037           9   12   10    
61.06/61.11	c 2590           8450           484800         128940         0              1044           12   15   12   
61.26/61.30	c 2600           8485           486788         129445         0              1045           8   13   9     
61.36/61.47	c 2610           8512           488118         129830         0              1048           7   15   11    
61.56/61.65	c 2620           8543           490044         130300         0              1051           11   14   11   
61.76/61.84	c 2630           8578           492029         130803         0              1055           11   13   10   
61.96/62.01	c 2640           8614           494175         131369         0              1058           9   14   10    
62.16/62.21	c 2650           8644           495833         131793         0              1062           11   14   11   
62.36/62.41	c 2660           8677           497828         132322         0              1067           9   13   9     
62.55/62.65	c 2670           8710           499812         132817         0              1068           10   14   10   
62.85/62.95	c 2680           8744           501803         133330         0              1072           10   13   9    
63.05/63.16	c 2690           8787           504602         133993         0              1077           9   14   10    
63.25/63.37	c 2700           8815           506310         134518         0              1081           11   13   10   
63.45/63.53	c 2710           8848           508348         135058         0              1083           10   14   11   
63.65/63.74	c 2720           8877           510182         135544         0              1087           8   14   9     
63.86/63.92	c 2730           8910           511846         135945         0              1091           7   14   9     
64.05/64.12	c 2740           8947           514200         136564         0              1094           8   14   10    
64.25/64.30	c 2750           8980           515976         137021         0              1102           8   14   10    
64.45/64.52	c 2760           9011           518132         137595         0              1105           9   14   10    
64.65/64.73	c 2770           9046           519945         138070         0              1110           10   15   10   
64.75/64.86	c 2771           9058           520394         138136         0              1111           12   12   6    
64.96/65.05	c 2780           9086           522408         138592         0              1114           10   11   9    
65.15/65.24	c 2790           9129           524710         139166         0              1121           11   16   12   
65.35/65.44	c 2800           9168           527044         139761         0              1124           9   15   10    
65.55/65.64	c 2810           9213           529360         140324         0              1128           9   17   11    
65.75/65.87	c 2820           9250           531727         140953         0              1134           8   14   10    
65.96/66.04	c 2830           9276           533191         141390         0              1137           8   13   10    
66.15/66.20	c 2840           9308           534922         141858         0              1141           10   14   11   
66.35/66.46	c 2850           9345           537294         142454         0              1143           9   13   9     
66.55/66.62	c 2860           9374           538958         142929         0              1148           9   14   10    
66.75/66.81	c 2870           9403           540707         143407         0              1155           10   13   10   
66.85/66.99	c 2880           9434           542518         143879         0              1157           9   13   10    
67.15/67.21	c 2890           9483           544841         144366         0              1159           10   14   11   
67.35/67.41	c 2900           9517           546566         144829         0              1165           9   15   10    
67.55/67.61	c 2910           9550           548358         145253         0              1168           10   13   10   
67.65/67.80	c 2920           9576           550014         145628         0              1172           10   12   9    
67.85/67.98	c 2930           9607           551795         146107         0              1176           9   15   11    
68.15/68.22	c 2940           9644           553933         146648         0              1178           9   13   10    
68.35/68.44	c 2950           9673           555531         147062         0              1182           8   17   10    
68.55/68.63	c 2960           9712           557470         147532         0              1186           10   14   10   
68.75/68.82	c 2970           9748           559424         148125         0              1192           10   13   10   
68.85/68.99	c 2980           9781           561349         148641         0              1197           12   15   11   
69.15/69.20	c 2990           9813           563253         149177         0              1201           9   13   10    
69.26/69.39	c 3000           9840           565047         149705         0              1203           10   12   10   
69.45/69.55	c 3010           9868           566501         150039         0              1208           12   14   12   
69.65/69.78	c 3020           9898           568153         150531         0              1212           9   14   9     
69.85/69.94	c 3030           9935           570109         150980         0              1216           9   15   11    
70.05/70.12	c 3040           9963           572040         151463         0              1218           10   14   10   
70.15/70.27	c 3050           9993           573866         151937         0              1220           12   15   11   
70.46/70.50	c 3060           10028          575791         152493         0              1226           9   13   10    
70.55/70.69	c 3070           10066          577877         152985         0              1231           10   15   11   
70.75/70.87	c 3080           10094          579701         153496         0              1234           10   12   10   
70.95/71.04	c 3090           10119          581013         153876         0              1236           10   15   10   
71.05/71.19	c 3100           10149          582526         154255         0              1240           10   14   10   
71.25/71.39	c 3110           10180          584256         154711         0              1245           8   13   9     
71.45/71.57	c 3120           10207          586016         155208         0              1250           9   13   9     
71.65/71.73	c 3130           10235          587873         155730         0              1255           10   14   10   
71.75/71.89	c 3140           10260          589190         156049         0              1260           10   12   10   
71.95/72.04	c 3142           10274          589782         156161         0              1261           11   12   7    
72.15/72.23	c 3150           10303          591245         156489         0              1263           10   14   10   
72.35/72.43	c 3160           10332          592939         156907         0              1267           9   13   9     
72.55/72.62	c 3170           10360          595020         157451         0              1272           9   12   9     
72.84/72.92	c 3180           10396          597234         158138         0              1275           8   14   9     
72.94/73.09	c 3190           10430          599079         158585         0              1283           9   14   10    
73.24/73.33	c 3200           10469          601003         159068         0              1286           9   14   10    
73.44/73.53	c 3210           10499          602855         159523         0              1292           10   13   10   
73.65/73.72	c 3220           10527          604349         159920         0              1294           9   13   10    
73.84/73.91	c 3230           10566          606554         160490         0              1296           11   13   11   
73.94/74.09	c 3240           10594          608286         160972         0              1299           8   15   10    
74.14/74.27	c 3250           10626          610130         161474         0              1303           10   14   10   
74.34/74.43	c 3260           10654          611717         161931         0              1304           11   17   12   
74.64/74.70	c 3270           10688          614184         162639         0              1305           9   12   9     
74.75/74.87	c 3280           10717          615606         162961         0              1310           9   13   9     
74.94/75.03	c 3290           10751          617440         163482         0              1314           9   14   11    
75.14/75.29	c 3300           10795          619980         164228         0              1318           11   14   11   
75.34/75.47	c 3310           10826          621920         164808         0              1322           11   12   10   
75.54/75.65	c 3320           10858          623651         165270         0              1328           9   14   10    
75.74/75.83	c 3330           10896          625720         165875         0              1331           11   16   12   
75.95/76.03	c 3340           10931          627850         166396         0              1333           9   13   10    
76.14/76.21	c 3350           10970          629850         166919         0              1338           8   14   10    
76.34/76.42	c 3360           11001          631703         167428         0              1341           11   15   11   
76.54/76.60	c 3370           11038          633648         167942         0              1344           9   14   10    
76.64/76.79	c 3380           11073          635433         168390         0              1348           9   15   9     
76.84/76.96	c 3390           11104          637436         168907         0              1351           10   14   10   
77.05/77.13	c 3400           11135          638944         169279         0              1357           9   13   9     
77.24/77.34	c 3410           11168          640845         169719         0              1360           10   15   11   
77.44/77.50	c 3420           11210          643299         170366         0              1362           11   14   11   
77.54/77.68	c 3430           11241          645118         170828         0              1366           8   14   10    
77.84/77.95	c 3440           11280          647380         171482         0              1368           10   13   10   
78.05/78.13	c 3450           11310          649494         172024         0              1372           8   13   9     
78.24/78.33	c 3460           11339          651356         172563         0              1380           8   12   9     
78.44/78.52	c 3470           11372          653242         173030         0              1384           9   14   10    
78.64/78.75	c 3480           11414          655532         173725         0              1387           9   14   10    
78.84/78.98	c 3490           11445          657506         174186         0              1389           10   14   10   
79.04/79.20	c 3500           11484          659756         174751         0              1393           8   15   10    
79.25/79.39	c 3510           11521          661689         175214         0              1399           10   14   11   
79.44/79.55	c 3520           11553          663540         175675         0              1402           11   13   10   
79.64/79.73	c 3530           11583          665338         176173         0              1405           10   13   10   
79.84/79.90	c 3540           11613          666830         176609         0              1410           9   13   10    
79.94/80.08	c 3550           11647          668413         177030         0              1412           10   14   11   
80.14/80.22	c 3551           11659          669032         177144         0              1413           12   12   6    
80.35/80.41	c 3560           11690          670719         177582         0              1416           9   14   10    
80.54/80.60	c 3570           11731          673022         178185         0              1419           10   13   10   
80.64/80.79	c 3580           11764          674958         178706         0              1423           10   14   10   
80.94/81.00	c 3590           11804          677291         179297         0              1429           8   15   10    
81.04/81.15	c 3600           11836          679147         179797         0              1434           10   14   10   
81.24/81.34	c 3610           11866          681106         180305         0              1436           10   14   10   
81.45/81.55	c 3620           11899          683174         180866         0              1440           11   16   10   
81.54/81.69	c 3630           11929          684800         181314         0              1445           10   14   11   
81.74/81.85	c 3640           11953          685997         181622         0              1450           9   13   10    
81.94/82.04	c 3650           11989          688134         182249         0              1454           11   13   10   
82.14/82.26	c 3660           12020          689911         182733         0              1458           9   13   10    
82.34/82.43	c 3670           12048          691471         183177         0              1462           8   14   10    
82.54/82.60	c 3680           12085          693534         183738         0              1469           10   15   11   
82.63/82.76	c 3690           12121          695348         184100         0              1476           9   14   10    
82.83/82.92	c 3700           12152          697186         184530         0              1479           11   14   11   
83.03/83.16	c 3710           12185          699362         185113         0              1482           9   14   11    
83.23/83.38	c 3720           12223          701689         185750         0              1485           10   14   10   
83.43/83.58	c 3730           12261          703870         186262         0              1490           9   14   10    
83.64/83.79	c 3740           12296          706139         186882         0              1495           8   14   9     
83.83/83.95	c 3750           12332          708279         187434         0              1500           10   14   11   
84.03/84.14	c 3760           12363          709988         187905         0              1502           11   14   11   
84.23/84.34	c 3770           12399          711865         188304         0              1508           9   14   10    
84.43/84.50	c 3780           12429          713692         188791         0              1512           11   14   11   
84.64/84.73	c 3790           12468          715871         189348         0              1516           7   14   9     
84.83/84.94	c 3800           12495          717704         189773         0              1522           9   13   10    
84.93/85.08	c 3810           12532          719308         190159         0              1528           13   15   12   
85.13/85.29	c 3820           12569          721391         190709         0              1532           10   14   11   
85.33/85.48	c 3830           12599          723343         191227         0              1535           11   14   11   
85.53/85.64	c 3840           12628          724948         191632         0              1541           9   13   10    
85.74/85.87	c 3850           12661          726867         192166         0              1545           10   13   10   
85.93/86.05	c 3860           12693          728687         192684         0              1550           8   13   10    
86.13/86.21	c 3870           12725          730388         193173         0              1556           10   13   10   
86.23/86.38	c 3880           12755          731826         193510         0              1562           11   14   11   
86.43/86.59	c 3890           12790          733947         194086         0              1567           9   13   10    
86.73/86.84	c 3900           12831          736330         194713         0              1571           10   15   11   
86.94/87.01	c 3910           12866          738281         195178         0              1573           9   14   11    
87.03/87.17	c 3920           12894          740119         195697         0              1576           9   13   9     
87.23/87.33	c 3930           12925          741806         196180         0              1580           9   13   10    
87.33/87.49	c 3940           12951          743252         196624         0              1583           11   14   11   
87.53/87.67	c 3950           12984          745519         197246         0              1585           8   14   10    
87.83/87.90	c 3960           13014          747285         197668         0              1589           11   14   11   
87.94/88.07	c 3970           13045          749238         198191         0              1593           8   12   10    
88.13/88.24	c 3980           13073          751204         198721         0              1600           11   13   11   
88.33/88.42	c 3990           13110          753207         199188         0              1602           10   14   10   
88.43/88.59	c 4000           13141          754903         199665         0              1605           9   13   10    
88.63/88.73	c 4001           13152          755317         199726         0              1606           11   11   5    
88.73/88.89	c 4010           13181          756668         200046         0              1611           11   15   11   
88.93/89.05	c 4020           13211          758387         200479         0              1617           10   14   10   
89.23/89.31	c 4030           13246          760664         201065         0              1620           9   15   10    
89.33/89.47	c 4040           13280          762231         201517         0              1625           10   15   12   
89.63/89.71	c 4050           13316          764535         202173         0              1633           12   14   11   
89.83/89.94	c 4060           13347          766332         202692         0              1637           10   12   9    
90.03/90.10	c 4070           13383          768399         203234         0              1644           10   15   11   
90.24/90.30	c 4080           13421          770526         203741         0              1647           10   15   11   
90.33/90.45	c 4090           13453          772018         204148         0              1653           11   14   12   
90.53/90.69	c 4100           13479          773713         204633         0              1656           8   13   10    
90.73/90.85	c 4110           13514          775785         205107         0              1661           10   14   11   
90.93/91.02	c 4120           13542          777750         205636         0              1667           10   14   10   
91.13/91.23	c 4130           13569          779397         206104         0              1671           10   12   9    
91.23/91.39	c 4140           13599          781114         206574         0              1673           12   14   11   
91.43/91.59	c 4150           13629          782916         207041         0              1674           9   14   10    
91.63/91.74	c 4160           13657          784377         207481         0              1677           10   14   11   
91.83/91.92	c 4170           13690          786090         207947         0              1679           10   14   10   
92.03/92.14	c 4180           13717          787614         208329         0              1683           10   13   10   
92.23/92.32	c 4190           13751          789628         208775         0              1689           10   14   11   
92.43/92.50	c 4200           13791          791680         209298         0              1695           11   14   11   
92.63/92.74	c 4210           13829          793952         209934         0              1697           10   14   10   
92.83/92.90	c 4220           13862          795887         210429         0              1701           8   15   12    
93.03/93.11	c 4230           13895          797635         210875         0              1704           9   13   10    
93.13/93.29	c 4240           13927          799696         211441         0              1708           7   12   9     
93.33/93.48	c 4250           13963          802050         212014         0              1713           11   13   10   
93.63/93.75	c 4260           14000          804245         212536         0              1716           10   14   10   
93.83/93.92	c 4270           14030          806438         213113         0              1722           9   13   10    
94.03/94.15	c 4280           14067          808620         213680         0              1724           10   16   10   
94.23/94.36	c 4290           14107          810347         214092         0              1728           7   15   10    
94.53/94.63	c 4300           14147          812777         214744         0              1731           8   14   10    
94.73/94.82	c 4310           14187          815302         215384         0              1733           10   13   10   
94.93/95.00	c 4320           14215          816906         215845         0              1739           10   14   10   
95.03/95.18	c 4330           14255          819205         216379         0              1743           10   15   10   
95.23/95.36	c 4340           14286          820717         216758         0              1747           8   13   10    
95.43/95.50	c 4350           14322          822211         217178         0              1751           12   15   12   
95.63/95.76	c 4360           14355          824340         217737         0              1755           11   15   11   
95.83/95.96	c 4370           14386          826120         218192         0              1760           10   12   10   
96.13/96.20	c 4380           14427          828783         218899         0              1762           10   15   11   
96.23/96.38	c 4390           14468          830761         219399         0              1769           9   16   11    
96.43/96.53	c 4400           14505          832871         219915         0              1770           11   14   11   
96.53/96.69	c 4410           14532          834319         220244         0              1773           10   14   10   
96.73/96.88	c 4420           14564          836167         220694         0              1779           10   13   9    
96.93/97.06	c 4430           14603          838311         221304         0              1781           11   14   11   
97.13/97.23	c 4440           14632          840017         221754         0              1785           11   14   11   
97.23/97.37	c 4450           14662          841517         222133         0              1789           10   15   11   
97.43/97.59	c 4460           14702          844069         222825         0              1792           9   16   11    
97.73/97.82	c 4470           14742          846747         223449         0              1799           10   14   10   
97.83/98.00	c 4480           14785          849038         224050         0              1802           12   15   12   
98.03/98.18	c 4490           14828          851640         224701         0              1804           9   14   11    
98.23/98.33	c 4493           14845          852500         224873         0              1807           10   13   8    
98.32/98.47	c 4500           14870          853681         225141         0              1810           9   13   10    
98.52/98.64	c 4510           14904          855580         225612         0              1813           11   13   11   
98.72/98.82	c 4520           14939          857582         226122         0              1817           8   14   9     
98.93/99.02	c 4530           14973          859569         226612         0              1819           10   16   11   
99.12/99.22	c 4540           15017          862004         227204         0              1826           9   13   10    
99.22/99.39	c 4550           15050          863773         227698         0              1829           12   14   11   
99.42/99.58	c 4560           15083          865975         228339         0              1833           9   14   11    
99.62/99.77	c 4570           15116          867842         228803         0              1838           8   13   10    
99.92/100.03	c 4580           15148          869801         229286         0              1845           11   13   10   
100.13/100.20	c 4590           15175          871599         229736         0              1848           10   13   10   
100.22/100.36	c 4600           15204          872942         230204         0              1852           11   12   10   
100.42/100.58	c 4610           15241          875090         230795         0              1854           10   14   10   
100.72/100.81	c 4620           15285          877162         231282         0              1860           7   13   9     
100.82/100.99	c 4630           15317          878875         231717         0              1863           10   12   10   
101.02/101.15	c 4640           15348          880714         232230         0              1866           10   14   10   
101.23/101.34	c 4650           15374          882165         232590         0              1870           8   14   10    
101.42/101.51	c 4660           15397          883459         232981         0              1874           10   13   10   
101.52/101.66	c 4670           15431          885589         233598         0              1877           11   14   10   
101.72/101.83	c 4680           15461          887508         234045         0              1883           10   14   10   
101.82/101.99	c 4690           15494          889216         234461         0              1887           9   13   10    
102.02/102.14	c 4700           15528          891186         234984         0              1892           11   14   10   
102.33/102.43	c 4710           15568          893578         235621         0              1898           10   14   11   
102.42/102.58	c 4720           15601          895323         236029         0              1899           9   16   11    
102.62/102.79	c 4730           15629          897190         236561         0              1902           8   11   9     
102.82/103.00	c 4740           15665          899586         237278         0              1904           9   13   10    
103.02/103.17	c 4750           15706          901850         237873         0              1908           9   16   12    
103.22/103.35	c 4760           15735          903702         238334         0              1913           9   13   10    
103.43/103.52	c 4770           15773          905713         238820         0              1916           8   13   10    
103.62/103.78	c 4780           15807          907582         239322         0              1921           11   13   10   
103.82/103.96	c 4790           15841          909418         239761         0              1925           7   13   9     
104.02/104.15	c 4800           15870          911493         240262         0              1929           10   14   10   
104.22/104.33	c 4810           15902          913712         240891         0              1932           11   14   11   
104.32/104.50	c 4820           15936          915805         241461         0              1938           9   15   10    
104.53/104.68	c 4830           15966          917715         241966         0              1943           10   13   10   
104.72/104.88	c 4840           16002          920395         242628         0              1945           10   13   10   
104.92/105.05	c 4850           16030          922007         243047         0              1949           8   14   10    
105.12/105.28	c 4860           16069          923936         243553         0              1952           10   14   11   
105.32/105.49	c 4870           16102          925842         244057         0              1954           9   14   9     
105.62/105.71	c 4880           16136          927981         244664         0              1958           9   13   10    
105.82/105.98	c 4890           16165          929989         245163         0              1961           12   14   11   
106.02/106.19	c 4900           16197          932000         245700         0              1963           9   13   10    
106.32/106.40	c 4910           16230          933742         246122         0              1965           10   14   10   
106.42/106.59	c 4920           16270          936238         246810         0              1968           10   16   11   
106.62/106.80	c 4930           16314          938355         247365         0              1973           11   15   11   
106.92/107.02	c 4940           16350          940166         247854         0              1978           11   15   12   
107.12/107.23	c 4950           16380          942138         248373         0              1981           9   12   9     
107.32/107.44	c 4960           16413          944158         248885         0              1985           10   14   10   
107.52/107.69	c 4970           16450          946072         249435         0              1991           9   13   10    
107.72/107.87	c 4980           16486          948312         250023         0              1993           8   15   10    
107.92/108.02	c 4990           16521          950387         250539         0              1996           12   16   12   
108.22/108.31	c 5035           16661          958541         252902         0              2001           9   16   11    
111.02/111.10	c 5631           18141          1052629        281037         0              2013           7   17   11    
113.52/113.69	c 6286           19761          1152166        310617         0              2023           7   18   11    
113.72/113.82	conflict 10lvl : 10 bt7-76:0(29)X26659
118.11/118.27	c 7006           21678          1277047        346600         0              2032           6   16   11    
122.61/122.74	c 7798           23763          1409451        385084         0              2052           7   16   11    
127.41/127.51	c 8669           25947          1546571        426262         0              2060           6   15   11    
132.11/132.25	c 9627           28444          1701970        471826         0              2067           7   17   11    
137.91/138.01	c 10680          31026          1860147        518909         0              2073           7   16   11    
142.80/142.95	c 11838          33918          2042640        571306         0              2083           6   16   11    
149.80/149.96	c 13111          37237          2237932        627653         0              2095           6   17   11    
157.90/158.07	c 14511          40904          2467932        694021         0              2111           7   18   11    
168.20/168.39	c 16051          44834          2711803        763247         0              2124           5   17   11    
175.49/175.69	c 17745          48982          2979570        839675         0              2136           7   15   11    
183.79/183.92	c 19608          54043          3279425        925193         0              2144           7   17   12    
193.59/193.74	c 21657          59053          3593307        1022257        0              2161           6   16   11    
210.98/211.10	c 23910          65209          3968894        1129972        0              2179           6   16   11    
225.07/225.20	c 26388          71963          4397924        1251663        0              2186           6   17   11    
240.27/240.43	c 29113          79104          4829392        1375399        0              2203           6   18   11    
262.36/262.59	c 32110          86951          5336811        1517527        0              2218           6   16   11    
274.86/275.02	c 35406          95846          5890828        1675210        0              2222           6   17   11    
297.05/297.23	c 39031          105618         6485531        1847544        0              2235           6   17   11    
312.54/312.73	c 43018          115812         7152573        2043276        0              2250           6   16   11    
348.83/349.01	c 47403          126814         7874469        2248104        0              2260           6   17   11    
368.43/368.65	c 52226          138336         8588947        2465453        0              2278           6   17   11    
396.01/396.20	c 57531          152217         9454727        2716965        0              2293           6   17   11    
425.40/425.60	c 63366          167011         10344761       2980058        0              2309           6   17   11    
461.49/461.72	c 69784          183920         11384433       3283358        0              2320           6   17   11    
489.98/490.23	c 76843          202866         12563309       3624985        0              2340           6   17   11    
543.76/544.09	c 84607          222719         13808177       3986353        0              2348           6   17   11    
584.85/585.10	c 93147          244498         15199303       4393595        0              2359           6   17   11    
629.04/629.34	c 102541         267473         16647218       4809613        0              2373           6   17   11    
698.61/698.93	c 112874         293578         18265357       5271243        0              2386           6   17   11    
755.69/756.03	c 124240         323636         20104775       5810497        0              2401           5   18   11    
840.16/840.56	c 136742         358241         22252373       6409637        0              2417           6   18   11    
921.43/921.87	c 150494         395501         24486093       7056335        0              2434           5   17   11    
1036.28/1036.77	c 165621         435159         26937067       7742350        0              2448           5   17   11    
1129.55/1130.07	c 182260         476562         29554156       8502189        0              2458           6   17   11    
1217.12/1217.65	c 200562         522473         32430650       9324655        0              2471           5   18   11    
1288.29/1288.86	c 220694         573701         35595857       10271028       0              2493           6   18   11    
1380.96/1381.59	c 242839         630487         39261804       11319032       0              2514           5   17   11    
1474.93/1475.57	c 267198         691293         43091802       12438705       0              2526           5   18   11    
1595.88/1596.58	c 293992         758427         47299423       13668190       0              2533           5   18   11    
1756.82/1757.56	c 323465         833866         52072744       14995672       0              2547           5   18   12    
1869.29/1870.07	c 355885         916217         57259172       16474514       0              2564           5   18   12    
2041.03/2041.82	c 391547         1004900        62848032       18091163       0              2578           5   18   11    
2204.87/2205.79	c 430775         1104740        69061246       19898178       0              2593           5   18   11

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241109-1500629211/watcher-4241109-1500629211 -o /tmp/evaluation-result-4241109-1500629211/solver-4241109-1500629211 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4006 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241109-1500629211.xml 

pid=5613
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.11 4/186 5616
/proc/meminfo: memFree=31975772/32770624 swapFree=6264/14240
[pid=5616] ppid=5613 vsize=26992 CPUtime=0 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 961 0 0 0 0 0 0 0 20 0 1 0 16197735 27639808 766 33554432000 4194304 5970956 140725035957520 140725035954120 5417044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 6748 766 684 434 0 112 0

[startup+0.100176 s]
/proc/loadavg: 2.00 2.01 2.11 4/186 5616
/proc/meminfo: memFree=31975772/32770624 swapFree=6264/14240
[pid=5616] ppid=5613 vsize=27820 CPUtime=0.09 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 1163 0 0 0 9 0 0 0 20 0 1 0 16197735 28487680 941 33554432000 4194304 5970956 140725035957520 140725035954120 140206670380005 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 6955 941 709 434 0 319 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27820

[startup+0.200347 s]
/proc/loadavg: 2.00 2.01 2.11 4/186 5616
/proc/meminfo: memFree=31975772/32770624 swapFree=6264/14240
[pid=5616] ppid=5613 vsize=28864 CPUtime=0.19 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 1495 0 0 0 19 0 0 0 20 0 1 0 16197735 29556736 1150 33554432000 4194304 5970956 140725035957520 140725035954120 5672408 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 7216 1150 709 434 0 580 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28864

[startup+0.300341 s]
/proc/loadavg: 2.00 2.01 2.11 4/186 5616
/proc/meminfo: memFree=31975772/32770624 swapFree=6264/14240
[pid=5616] ppid=5613 vsize=34144 CPUtime=0.29 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 3230 0 0 0 29 0 0 0 20 0 1 0 16197735 34963456 2516 33554432000 4194304 5970956 140725035957520 140725035954120 5670331 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 8536 2516 714 434 0 1900 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34144

[startup+0.700338 s]
/proc/loadavg: 2.00 2.01 2.11 4/186 5616
/proc/meminfo: memFree=31975772/32770624 swapFree=6264/14240
[pid=5616] ppid=5613 vsize=38792 CPUtime=0.68 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 4326 0 0 0 68 0 0 0 20 0 1 0 16197735 39723008 3571 33554432000 4194304 5970956 140725035957520 140725035954120 5674904 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 9698 3571 714 434 0 3062 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 38792

[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.11 3/187 5617
/proc/meminfo: memFree=31961860/32770624 swapFree=6264/14300
[pid=5616] ppid=5613 vsize=46296 CPUtime=1.48 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 6076 0 0 0 148 0 0 0 20 0 1 0 16197735 47407104 5353 33554432000 4194304 5970956 140725035957520 140725035954120 140206670818304 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 11574 5353 714 434 0 4938 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46296

[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.11 3/187 5617
/proc/meminfo: memFree=31950576/32770624 swapFree=6264/14300
[pid=5616] ppid=5613 vsize=65704 CPUtime=3.09 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 12042 0 0 0 308 1 0 0 20 0 1 0 16197735 67280896 9709 33554432000 4194304 5970956 140725035957520 140725035952536 140206670818304 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 16426 9709 714 434 0 9790 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65704

[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.11 3/187 5617
/proc/meminfo: memFree=31915728/32770624 swapFree=6264/14308
[pid=5616] ppid=5613 vsize=99480 CPUtime=6.28 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 20784 0 0 0 626 2 0 0 20 0 1 0 16197735 101867520 17231 33554432000 4194304 5970956 140725035957520 140725035954120 5417067 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 24870 17231 715 434 0 18234 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 99480

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.11 3/187 5617
/proc/meminfo: memFree=31849432/32770624 swapFree=6264/14312
[pid=5616] ppid=5613 vsize=167156 CPUtime=12.68 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 38245 0 0 0 1264 4 0 0 20 0 1 0 16197735 171167744 33443 33554432000 4194304 5970956 140725035957520 140725035954120 5673393 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 41789 33443 715 434 0 35153 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 167156

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.11 3/187 5617
/proc/meminfo: memFree=31811456/32770624 swapFree=6264/14328
[pid=5616] ppid=5613 vsize=201560 CPUtime=25.48 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 100961 0 0 0 2540 8 0 0 20 0 1 0 16197735 206397440 41167 33554432000 4194304 5970956 140725035957520 140725035954856 4933151 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 41167 772 434 0 43754 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 201560

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.11 3/187 5617
/proc/meminfo: memFree=31808624/32770624 swapFree=6264/14368
[pid=5616] ppid=5613 vsize=201560 CPUtime=51.07 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 125849 0 0 0 5097 10 0 0 20 0 1 0 16197735 206397440 41862 33554432000 4194304 5970956 140725035957520 140725035954856 4934357 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 41862 776 434 0 43754 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 201560

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/187 5619
/proc/meminfo: memFree=31803616/32770624 swapFree=6264/14480
[pid=5616] ppid=5613 vsize=201560 CPUtime=102.23 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 139704 0 0 0 10212 11 0 0 20 0 1 0 16197735 206397440 43346 33554432000 4194304 5970956 140725035957520 140725035954856 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43346 776 434 0 43754 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 201560

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/186 5620
/proc/meminfo: memFree=31804904/32770624 swapFree=6264/14804
[pid=5616] ppid=5613 vsize=201560 CPUtime=162.2 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 140293 0 0 0 16209 11 0 0 20 0 1 0 16197735 206397440 43357 33554432000 4194304 5970956 140725035957520 140725035954856 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43357 776 434 0 43754 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 201560

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.09 3/188 5630
/proc/meminfo: memFree=31802408/32770624 swapFree=6264/15924
[pid=5616] ppid=5613 vsize=201560 CPUtime=222.18 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 140878 0 0 0 22207 11 0 0 20 0 1 0 16197735 206397440 43358 33554432000 4194304 5970956 140725035957520 140725035954856 4934320 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43358 776 434 0 43754 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 201560

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/188 5631
/proc/meminfo: memFree=31802160/32770624 swapFree=6264/15968
[pid=5616] ppid=5613 vsize=201560 CPUtime=282.15 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 141462 0 0 0 28204 11 0 0 20 0 1 0 16197735 206397440 43358 33554432000 4194304 5970956 140725035957520 140725035954856 4934366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43358 776 434 0 43754 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 201560

[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.09 3/188 5632
/proc/meminfo: memFree=31802036/32770624 swapFree=6264/16012
[pid=5616] ppid=5613 vsize=201560 CPUtime=342.13 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 142047 0 0 0 34202 11 0 0 20 0 1 0 16197735 206397440 43359 33554432000 4194304 5970956 140725035957520 140725035954856 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43359 776 434 0 43754 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 201560

[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.08 3/188 5633
/proc/meminfo: memFree=31802160/32770624 swapFree=6264/16076
[pid=5616] ppid=5613 vsize=201560 CPUtime=402.11 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 142632 0 0 0 40200 11 0 0 20 0 1 0 16197735 206397440 43359 33554432000 4194304 5970956 140725035957520 140725035954856 4933078 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43359 776 434 0 43754 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 201560

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.07 3/188 5634
/proc/meminfo: memFree=31802780/32770624 swapFree=6264/16120
[pid=5616] ppid=5613 vsize=201560 CPUtime=462.09 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 143217 0 0 0 46198 11 0 0 20 0 1 0 16197735 206397440 43359 33554432000 4194304 5970956 140725035957520 140725035954856 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43359 776 434 0 43754 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 201560

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/187 5635
/proc/meminfo: memFree=31802788/32770624 swapFree=6264/16144
[pid=5616] ppid=5613 vsize=201560 CPUtime=522.07 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 143803 0 0 0 52196 11 0 0 20 0 1 0 16197735 206397440 43360 33554432000 4194304 5970956 140725035957520 140725035954856 4933072 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43360 776 434 0 43754 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 201560

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/187 5636
/proc/meminfo: memFree=31802540/32770624 swapFree=6264/16200
[pid=5616] ppid=5613 vsize=201560 CPUtime=582.05 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 144389 0 0 0 58193 12 0 0 20 0 1 0 16197735 206397440 43360 33554432000 4194304 5970956 140725035957520 140725035954856 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43360 776 434 0 43754 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 201560


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


[startup+1542.31 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 5668
/proc/meminfo: memFree=31802932/32770624 swapFree=6264/16792
[pid=5616] ppid=5613 vsize=201560 CPUtime=1541.71 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 152556 0 0 0 154159 12 0 0 20 0 1 0 16197735 206397440 43361 33554432000 4194304 5970956 140725035957520 140725035954856 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43361 776 434 0 43754 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 201560

[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 5669
/proc/meminfo: memFree=31802816/32770624 swapFree=6264/16828
[pid=5616] ppid=5613 vsize=201560 CPUtime=1601.68 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 153143 0 0 0 160156 12 0 0 20 0 1 0 16197735 206397440 43361 33554432000 4194304 5970956 140725035957520 140725035954856 4934318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43361 776 434 0 43754 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 201560

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 5670
/proc/meminfo: memFree=31802940/32770624 swapFree=6264/16856
[pid=5616] ppid=5613 vsize=201560 CPUtime=1661.66 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 153462 0 0 0 166154 12 0 0 20 0 1 0 16197735 206397440 43361 33554432000 4194304 5970956 140725035957520 140725035954856 4934556 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43361 776 434 0 43754 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 201560

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 5672
/proc/meminfo: memFree=31802848/32770624 swapFree=6264/16904
[pid=5616] ppid=5613 vsize=201560 CPUtime=1721.63 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 153765 0 0 0 172151 12 0 0 20 0 1 0 16197735 206397440 43361 33554432000 4194304 5970956 140725035957520 140725035954856 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43361 776 434 0 43754 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 201560

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 5673
/proc/meminfo: memFree=31802600/32770624 swapFree=6264/16940
[pid=5616] ppid=5613 vsize=201560 CPUtime=1781.61 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 154352 0 0 0 178149 12 0 0 20 0 1 0 16197735 206397440 43361 33554432000 4194304 5970956 140725035957520 140725035954856 4934366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43361 776 434 0 43754 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 201560

[startup+1842.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/187 5674
/proc/meminfo: memFree=31802600/32770624 swapFree=6264/16964
[pid=5616] ppid=5613 vsize=201560 CPUtime=1841.59 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 154741 0 0 0 184147 12 0 0 20 0 1 0 16197735 206397440 43361 33554432000 4194304 5970956 140725035957520 140725035954856 4933210 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43361 776 434 0 43754 0
Current children cumulated CPU time (s) 1841.59
Current children cumulated vsize (KiB) 201560

[startup+1902.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/187 5676
/proc/meminfo: memFree=31802596/32770624 swapFree=6264/17024
[pid=5616] ppid=5613 vsize=201560 CPUtime=1901.57 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 155329 0 0 0 190145 12 0 0 20 0 1 0 16197735 206397440 43362 33554432000 4194304 5970956 140725035957520 140725035954856 4934864 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43362 776 434 0 43754 0
Current children cumulated CPU time (s) 1901.57
Current children cumulated vsize (KiB) 201560

[startup+1962.3 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 5737
/proc/meminfo: memFree=31809380/32770624 swapFree=6264/17120
[pid=5616] ppid=5613 vsize=201560 CPUtime=1961.55 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 155725 0 0 0 196143 12 0 0 20 0 1 0 16197735 206397440 43362 33554432000 4194304 5970956 140725035957520 140725035954856 4933186 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43362 776 434 0 43754 0
Current children cumulated CPU time (s) 1961.55
Current children cumulated vsize (KiB) 201560

[startup+2022.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 5807
/proc/meminfo: memFree=31806696/32770624 swapFree=6264/17244
[pid=5616] ppid=5613 vsize=201560 CPUtime=2021.53 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 156105 0 0 0 202140 13 0 0 20 0 1 0 16197735 206397440 43362 33554432000 4194304 5970956 140725035957520 140725035954856 4934335 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43362 776 434 0 43754 0
Current children cumulated CPU time (s) 2021.53
Current children cumulated vsize (KiB) 201560

[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/189 5831
/proc/meminfo: memFree=31805392/32770624 swapFree=6264/17304
[pid=5616] ppid=5613 vsize=201560 CPUtime=2081.52 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 156693 0 0 0 208139 13 0 0 20 0 1 0 16197735 206397440 43362 33554432000 4194304 5970956 140725035957520 140725035954856 4934354 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43362 776 434 0 43754 0
Current children cumulated CPU time (s) 2081.52
Current children cumulated vsize (KiB) 201560

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/189 5832
/proc/meminfo: memFree=31805516/32770624 swapFree=6264/17364
[pid=5616] ppid=5613 vsize=201560 CPUtime=2141.49 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 156994 0 0 0 214136 13 0 0 20 0 1 0 16197735 206397440 43362 33554432000 4194304 5970956 140725035957520 140725035954856 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43362 776 434 0 43754 0
Current children cumulated CPU time (s) 2141.49
Current children cumulated vsize (KiB) 201560

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 5833
/proc/meminfo: memFree=31805940/32770624 swapFree=6264/17416
[pid=5616] ppid=5613 vsize=201560 CPUtime=2201.48 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 157331 0 0 0 220135 13 0 0 20 0 1 0 16197735 206397440 43362 33554432000 4194304 5970956 140725035957520 140725035954856 4934318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43362 776 434 0 43754 0
Current children cumulated CPU time (s) 2201.48
Current children cumulated vsize (KiB) 201560

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 5834
/proc/meminfo: memFree=31805592/32770624 swapFree=6264/17452
[pid=5616] ppid=5613 vsize=201560 CPUtime=2261.45 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 157957 0 0 0 226132 13 0 0 20 0 1 0 16197735 206397440 43362 33554432000 4194304 5970956 140725035957520 140725035954856 4934449 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43362 776 434 0 43754 0
Current children cumulated CPU time (s) 2261.45
Current children cumulated vsize (KiB) 201560

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5835
/proc/meminfo: memFree=31805244/32770624 swapFree=6264/17492
[pid=5616] ppid=5613 vsize=201560 CPUtime=2321.43 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 158396 0 0 0 232130 13 0 0 20 0 1 0 16197735 206397440 43362 33554432000 4194304 5970956 140725035957520 140725035954856 4930672 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43362 776 434 0 43754 0
Current children cumulated CPU time (s) 2321.43
Current children cumulated vsize (KiB) 201560

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5836
/proc/meminfo: memFree=31805136/32770624 swapFree=6264/17520
[pid=5616] ppid=5613 vsize=201560 CPUtime=2381.41 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 158760 0 0 0 238128 13 0 0 20 0 1 0 16197735 206397440 43362 33554432000 4194304 5970956 140725035957520 140725035954856 4934318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43362 776 434 0 43754 0
Current children cumulated CPU time (s) 2381.41
Current children cumulated vsize (KiB) 201560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5837
/proc/meminfo: memFree=31805260/32770624 swapFree=6264/17548
[pid=5616] ppid=5613 vsize=201560 CPUtime=2400 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 159058 0 0 0 239987 13 0 0 20 0 1 0 16197735 206397440 43362 33554432000 4194304 5970956 140725035957520 140725035954856 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43362 776 434 0 43754 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 201560

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5616 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5837
/proc/meminfo: memFree=31805260/32770624 swapFree=6264/17548
[pid=5616] ppid=5613 vsize=201560 CPUtime=2400 cores=0,2,4,6
/proc/5616/stat : 5616 (cosoco) R 5613 5616 3975 0 -1 4202496 159058 0 0 0 239987 13 0 0 20 0 1 0 16197735 206397440 43362 33554432000 4194304 5970956 140725035957520 140725035954856 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 37400576 140725035959484 140725035959619 140725035959619 140725035962318 0
/proc/5616/statm: 50390 43362 776 434 0 43754 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 201560

Child status: 1
Real time (s): 2400.9
CPU time (s): 2400.01
CPU user time (s): 2399.88
CPU system time (s): 0.133951
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 201560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.88
system time used= 0.133951
maximum resident set size= 173488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159084
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= 53
involuntary context switches= 120718

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.85921 second user time and 7.89069 second system time

The end

Launcher Data 

Begin job on node131 at 2017-07-21 11:26:52
IDJOB=4241109
IDBENCH=126094
IDSOLVER=2621
FILE ID=node131/4241109-1500629211
RUNJOBID= node131-1500623778-4006
PBS_JOBID= 20623002
Free space on /tmp= 61988 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-16.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241109-1500629211/watcher-4241109-1500629211 -o /tmp/evaluation-result-4241109-1500629211/solver-4241109-1500629211 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4006 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241109-1500629211.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9d7406c968f8af9220e5e662d0bd5052
RANDOM SEED=19395258

node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31976136 kB
MemAvailable:   32002628 kB
Buffers:           94060 kB
Cached:           205944 kB
SwapCached:            0 kB
Active:           283896 kB
Inactive:          78416 kB
Active(anon):       9492 kB
Inactive(anon):    64176 kB
Active(file):     274404 kB
Inactive(file):    14240 kB
Unevictable:        6264 kB
Mlocked:            6264 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             34500 kB
Writeback:             0 kB
AnonPages:         67920 kB
Mapped:            34088 kB
Shmem:              8852 kB
Slab:             133084 kB
SReclaimable:     107364 kB
SUnreclaim:        25720 kB
KernelStack:        3536 kB
PageTables:         5400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     337304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61988 MiB
End job on node131 at 2017-07-21 12:06:53