Trace number 4242258

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 2400.4

General information on the benchmark

NameQuasiGroups/QuasiGroups-elt-qg4/
QuasiGroup-4-17.xml
MD5SUM1749ee71f79cc6e37ea59febff668c91
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark100.011
Satisfiable
(Un)Satisfiability was proved
Number of variables578
Number of constraints546
Number of domains2
Minimum domain size17
Maximum domain size289
Distribution of domain sizes[{"size":17,"count":289},{"size":289,"count":272}]
Minimum variable degree0
Maximum variable degree275
Distribution of variable degrees[{"degree":0,"count":17},{"degree":2,"count":272},{"degree":274,"count":17},{"degree":275,"count":272}]
Minimum constraint arity3
Maximum constraint arity290
Distribution of constraint arities[{"arity":3,"count":272},{"arity":17,"count":1},{"arity":289,"count":1},{"arity":290,"count":272}]
Number of extensional constraints0
Number of intensional constraints272
Distribution of constraint types[{"type":"intension","count":272},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":272}]
Optimization problemNO
Type of objective

Solver Data 

1.20/1.24	c SAT : Variables: 88434 -- Clauses: 12066906
1.20/1.26	c root propagations     : 5527        
1.20/1.26	c restarts enabled, print stats at every restarts
1.20/1.26	c
1.20/1.26	c
1.20/1.26	c
1.20/1.26	c This is cosoco 1.0 --  
1.20/1.26	c
1.20/1.26	c ========================================[ Problem Statistics ]===========================================
1.20/1.26	c |                                                                                                       
1.20/1.26	c |  Parse time        :         1.10 s 
1.20/1.26	c |
1.20/1.26	c |               Variables: 578
1.20/1.26	c |            Domain Sizes: 17..289
1.20/1.26	c |
1.20/1.26	c |             Constraints: 595
1.20/1.26	c |                   Arity: 1..290  -- Unary: 17  -- Ternary: 272
1.20/1.26	c | 
1.20/1.26	c |                   Types: 
1.20/1.26	c |                          All Different: 34
1.20/1.26	c |                          Element Constant: 272
1.20/1.26	c |                          Intension: 272
1.20/1.26	c |                          Unary: 17
1.20/1.26	c |                          
1.20/1.26	c =========================================================================================================
1.20/1.26	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.20/1.26	c remove useless variable y[0][0]
1.20/1.26	c remove useless variable y[1][1]
1.20/1.26	c remove useless variable y[2][2]
1.20/1.26	c remove useless variable y[3][3]
1.20/1.26	c remove useless variable y[4][4]
1.20/1.26	c remove useless variable y[5][5]
1.20/1.26	c remove useless variable y[6][6]
1.20/1.26	c remove useless variable y[7][7]
1.20/1.26	c remove useless variable y[8][8]
1.20/1.26	c remove useless variable y[9][9]
1.20/1.26	c remove useless variable y[10][10]
1.20/1.26	c remove useless variable y[11][11]
1.20/1.26	c remove useless variable y[12][12]
1.20/1.26	c remove useless variable y[13][13]
1.20/1.26	c remove useless variable y[14][14]
1.20/1.26	c remove useless variable y[15][15]
1.20/1.26	c remove useless variable y[16][16]
1.49/1.54	c 10             318            169131         82102          351            10             254   309   268
1.79/1.83	c 20             659            361453         158535         351            20             58   332   83  
1.99/2.04	c 30             813            454691         214219         351            24             120   138   118
2.19/2.29	c 40             1005           583423         278090         351            33             39   176   122 
2.49/2.54	c 50             1262           720194         345895         351            40             80   235   142 
2.78/2.82	c 60             1533           902693         431967         351            46             102   252   196
3.08/3.15	c 70             1787           1133026        534018         351            55             60   233   167 
3.39/3.44	c 80             1987           1340181        618982         351            63             136   186   160
3.48/3.58	c 90             2058           1393499        653639         351            66             59   61   53   
3.78/3.85	c 100            2216           1550263        737770         351            74             69   141   110 
3.98/4.00	c 101            2304           1613926        776483         351            75             88   88   44   
4.09/4.17	c 110            2425           1690588        823157         351            79             85   113   96  
4.40/4.46	c 120            2637           1889747        906589         351            88             98   190   150 
4.69/4.74	c 130            2809           2062006        987756         351            97             73   163   124 
4.89/4.94	c 140            2931           2156162        1043735        351            103            66   107   90  
5.19/5.25	c 150            3169           2374434        1133269        351            110            66   188   153 
5.50/5.52	c 160            3330           2526396        1206088        351            118            42   139   101 
5.69/5.74	c 170            3474           2640677        1262810        351            125            102   134   105
6.09/6.11	c 180            3696           2933055        1374281        351            132            77   183   153 
6.29/6.37	c 190            3866           3070879        1440488        351            144            45   159   66  
6.59/6.68	c 200            4065           3295983        1531089        351            151            54   172   137 
6.89/6.96	c 210            4229           3459091        1607049        351            156            45   154   77  
6.99/7.06	c 211            4278           3493440        1630631        351            157            49   49   24   
7.19/7.29	c 220            4406           3603715        1686019        351            162            89   118   96  
7.58/7.60	c 230            4603           3821700        1783970        351            171            41   179   122 
7.79/7.85	c 240            4760           3960379        1845754        351            175            85   135   116 
8.08/8.15	c 250            4953           4143705        1926136        351            185            82   166   131 
8.38/8.47	c 260            5175           4362564        2013902        351            196            63   194   139 
8.68/8.76	c 270            5360           4540780        2091065        351            203            41   175   114 
8.98/9.04	c 280            5547           4720530        2165577        351            213            63   176   126 
9.28/9.33	c 290            5732           4901933        2254026        351            217            41   174   140 
9.58/9.60	c 300            5897           5066400        2332046        351            227            41   150   110 
9.78/9.85	c 310            6039           5197172        2405020        351            239            42   117   91  
10.18/10.22	c 320            6266           5508582        2515530        351            244            66   196   136 
10.38/10.43	c 330            6370           5600923        2566569        351            251            54   93   79   
10.58/10.61	c 332            6464           5679833        2610658        351            253            70   93   54   
10.68/10.79	c 340            6552           5752913        2656649        351            259            61   79   63   
11.09/11.12	c 350            6785           6010314        2746246        351            263            86   197   158 
11.39/11.46	c 360            6996           6263105        2858939        351            270            167   186   160
11.69/11.73	c 370            7170           6424945        2932668        351            277            79   160   118 
11.99/12.05	c 380            7392           6685023        3021632        351            283            101   201   155
12.39/12.42	c 390            7611           6969693        3159484        351            288            162   179   156
12.69/12.70	c 400            7845           7168790        3250944        351            294            65   188   146 
12.99/13.02	c 410            8099           7430287        3353210        351            298            124   202   169
13.29/13.33	c 420            8308           7660838        3453880        351            300            169   187   160
13.59/13.67	c 430            8536           7948576        3568865        351            303            181   193   170
13.89/13.99	c 440            8754           8188255        3658739        351            308            76   200   155 
14.29/14.35	c 450            8998           8491116        3769261        351            311            189   200   177
14.69/14.70	c 460            9246           8765247        3878860        351            317            107   201   143
14.88/14.96	c 465            9445           8941785        3957471        351            321            102   192   138
15.08/15.13	c 470            9534           9011853        4001052        351            326            85   85   70   
15.28/15.40	c 480            9743           9207044        4089744        351            330            113   193   163
15.68/15.71	c 490            9956           9441787        4205010        351            332            168   182   159
15.98/16.03	c 500            10170          9688054        4327657        351            337            162   174   151
16.28/16.33	c 510            10393          9916143        4428465        351            342            170   188   161
16.59/16.67	c 520            10632          10199863       4545462        351            348            70   201   159 
16.88/16.96	c 530            10861          10425617       4637450        351            352            122   202   170
17.18/17.26	c 540            11082          10659629       4738512        351            358            72   190   140 
17.48/17.54	c 550            11289          10861289       4832797        351            361            118   186   159
17.78/17.85	c 560            11508          11107283       4949002        351            364            163   181   153
18.08/18.16	c 570            11725          11341333       5044613        351            367            155   190   166
18.38/18.49	c 580            11945          11612388       5155184        351            372            129   193   165
18.69/18.79	c 590            12153          11821690       5253767        351            377            130   182   146
18.98/19.08	c 600            12350          12033915       5342614        351            385            69   182   149 
19.28/19.30	c 610            12466          12130863       5393620        351            392            48   88   72   
19.38/19.49	c 611            12596          12229277       5448706        351            393            130   130   65 
19.68/19.80	c 620            12816          12464289       5546431        351            399            188   202   172
19.98/20.09	c 630            13018          12689171       5645301        351            405            56   185   139 
20.38/20.41	c 640            13228          12911789       5741276        351            413            63   192   149 
20.68/20.74	c 650            13457          13176907       5858572        351            417            173   190   166
20.99/21.04	c 660            13674          13393611       5947196        351            423            168   181   161
21.29/21.30	c 670            13872          13575916       6041881        351            427            165   184   163
21.59/21.63	c 680            14098          13831957       6161124        351            432            43   191   153 
21.89/21.95	c 690            14301          14082002       6270861        351            434            162   182   157
22.19/22.24	c 700            14517          14302242       6364762        351            441            120   200   170
22.49/22.53	c 710            14728          14522784       6460387        351            447            160   198   167
22.79/22.85	c 720            14978          14781504       6567578        351            451            168   183   161
23.09/23.16	c 730            15195          15028076       6670807        351            457            59   193   149 
23.39/23.44	c 740            15382          15207221       6759799        351            464            152   166   144
23.59/23.63	c 750            15495          15296184       6814000        351            473            46   97   75   
23.89/23.94	c 760            15699          15522016       6919012        351            476            138   176   147
24.19/24.28	c 770            15949          15810057       7031213        351            479            162   195   160
24.49/24.52	c 771            16115          15949425       7098738        351            480            166   166   83 
24.79/24.87	c 780            16328          16236479       7221144        351            486            172   184   159
25.09/25.15	c 790            16513          16427994       7308810        351            492            149   169   145
25.39/25.46	c 800            16722          16668066       7398804        351            497            176   189   167
25.68/25.79	c 810            16973          16964509       7519973        351            503            177   193   167
25.98/26.08	c 820            17203          17208546       7629387        351            508            139   193   163
26.38/26.40	c 830            17452          17483200       7739322        351            513            122   200   167
26.58/26.68	c 840            17677          17698783       7836457        351            514            185   200   176
26.88/26.97	c 850            17890          17934658       7938208        351            521            177   190   166
27.08/27.13	conflict 28lvl : 120 bt120-3532:0(50553)X48431979
27.08/27.18	c 860            18058          18056022       8007599        351            529            120   133   114
27.48/27.52	c 870            18300          18344717       8128273        351            533            41   187   147 
27.78/27.80	c 880            18511          18566912       8226112        351            536            56   188   155 
27.98/28.09	c 890            18724          18816834       8322175        351            538            172   188   167
28.28/28.34	c 900            18915          18980725       8408975        351            548            94   172   115 
28.58/28.69	c 910            19193          19295489       8528522        351            552            169   194   168
28.97/29.01	c 920            19463          19602170       8634546        351            557            74   204   166 
29.27/29.30	c 930            19675          19830606       8726487        351            559            168   188   161
29.57/29.62	c 940            19910          20111140       8829201        351            566            134   196   168
29.88/29.91	c 947            20139          20337104       8926957        351            571            162   188   154
30.08/30.16	c 950            20328          20494307       9000288        351            573            140   187   128
30.38/30.45	c 960            20544          20728226       9100475        351            579            147   180   155
30.68/30.72	c 970            20765          20917830       9190748        351            587            152   184   156
30.98/31.02	c 980            20984          21167205       9290207        351            595            113   191   161
31.28/31.31	c 990            21203          21404641       9388138        351            600            166   200   169
31.48/31.60	c 1000           21417          21626741       9493987        351            604            78   194   158 
31.78/31.80	c 1010           21568          21742653       9569810        351            614            127   136   120
31.99/32.09	c 1020           21758          21968170       9663582        351            621            158   176   153
32.28/32.39	c 1030           21993          22198072       9764052        351            627            109   198   151
32.58/32.62	c 1040           22178          22353388       9847379        351            635            124   172   136
32.78/32.89	c 1050           22400          22559705       9937463        351            643            43   194   138 
33.09/33.19	c 1060           22600          22781888       10034710       351            646            44   189   153 
33.38/33.49	c 1070           22819          23018207       10140192       351            653            165   190   162
33.68/33.78	c 1080           23024          23264151       10251352       351            657            174   182   162
33.98/34.09	c 1090           23241          23486297       10355974       351            661            158   173   148
34.28/34.34	c 1100           23434          23643236       10435987       351            670            44   174   134 
34.58/34.67	c 1110           23644          23934140       10551746       351            674            172   187   161
34.88/34.95	c 1120           23857          24139356       10643987       351            677            150   196   166
35.19/35.24	c 1130           24066          24346656       10724572       351            686            42   191   104 
35.48/35.52	c 1140           24274          24552766       10816913       351            691            164   178   155
35.68/35.78	c 1141           24451          24719910       10890638       351            692            177   177   88 
35.88/35.98	c 1150           24594          24818889       10945818       351            700            119   129   111
36.18/36.30	c 1160           24824          25094126       11051329       351            706            161   191   162
36.58/36.62	c 1170           25049          25350940       11165700       351            713            124   186   154
36.88/36.90	c 1180           25238          25531404       11262078       351            719            139   163   132
37.08/37.17	c 1190           25454          25735586       11351755       351            724            123   195   164
37.39/37.47	c 1200           25698          25990030       11454943       351            729            50   198   157 
37.68/37.74	c 1210           25915          26209727       11557100       351            735            50   191   146 
37.98/38.04	c 1220           26130          26433802       11647987       351            739            170   190   168
38.28/38.33	c 1230           26364          26663158       11750765       351            743            153   200   166
38.59/38.65	c 1240           26574          26925844       11866227       351            749            173   186   161
38.88/38.92	c 1250           26783          27119480       11962304       351            757            45   167   131 
39.18/39.23	c 1260           27007          27369730       12050491       351            760            59   201   162 
39.48/39.54	c 1270           27220          27621339       12157566       351            764            81   192   160 
39.78/39.87	c 1280           27494          27905548       12272400       351            769            129   193   158
40.08/40.13	c 1290           27695          28082115       12357378       351            777            39   189   100 
40.38/40.42	c 1300           27916          28303665       12460480       351            783            147   195   154
40.58/40.69	c 1310           28128          28498202       12552795       351            792            120   197   157
40.88/40.96	c 1320           28323          28671250       12645055       351            797            68   170   139 
41.18/41.26	c 1330           28528          28895659       12746080       351            804            38   181   110 
41.48/41.56	c 1340           28734          29151039       12853003       351            814            69   177   146 
41.79/41.87	c 1350           28941          29376772       12960866       351            822            102   184   140
42.08/42.12	c 1352           29116          29535086       13040529       351            824            168   174   114
42.28/42.35	c 1360           29267          29662968       13123115       351            828            101   108   94 
42.58/42.64	c 1370           29481          29909876       13224861       351            832            35   188   149 
42.78/42.83	c 1380           29611          30006259       13277836       351            836            95   115   91  
43.08/43.15	c 1390           29856          30295796       13380332       351            841            180   207   174
43.38/43.43	c 1400           30067          30503870       13480372       351            845            116   176   149
43.68/43.76	c 1410           30291          30785500       13591472       351            848            115   184   149
43.99/44.04	c 1420           30502          31005874       13686323       351            853            138   194   168
44.28/44.32	c 1430           30715          31215945       13787069       351            858            162   190   156
44.58/44.62	c 1440           30915          31424825       13898938       351            863            44   175   137 
44.88/44.93	c 1450           31143          31710384       14018652       351            865            180   196   169
45.18/45.28	c 1460           31364          32004486       14149330       351            869            78   181   149 
45.48/45.52	c 1470           31563          32168802       14230416       351            873            62   176   139 
45.68/45.73	c 1480           31698          32273067       14289399       351            879            81   101   82  
45.98/46.02	c 1490           31911          32509243       14390735       351            884            140   189   163
46.28/46.35	c 1500           32143          32768786       14500325       351            889            162   181   157
46.58/46.64	c 1510           32360          32994863       14597001       351            897            98   198   161 
46.88/46.95	c 1520           32591          33253606       14698898       351            905            42   191   150 
47.18/47.27	c 1530           32833          33530924       14809924       351            908            185   204   175
47.48/47.57	c 1540           33032          33780563       14919371       351            911            74   182   150 
47.88/47.91	c 1550           33246          34069477       15040890       351            913            172   193   162
48.18/48.21	c 1560           33479          34315931       15133714       351            916            187   192   172
48.48/48.53	c 1570           33734          34589729       15242162       351            922            164   194   165
48.78/48.80	c 1580           33946          34792853       15328155       351            930            44   196   157 
48.98/49.07	c 1585           34149          34979478       15406366       351            934            169   183   147
49.28/49.32	c 1590           34314          35123171       15482628       351            937            44   161   100 
49.58/49.61	c 1600           34535          35352268       15581779       351            940            44   191   150 
49.88/49.92	c 1610           34778          35597486       15680865       351            948            102   198   156
50.08/50.16	c 1620           34930          35728177       15769555       351            953            64   107   90  
50.38/50.48	c 1630           35164          36000574       15877479       351            957            186   194   172
50.58/50.65	c 1640           35263          36074373       15920713       351            958            88   90   80   
50.78/50.85	c 1650           35407          36178136       15976002       351            963            103   114   99 
51.07/51.16	c 1660           35653          36436236       16087655       351            970            123   194   163
51.27/51.38	c 1670           35801          36553902       16159569       351            982            103   109   96 
51.57/51.61	c 1680           35983          36693528       16233460       351            988            128   165   141
51.87/51.90	c 1690           36203          36917788       16327056       351            991            187   193   172
52.07/52.19	c 1700           36416          37131275       16423045       351            997            164   178   156
52.37/52.47	c 1710           36653          37343102       16522386       351            1003           124   185   148
52.57/52.67	c 1720           36781          37435250       16591833       351            1010           44   90   72   
52.88/52.97	c 1730           37031          37700621       16691129       351            1014           156   200   171
53.17/53.25	c 1740           37242          37892593       16783575       351            1019           151   178   148
53.47/53.53	c 1750           37442          38101204       16878087       351            1026           178   185   165
53.77/53.81	c 1760           37637          38308425       16979355       351            1029           124   182   153
53.98/54.07	c 1770           37841          38511473       17071580       351            1037           159   184   156
54.17/54.29	c 1780           37993          38629157       17139409       351            1045           42   118   85  
54.47/54.57	c 1790           38206          38841642       17235946       351            1050           176   182   162
54.77/54.90	c 1800           38419          39134485       17357297       351            1057           40   186   149 
54.98/55.07	c 1810           38519          39212425       17408187       351            1063           57   85   61   
55.27/55.34	c 1820           38722          39425048       17515070       351            1066           40   179   138 
55.47/55.56	c 1830           38859          39542893       17598740       351            1072           109   114   101
55.77/55.85	c 1840           39068          39756752       17700148       351            1076           92   187   110 
55.97/56.05	c 1841           39228          39863218       17761715       351            1077           160   160   80 
56.18/56.25	c 1850           39382          39979643       17830316       351            1085           106   143   117
56.37/56.42	c 1860           39483          40054402       17874260       351            1091           54   92   72   
56.57/56.68	c 1870           39683          40239610       17956338       351            1100           166   184   159
56.97/57.01	c 1880           39899          40529538       18066229       351            1102           160   189   165
57.28/57.32	c 1890           40146          40810767       18176432       351            1105           181   202   174
57.47/57.58	c 1900           40349          40993692       18261709       351            1114           42   194   136 
57.77/57.84	c 1910           40546          41161583       18343440       351            1117           44   172   142 
57.97/58.05	c 1920           40688          41266410       18407123       351            1118           90   94   83   
58.07/58.18	c 1930           40766          41320717       18444913       351            1121           54   65   51   
58.38/58.47	c 1940           40961          41525323       18539678       351            1125           98   177   122 
58.67/58.77	c 1950           41188          41757470       18639530       351            1127           169   192   163
59.07/59.11	c 1960           41403          42023944       18769873       351            1131           42   162   133 
59.27/59.39	c 1970           41602          42222643       18856180       351            1138           57   182   131 
59.67/59.70	c 1980           41829          42496636       18955943       351            1142           160   204   176
59.87/59.90	c 1990           41968          42598730       19025965       351            1151           56   127   104 
60.07/60.16	c 2000           42166          42778225       19111077       351            1161           41   180   111 
60.37/60.47	c 2010           42355          42999170       19228771       351            1168           163   172   150
60.67/60.72	c 2020           42543          43166162       19311491       351            1174           157   173   149
60.97/61.01	c 2030           42734          43391455       19405256       351            1180           154   175   152
61.17/61.26	c 2040           42941          43554008       19489856       351            1185           43   166   116 
61.47/61.58	c 2050           43190          43846825       19598622       351            1189           41   200   146 
61.68/61.78	c 2060           43323          43946239       19672745       351            1193           84   93   81   
61.97/62.06	c 2070           43520          44159909       19785285       351            1199           162   176   152
62.28/62.35	c 2080           43729          44370848       19882873       351            1209           71   182   127 
62.58/62.63	c 2090           43956          44576902       19969339       351            1214           96   193   149 
62.88/62.92	c 2100           44156          44801568       20063336       351            1221           164   178   155
63.18/63.23	c 2110           44413          45081680       20165047       351            1225           143   203   165
63.48/63.51	c 2120           44618          45294165       20256752       351            1230           51   184   153 
63.68/63.74	c 2122           44796          45447003       20325407       351            1232           155   177   110
63.89/63.99	c 2130           44988          45625343       20422130       351            1238           157   174   146
64.18/64.29	c 2140           45206          45867503       20532442       351            1241           110   192   163
64.38/64.43	c 2150           45298          45926044       20572974       351            1246           59   74   59   
64.58/64.69	c 2160           45493          46106001       20655695       351            1250           89   185   105 
64.89/64.98	c 2170           45710          46331862       20759760       351            1259           117   189   143
65.18/65.26	c 2180           45928          46541935       20844170       351            1267           70   196   136 
65.48/65.55	c 2190           46128          46743660       20932499       351            1275           60   168   131 
65.68/65.75	c 2200           46249          46841139       20989346       351            1280           82   108   94  
65.99/66.01	c 2210           46444          47027965       21089746       351            1288           155   178   155
66.28/66.32	c 2220           46673          47285365       21202533       351            1292           104   193   164
66.38/66.47	c 2230           46760          47346923       21244067       351            1298           66   75   66   
66.68/66.71	c 2240           46931          47491410       21319091       351            1302           134   156   125
66.88/66.97	c 2250           47131          47681804       21411226       351            1312           114   182   142
67.19/67.27	c 2260           47364          47918252       21512089       351            1315           176   185   164
67.48/67.56	c 2270           47586          48141870       21613954       351            1320           157   187   155
67.78/67.80	c 2280           47765          48300659       21698842       351            1328           155   164   143
67.98/68.09	c 2290           47978          48508730       21797415       351            1335           182   196   170
68.38/68.40	c 2300           48217          48753869       21929474       351            1337           149   174   154
68.68/68.73	c 2310           48446          49038929       22038016       351            1343           149   187   159
68.98/69.02	c 2320           48670          49288388       22128273       351            1348           161   199   174
69.18/69.30	c 2330           48875          49498271       22223288       351            1355           70   183   140 
69.58/69.62	c 2340           49121          49776621       22326227       351            1359           90   201   159 
69.88/69.96	c 2350           49351          50061600       22445012       351            1365           156   192   163
70.18/70.27	c 2360           49569          50287516       22547391       351            1374           73   185   140 
70.39/70.48	c 2370           49700          50388239       22623501       351            1376           81   83   74   
70.68/70.77	c 2380           49907          50612164       22712340       351            1384           39   190   138 
70.98/71.06	c 2390           50112          50845951       22807996       351            1391           122   183   150
71.28/71.32	c 2400           50304          51014063       22885644       351            1397           156   179   155
71.48/71.59	c 2410           50520          51228784       22978163       351            1401           39   199   149 
71.68/71.76	c 2420           50624          51302018       23041738       351            1407           68   75   65   
71.98/72.08	c 2430           50859          51550910       23149289       351            1414           43   186   140 
72.18/72.29	c 2431           51008          51671694       23214101       351            1415           149   149   74 
72.48/72.53	c 2440           51168          51816343       23293623       351            1420           99   150   111 
72.78/72.82	c 2450           51393          52048258       23397820       351            1429           113   199   156
72.98/73.03	c 2460           51555          52167704       23462516       351            1436           41   150   114 
73.28/73.30	c 2470           51756          52373835       23552271       351            1443           43   186   149 
73.48/73.57	c 2480           51951          52563418       23632986       351            1445           163   186   161
73.78/73.84	c 2490           52159          52760979       23736765       351            1454           123   188   149
74.07/74.12	c 2500           52378          52959177       23821383       351            1460           162   183   160
74.37/74.41	c 2510           52591          53194199       23927138       351            1466           88   186   145 
74.57/74.69	c 2520           52801          53414879       24026308       351            1471           151   195   161
74.88/74.94	c 2530           53001          53587273       24111112       351            1474           163   170   151
75.17/75.22	c 2540           53193          53771002       24188476       351            1483           89   177   111 
75.37/75.49	c 2550           53399          53969169       24276251       351            1493           59   196   127 
75.67/75.75	c 2560           53596          54140284       24359288       351            1502           122   184   122
75.98/76.02	c 2570           53815          54351876       24454400       351            1504           176   189   167
76.27/76.32	c 2580           54034          54589828       24548891       351            1509           155   195   167
76.57/76.61	c 2590           54232          54800601       24653419       351            1515           125   175   142
76.87/76.91	c 2600           54434          55034166       24747892       351            1523           57   188   144 
77.17/77.23	c 2610           54644          55292523       24844411       351            1528           175   185   164
77.37/77.48	c 2620           54859          55486163       24939620       351            1530           187   194   173
77.77/77.82	c 2630           55108          55790833       25049598       351            1535           147   200   170
78.08/78.11	c 2640           55311          56017925       25166533       351            1540           63   182   140 
78.37/78.43	c 2650           55514          56264652       25280291       351            1545           135   179   150
78.67/78.73	c 2660           55715          56492589       25373321       351            1553           84   188   158 
78.97/79.08	c 2670           55942          56764011       25485337       351            1560           150   169   143
79.28/79.35	c 2680           56133          56953867       25588786       351            1563           114   172   144
79.57/79.66	c 2690           56341          57192501       25699362       351            1568           84   182   149 
79.67/79.78	c 2700           56405          57236490       25726182       351            1570           51   52   46   
80.07/80.11	c 2710           56651          57525663       25844009       351            1575           166   200   164
80.28/80.35	c 2720           56832          57676973       25921284       351            1580           100   169   119
80.47/80.56	c 2730           56960          57781361       25980444       351            1590           58   119   88  
80.77/80.84	c 2740           57164          57971768       26075775       351            1598           153   172   143
80.97/81.08	c 2750           57341          58122336       26162893       351            1605           136   156   133
81.27/81.30	conflict 29lvl : 159 bt156-2270:0(60646)X48574684
81.27/81.37	c 2760           57557          58331688       26242282       351            1613           157   187   158
81.57/81.60	c 2770           57698          58446133       26317453       351            1616           84   92   80   
81.67/81.79	c 2771           57827          58539727       26371405       351            1617           129   129   64 
81.97/82.06	c 2780           58032          58737105       26470847       351            1626           50   186   134 
82.27/82.38	c 2790           58259          59016500       26585004       351            1628           171   181   159
82.58/82.69	c 2800           58487          59255661       26682014       351            1635           66   185   138 
82.97/83.00	c 2810           58714          59483321       26791236       351            1641           63   179   147 
83.17/83.26	c 2820           58917          59658954       26883210       351            1647           56   186   147 
83.47/83.57	c 2830           59127          59902937       26989570       351            1652           85   175   141 
83.77/83.88	c 2840           59349          60150448       27096137       351            1656           116   184   156
84.07/84.18	c 2850           59578          60363772       27207409       351            1664           132   180   135
84.37/84.47	c 2860           59792          60587604       27308747       351            1669           46   188   151 
84.68/84.74	c 2870           59988          60761381       27394561       351            1676           47   184   115 
84.97/85.01	c 2880           60206          60965496       27491166       351            1680           120   194   149
85.07/85.17	c 2890           60305          61039095       27538308       351            1686           40   90   76   
85.47/85.50	c 2900           60558          61327736       27650654       351            1691           157   195   165
85.67/85.78	c 2910           60771          61539918       27740718       351            1695           101   193   157
85.97/86.04	c 2920           60956          61729157       27834719       351            1703           92   173   141 
86.27/86.30	c 2930           61156          61920783       27925489       351            1707           106   183   151
86.47/86.59	c 2940           61353          62139983       28021903       351            1714           153   175   152
86.77/86.90	c 2950           61600          62390613       28136442       351            1721           73   197   155 
87.07/87.18	c 2960           61810          62606377       28237151       351            1730           130   186   156
87.37/87.45	c 2970           62024          62820794       28335445       351            1735           138   187   159
87.67/87.73	c 2980           62256          63037156       28431568       351            1741           55   203   141 
87.98/88.01	c 2990           62451          63231656       28530651       351            1746           159   173   150
88.17/88.26	c 3000           62617          63370737       28602324       351            1751           60   156   85  
88.47/88.54	c 3010           62833          63611995       28699571       351            1755           118   199   168
88.77/88.82	c 3020           63040          63848844       28810297       351            1761           165   180   157
89.08/89.12	c 3030           63233          64070208       28925869       351            1766           123   176   146
89.37/89.42	c 3040           63446          64316763       29026753       351            1770           49   188   148 
89.67/89.71	c 3050           63660          64538833       29120966       351            1775           155   186   154
89.97/90.00	c 3060           63850          64734897       29209295       351            1781           51   173   125 
90.28/90.31	c 3070           64065          64983393       29308855       351            1783           170   192   168
90.57/90.63	c 3080           64301          65273778       29415206       351            1785           187   200   175
90.67/90.79	c 3090           64403          65346193       29470764       351            1788           61   81   62   
90.97/91.05	c 3100           64589          65510751       29559129       351            1795           142   163   138
91.28/91.34	c 3110           64805          65726096       29667221       351            1798           135   176   143
91.47/91.53	c 3120           64951          65828573       29738830       351            1801           121   127   113
91.77/91.83	c 3130           65177          66090424       29832749       351            1805           184   194   171
91.97/92.04	c 3140           65335          66210857       29913027       351            1815           110   142   119
92.17/92.29	c 3142           65519          66371248       29986071       351            1817           166   183   116
92.48/92.52	c 3150           65711          66518815       30058929       351            1820           171   176   154
92.77/92.81	c 3160           65904          66701445       30167032       351            1824           74   159   128 
93.07/93.11	c 3170           66123          66957499       30282708       351            1829           124   194   154
93.37/93.45	c 3180           66368          67258979       30390822       351            1833           138   202   168
93.77/93.81	c 3190           66651          67584071       30507109       351            1838           175   201   173
94.07/94.11	c 3200           66861          67807842       30613343       351            1846           155   189   157
94.27/94.36	c 3210           67046          67976245       30711143       351            1850           151   160   142
94.58/94.64	c 3220           67259          68192427       30801551       351            1852           168   192   169
94.87/94.91	c 3230           67467          68406244       30893028       351            1859           161   194   164
95.17/95.21	c 3240           67691          68641229       31004223       351            1865           165   179   155
95.47/95.54	c 3250           67924          68933910       31131371       351            1871           161   193   165
95.67/95.79	c 3260           68133          69101637       31218951       351            1879           128   182   146
95.87/95.96	c 3270           68263          69187002       31270096       351            1883           115   119   105
96.17/96.21	c 3280           68449          69347798       31344768       351            1887           133   157   140
96.47/96.54	c 3290           68693          69641493       31459799       351            1895           168   195   169
96.77/96.83	c 3300           68910          69865770       31556289       351            1898           122   194   159
97.07/97.15	c 3310           69163          70135018       31664087       351            1905           41   201   145 
97.37/97.45	c 3320           69368          70374974       31767648       351            1910           169   178   156
97.67/97.75	c 3330           69571          70604262       31880947       351            1917           158   184   154
98.07/98.11	c 3340           69831          70915076       31999079       351            1923           71   200   140 
98.37/98.47	c 3350           70065          71225570       32113725       351            1931           171   191   168
98.67/98.77	c 3360           70296          71464970       32219485       351            1934           130   191   158
98.97/99.09	c 3370           70530          71732216       32326009       351            1939           92   196   160 
99.27/99.36	c 3380           70744          71937484       32418733       351            1943           183   202   176
99.57/99.68	c 3390           70988          72250704       32534684       351            1947           190   201   177
99.87/99.99	c 3400           71202          72485122       32671591       351            1953           68   164   132 
100.17/100.27	c 3410           71426          72727504       32772865       351            1959           190   202   176
100.57/100.63	c 3420           71689          73036451       32933955       351            1963           158   179   155
100.87/100.99	c 3430           71943          73340182       33048497       351            1966           174   190   163
101.17/101.28	c 3440           72168          73574739       33150533       351            1970           179   203   172
101.56/101.61	c 3450           72395          73835908       33277167       351            1973           149   184   154
101.76/101.89	c 3460           72609          74051074       33373222       351            1976           38   178   143 
102.16/102.24	c 3470           72828          74337305       33509093       351            1982           123   182   145
102.46/102.53	c 3480           73047          74569550       33614401       351            1987           169   187   162
102.76/102.81	c 3490           73253          74776689       33707769       351            1995           175   185   163
103.06/103.13	c 3500           73499          75065406       33814084       351            1998           186   202   173
103.37/103.43	c 3510           73706          75292814       33908852       351            2006           103   189   146
103.56/103.67	c 3520           73895          75439370       33984333       351            2009           51   179   70  
103.86/103.94	c 3530           74090          75639493       34079350       351            2017           153   186   155
104.16/104.23	c 3540           74294          75878393       34190304       351            2018           179   186   166
104.36/104.48	c 3550           74468          76030843       34275270       351            2026           133   162   136
104.47/104.59	c 3551           74542          76074782       34306071       351            2027           74   74   37   
104.86/104.90	c 3560           74772          76327395       34403011       351            2032           125   199   155
105.16/105.20	c 3570           74986          76575070       34521563       351            2038           126   182   154
105.26/105.39	c 3580           75120          76664147       34584518       351            2040           48   122   50  
105.57/105.68	c 3590           75326          76895968       34685276       351            2047           121   183   149
105.86/105.95	c 3600           75529          77104116       34778432       351            2051           41   191   136 
106.16/106.25	c 3610           75739          77342279       34876303       351            2057           172   186   163
106.46/106.54	c 3620           75934          77539831       34969187       351            2065           117   174   139
106.77/106.83	c 3630           76141          77759576       35082640       351            2067           153   180   148
107.06/107.12	c 3640           76374          78018540       35182678       351            2070           116   204   168
107.36/107.44	c 3650           76618          78300909       35289588       351            2073           183   194   172
107.66/107.71	c 3660           76821          78489217       35385658       351            2078           41   175   134 
107.87/107.98	c 3670           77014          78689759       35477140       351            2087           40   179   125 
108.16/108.20	c 3680           77174          78811941       35547231       351            2091           120   142   123
108.36/108.49	c 3690           77376          79018618       35640656       351            2098           135   181   153
108.76/108.80	c 3700           77588          79287243       35762417       351            2105           172   192   166
109.06/109.11	c 3710           77800          79540175       35873410       351            2112           38   183   148 
109.26/109.32	c 3720           77951          79660704       35950770       351            2118           74   137   114 
109.56/109.60	c 3730           78188          79905088       36050173       351            2120           176   210   176
109.86/109.91	c 3740           78392          80159853       36158830       351            2125           156   183   154
109.97/110.09	c 3750           78528          80250237       36211749       351            2132           96   123   99  
110.26/110.37	c 3760           78751          80472742       36306586       351            2136           180   197   170
110.66/110.72	c 3770           78990          80796824       36441885       351            2142           156   196   167
110.96/111.02	c 3780           79200          81031523       36539405       351            2149           68   200   153 
111.26/111.36	c 3790           79484          81349283       36662439       351            2153           176   198   172
111.56/111.62	c 3800           79689          81545551       36754000       351            2159           119   192   160
111.86/111.91	c 3810           79906          81775164       36848355       351            2164           172   194   168
112.17/112.21	c 3820           80136          82020378       36947082       351            2169           113   197   163
112.36/112.47	c 3830           80324          82196601       37036757       351            2174           145   167   145
112.66/112.74	c 3840           80535          82389247       37142022       351            2182           162   188   156
112.96/113.06	c 3850           80775          82664791       37253564       351            2185           107   200   165
113.27/113.32	c 3860           80973          82850377       37343529       351            2192           56   181   142 
113.56/113.61	c 3870           81172          83068807       37453960       351            2200           138   166   143
113.76/113.87	c 3880           81363          83256781       37539282       351            2209           93   182   130 
114.06/114.15	c 3890           81578          83490686       37640073       351            2214           170   190   166
114.37/114.46	c 3900           81819          83757013       37744339       351            2217           107   199   168
114.56/114.64	c 3910           81935          83841580       37801094       351            2221           80   103   79  
114.86/114.95	c 3920           82174          84136388       37912633       351            2226           186   210   178
115.16/115.25	c 3930           82392          84369987       38017994       351            2232           48   194   150 
115.56/115.61	c 3940           82659          84682243       38137683       351            2241           161   199   166
115.86/115.93	c 3950           82881          84931123       38233659       351            2246           170   198   169
116.16/116.24	c 3960           83114          85171473       38334752       351            2252           54   191   138 
116.46/116.53	c 3970           83323          85405455       38434056       351            2260           101   189   156
116.66/116.79	c 3980           83511          85567579       38520543       351            2261           152   163   144
116.96/117.09	c 3990           83752          85841402       38618917       351            2264           101   205   164
117.36/117.43	c 4000           83996          86169153       38743558       351            2267           187   197   175
117.46/117.50	c 4001           84032          86191191       38759354       351            2268           36   36   18   
117.66/117.77	c 4010           84250          86406619       38848611       351            2273           159   195   169
117.96/118.05	c 4020           84444          86612530       38944225       351            2279           171   176   156
118.26/118.39	c 4030           84707          86905507       39054462       351            2286           164   193   169
118.66/118.72	c 4040           84950          87173366       39175937       351            2293           64   185   143 
118.96/119.06	c 4050           85199          87451914       39280942       351            2296           168   198   165
119.26/119.33	c 4060           85404          87654295       39378276       351            2300           161   173   150
119.56/119.62	c 4070           85613          87868916       39465620       351            2309           173   193   169
119.86/119.93	c 4080           85821          88125574       39584494       351            2313           164   188   164
120.16/120.21	c 4090           86030          88366169       39678212       351            2318           121   188   151
120.46/120.50	c 4100           86262          88601917       39785081       351            2322           171   189   161
120.66/120.77	c 4110           86473          88809010       39891798       351            2323           173   184   163
120.97/121.08	c 4120           86696          89083244       40001064       351            2325           187   196   175
121.26/121.35	c 4130           86907          89296952       40090368       351            2328           160   195   169
121.56/121.65	c 4140           87127          89518897       40179683       351            2337           110   185   148
121.86/121.98	c 4150           87345          89795670       40294331       351            2342           175   187   162
122.17/122.26	c 4160           87572          90012855       40395446       351            2353           101   192   152
122.46/122.54	c 4170           87786          90237312       40502110       351            2358           107   188   162
122.76/122.83	c 4180           88004          90462731       40602899       351            2366           175   190   164
123.06/123.13	c 4190           88234          90698533       40702902       351            2371           175   192   168
123.36/123.45	c 4200           88431          90943506       40806964       351            2378           112   174   135
123.66/123.76	c 4210           88654          91184568       40923340       351            2386           174   193   164
123.96/124.06	c 4220           88862          91412861       41021423       351            2395           69   184   147 
124.16/124.28	c 4230           89010          91528588       41083598       351            2403           54   131   106 
124.46/124.53	c 4240           89218          91698224       41167226       351            2406           149   171   148
124.66/124.78	c 4250           89439          91899096       41253060       351            2410           133   190   165
124.96/125.06	c 4260           89649          92123803       41351274       351            2413           43   190   153 
125.37/125.42	c 4270           89903          92453129       41484507       351            2416           156   190   157
125.56/125.69	c 4280           90125          92659756       41577877       351            2420           43   194   153 
125.96/126.01	c 4290           90356          92927691       41695586       351            2425           121   194   148
126.16/126.26	c 4300           90555          93109578       41787805       351            2427           161   170   149
126.47/126.54	c 4310           90767          93336423       41884021       351            2435           169   193   170
126.76/126.84	c 4320           90989          93586065       41993622       351            2440           71   189   148 
127.06/127.11	c 4330           91202          93774134       42094776       351            2445           172   175   157
127.36/127.44	c 4340           91433          94049944       42208439       351            2450           177   190   166
127.67/127.74	c 4350           91659          94306142       42322623       351            2452           168   185   159
127.96/128.01	c 4360           91870          94500993       42411205       351            2457           46   190   146 
128.26/128.32	c 4370           92112          94797909       42507987       351            2462           175   202   174
128.56/128.65	c 4380           92360          95097289       42627788       351            2467           162   195   162
128.86/128.94	c 4390           92578          95334343       42723771       351            2470           163   200   174
129.16/129.27	c 4400           92827          95623811       42833608       351            2472           167   192   163
129.46/129.59	c 4410           93068          95901917       42938263       351            2475           167   194   171
129.77/129.84	c 4420           93263          96066571       43011370       351            2485           87   186   115 
130.06/130.12	c 4430           93501          96313185       43107795       351            2491           152   207   178
130.36/130.43	c 4440           93702          96536967       43201768       351            2498           54   178   144 
130.66/130.75	c 4450           93941          96808856       43311245       351            2504           161   195   157
130.97/131.06	c 4460           94165          97057510       43401087       351            2510           54   196   136 
131.26/131.31	c 4470           94362          97231338       43482716       351            2517           87   187   115 
131.56/131.62	c 4480           94576          97471376       43593701       351            2527           81   191   134 
131.86/131.91	c 4490           94779          97682937       43702007       351            2534           161   182   158
132.07/132.15	c 4493           94977          97849691       43780151       351            2536           190   196   144
132.36/132.42	c 4500           95190          98059899       43865306       351            2540           183   188   162
132.66/132.72	c 4510           95402          98305541       43968512       351            2543           95   185   155 
132.96/133.05	c 4520           95618          98558467       44078629       351            2546           99   176   150 
133.26/133.33	c 4530           95825          98764421       44174885       351            2548           171   184   160
133.56/133.60	c 4540           96036          98968325       44268559       351            2554           176   185   163
133.86/133.95	c 4550           96265          99279615       44395075       351            2561           175   187   164
134.17/134.25	c 4560           96485          99519389       44491158       351            2565           144   191   150
134.46/134.54	c 4570           96691          99736599       44588913       351            2569           172   185   165
134.76/134.85	c 4580           96924          99979567       44693552       351            2574           119   186   158
135.06/135.12	c 4590           97142          100185033      44789039       351            2577           76   187   148 
135.27/135.40	c 4600           97353          100396292      44889889       351            2579           159   186   161
135.56/135.64	c 4610           97520          100538527      44965478       351            2589           91   141   108 
135.76/135.88	c 4620           97705          100691600      45043449       351            2599           45   175   132 
135.96/136.06	c 4630           97805          100772229      45107972       351            2609           60   87   74   
136.26/136.36	c 4640           98018          101021012      45217891       351            2612           154   193   167
136.56/136.67	c 4650           98262          101292424      45337103       351            2617           169   200   173
136.86/136.96	c 4660           98491          101535229      45439907       351            2622           179   198   172
137.16/137.26	c 4670           98733          101797716      45562459       351            2624           180   201   171
137.46/137.55	c 4680           98942          102018132      45658105       351            2629           155   193   162
137.76/137.81	c 4690           99147          102218146      45744302       351            2633           178   191   170
138.06/138.13	c 4700           99382          102491311      45858307       351            2639           172   187   163
138.36/138.42	c 4710           99596          102725216      45959351       351            2646           163   189   163
138.56/138.67	c 4720           99784          102897692      46055532       351            2651           71   165   125 
138.86/138.99	c 4730           100003         103155737      46157899       351            2655           163   193   166
139.16/139.24	c 4740           100191         103321924      46233034       351            2661           91   173   118 
139.46/139.55	c 4750           100401         103566329      46338899       351            2666           119   194   156
139.86/139.91	c 4760           100691         103892159      46470481       351            2671           135   190   155
140.16/140.26	c 4770           100943         104182177      46582365       351            2674           90   193   157 
140.46/140.52	c 4780           101147         104364118      46676916       351            2682           125   189   143
140.76/140.80	c 4790           101342         104565980      46765607       351            2690           91   173   130 
140.96/141.10	c 4800           101555         104799349      46863792       351            2695           167   196   168
141.36/141.44	c 4810           101806         105118111      46974526       351            2700           188   210   176
141.66/141.76	c 4820           102022         105372275      47093811       351            2704           166   183   159
141.96/142.07	c 4830           102239         105618286      47204510       351            2711           181   192   167
142.36/142.45	c 4840           102513         105973173      47339193       351            2717           165   199   170
142.66/142.74	c 4850           102719         106183155      47440339       351            2723           46   168   129 
142.96/143.02	c 4860           102921         106384718      47527516       351            2729           134   177   154
143.26/143.32	c 4870           103138         106629240      47628630       351            2734           163   193   165
143.56/143.62	c 4880           103360         106875100      47739903       351            2741           116   185   158
143.76/143.83	c 4890           103521         106987039      47817790       351            2745           116   126   110
144.06/144.16	c 4900           103757         107299231      47924953       351            2750           184   198   175
144.36/144.44	c 4910           103970         107508202      48029660       351            2753           165   185   157
144.66/144.71	c 4920           104178         107716045      48113925       351            2757           78   187   153 
144.96/145.03	c 4930           104412         107957695      48216043       351            2761           170   188   162
145.26/145.37	c 4940           104670         108268472      48335270       351            2767           174   195   167
145.56/145.67	c 4950           104894         108521575      48433151       351            2773           45   201   154 
145.86/145.96	c 4960           105098         108751082      48536690       351            2779           166   183   160
146.16/146.29	c 4970           105327         109006947      48639570       351            2785           162   182   156
146.46/146.56	c 4980           105547         109240551      48736119       351            2791           184   194   173
146.76/146.83	c 4990           105753         109427975      48831966       351            2797           128   184   136
147.36/147.46	c 5035           106104         110209347      49109731       351            2809           47   185   171 
151.45/151.53	c 5631           109500         113191839      51336475       351            2844           70   149   97  
155.85/155.96	c 6286           112765         120742486      53730699       351            2852           169   203   187
161.55/161.63	c 7006           116143         128541882      56839780       351            2864           46   189   173 
167.65/167.79	c 7798           119341         136698123      60142270       351            2876           39   192   176 
173.35/173.40	c 8669           123219         146094620      63069123       351            2891           38   207   192 
180.15/180.20	c 9627           127069         155455257      66957690       351            2914           101   194   176
187.25/187.36	c 10680          132259         167598532      70705470       351            2926           70   204   187 
195.15/195.28	c 11838          138250         180120059      74848833       351            2939           162   194   176
204.75/204.83	c 13111          144648         194353668      79962707       351            2962           39   201   175 
214.94/215.04	c 14511          151137         208896250      85036897       351            2970           156   193   175
226.74/226.85	c 16051          159002         227190334      92071666       351            2978           132   213   179
239.64/239.75	c 17745          166508         245140281      99344528       351            2997           67   194   168 
254.74/254.85	c 19608          175078         266331396      106128049      351            3014           161   196   177
268.93/269.04	c 21657          185527         287952881      113069265      351            3026           159   208   179
287.93/288.02	c 23910          196891         315506633      123324551      351            3047           38   199   178 
308.04/308.19	c 26388          210077         347443772      134250361      351            3058           161   208   182
327.23/327.34	c 29113          222999         377321591      143352061      351            3078           88   203   181 
343.73/343.87	c 32110          235402         401723451      150673739      351            3089           113   204   180
367.63/367.74	c 35406          251595         443986641      162082370      351            3110           159   212   193
394.23/394.38	c 39031          267902         483899940      175919520      351            3125           137   196   175
422.92/423.05	c 43018          287607         530960442      190667557      351            3152           109   208   186
450.82/450.98	c 47403          309767         584017495      205406594      351            3161           35   215   192 
490.11/490.25	c 52226          333881         647686019      224856102      351            3173           120   211   182
523.01/523.16	c 57531          354725         693672832      242391077      351            3188           79   198   170 
560.20/560.37	c 63366          386148         743330674      262551897      351            3203           97   189   161 
609.41/609.50	c 69784          417432         817820409      287955425      351            3218           47   206   179 
661.49/661.68	c 76843          453208         898444910      314203501      351            3235           68   202   178 
704.89/705.01	c 84607          488624         938846073      335559494      351            3280           62   157   119 
765.48/765.61	c 93147          526637         1026357285     367405380      351            3297           159   196   178
807.47/807.69	c 102541         563715         1083520802     390770676      351            3329           77   182   153 
888.67/888.84	c 112874         620166         1209121458     433883659      351            3345           43   205   179 
967.55/967.71	c 124240         678365         1335093899     473966385      351            3367           93   212   179 
1035.24/1035.47	c 136742         739897         1430852613     504033878      351            3409           54   191   157 
1122.83/1123.03	c 150494         805373         1544285627     544680371      351            3463           80   190   150 
1220.72/1220.93	c 165621         868702         1680990616     590614332      351            3482           86   196   165 
1337.20/1337.48	c 182260         951211         1862650202     656593335      351            3496           37   212   177 
1438.49/1438.71	c 200562         1028358        2014145138     714229451      351            3520           139   202   172
1563.47/1563.75	c 220694         1125409        2198433099     772832578      351            3548           78   196   169 
1723.35/1723.64	c 242839         1231487        2445118159     860675802      351            3557           47   205   178 
1913.54/1913.80	c 267198         1348911        2719494787     960136680      351            3580           47   204   176 
2141.31/2141.65	c 293992         1486646        3033630153     1087747718     351            3604           151   197   171
2320.09/2320.42	c 323465         1641617        3249893796     1161214932     351            3643           64   172   134

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-4242258-1500656087/watcher-4242258-1500656087 -o /tmp/evaluation-result-4242258-1500656087/solver-4242258-1500656087 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500648172-9862 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242258-1500656087.xml 

pid=11145
running on 8 cores: 0,2,4,6,8,10,12,14

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.01 2.02 2.05 3/242 11148
/proc/meminfo: memFree=32002748/32770624 swapFree=5928/191304
[pid=11148] ppid=11145 vsize=28308 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 1306 0 0 0 0 0 0 0 20 0 1 0 873544 28987392 1102 33554432000 4194304 5970956 140722622884768 140722622881416 5668886 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 7077 1102 721 434 0 441 0

[startup+0.100119 s]
/proc/loadavg: 2.01 2.02 2.05 3/242 11148
/proc/meminfo: memFree=32002748/32770624 swapFree=5928/191304
[pid=11148] ppid=11145 vsize=30812 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 2009 0 0 0 9 0 0 0 20 0 1 0 873544 31551488 1827 33554432000 4194304 5970956 140722622884768 140722622878600 140002805005285 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 7703 1827 799 434 0 1067 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30812

[startup+0.200265 s]
/proc/loadavg: 2.01 2.02 2.05 3/242 11148
/proc/meminfo: memFree=32002748/32770624 swapFree=5928/191304
[pid=11148] ppid=11145 vsize=31700 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 2234 0 0 0 19 0 0 0 20 0 1 0 873544 32460800 2049 33554432000 4194304 5970956 140722622884768 140722622878600 140002805005285 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 7925 2049 799 434 0 1289 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31700

[startup+0.300203 s]
/proc/loadavg: 2.01 2.02 2.05 3/242 11148
/proc/meminfo: memFree=32002748/32770624 swapFree=5928/191304
[pid=11148] ppid=11145 vsize=32848 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 2500 0 0 0 29 0 0 0 20 0 1 0 873544 33636352 2336 33554432000 4194304 5970956 140722622884768 140722622878360 140002805005285 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 8212 2336 799 434 0 1576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32848

[startup+0.700289 s]
/proc/loadavg: 2.01 2.02 2.05 3/242 11148
/proc/meminfo: memFree=32002748/32770624 swapFree=5928/191304
[pid=11148] ppid=11145 vsize=238496 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 34374 0 0 0 63 6 0 0 20 0 1 0 873544 244219904 51057 33554432000 4194304 5970956 140722622884768 140722622881592 140002805005285 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 59624 51057 829 434 0 52988 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 238496

[startup+1.50025 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11149
/proc/meminfo: memFree=31559924/32770624 swapFree=5928/191176
[pid=11148] ppid=11145 vsize=599640 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 83542 0 0 0 135 14 0 0 20 0 1 0 873544 614031360 134420 33554432000 4194304 5970956 140722622884768 140722622881544 5052095 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 149910 134420 845 434 0 143274 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 599640

[startup+3.10024 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11149
/proc/meminfo: memFree=31465700/32770624 swapFree=5928/191292
[pid=11148] ppid=11145 vsize=600564 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 90749 0 0 0 294 14 0 0 20 0 1 0 873544 614977536 134696 33554432000 4194304 5970956 140722622884768 140722622881784 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 150141 134696 846 434 0 143505 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 600564

[startup+6.30026 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11149
/proc/meminfo: memFree=31464528/32770624 swapFree=5928/191292
[pid=11148] ppid=11145 vsize=601224 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 97528 0 0 0 614 15 0 0 20 0 1 0 873544 615653376 134886 33554432000 4194304 5970956 140722622884768 140722622882104 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 150306 134886 846 434 0 143670 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 601224

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11149
/proc/meminfo: memFree=31463400/32770624 swapFree=5928/191296
[pid=11148] ppid=11145 vsize=601920 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 107393 0 0 0 1253 16 0 0 20 0 1 0 873544 616366080 135060 33554432000 4194304 5970956 140722622884768 140722622882104 4964424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 150480 135060 846 434 0 143844 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 601920

[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11150
/proc/meminfo: memFree=31460796/32770624 swapFree=5928/191296
[pid=11148] ppid=11145 vsize=602976 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 119821 0 0 0 2531 17 0 0 20 0 1 0 873544 617447424 135327 33554432000 4194304 5970956 140722622884768 140722622882104 5327840 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 150744 135327 846 434 0 144108 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 602976

[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11150
/proc/meminfo: memFree=31459736/32770624 swapFree=5928/191444
[pid=11148] ppid=11145 vsize=603492 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 135755 0 0 0 5089 18 0 0 20 0 1 0 873544 617975808 135484 33554432000 4194304 5970956 140722622884768 140722622882104 4994541 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 150873 135484 850 434 0 144237 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 603492

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11151
/proc/meminfo: memFree=31458628/32770624 swapFree=5928/191504
[pid=11148] ppid=11145 vsize=603872 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 154782 0 0 0 10208 19 0 0 20 0 1 0 873544 618364928 135584 33554432000 4194304 5970956 140722622884768 140722622882104 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 150968 135584 850 434 0 144332 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 603872

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11152
/proc/meminfo: memFree=31456428/32770624 swapFree=5928/191504
[pid=11148] ppid=11145 vsize=604124 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 165853 0 0 0 16205 20 0 0 20 0 1 0 873544 618622976 136147 33554432000 4194304 5970956 140722622884768 140722622882104 4967744 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136147 850 434 0 144395 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 604124

[startup+222.308 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11154
/proc/meminfo: memFree=31456808/32770624 swapFree=5928/191728
[pid=11148] ppid=11145 vsize=604124 CPUtime=222.25 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 169820 0 0 0 22205 20 0 0 20 0 1 0 873544 618622976 136181 33554432000 4194304 5970956 140722622884768 140722622882104 4908985 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136181 850 434 0 144395 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 604124

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11155
/proc/meminfo: memFree=31456956/32770624 swapFree=5928/191780
[pid=11148] ppid=11145 vsize=604124 CPUtime=282.23 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 172421 0 0 0 28203 20 0 0 20 0 1 0 873544 618622976 136194 33554432000 4194304 5970956 140722622884768 140722622882104 4994614 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136194 850 434 0 144395 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 604124

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11164
/proc/meminfo: memFree=31455708/32770624 swapFree=5928/191832
[pid=11148] ppid=11145 vsize=604124 CPUtime=342.23 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 174435 0 0 0 34202 21 0 0 20 0 1 0 873544 618622976 136194 33554432000 4194304 5970956 140722622884768 140722622882104 4994541 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136194 850 434 0 144395 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 604124

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11187
/proc/meminfo: memFree=31454532/32770624 swapFree=5928/191872
[pid=11148] ppid=11145 vsize=604124 CPUtime=402.23 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 176886 0 0 0 40202 21 0 0 20 0 1 0 873544 618622976 136197 33554432000 4194304 5970956 140722622884768 140722622882104 5098910 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136197 850 434 0 144395 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 604124

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11188
/proc/meminfo: memFree=31454896/32770624 swapFree=5928/191872
[pid=11148] ppid=11145 vsize=604124 CPUtime=462.22 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 178517 0 0 0 46201 21 0 0 20 0 1 0 873544 618622976 136197 33554432000 4194304 5970956 140722622884768 140722622882104 5070435 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136197 850 434 0 144395 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 604124

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11189
/proc/meminfo: memFree=31455020/32770624 swapFree=5928/191964
[pid=11148] ppid=11145 vsize=604124 CPUtime=522.21 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 179844 0 0 0 52200 21 0 0 20 0 1 0 873544 618622976 136199 33554432000 4194304 5970956 140722622884768 140722622882104 4967831 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136199 850 434 0 144395 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 604124

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11190
/proc/meminfo: memFree=31455640/32770624 swapFree=5928/192000
[pid=11148] ppid=11145 vsize=604124 CPUtime=582.2 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 181444 0 0 0 58199 21 0 0 20 0 1 0 873544 618622976 136199 33554432000 4194304 5970956 140722622884768 140722622882104 4964440 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136199 850 434 0 144395 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 604124


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11213
/proc/meminfo: memFree=31457180/32770624 swapFree=5928/192484
[pid=11148] ppid=11145 vsize=604124 CPUtime=1482.09 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 205478 0 0 0 148187 22 0 0 20 0 1 0 873544 618622976 136200 33554432000 4194304 5970956 140722622884768 140722622882104 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136200 850 434 0 144395 0
Current children cumulated CPU time (s) 1482.09
Current children cumulated vsize (KiB) 604124

[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 11222
/proc/meminfo: memFree=31456256/32770624 swapFree=5928/192520
[pid=11148] ppid=11145 vsize=604124 CPUtime=1542.08 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 207134 0 0 0 154186 22 0 0 20 0 1 0 873544 618622976 136200 33554432000 4194304 5970956 140722622884768 140722622882104 4994496 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136200 850 434 0 144395 0
Current children cumulated CPU time (s) 1542.08
Current children cumulated vsize (KiB) 604124

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11223
/proc/meminfo: memFree=31456868/32770624 swapFree=5928/192520
[pid=11148] ppid=11145 vsize=604124 CPUtime=1602.07 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 208829 0 0 0 160185 22 0 0 20 0 1 0 873544 618622976 136200 33554432000 4194304 5970956 140722622884768 140722622882104 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136200 850 434 0 144395 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 604124

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11224
/proc/meminfo: memFree=31456820/32770624 swapFree=5928/192520
[pid=11148] ppid=11145 vsize=604124 CPUtime=1662.06 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 210242 0 0 0 166184 22 0 0 20 0 1 0 873544 618622976 136200 33554432000 4194304 5970956 140722622884768 140722622882104 4994458 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136200 850 434 0 144395 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 604124

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 11225
/proc/meminfo: memFree=31455148/32770624 swapFree=5928/192520
[pid=11148] ppid=11145 vsize=604124 CPUtime=1722.05 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 212109 0 0 0 172183 22 0 0 20 0 1 0 873544 618622976 136200 33554432000 4194304 5970956 140722622884768 140722622882104 5098908 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136200 850 434 0 144395 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 604124

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11226
/proc/meminfo: memFree=31455248/32770624 swapFree=5928/192660
[pid=11148] ppid=11145 vsize=604124 CPUtime=1782.06 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 213825 0 0 0 178183 23 0 0 20 0 1 0 873544 618622976 136201 33554432000 4194304 5970956 140722622884768 140722622882104 4994545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136201 850 434 0 144395 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 604124

[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 11294
/proc/meminfo: memFree=31487380/32770624 swapFree=5928/192660
[pid=11148] ppid=11145 vsize=604124 CPUtime=1842.05 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 215255 0 0 0 184182 23 0 0 20 0 1 0 873544 618622976 136201 33554432000 4194304 5970956 140722622884768 140722622882104 4994541 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136201 850 434 0 144395 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 604124

[startup+1902.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 11295
/proc/meminfo: memFree=31486912/32770624 swapFree=5928/192660
[pid=11148] ppid=11145 vsize=604124 CPUtime=1902.04 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 217100 0 0 0 190181 23 0 0 20 0 1 0 873544 618622976 136201 33554432000 4194304 5970956 140722622884768 140722622882104 5070830 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136201 850 434 0 144395 0
Current children cumulated CPU time (s) 1902.04
Current children cumulated vsize (KiB) 604124

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11296
/proc/meminfo: memFree=31487516/32770624 swapFree=5928/192660
[pid=11148] ppid=11145 vsize=604124 CPUtime=1962.03 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 218871 0 0 0 196180 23 0 0 20 0 1 0 873544 618622976 136201 33554432000 4194304 5970956 140722622884768 140722622882104 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136201 850 434 0 144395 0
Current children cumulated CPU time (s) 1962.03
Current children cumulated vsize (KiB) 604124

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11298
/proc/meminfo: memFree=31487356/32770624 swapFree=5928/192660
[pid=11148] ppid=11145 vsize=604124 CPUtime=2022.03 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 220333 0 0 0 202180 23 0 0 20 0 1 0 873544 618622976 136201 33554432000 4194304 5970956 140722622884768 140722622882104 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136201 850 434 0 144395 0
Current children cumulated CPU time (s) 2022.03
Current children cumulated vsize (KiB) 604124

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11299
/proc/meminfo: memFree=31487340/32770624 swapFree=5928/193036
[pid=11148] ppid=11145 vsize=604124 CPUtime=2082.03 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 222283 0 0 0 208180 23 0 0 20 0 1 0 873544 618622976 136201 33554432000 4194304 5970956 140722622884768 140722622882104 4994545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136201 850 434 0 144395 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 604124

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11307
/proc/meminfo: memFree=31485852/32770624 swapFree=5928/193080
[pid=11148] ppid=11145 vsize=604124 CPUtime=2142.01 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 224145 0 0 0 214178 23 0 0 20 0 1 0 873544 618622976 136202 33554432000 4194304 5970956 140722622884768 140722622882104 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136202 850 434 0 144395 0
Current children cumulated CPU time (s) 2142.01
Current children cumulated vsize (KiB) 604124

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11308
/proc/meminfo: memFree=31486408/32770624 swapFree=5928/193080
[pid=11148] ppid=11145 vsize=604124 CPUtime=2202.01 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 225432 0 0 0 220178 23 0 0 20 0 1 0 873544 618622976 136202 33554432000 4194304 5970956 140722622884768 140722622882104 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136202 850 434 0 144395 0
Current children cumulated CPU time (s) 2202.01
Current children cumulated vsize (KiB) 604124

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11309
/proc/meminfo: memFree=31486980/32770624 swapFree=5928/193160
[pid=11148] ppid=11145 vsize=604124 CPUtime=2262 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 227600 0 0 0 226177 23 0 0 20 0 1 0 873544 618622976 136202 33554432000 4194304 5970956 140722622884768 140722622882104 4994549 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136202 850 434 0 144395 0
Current children cumulated CPU time (s) 2262
Current children cumulated vsize (KiB) 604124

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11310
/proc/meminfo: memFree=31486924/32770624 swapFree=5928/193160
[pid=11148] ppid=11145 vsize=604124 CPUtime=2321.99 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 229612 0 0 0 232176 23 0 0 20 0 1 0 873544 618622976 136202 33554432000 4194304 5970956 140722622884768 140722622882104 5070785 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136202 850 434 0 144395 0
Current children cumulated CPU time (s) 2321.99
Current children cumulated vsize (KiB) 604124

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11311
/proc/meminfo: memFree=31487740/32770624 swapFree=5928/193208
[pid=11148] ppid=11145 vsize=604124 CPUtime=2381.98 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 230754 0 0 0 238175 23 0 0 20 0 1 0 873544 618622976 136202 33554432000 4194304 5970956 140722622884768 140722622882104 4908985 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136202 850 434 0 144395 0
Current children cumulated CPU time (s) 2381.98
Current children cumulated vsize (KiB) 604124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11311
/proc/meminfo: memFree=31487740/32770624 swapFree=5928/193208
[pid=11148] ppid=11145 vsize=604124 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/11148/stat : 11148 (cosoco) R 11145 11148 9830 0 -1 4202496 231534 0 0 0 239984 23 0 0 20 0 1 0 873544 618622976 136202 33554432000 4194304 5970956 140722622884768 140722622882104 5070768 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38449152 140722622887100 140722622887235 140722622887235 140722622889934 0
/proc/11148/statm: 151031 136202 850 434 0 144395 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 604124

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

Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.09
CPU user time (s): 2399.85
CPU system time (s): 0.24097
CPU usage (%): 99.987
Max. virtual memory (cumulated for all children) (KiB): 604124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.85
system time used= 0.24097
maximum resident set size= 544856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231564
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= 34
involuntary context switches= 120678

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48855 second user time and 11.5433 second system time

The end

Launcher Data 

Begin job on node151 at 2017-07-21 18:54:47
IDJOB=4242258
IDBENCH=133764
IDSOLVER=2621
FILE ID=node151/4242258-1500656087
RUNJOBID= node151-1500648172-9862
PBS_JOBID= 20623270
Free space on /tmp= 62024 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg4/QuasiGroup-4-17.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242258-1500656087/watcher-4242258-1500656087 -o /tmp/evaluation-result-4242258-1500656087/solver-4242258-1500656087 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500648172-9862 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242258-1500656087.xml

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

MD5SUM BENCH= 1749ee71f79cc6e37ea59febff668c91
RANDOM SEED=56706017

node151.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	: 8
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.49
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	: 8
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	: 5342.81
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		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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	: 8
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	: 5342.81
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	: 8
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.49
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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	: 8
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32003020 kB
MemAvailable:   31993212 kB
Buffers:           34524 kB
Cached:           265580 kB
SwapCached:            0 kB
Active:           193576 kB
Inactive:         199988 kB
Active(anon):      95876 kB
Inactive(anon):     8684 kB
Active(file):      97700 kB
Inactive(file):   191304 kB
Unevictable:        5928 kB
Mlocked:            5960 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1840 kB
Writeback:             0 kB
AnonPages:         99088 kB
Mapped:            31188 kB
Shmem:              8848 kB
Slab:              65960 kB
SReclaimable:      34044 kB
SUnreclaim:        31916 kB
KernelStack:        4272 kB
PageTables:         5056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     364968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62020 MiB
End job on node151 at 2017-07-21 19:34:47