Trace number 4241017

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.09 2401.5

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-4.xml
MD5SUMcc3fcfac109c3d277a0ef72b27cdc983
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark80.053596
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints58
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree9
Maximum variable degree21
Distribution of variable degrees[{"degree":9,"count":1},{"degree":10,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":6},{"degree":18,"count":2},{"degree":19,"count":4},{"degree":21,"count":2}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":58}]
Number of extensional constraints58
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":58}]
Optimization problemNO
Type of objective

Solver Data 

14.58/14.62	c SAT : Variables: 125 -- Clauses: 275
14.68/14.70	c root propagations     : 0           
14.68/14.70	c restarts enabled, print stats at every restarts
14.68/14.70	c
14.68/14.70	c
14.68/14.70	c
14.68/14.70	c This is cosoco 1.0 --  
14.68/14.70	c
14.68/14.70	c ========================================[ Problem Statistics ]===========================================
14.68/14.70	c |                                                                                                       
14.68/14.70	c |  Parse time        :        14.53 s 
14.68/14.70	c |
14.68/14.70	c |               Variables: 25
14.68/14.70	c |            Domain Sizes: 5..5
14.68/14.70	c |
14.68/14.70	c |             Constraints: 58
14.68/14.70	c |                   Arity: 7..7
14.68/14.70	c | 
14.68/14.70	c |                   Types: 
14.68/14.70	c |                          Extension: 58  (nb tuples: 38424..39825) -- (shared: 0)
14.68/14.70	c |                          
14.68/14.70	c =========================================================================================================
14.68/14.70	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
14.88/14.93	c 10             32             1793           531            0              5              9   12   9     
14.98/15.06	c 20             59             3363           954            0              7              12   13   11   
15.18/15.25	c 30             84             4670           1347           0              9              9   12   10    
15.39/15.44	c 40             113            6456           1909           0              12             8   11   8     
15.58/15.68	c 50             136            7648           2288           0              19             8   11   8     
15.88/15.91	c 60             161            9160           2676           0              27             7   12   9     
16.18/16.27	c 70             199            11368          3272           0              30             8   12   8     
16.49/16.54	c 80             223            12604          3708           0              31             8   11   8     
16.88/16.97	c 90             251            14647          4335           0              33             8   10   8     
17.18/17.24	c 100            278            16002          4658           0              35             9   12   10    
17.28/17.39	c 101            287            16246          4689           0              36             9   9   4      
17.48/17.58	c 110            318            18089          5244           0              39             11   12   10   
17.88/17.91	c 120            344            19684          5654           0              41             10   11   9    
18.08/18.19	c 130            373            21613          6206           0              43             10   12   9    
18.48/18.55	c 140            401            23517          6740           0              48             7   11   8     
18.78/18.84	c 150            431            25046          7125           0              52             8   12   9     
19.28/19.32	c 160            462            27137          7779           0              57             7   11   8     
19.68/19.71	c 170            491            29100          8261           0              59             9   11   9     
19.98/20.04	c 180            517            30720          8656           0              65             7   11   9     
20.37/20.44	c 190            546            32477          9174           0              67             7   11   8     
20.88/20.91	c 200            569            34048          9601           0              71             8   9   7      
21.37/21.45	c 210            597            35804          10074          0              77             7   11   8     
21.57/21.64	c 211            607            36230          10185          0              78             10   10   5    
21.87/21.98	c 220            631            37490          10481          0              82             7   10   8     
22.47/22.54	c 230            665            39532          11091          0              86             8   11   8     
22.77/22.86	c 240            690            40822          11522          0              88             7   10   8     
23.37/23.42	c 250            718            42584          12085          0              93             7   11   8     
23.77/23.84	c 260            739            43955          12570          0              99             7   9   7      
24.37/24.43	c 270            771            46007          13096          0              101            6   10   8     
24.78/24.84	c 280            799            47586          13520          0              104            9   13   9     
25.08/25.19	c 290            826            49270          13975          0              106            7   11   8     
25.38/25.41	c 300            853            50935          14444          0              110            11   12   10   
25.58/25.69	c 310            880            52572          14876          0              112            7   12   8     
25.88/25.96	c 320            905            54231          15312          0              114            9   12   9     
26.28/26.33	c 330            936            56132          15832          0              120            9   11   9     
26.48/26.54	c 332            948            56718          15957          0              121            9   11   6     
26.88/26.92	c 340            976            58559          16463          0              125            7   11   8     
27.08/27.19	c 350            1007           60399          17009          0              134            8   12   9     
27.68/27.75	c 360            1027           61812          17453          0              135            7   9   7      
28.08/28.15	c 370            1064           63998          18055          0              139            9   12   8     
28.58/28.70	c 380            1095           66021          18682          0              144            7   11   8     
28.98/29.09	c 390            1128           67991          19211          0              146            9   11   8     
29.28/29.35	c 400            1155           69571          19641          0              151            10   11   9    
29.57/29.66	c 410            1187           71556          20197          0              154            8   12   9     
29.87/29.97	c 420            1216           73427          20698          0              157            11   12   10   
30.27/30.34	c 430            1239           74546          21050          0              163            7   12   9     
30.67/30.78	c 440            1276           76685          21658          0              168            10   12   10   
31.07/31.11	c 450            1306           78503          22225          0              173            10   12   9    
31.37/31.46	c 460            1344           80442          22670          0              176            8   13   9     
31.67/31.76	c 465            1365           81820          23059          0              178            7   11   7     
32.07/32.11	c 470            1379           82695          23251          0              183            6   10   6     
32.47/32.55	c 480            1409           84707          23783          0              186            8   10   7     
32.87/32.98	c 490            1447           86804          24361          0              188            7   11   8     
33.37/33.48	c 500            1480           89122          25107          0              190            8   12   8     
33.78/33.85	c 510            1509           91190          25696          0              196            7   11   8     
34.27/34.31	c 520            1535           92936          26281          0              202            7   10   8     
34.77/34.89	c 530            1570           95142          26892          0              208            7   12   9     
35.18/35.28	c 540            1601           97098          27465          0              210            9   11   9     
35.57/35.70	c 550            1634           98923          27972          0              213            8   12   9     
36.07/36.16	c 560            1657           100490         28487          0              217            6   9   7      
36.87/36.93	c 570            1682           102374         29066          0              221            7   11   7     
37.47/37.51	c 580            1711           104303         29651          0              225            7   10   7     
37.87/37.91	c 590            1737           106160         30223          0              230            8   11   8     
38.27/38.35	c 600            1774           108352         30813          0              236            8   13   9     
38.67/38.77	c 610            1797           110180         31375          0              241            7   10   7     
38.97/39.03	c 611            1806           110677         31463          0              242            9   9   4      
39.37/39.45	c 620            1841           112523         31926          0              246            9   12   9     
39.77/39.87	c 630            1872           114256         32415          0              251            10   12   10   
40.17/40.20	c 640            1908           116642         33155          0              255            9   12   9     
40.47/40.58	c 650            1939           118741         33709          0              260            9   12   9     
40.96/41.10	c 660            1968           120334         34176          0              264            7   12   8     
41.36/41.47	c 670            1998           122136         34689          0              269            8   12   9     
41.77/41.88	c 680            2023           123932         35206          0              272            8   11   8     
42.16/42.28	c 690            2051           125585         35673          0              280            7   13   8     
42.56/42.65	c 700            2086           127511         36149          0              283            8   13   9     
42.97/43.05	c 710            2116           129519         36702          0              286            7   12   9     
43.36/43.46	c 720            2145           131556         37239          0              291            9   11   9     
43.86/43.94	c 730            2174           133648         37790          0              297            8   11   8     
44.26/44.33	c 740            2208           135845         38361          0              301            7   12   8     
44.66/44.73	c 750            2236           137720         39054          0              305            9   10   8     
44.96/45.08	c 760            2263           139480         39515          0              311            7   11   8     
45.56/45.61	c 770            2287           141430         40025          0              315            7   10   7     
45.76/45.83	c 771            2294           141764         40096          0              316            7   7   3      
46.06/46.10	c 780            2319           143381         40485          0              317            9   12   9     
46.46/46.51	c 790            2351           145303         41124          0              322            8   12   9     
47.06/47.13	c 800            2379           147519         41727          0              328            7   11   8     
47.56/47.60	c 810            2417           149689         42276          0              331            8   12   9     
48.06/48.11	c 820            2449           151751         42836          0              334            7   11   8     
48.36/48.49	c 830            2477           153541         43382          0              338            9   12   9     
49.06/49.12	c 840            2509           155641         44013          0              340            8   11   8     
49.46/49.54	c 850            2537           157499         44656          0              343            9   11   9     
49.86/49.98	c 860            2564           159195         45184          0              348            7   10   7     
50.25/50.33	c 870            2597           161568         45807          0              353            6   11   9     
50.56/50.68	c 880            2631           163698         46315          0              358            9   11   8     
51.05/51.18	c 890            2659           165598         46863          0              363            7   11   8     
51.45/51.55	c 900            2682           166995         47254          0              365            8   10   8     
51.85/51.95	c 910            2709           168440         47691          0              368            8   11   8     
52.45/52.51	c 920            2733           169822         48045          0              370            6   9   7      
52.86/52.92	c 930            2761           171620         48517          0              377            9   11   8     
53.15/53.27	c 940            2793           173527         49038          0              383            9   12   9     
53.45/53.59	c 947            2816           174865         49354          0              388            7   11   8     
53.75/53.89	c 950            2831           175667         49565          0              390            9   11   7     
54.25/54.32	c 960            2862           177726         50115          0              393            8   11   8     
54.75/54.80	c 970            2900           180077         50813          0              395            9   12   9     
55.15/55.28	c 980            2926           182092         51268          0              399            6   10   7     
55.45/55.55	c 990            2957           183780         51657          0              402            7   12   9     
55.85/55.94	c 1000           2985           185854         52215          0              407            10   12   9    
56.35/56.42	c 1010           3018           188118         52891          0              410            6   12   8     
56.85/56.91	c 1020           3050           190625         53594          0              414            9   11   8     
57.26/57.31	conflict 11lvl : 6 bt6-36:0(32)X5674
57.36/57.41	c 1030           3080           192984         54202          0              420            7   11   7     
57.76/57.88	c 1040           3108           194968         54801          0              425            6   12   8     
58.16/58.27	c 1050           3137           196880         55359          0              428            9   11   9     
58.56/58.67	c 1060           3165           198953         55997          0              430            8   12   9     
58.96/59.05	c 1070           3192           200767         56500          0              434            8   11   9     
59.36/59.48	c 1080           3223           202593         56965          0              438            6   11   7     
59.76/59.82	c 1090           3250           204457         57459          0              443            8   10   8     
60.16/60.29	c 1100           3274           206223         58008          0              447            7   10   8     
60.56/60.66	c 1110           3301           207739         58534          0              451            10   12   9    
60.96/61.06	c 1120           3333           209752         59079          0              453            8   12   9     
61.26/61.32	c 1130           3360           211253         59482          0              454            10   13   10   
61.76/61.84	c 1140           3394           213690         60218          0              457            8   12   8     
61.96/62.04	c 1141           3403           214081         60282          0              458            9   9   4      
62.36/62.48	c 1150           3433           215885         60800          0              462            8   11   8     
62.66/62.75	c 1160           3461           217575         61270          0              465            9   11   9     
63.05/63.19	c 1170           3489           219396         61807          0              468            8   10   8     
63.45/63.55	c 1180           3523           221461         62350          0              476            6   12   9     
63.95/64.06	c 1190           3550           223227         62889          0              481            7   10   8     
64.25/64.35	c 1200           3574           224525         63371          0              486            10   11   9    
64.75/64.85	c 1210           3599           226069         63862          0              490            6   10   8     
65.05/65.16	c 1220           3627           227914         64388          0              493            8   11   8     
65.45/65.55	c 1230           3651           229438         64876          0              498            7   10   8     
65.85/65.90	c 1240           3675           230992         65307          0              501            7   12   8     
66.35/66.47	c 1250           3710           233443         66017          0              505            8   10   8     
66.85/66.96	c 1260           3734           234876         66485          0              508            7   10   8     
67.25/67.39	c 1270           3765           236819         66995          0              515            8   11   8     
67.95/68.05	c 1280           3800           239387         67785          0              521            8   10   8     
68.35/68.47	c 1290           3833           241778         68395          0              525            8   12   9     
68.75/68.89	c 1300           3864           243818         68911          0              529            7   11   8     
69.35/69.44	c 1310           3891           245618         69424          0              533            7   10   8     
69.85/69.99	c 1320           3924           247675         70035          0              538            8   11   8     
70.55/70.63	c 1330           3946           249318         70536          0              542            6   8   6      
70.85/70.98	c 1340           3975           250665         71027          0              543            9   10   8     
71.35/71.42	c 1350           4004           252440         71562          0              549            8   11   8     
71.55/71.69	c 1352           4018           253121         71707          0              551            10   11   7    
72.25/72.30	c 1360           4039           254845         72176          0              555            6   8   6      
72.55/72.65	c 1370           4069           256729         72698          0              557            8   11   8     
72.95/73.04	c 1380           4099           258530         73254          0              560            9   12   9     
73.35/73.41	c 1390           4128           260271         73820          0              567            9   12   9     
73.65/73.80	c 1400           4156           262145         74351          0              570            9   11   8     
74.05/74.11	c 1410           4186           263804         74844          0              574            8   13   9     
74.44/74.59	c 1420           4213           265624         75380          0              577            7   11   7     
74.85/74.93	c 1430           4239           267348         75816          0              584            7   12   9     
75.14/75.27	conflict 6lvl : 6 bt5-106:0(10)X7476
75.44/75.57	c 1440           4266           269165         76338          0              589            5   10   7     
75.85/75.95	c 1450           4290           270652         76775          0              594            7   10   7     
76.34/76.49	c 1460           4316           272537         77303          0              597            7   9   7      
76.95/77.09	c 1470           4338           274566         77813          0              603            7   9   7      
77.44/77.55	c 1480           4378           277049         78431          0              607            8   14   10    
77.94/78.01	c 1490           4407           278671         78883          0              612            8   12   8     
78.54/78.66	c 1500           4442           281303         79627          0              614            8   11   8     
78.84/78.95	c 1510           4467           282786         80040          0              617            7   12   8     
79.25/79.37	c 1520           4496           284594         80496          0              622            7   13   10    
79.54/79.67	c 1530           4528           286359         80968          0              627            8   13   10    
79.94/80.06	c 1540           4562           288749         81675          0              629            10   14   10   
80.35/80.47	c 1550           4585           290226         82124          0              636            8   12   8     
80.84/80.91	c 1560           4613           292205         82744          0              638            8   10   8     
81.24/81.30	c 1570           4639           293963         83169          0              642            9   10   8     
81.84/81.95	c 1580           4665           296077         83789          0              647            6   9   7      
82.04/82.19	c 1585           4685           297305         84124          0              648            10   12   9    
82.45/82.56	c 1590           4702           298501         84404          0              651            6   10   7     
83.14/83.22	c 1600           4730           300725         85019          0              655            7   10   7     
83.65/83.70	c 1610           4759           302832         85610          0              658            7   10   7     
83.94/84.08	c 1620           4791           304872         86163          0              662            9   12   9     
84.54/84.64	c 1630           4823           307161         86800          0              667            6   10   8     
85.04/85.19	c 1640           4851           309057         87349          0              670            8   10   8     
85.64/85.72	c 1650           4879           310828         87919          0              676            6   12   7     
86.04/86.16	c 1660           4909           312480         88454          0              680            8   9   7      
86.44/86.58	c 1670           4934           314117         88909          0              685            7   10   7     
86.94/87.01	c 1680           4962           315798         89397          0              689            8   11   8     
87.24/87.36	c 1690           4996           317525         89858          0              692            8   12   9     
87.64/87.76	c 1700           5020           319189         90335          0              695            7   10   7     
87.94/88.08	c 1710           5055           321160         90925          0              700            10   14   10   
88.34/88.43	c 1720           5088           323147         91435          0              702            9   14   10    
88.84/88.93	c 1730           5121           325268         92025          0              705            8   11   8     
89.24/89.39	c 1740           5159           327797         92706          0              706            7   13   8     
89.54/89.67	c 1750           5180           328851         93041          0              712            7   12   9     
89.94/90.01	c 1760           5205           330536         93566          0              713            8   10   8     
90.44/90.53	c 1770           5231           332240         94198          0              717            8   9   7      
90.73/90.88	c 1780           5256           333661         94566          0              720            7   11   7     
91.13/91.21	c 1790           5282           335459         95133          0              722            9   12   9     
91.53/91.69	c 1800           5311           337097         95600          0              726            8   12   8     
91.93/92.09	c 1810           5340           338999         96140          0              731            7   12   8     
92.23/92.37	c 1820           5363           340255         96519          0              736            7   12   9     
92.73/92.81	c 1830           5390           341979         97034          0              740            7   12   8     
93.54/93.66	c 1840           5428           344652         97802          0              745            7   11   7     
93.73/93.89	c 1841           5435           344938         97854          0              746            7   7   3      
94.23/94.31	c 1850           5460           346505         98349          0              750            8   11   8     
94.54/94.63	c 1860           5493           348117         98853          0              755            9   12   9     
94.83/94.98	c 1870           5521           349733         99317          0              759            9   12   9     
95.13/95.28	c 1880           5548           351297         99719          0              765            8   12   8     
95.64/95.79	c 1890           5581           353461         100385         0              767            9   12   9     
96.03/96.14	c 1900           5605           354941         100851         0              771            8   10   8     
96.53/96.66	c 1910           5638           357268         101495         0              774            7   10   7     
96.84/96.97	c 1920           5673           359326         102067         0              776            9   14   10    
97.33/97.41	c 1930           5698           360785         102582         0              781            8   10   8     
97.63/97.73	c 1940           5720           361993         102947         0              788            8   11   8     
98.13/98.27	c 1950           5743           363662         103438         0              791            7   10   7     
98.73/98.85	c 1960           5777           366263         104026         0              794            7   10   8     
99.03/99.17	c 1970           5812           368376         104638         0              798            10   13   10   
99.53/99.62	c 1980           5841           370745         105280         0              804            7   11   8     
99.93/100.03	c 1990           5871           372748         105867         0              808            7   11   8     
100.33/100.45	c 2000           5898           374553         106396         0              813            7   11   8     
100.73/100.82	c 2010           5927           376485         106920         0              816            10   12   9    
101.02/101.17	c 2020           5961           378649         107515         0              820            10   13   10   
101.42/101.59	c 2030           5986           380343         108019         0              825            8   11   8     
102.12/102.21	c 2040           6010           382367         108570         0              831            7   11   7     
102.82/102.93	c 2050           6052           385070         109350         0              835            7   10   8     
103.22/103.33	c 2060           6081           386950         109783         0              839            7   11   8     
103.52/103.67	c 2070           6116           389180         110356         0              843            9   12   9     
104.02/104.11	c 2080           6151           391413         111070         0              847            10   12   9    
104.62/104.70	c 2090           6183           393508         111629         0              849            8   13   8     
105.12/105.24	c 2100           6211           395390         112118         0              851            6   10   7     
105.53/105.69	c 2110           6242           397296         112614         0              856            7   11   8     
106.02/106.12	c 2120           6268           398950         113077         0              861            7   9   7      
106.22/106.35	c 2122           6281           399651         113249         0              863            10   11   7    
106.63/106.75	c 2130           6301           401182         113651         0              866            8   10   8     
107.02/107.18	c 2140           6327           402968         114249         0              869            8   10   8     
107.62/107.71	c 2150           6349           404902         114748         0              872            7   9   7      
108.02/108.18	c 2160           6381           407206         115449         0              876            8   12   8     
108.62/108.72	c 2170           6404           408976         115972         0              877            7   10   6     
109.02/109.11	c 2180           6431           410436         116374         0              881            8   11   9     
109.32/109.49	c 2190           6455           411956         116815         0              888            8   10   8     
110.03/110.12	c 2200           6480           413964         117431         0              891            7   10   7     
110.42/110.59	c 2210           6523           416770         118170         0              895            7   12   9     
110.92/111.03	c 2220           6544           418052         118624         0              897            7   9   7      
111.32/111.42	c 2230           6573           419839         119074         0              901            9   11   9     
111.62/111.70	c 2240           6605           421374         119515         0              904            8   12   9     
112.12/112.24	c 2250           6635           423600         120177         0              909            8   11   8     
112.72/112.84	c 2260           6666           425431         120723         0              914            6   10   7     
113.22/113.32	c 2270           6696           427350         121374         0              917            6   11   8     
113.52/113.61	c 2280           6720           428897         121773         0              919            8   12   8     
114.02/114.18	c 2290           6745           430718         122379         0              924            6   10   6     
114.51/114.67	c 2300           6771           432410         123029         0              926            7   10   7     
114.91/115.06	c 2310           6802           434357         123616         0              931            8   12   8     
115.31/115.40	c 2320           6838           436467         124170         0              934            8   12   8     
115.61/115.75	c 2330           6861           438109         124637         0              939            7   10   8     
116.11/116.29	c 2340           6895           440720         125375         0              943            8   10   8     
116.62/116.71	c 2350           6929           443212         126076         0              946            7   13   8     
116.91/117.09	c 2360           6958           445400         126670         0              950            10   12   10   
117.31/117.46	c 2370           6995           447463         127275         0              957            9   13   9     
117.81/117.93	c 2380           7029           449837         127946         0              960            6   10   7     
118.31/118.40	c 2390           7060           452252         128492         0              965            7   11   8     
118.72/118.89	c 2400           7092           454294         129016         0              970            8   12   8     
119.01/119.13	conflict 7lvl : 8 bt8-36:0(28)X11534
119.41/119.57	c 2410           7122           456447         129664         0              972            7   11   7     
119.92/120.04	c 2420           7156           458539         130361         0              975            8   11   8     
120.31/120.48	c 2430           7186           460376         131087         0              981            7   12   8     
120.51/120.69	c 2431           7195           460813         131180         0              982            9   9   4      
120.91/121.06	c 2440           7217           462240         131657         0              988            6   10   7     
121.31/121.46	c 2450           7242           463823         132142         0              991            8   10   8     
121.81/121.90	c 2460           7272           465874         132760         0              995            7   10   8     
122.41/122.55	c 2470           7304           467882         133295         0              1000           6   11   8     
122.71/122.89	c 2480           7332           469645         133728         0              1003           6   11   7     
123.21/123.33	c 2490           7360           471424         134298         0              1008           7   11   8     
123.71/123.81	c 2500           7387           473089         134829         0              1015           9   11   8     
124.21/124.34	c 2510           7418           475151         135392         0              1023           8   11   8     
124.61/124.73	c 2520           7453           477115         135934         0              1027           9   13   9     
125.20/125.30	c 2530           7484           479365         136571         0              1033           7   10   7     
125.50/125.66	c 2540           7513           481152         137025         0              1038           9   13   9     
125.90/126.06	c 2550           7541           483128         137600         0              1042           7   12   8     
126.41/126.54	c 2560           7578           485190         138306         0              1045           7   12   9     
126.90/127.07	c 2570           7602           486656         138732         0              1047           7   10   7     
127.30/127.43	c 2580           7632           488709         139398         0              1049           9   11   9     
127.80/127.93	c 2590           7661           490531         139981         0              1051           7   11   8     
128.40/128.50	c 2600           7687           492467         140659         0              1053           6   10   7     
128.90/129.00	c 2610           7719           494578         141194         0              1055           8   11   8     
129.40/129.50	c 2620           7750           496675         141835         0              1060           6   12   9     
129.71/129.82	c 2630           7784           498590         142414         0              1063           9   12   9     
130.00/130.19	c 2640           7813           500243         142885         0              1067           8   11   8     
130.40/130.59	c 2650           7837           501721         143372         0              1073           7   11   7     
130.70/130.85	c 2660           7873           503403         143866         0              1077           9   12   10    
131.00/131.15	c 2670           7900           504778         144266         0              1082           9   13   9     
131.50/131.65	c 2680           7938           507147         144902         0              1086           7   11   8     
131.80/131.99	c 2690           7968           508786         145381         0              1089           7   12   9     
132.30/132.43	c 2700           7996           510698         145999         0              1094           7   10   8     
132.70/132.87	c 2710           8029           512475         146498         0              1100           7   12   9     
133.00/133.19	c 2720           8054           513884         146899         0              1105           8   12   8     
133.50/133.70	c 2730           8076           515751         147455         0              1110           7   10   7     
134.00/134.17	c 2740           8115           517857         147970         0              1113           9   12   9     
134.50/134.62	c 2750           8147           520357         148654         0              1119           7   12   8     
134.80/134.91	c 2760           8176           522263         149197         0              1121           10   12   9    
135.40/135.59	c 2770           8218           524739         149840         0              1123           8   13   8     
135.70/135.81	c 2771           8227           525159         149928         0              1124           9   9   4      
135.90/136.09	c 2780           8252           526932         150400         0              1125           8   13   9     
136.20/136.32	c 2790           8279           528230         150818         0              1128           10   13   10   
136.49/136.69	c 2800           8308           529861         151291         0              1131           9   13   9     
136.99/137.14	c 2810           8336           531667         151832         0              1133           6   12   8     
137.40/137.60	c 2820           8367           533668         152457         0              1137           7   11   8     
137.89/138.05	c 2830           8389           535277         152954         0              1141           6   9   7      
138.50/138.65	c 2840           8418           537568         153691         0              1145           7   11   8     
138.79/138.98	c 2850           8448           539336         154172         0              1147           9   12   9     
139.39/139.51	c 2860           8477           541337         154764         0              1153           6   10   7     
139.89/140.04	c 2870           8512           544037         155546         0              1159           6   10   8     
140.19/140.31	c 2880           8542           545857         155999         0              1164           9   14   10    
140.49/140.65	c 2890           8581           548173         156517         0              1168           10   13   10   
140.89/141.09	c 2900           8608           550036         157117         0              1169           9   12   9     
141.49/141.66	c 2910           8644           552273         157740         0              1173           7   13   8     
141.90/142.03	c 2920           8673           554220         158308         0              1179           8   11   8     
142.39/142.52	c 2930           8697           556027         158825         0              1183           6   10   7     
142.69/142.84	c 2940           8719           557418         159306         0              1185           9   9   8      
143.09/143.23	c 2950           8748           559304         159866         0              1187           8   11   9     
143.59/143.73	c 2960           8778           561281         160512         0              1191           7   11   7     
144.19/144.38	c 2970           8806           563448         161119         0              1194           7   10   7     
144.69/144.83	c 2980           8838           565688         161767         0              1197           7   11   8     
145.09/145.28	c 2990           8869           567666         162353         0              1202           9   10   8     
145.89/146.05	c 3000           8901           570254         163058         0              1205           7   11   7     
146.29/146.43	c 3010           8932           572135         163578         0              1206           7   10   8     
146.89/147.05	c 3020           8962           574095         164230         0              1210           7   11   7     
147.19/147.36	c 3030           8992           575640         164748         0              1213           8   12   9     
147.79/147.95	c 3040           9022           577511         165358         0              1217           6   10   7     
148.18/148.38	c 3050           9051           579468         165943         0              1219           7   9   8      
148.78/148.95	c 3060           9086           581611         166467         0              1225           7   12   8     
149.28/149.41	c 3070           9116           583497         167019         0              1228           7   11   8     
149.88/150.01	c 3080           9144           585422         167675         0              1231           6   10   7     
150.18/150.30	c 3090           9169           587125         168148         0              1235           6   10   7     
150.48/150.70	c 3100           9202           588981         168716         0              1240           6   12   8     
150.98/151.10	c 3110           9230           591135         169324         0              1245           6   11   8     
151.38/151.52	c 3120           9257           593040         169902         0              1247           7   10   7     
151.88/152.02	c 3130           9286           595302         170627         0              1253           7   10   8     
152.28/152.40	c 3140           9317           597355         171257         0              1258           7   11   8     
152.48/152.61	c 3142           9330           598189         171458         0              1259           9   11   6     
152.68/152.85	c 3150           9356           599695         171830         0              1264           10   14   11   
153.18/153.31	c 3160           9382           601451         172332         0              1267           8   10   8     
153.38/153.55	c 3170           9413           603304         172854         0              1274           10   14   10   
153.68/153.84	c 3180           9446           605242         173415         0              1279           10   13   9    
153.99/154.17	c 3190           9475           606870         173976         0              1281           8   12   9     
154.28/154.43	c 3200           9503           608521         174446         0              1285           9   12   9     
154.58/154.74	c 3210           9532           610302         174891         0              1288           8   14   9     
155.28/155.40	c 3220           9563           612459         175492         0              1294           6   11   7     
155.78/155.92	c 3230           9598           615016         176234         0              1299           7   12   8     
156.08/156.27	c 3240           9629           617119         176826         0              1303           9   11   8     
156.48/156.67	c 3250           9663           619145         177430         0              1307           8   13   10    
156.98/157.15	c 3260           9697           621468         178151         0              1310           7   11   8     
157.48/157.64	c 3270           9725           623431         178761         0              1313           7   10   7     
157.98/158.11	c 3280           9752           625317         179311         0              1315           7   10   8     
158.28/158.48	c 3290           9782           627584         179895         0              1319           8   11   8     
158.68/158.86	c 3300           9814           629632         180533         0              1321           7   12   8     
159.18/159.32	c 3310           9837           631435         181044         0              1324           7   9   7      
159.68/159.81	c 3320           9862           633084         181510         0              1326           6   10   7     
160.18/160.33	c 3330           9894           635515         182151         0              1332           6   11   7     
160.48/160.64	c 3340           9922           637551         182727         0              1336           9   12   9     
160.98/161.19	c 3350           9954           639561         183308         0              1341           6   12   8     
161.48/161.63	c 3360           9982           641626         183912         0              1346           7   10   7     
161.88/162.06	c 3370           10007          642987         184399         0              1349           8   10   7     
162.38/162.52	c 3380           10036          644972         184975         0              1351           6   11   7     
162.78/162.97	c 3390           10068          647035         185539         0              1354           7   12   8     
163.27/163.45	c 3400           10097          648924         186123         0              1357           7   10   7     
163.57/163.76	c 3410           10125          650884         186708         0              1363           7   13   8     
164.07/164.23	c 3420           10145          652403         187115         0              1365           5   9   6      
164.37/164.52	c 3430           10170          654016         187566         0              1368           10   11   9    
164.88/165.07	c 3440           10199          656193         188219         0              1374           7   11   7     
165.37/165.53	c 3450           10220          657777         188696         0              1376           6   9   6      
165.77/165.97	c 3460           10247          659446         189224         0              1381           6   12   8     
166.17/166.35	c 3470           10279          661277         189775         0              1383           8   11   8     
166.57/166.76	c 3480           10308          663555         190412         0              1386           7   12   8     
166.97/167.15	c 3490           10335          665376         190870         0              1391           7   11   8     
167.37/167.52	c 3500           10373          667529         191441         0              1394           9   11   8     
167.97/168.10	c 3510           10399          669376         191977         0              1398           7   9   7      
168.28/168.43	c 3520           10422          670766         192421         0              1405           8   12   8     
168.57/168.78	c 3530           10450          672413         192919         0              1411           8   13   9     
168.87/169.08	c 3540           10480          673986         193342         0              1416           7   11   9     
169.17/169.33	conflict 7lvl : 8 bt8-81:0(36)X16204
169.38/169.57	c 3550           10506          675651         193804         0              1418           6   10   7     
169.57/169.78	c 3551           10514          675992         193857         0              1419           8   8   4      
170.07/170.29	c 3560           10540          677701         194441         0              1423           7   10   7     
170.48/170.68	c 3570           10565          679144         194902         0              1425           7   12   7     
170.77/170.99	c 3580           10593          680778         195337         0              1429           8   11   8     
171.37/171.54	c 3590           10624          682873         195995         0              1435           6   11   8     
171.87/172.05	c 3600           10654          684827         196668         0              1438           7   11   8     
172.27/172.48	c 3610           10682          686431         197194         0              1442           7   11   8     
172.77/172.93	c 3620           10716          688670         197861         0              1447           9   11   8     
173.17/173.39	c 3630           10750          690759         198424         0              1450           7   12   8     
173.47/173.64	c 3640           10776          692114         198751         0              1456           8   13   9     
173.87/174.03	c 3650           10805          694218         199365         0              1458           8   11   8     
174.27/174.47	c 3660           10835          696031         199886         0              1461           8   10   8     
174.77/174.91	c 3670           10861          697721         200367         0              1464           7   10   8     
175.17/175.34	c 3680           10893          700305         201265         0              1469           8   11   8     
175.66/175.84	c 3690           10927          702490         201936         0              1470           7   10   8     
175.97/176.17	c 3700           10955          704467         202454         0              1474           8   12   9     
176.56/176.70	c 3710           10977          705932         202967         0              1477           6   10   6     
176.97/177.11	c 3720           11006          707937         203532         0              1485           7   10   7     
177.36/177.54	c 3730           11039          710084         204180         0              1488           7   11   8     
177.97/178.12	c 3740           11075          712466         204884         0              1492           7   12   8     
178.37/178.53	c 3750           11112          714464         205467         0              1497           8   11   8     
178.77/178.93	c 3760           11141          716315         205952         0              1501           9   11   9     
179.17/179.31	c 3770           11173          718099         206520         0              1503           6   11   8     
179.37/179.59	c 3780           11197          719604         206939         0              1506           9   11   9     
179.67/179.83	c 3790           11222          720992         207335         0              1510           10   11   9    
180.07/180.22	c 3800           11252          722835         207848         0              1512           6   11   8     
180.57/180.74	c 3810           11276          724624         208428         0              1516           8   9   7      
181.07/181.23	c 3820           11304          726729         208983         0              1521           7   10   7     
181.37/181.56	c 3830           11331          728518         209455         0              1526           8   11   9     
181.87/182.05	c 3840           11352          729875         209954         0              1530           8   9   7      
182.47/182.68	c 3850           11381          732025         210550         0              1534           5   10   7     
182.76/182.96	c 3860           11414          733863         210998         0              1539           10   12   9    
183.16/183.33	c 3870           11445          735882         211545         0              1542           9   13   10    
183.57/183.78	c 3880           11471          737588         212013         0              1545           7   10   7     
183.96/184.20	c 3890           11503          739723         212592         0              1550           8   11   8     
184.26/184.49	c 3900           11528          741386         213049         0              1552           9   11   9     
184.77/184.94	c 3910           11552          743134         213520         0              1556           7   10   7     
185.06/185.22	c 3920           11577          744571         213951         0              1561           10   12   9    
185.56/185.79	c 3930           11613          747320         214733         0              1563           7   11   8     
186.06/186.21	c 3940           11652          749747         215411         0              1568           9   12   9     
186.36/186.58	c 3950           11688          752020         216006         0              1570           9   12   9     
186.87/187.05	c 3960           11713          754204         216518         0              1572           4   10   8     
187.16/187.36	c 3970           11741          755987         217038         0              1581           8   12   9     
187.46/187.67	c 3980           11788          758314         217596         0              1583           10   11   9    
187.86/188.02	c 3990           11810          759859         218082         0              1585           7   12   9     
188.36/188.53	c 4000           11836          761485         218650         0              1589           8   10   7     
188.56/188.77	c 4001           11845          761926         218721         0              1590           9   9   4      
188.96/189.11	c 4010           11871          763452         219153         0              1595           8   11   8     
189.26/189.46	c 4020           11897          764952         219677         0              1597           8   11   8     
189.56/189.75	c 4030           11953          767848         220305         0              1604           10   13   10   
189.96/190.12	c 4040           11982          769878         220946         0              1607           8   11   8     
190.36/190.57	c 4050           12007          771295         221409         0              1609           8   10   7     
190.76/190.91	c 4060           12031          772856         221882         0              1610           8   11   8     
191.16/191.34	c 4070           12059          774877         222365         0              1613           6   10   7     
191.46/191.67	c 4080           12089          776881         222928         0              1618           8   11   8     
191.76/191.93	conflict 6lvl : 8 bt6-77:0(14)X18324
191.86/192.09	c 4090           12119          779038         223455         0              1623           7   11   7     
192.36/192.60	c 4100           12151          781141         223996         0              1625           6   11   7     
192.76/192.94	c 4110           12187          782916         224464         0              1628           9   12   9     
193.36/193.50	c 4120           12213          784809         225018         0              1631           7   10   7     
193.76/193.94	c 4130           12243          786868         225598         0              1635           7   12   7     
194.06/194.24	c 4140           12272          788425         226136         0              1637           10   13   10   
194.46/194.62	c 4150           12297          789797         226554         0              1642           7   11   8     
194.76/194.97	c 4160           12333          792095         227201         0              1645           9   12   9     
195.16/195.32	c 4170           12360          793598         227533         0              1649           8   10   8     
195.36/195.56	c 4180           12388          794980         227914         0              1651           9   12   9     
195.96/196.13	c 4190           12419          797079         228504         0              1656           7   10   7     
196.25/196.49	c 4200           12447          798740         228944         0              1659           4   12   8     
196.76/196.96	c 4210           12473          800804         229498         0              1663           5   10   7     
197.15/197.36	c 4220           12506          802788         230028         0              1668           8   12   8     
197.55/197.74	c 4230           12535          804996         230796         0              1670           8   12   8     
197.96/198.18	c 4240           12564          807123         231435         0              1675           7   11   7     
198.45/198.70	c 4250           12595          809335         232169         0              1678           6   12   8     
198.85/199.00	c 4260           12627          811224         232726         0              1682           9   13   9     
199.25/199.41	c 4270           12649          813074         233248         0              1687           7   11   8     
199.45/199.62	c 4280           12676          814512         233592         0              1693           9   14   10    
199.75/199.98	c 4290           12713          816709         234291         0              1695           10   12   9    
200.16/200.33	c 4300           12740          818496         234748         0              1699           8   12   9     
200.65/200.84	c 4310           12775          820735         235390         0              1702           7   12   7     
200.95/201.18	c 4320           12802          822533         235962         0              1704           9   11   9     
201.16/201.39	c 4330           12840          824304         236425         0              1706           11   15   12   
201.75/201.92	c 4340           12866          826558         237041         0              1711           7   9   7      
202.05/202.26	c 4350           12902          828269         237532         0              1715           8   12   8     
202.45/202.68	c 4360           12926          830001         237917         0              1721           6   9   7      
202.75/202.92	c 4370           12957          831832         238368         0              1728           9   13   10    
203.05/203.28	c 4380           12984          833581         238779         0              1735           8   12   8     
203.45/203.63	c 4390           13006          835151         239215         0              1736           7   10   7     
203.85/204.05	c 4400           13036          837147         239821         0              1738           7   12   8     
204.35/204.60	c 4410           13065          839045         240372         0              1743           9   9   8      
204.95/205.19	c 4420           13102          841558         241065         0              1746           8   12   8     
205.35/205.58	c 4430           13128          843572         241644         0              1749           7   10   7     
205.85/206.06	c 4440           13165          845690         242167         0              1753           7   12   8     
206.25/206.42	c 4450           13195          847591         242646         0              1757           8   12   9     
206.55/206.79	c 4460           13222          849412         243142         0              1762           8   10   8     
207.15/207.31	c 4470           13266          852378         243976         0              1765           8   13   9     
207.44/207.62	c 4480           13292          853942         244373         0              1768           8   10   8     
207.75/207.96	c 4490           13325          856139         244958         0              1772           9   12   9     
208.04/208.23	c 4493           13342          857157         245186         0              1774           9   12   7     
208.34/208.52	c 4500           13361          858322         245534         0              1778           8   11   7     
208.64/208.89	c 4510           13397          860177         246073         0              1782           8   14   9     
209.04/209.27	c 4520           13428          861982         246578         0              1784           7   11   8     
209.44/209.62	c 4530           13460          864231         247248         0              1788           9   12   9     
209.74/209.95	c 4540           13492          866114         247727         0              1794           7   12   9     
210.05/210.27	c 4550           13525          868087         248319         0              1797           9   13   10    
210.34/210.52	c 4560           13553          869621         248685         0              1800           9   12   9     
210.64/210.86	c 4570           13587          871704         249170         0              1804           9   12   9     
211.05/211.24	c 4580           13620          873550         249664         0              1808           7   13   9     
211.34/211.58	c 4590           13651          875447         250227         0              1813           8   11   9     
211.94/212.13	c 4600           13677          877325         250771         0              1818           8   10   8     
212.25/212.42	c 4610           13708          879165         251294         0              1821           9   12   9     
212.64/212.86	c 4620           13737          881240         251872         0              1828           9   10   8     
213.14/213.31	c 4630           13774          883326         252428         0              1831           6   12   8     
213.44/213.67	c 4640           13802          885256         252986         0              1835           7   11   8     
213.84/214.01	c 4650           13832          887012         253530         0              1839           9   11   9     
214.24/214.46	c 4660           13858          888655         253983         0              1842           7   9   7      
214.54/214.74	c 4670           13890          890272         254476         0              1844           9   13   9     
214.84/215.08	c 4680           13917          892149         254965         0              1846           7   10   8     
215.24/215.48	c 4690           13948          894231         255549         0              1849           8   11   8     
215.74/215.93	c 4700           13974          895905         256045         0              1852           6   10   8     
216.04/216.29	c 4710           14003          897692         256534         0              1855           8   11   8     
216.55/216.75	c 4720           14035          899321         257101         0              1858           8   11   8     
217.04/217.22	c 4730           14064          901396         257785         0              1866           7   10   7     
217.34/217.58	c 4740           14092          902945         258198         0              1869           9   12   9     
217.74/217.94	c 4750           14117          904942         258660         0              1872           6   12   7     
218.14/218.36	c 4760           14149          906737         259226         0              1876           8   11   8     
218.44/218.68	c 4770           14178          908753         259729         0              1883           8   12   8     
218.84/219.01	c 4780           14203          910313         260162         0              1887           7   10   8     
219.24/219.42	c 4790           14232          912450         260761         0              1892           6   10   7     
219.64/219.86	c 4800           14260          914379         261328         0              1895           5   9   7      
220.04/220.27	c 4810           14286          916336         261854         0              1898           8   11   8     
220.54/220.74	c 4820           14313          918206         262475         0              1901           7   10   7     
220.84/221.04	conflict 7lvl : 7 bt7-111:0(26)X21296
221.04/221.26	c 4830           14341          920576         263095         0              1904           7   10   8     
221.54/221.71	c 4840           14371          922577         263661         0              1908           7   10   8     
221.94/222.16	c 4850           14400          924328         264110         0              1912           6   10   7     
222.33/222.53	c 4860           14432          926404         264774         0              1915           8   11   9     
222.93/223.10	c 4870           14457          928171         265238         0              1917           6   10   6     
223.24/223.48	c 4880           14484          929845         265738         0              1918           6   12   8     
223.73/223.92	c 4890           14518          932196         266364         0              1922           8   12   8     
224.24/224.41	c 4900           14549          934134         266927         0              1925           7   10   8     
224.73/224.91	c 4910           14576          935890         267427         0              1928           7   10   7     
225.23/225.42	c 4920           14603          938043         268042         0              1933           7   9   7      
225.53/225.75	c 4930           14633          939509         268383         0              1936           9   11   8     
226.03/226.22	c 4940           14662          941518         268978         0              1939           8   11   8     
226.44/226.68	c 4950           14695          943762         269759         0              1945           8   12   8     
226.73/226.94	c 4960           14724          945638         270350         0              1948           10   12   9    
227.13/227.31	c 4970           14745          946942         270785         0              1950           8   9   7      
227.43/227.63	c 4980           14776          948755         271288         0              1954           8   12   9     
227.83/228.04	c 4990           14804          950374         271712         0              1957           6   11   8     
228.93/229.14	c 5035           14913          957923         274375         0              1960           8   13   9     
240.42/240.65	c 5631           16399          1058850        305929         0              1966           5   15   9     
250.73/250.95	c 6286           17868          1160554        340678         0              1978           5   13   9     
258.33/258.57	c 7006           19608          1278471        378673         0              1987           6   14   10    
273.41/273.66	c 7798           21417          1402393        421293         0              1995           6   15   9     
287.10/287.38	c 8669           23468          1541009        468111         0              2008           4   16   9     
287.50/287.75	conflict 8lvl : 7 bt6-26:0(16)X22314
304.39/304.66	c 9627           25742          1700268        522026         0              2016           5   13   9     
327.68/327.99	c 10680          28351          1868315        577012         0              2029           5   14   9     
347.86/348.17	c 11838          31119          2056222        638413         0              2042           5   15   9     
372.85/373.14	c 13111          34157          2258751        705398         0              2053           5   13   9     
397.53/397.87	c 14511          37806          2492820        780755         0              2064           4   14   9     
428.91/429.23	c 16051          41413          2738013        864241         0              2076           4   14   9     
467.09/467.41	c 17745          45696          3024170        960775         0              2085           4   14   8     
489.77/490.16	c 19608          50233          3320625        1052702        0              2100           5   16   10    
526.06/526.44	c 21657          55011          3645161        1158663        0              2111           5   14   9     
557.64/558.04	c 23910          60443          3998618        1282119        0              2122           5   13   9     
614.40/614.86	c 26388          66381          4398163        1414405        0              2132           3   15   9     
664.68/665.18	c 29113          72934          4843275        1557659        0              2145           4   14   9     
719.14/719.67	c 32110          80235          5329277        1712339        0              2151           4   15   9     
777.51/778.02	c 35406          87994          5859608        1885648        0              2171           4   14   9     
836.77/837.32	c 39031          96594          6435885        2071530        0              2186           4   15   9     
896.14/896.70	c 43018          106109         7054395        2276409        0              2192           4   14   9     
989.28/989.91	c 47403          116741         7763229        2509771        0              2205           3   15   9     
1084.13/1084.85	c 52226          128236         8524691        2750330        0              2216           4   16   9     
1180.28/1181.04	c 57531          141040         9368596        3028784        0              2228           3   15   9     
1304.61/1305.46	c 63366          155288         10310680       3349442        1              2235           3   16   8     
1398.05/1398.96	c 69784          170063         11277882       3672100        1              2247           3   15   9     
1535.57/1536.59	c 76843          186848         12405176       4047208        2              2256           4   14   8     
1622.82/1623.89	c 84607          205856         13624573       4431090        2              2266           4   15   9     
1646.82/1647.87	conflict 6lvl : 5 bt5-71:0(23)X24417
1671.50/1672.59	conflict 4lvl : 8 bt5-111:0(31)X24426
1679.90/1680.94	conflict 4lvl : 5 bt5-106:0(7)X24433
1718.28/1719.40	 -> -106:X(7)c 93147          225680         14971788       4863292        2              2274           4   14   9     
1867.29/1868.47	c 102541         248325         16443341       5345751        3              2288           3   14   8     
2027.40/2028.61	c 112874         273038         18070195       5877595        4              2301           4   14   8     
2029.99/2031.29	conflict 5lvl : 6 bt5-76:0(21)X24713
2259.46/2260.83	c 124240         300341         19919166       6474599        6              2320           3   15   8

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-4241017-1500628790/watcher-4241017-1500628790 -o /tmp/evaluation-result-4241017-1500628790/solver-4241017-1500628790 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2951 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241017-1500628790.xml 

pid=6489
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.32 2.09 2.20 2/186 6492
/proc/meminfo: memFree=31901632/32770624 swapFree=6244/16688
[pid=6492] ppid=6489 vsize=26992 CPUtime=0 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 962 0 0 0 0 0 0 0 20 0 1 0 16155950 27639808 766 33554432000 4194304 5970956 140729185187312 140729185183960 5417044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 6748 766 683 434 0 112 0

[startup+0.100113 s]
/proc/loadavg: 2.32 2.09 2.20 2/186 6492
/proc/meminfo: memFree=31901632/32770624 swapFree=6244/16688
[pid=6492] ppid=6489 vsize=27820 CPUtime=0.09 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 1174 0 0 0 9 0 0 0 20 0 1 0 16155950 28487680 942 33554432000 4194304 5970956 140729185187312 140729185183912 5368995 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 6955 942 709 434 0 319 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27820

[startup+0.200247 s]
/proc/loadavg: 2.32 2.09 2.20 2/186 6492
/proc/meminfo: memFree=31901632/32770624 swapFree=6244/16688
[pid=6492] ppid=6489 vsize=28864 CPUtime=0.19 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 1513 0 0 0 19 0 0 0 20 0 1 0 16155950 29556736 1151 33554432000 4194304 5970956 140729185187312 140729185183912 5673887 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 7216 1151 709 434 0 580 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28864

[startup+0.300199 s]
/proc/loadavg: 2.32 2.09 2.20 2/186 6492
/proc/meminfo: memFree=31901632/32770624 swapFree=6244/16688
[pid=6492] ppid=6489 vsize=30424 CPUtime=0.29 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 1986 0 0 0 29 0 0 0 20 0 1 0 16155950 31154176 1439 33554432000 4194304 5970956 140729185187312 140729185183912 5378285 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 7606 1439 709 434 0 970 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30424

[startup+0.700208 s]
/proc/loadavg: 2.32 2.09 2.20 2/186 6492
/proc/meminfo: memFree=31901632/32770624 swapFree=6244/16688
[pid=6492] ppid=6489 vsize=38732 CPUtime=0.69 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 4333 0 0 0 69 0 0 0 20 0 1 0 16155950 39661568 3589 33554432000 4194304 5970956 140729185187312 140729185183912 5673865 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 9683 3589 714 434 0 3047 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38732

[startup+1.50021 s]
/proc/loadavg: 2.32 2.09 2.20 3/187 6493
/proc/meminfo: memFree=31884656/32770624 swapFree=6244/16548
[pid=6492] ppid=6489 vsize=46708 CPUtime=1.48 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 6145 0 0 0 148 0 0 0 20 0 1 0 16155950 47828992 5371 33554432000 4194304 5970956 140729185187312 140729185183912 5673470 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 11677 5371 714 434 0 5041 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46708

[startup+3.10017 s]
/proc/loadavg: 2.32 2.09 2.20 3/187 6493
/proc/meminfo: memFree=31874368/32770624 swapFree=6244/16548
[pid=6492] ppid=6489 vsize=65568 CPUtime=3.08 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 11648 0 0 0 307 1 0 0 20 0 1 0 16155950 67141632 9714 33554432000 4194304 5970956 140729185187312 140729185183912 5668316 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 16392 9714 714 434 0 9756 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 65568

[startup+6.30018 s]
/proc/loadavg: 2.29 2.09 2.20 3/187 6493
/proc/meminfo: memFree=31842388/32770624 swapFree=6244/16556
[pid=6492] ppid=6489 vsize=97916 CPUtime=6.29 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 20318 0 0 0 625 4 0 0 20 0 1 0 16155950 100265984 17077 33554432000 4194304 5970956 140729185187312 140729185183912 5672942 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 24479 17077 714 434 0 17843 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97916

[startup+12.7002 s]
/proc/loadavg: 2.27 2.09 2.20 3/187 6500
/proc/meminfo: memFree=31778540/32770624 swapFree=6244/16556
[pid=6492] ppid=6489 vsize=167724 CPUtime=12.68 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 37385 0 0 0 1262 6 0 0 20 0 1 0 16155950 171749376 32659 33554432000 4194304 5970956 140729185187312 140729185183912 5672944 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 41931 32659 715 434 0 35295 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 167724

[startup+25.5003 s]
/proc/loadavg: 2.21 2.09 2.20 3/187 6500
/proc/meminfo: memFree=31738940/32770624 swapFree=6244/16584
[pid=6492] ppid=6489 vsize=206968 CPUtime=25.48 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 118623 0 0 0 2537 11 0 0 20 0 1 0 16155950 211935232 41294 33554432000 4194304 5970956 140729185187312 140729185184648 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 41294 772 434 0 45106 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 206968

[startup+51.1003 s]
/proc/loadavg: 2.14 2.08 2.19 3/187 6500
/proc/meminfo: memFree=31737248/32770624 swapFree=6244/16616
[pid=6492] ppid=6489 vsize=206968 CPUtime=51.05 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 157105 0 0 0 5092 13 0 0 20 0 1 0 16155950 211935232 41806 33554432000 4194304 5970956 140729185187312 140729185184648 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 41806 772 434 0 45106 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 206968

[startup+102.3 s]
/proc/loadavg: 2.06 2.07 2.18 3/187 6501
/proc/meminfo: memFree=31736528/32770624 swapFree=6244/16720
[pid=6492] ppid=6489 vsize=206968 CPUtime=102.23 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 195596 0 0 0 10208 15 0 0 20 0 1 0 16155950 211935232 41990 33554432000 4194304 5970956 140729185187312 140729185184648 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 41990 776 434 0 45106 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 206968

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.17 3/187 6502
/proc/meminfo: memFree=31726340/32770624 swapFree=6244/16812
[pid=6492] ppid=6489 vsize=206968 CPUtime=162.18 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 228068 0 0 0 16202 16 0 0 20 0 1 0 16155950 211935232 44129 33554432000 4194304 5970956 140729185187312 140729185184648 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 44129 776 434 0 45106 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 206968

[startup+222.306 s]
/proc/loadavg: 2.01 2.04 2.16 3/187 6503
/proc/meminfo: memFree=31723736/32770624 swapFree=6244/16920
[pid=6492] ppid=6489 vsize=206968 CPUtime=222.14 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 238431 0 0 0 22197 17 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 206968

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.15 3/187 6504
/proc/meminfo: memFree=31724264/32770624 swapFree=6244/16980
[pid=6492] ppid=6489 vsize=206968 CPUtime=282.11 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 238839 0 0 0 28193 18 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 206968

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.14 3/187 6506
/proc/meminfo: memFree=31724288/32770624 swapFree=6244/17036
[pid=6492] ppid=6489 vsize=206968 CPUtime=342.07 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 239246 0 0 0 34189 18 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 206968

[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.13 3/187 6507
/proc/meminfo: memFree=31724284/32770624 swapFree=6244/17080
[pid=6492] ppid=6489 vsize=206968 CPUtime=402.03 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 239655 0 0 0 40185 18 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 206968

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.13 3/187 6822
/proc/meminfo: memFree=31764544/32770624 swapFree=6244/17504
[pid=6492] ppid=6489 vsize=206968 CPUtime=461.99 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 240064 0 0 0 46180 19 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 206968

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.12 3/187 6824
/proc/meminfo: memFree=31763544/32770624 swapFree=6244/17648
[pid=6492] ppid=6489 vsize=206968 CPUtime=521.96 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 240473 0 0 0 52176 20 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 206968

[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.12 3/186 6825
/proc/meminfo: memFree=31763300/32770624 swapFree=6244/18760
[pid=6492] ppid=6489 vsize=206968 CPUtime=581.92 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 240884 0 0 0 58172 20 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4933151 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 206968


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


[startup+1542.31 s]
/proc/loadavg: 2.19 2.06 2.06 3/187 6855
/proc/meminfo: memFree=31759512/32770624 swapFree=6244/20708
[pid=6492] ppid=6489 vsize=206968 CPUtime=1541.37 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 247313 0 0 0 154115 22 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 1541.37
Current children cumulated vsize (KiB) 206968

[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 6856
/proc/meminfo: memFree=31759652/32770624 swapFree=6244/20740
[pid=6492] ppid=6489 vsize=206968 CPUtime=1601.33 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 247662 0 0 0 160111 22 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 1601.33
Current children cumulated vsize (KiB) 206968

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 6857
/proc/meminfo: memFree=31759612/32770624 swapFree=6244/20788
[pid=6492] ppid=6489 vsize=206968 CPUtime=1661.31 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 248064 0 0 0 166108 23 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184744 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 1661.31
Current children cumulated vsize (KiB) 206968

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6858
/proc/meminfo: memFree=31759268/32770624 swapFree=6244/20840
[pid=6492] ppid=6489 vsize=206968 CPUtime=1721.27 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 248466 0 0 0 172104 23 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 5319216 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 1721.27
Current children cumulated vsize (KiB) 206968

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6859
/proc/meminfo: memFree=31758692/32770624 swapFree=6244/20872
[pid=6492] ppid=6489 vsize=206968 CPUtime=1781.24 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 248858 0 0 0 178101 23 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 1781.24
Current children cumulated vsize (KiB) 206968

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6867
/proc/meminfo: memFree=31758100/32770624 swapFree=6244/20908
[pid=6492] ppid=6489 vsize=206968 CPUtime=1841.2 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 249247 0 0 0 184097 23 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 1841.2
Current children cumulated vsize (KiB) 206968

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6868
/proc/meminfo: memFree=31758100/32770624 swapFree=6244/20948
[pid=6492] ppid=6489 vsize=206968 CPUtime=1901.17 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 249648 0 0 0 190094 23 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4933151 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 1901.17
Current children cumulated vsize (KiB) 206968

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6869
/proc/meminfo: memFree=31758464/32770624 swapFree=6244/20976
[pid=6492] ppid=6489 vsize=206968 CPUtime=1961.13 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 250029 0 0 0 196090 23 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 1961.13
Current children cumulated vsize (KiB) 206968

[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 6870
/proc/meminfo: memFree=31758992/32770624 swapFree=6244/21012
[pid=6492] ppid=6489 vsize=206968 CPUtime=2021.1 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 250419 0 0 0 202087 23 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 2021.1
Current children cumulated vsize (KiB) 206968

[startup+2082.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/187 6871
/proc/meminfo: memFree=31759536/32770624 swapFree=6244/21056
[pid=6492] ppid=6489 vsize=206968 CPUtime=2081.07 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 250824 0 0 0 208084 23 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184744 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 2081.07
Current children cumulated vsize (KiB) 206968

[startup+2142.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 6873
/proc/meminfo: memFree=31759532/32770624 swapFree=6244/21092
[pid=6492] ppid=6489 vsize=206968 CPUtime=2141.02 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 251213 0 0 0 214079 23 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184744 4933153 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 2141.02
Current children cumulated vsize (KiB) 206968

[startup+2202.31 s]
/proc/loadavg: 2.06 2.06 2.05 3/187 6874
/proc/meminfo: memFree=31759604/32770624 swapFree=6244/21128
[pid=6492] ppid=6489 vsize=206968 CPUtime=2201 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 251602 0 0 0 220076 24 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184744 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 2201
Current children cumulated vsize (KiB) 206968

[startup+2262.3 s]
/proc/loadavg: 2.13 2.08 2.06 3/187 6875
/proc/meminfo: memFree=31759732/32770624 swapFree=6244/21168
[pid=6492] ppid=6489 vsize=206968 CPUtime=2260.96 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 251990 0 0 0 226072 24 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 2260.96
Current children cumulated vsize (KiB) 206968

[startup+2322.3 s]
/proc/loadavg: 2.05 2.07 2.05 3/187 6877
/proc/meminfo: memFree=31758836/32770624 swapFree=6244/21276
[pid=6492] ppid=6489 vsize=206968 CPUtime=2320.93 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 252367 0 0 0 232069 24 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 2320.93
Current children cumulated vsize (KiB) 206968

[startup+2382.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 6878
/proc/meminfo: memFree=31758500/32770624 swapFree=6244/21308
[pid=6492] ppid=6489 vsize=206968 CPUtime=2380.89 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 252729 0 0 0 238065 24 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 2380.89
Current children cumulated vsize (KiB) 206968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.5 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 6879
/proc/meminfo: memFree=31758780/32770624 swapFree=6244/21328
[pid=6492] ppid=6489 vsize=206968 CPUtime=2400.08 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 253075 0 0 0 239984 24 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4933153 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 206968

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 6492 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2401.5 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 6879
/proc/meminfo: memFree=31758780/32770624 swapFree=6244/21328
[pid=6492] ppid=6489 vsize=206968 CPUtime=2400.08 cores=0,2,4,6
/proc/6492/stat : 6492 (cosoco) R 6489 6492 2920 0 -1 4202496 253075 0 0 0 239984 24 0 0 20 0 1 0 16155950 211935232 45209 33554432000 4194304 5970956 140729185187312 140729185184648 4933153 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 18341888 140729185191100 140729185191235 140729185191235 140729185193934 0
/proc/6492/statm: 51742 45209 776 434 0 45106 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 206968

Child status: 1
Real time (s): 2401.5
CPU time (s): 2400.09
CPU user time (s): 2399.85
CPU system time (s): 0.244857
CPU usage (%): 99.9413
Max. virtual memory (cumulated for all children) (KiB): 206968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.85
system time used= 0.244857
maximum resident set size= 180876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253101
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= 27
involuntary context switches= 123332

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78136 second user time and 10.3149 second system time

The end

Launcher Data 

Begin job on node125 at 2017-07-21 11:19:51
IDJOB=4241017
IDBENCH=125591
IDSOLVER=2621
FILE ID=node125/4241017-1500628790
RUNJOBID= node125-1500623778-2951
PBS_JOBID= 20623008
Free space on /tmp= 61996 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-4.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241017-1500628790/watcher-4241017-1500628790 -o /tmp/evaluation-result-4241017-1500628790/solver-4241017-1500628790 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2951 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241017-1500628790.xml

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

MD5SUM BENCH= cc3fcfac109c3d277a0ef72b27cdc983
RANDOM SEED=1939545660

node125.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		: 1600.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.75
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.56
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		: 2000.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.75
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.56
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.75
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.56
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		: 2668.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.75
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31902008 kB
MemAvailable:   31939008 kB
Buffers:           88788 kB
Cached:           222224 kB
SwapCached:          488 kB
Active:           351388 kB
Inactive:          79612 kB
Active(anon):      68864 kB
Inactive(anon):    62924 kB
Active(file):     282524 kB
Inactive(file):    16688 kB
Unevictable:        6244 kB
Mlocked:            6244 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:             37332 kB
Writeback:             0 kB
AnonPages:        136644 kB
Mapped:            34264 kB
Shmem:              8576 kB
Slab:             132968 kB
SReclaimable:     107248 kB
SUnreclaim:        25720 kB
KernelStack:        3568 kB
PageTables:         5584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     398892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61992 MiB
End job on node125 at 2017-07-21 11:59:52