Trace number 4242073

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.11 2400.59

General information on the benchmark

NameMagicSquare/MagicSquare-sum-s1/
MagicSquare-25-sum.xml
MD5SUMc23772f07578de48c6397f5cf6688c4d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints53
Number of domains1
Minimum domain size625
Maximum domain size625
Distribution of domain sizes[{"size":625,"count":625}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":576},{"degree":4,"count":48},{"degree":5,"count":1}]
Minimum constraint arity25
Maximum constraint arity625
Distribution of constraint arities[{"arity":25,"count":52},{"arity":625,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"sum","count":52}]
Optimization problemNO
Type of objective

Solver Data 

8.19/8.24	c SAT : Variables: 390625 -- Clauses: 121875625
8.19/8.26	c root propagations     : 0           
8.19/8.26	c restarts enabled, print stats at every restarts
8.19/8.26	c
8.19/8.26	c
8.19/8.26	c
8.19/8.26	c This is cosoco 1.0 --  
8.19/8.26	c
8.19/8.26	c ========================================[ Problem Statistics ]===========================================
8.19/8.26	c |                                                                                                       
8.19/8.26	c |  Parse time        :         7.20 s 
8.19/8.26	c |
8.19/8.26	c |               Variables: 625
8.19/8.26	c |            Domain Sizes: 625..625
8.19/8.26	c |
8.19/8.26	c |             Constraints: 53
8.19/8.26	c |                   Arity: 25..625
8.19/8.26	c | 
8.19/8.26	c |                   Types: 
8.19/8.26	c |                          All Different: 1
8.19/8.26	c |                          Sum: 52
8.19/8.26	c |                          
8.19/8.26	c =========================================================================================================
8.19/8.26	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
8.29/8.34	c 10             23             813            57210          0              10             14   14   12   
8.38/8.42	c 20             45             1520           112536         0              20             13   13   11   
8.38/8.49	c 30             67             2227           167862         0              30             13   13   11   
8.48/8.57	c 40             89             2934           223188         0              40             13   13   11   
8.58/8.64	c 50             111            3641           278514         0              50             13   13   11   
8.68/8.72	c 60             133            4348           333840         0              60             13   13   11   
8.68/8.80	c 70             155            5055           389166         0              70             13   13   11   
8.79/8.88	c 80             177            5762           444492         0              80             13   13   11   
8.89/8.95	c 90             199            6469           499818         0              90             13   13   11   
8.98/9.03	c 100            221            7176           555144         0              100            13   13   11   
9.08/9.10	c 101            234            7820           570159         0              101            13   13   6    
9.08/9.18	c 110            255            8538           621054         0              110            13   13   11   
9.18/9.26	c 120            277            9245           676380         0              120            13   13   11   
9.28/9.33	c 130            299            9952           731706         0              130            13   13   11   
9.38/9.41	c 140            321            10659          787032         0              140            13   13   11   
9.38/9.49	c 150            344            11424          814262         0              150            13   14   12   
9.48/9.58	c 160            367            12184          871365         0              160            14   14   12   
9.58/9.66	c 170            390            12944          928361         0              170            14   14   12   
9.69/9.74	c 180            413            13704          985250         0              180            14   14   12   
9.79/9.82	c 190            436            14464          1042032        0              190            14   14   12   
9.90/9.91	c 200            459            15224          1098707        0              200            14   14   12   
9.90/9.99	c 210            482            15984          1155275        0              210            14   14   12   
10.00/10.07	c 211            496            16681          1170885        0              211            14   14   7    
10.09/10.15	c 220            518            17434          1222760        0              220            14   14   12   
10.19/10.23	c 230            541            18194          1279007        0              230            14   14   12   
10.29/10.31	c 240            564            18954          1335147        0              240            14   14   12   
10.39/10.40	c 250            587            19734          1391180        0              250            14   14   12   
10.39/10.48	c 260            609            20461          1446506        0              260            13   13   11   
10.49/10.56	c 270            632            21241          1503609        0              270            14   14   12   
10.59/10.64	c 280            655            22001          1560605        0              280            14   14   12   
10.69/10.72	c 290            678            22761          1617494        0              290            14   14   12   
10.79/10.81	c 300            701            23521          1674276        0              300            14   14   12   
10.79/10.89	c 310            724            24281          1730951        0              310            14   14   12   
10.89/10.97	c 320            747            25041          1787519        0              320            14   14   12   
11.00/11.05	c 330            770            25801          1843980        0              330            14   14   12   
11.10/11.13	c 332            785            26505          1864166        0              332            14   14   9    
11.19/11.21	c 340            806            27251          1911467        0              340            14   14   12   
11.29/11.30	c 350            829            28011          1967607        0              350            14   14   12   
11.29/11.38	c 360            852            28771          2023640        0              360            14   14   12   
11.39/11.46	c 370            874            29478          2078966        0              370            13   13   11   
11.49/11.54	c 380            897            30238          2136069        0              380            14   14   12   
11.59/11.62	c 390            920            30998          2193065        0              390            14   14   12   
11.69/11.70	c 400            943            31778          2249954        0              400            14   14   12   
11.69/11.79	c 410            966            32558          2306736        0              410            14   14   12   
11.79/11.87	c 420            989            33318          2363411        0              420            14   14   12   
11.89/11.95	c 430            1012           34078          2419979        0              430            14   14   12   
11.99/12.04	c 440            1035           34838          2476440        0              440            14   14   12   
12.10/12.12	c 450            1058           35598          2532794        0              450            14   14   12   
12.10/12.20	c 460            1081           36358          2589041        0              460            14   14   12   
12.20/12.28	c 465            1099           37083          2622786        0              465            14   14   11   
12.29/12.36	c 470            1117           37808          2656484        0              470            14   14   11   
12.39/12.44	c 480            1139           38515          2711810        0              480            13   13   11   
12.49/12.52	c 490            1162           39275          2768913        0              490            14   14   12   
12.59/12.60	c 500            1185           40035          2825909        0              500            14   14   12   
12.59/12.68	c 510            1208           40795          2882798        0              510            14   14   12   
12.69/12.77	c 520            1231           41555          2939580        0              520            14   14   12   
12.79/12.85	c 530            1254           42315          2996255        0              530            14   14   12   
12.89/12.93	c 540            1277           43095          3052823        0              540            14   14   12   
12.99/13.02	c 550            1300           43875          3109284        0              550            14   14   12   
13.09/13.10	c 560            1323           44635          3165638        0              560            14   14   12   
13.09/13.18	c 570            1346           45395          3221885        0              570            14   14   12   
13.20/13.26	c 580            1369           46155          3278025        0              580            14   14   12   
13.30/13.35	c 590            1392           46915          3334058        0              590            14   14   12   
13.39/13.42	c 600            1414           47622          3389384        0              600            13   13   11   
13.49/13.51	c 610            1437           48382          3446487        0              610            14   14   12   
13.49/13.59	c 611            1451           49079          3462092        0              611            14   14   7    
13.59/13.67	c 620            1473           49832          3514442        0              620            14   14   12   
13.69/13.75	c 630            1496           50592          3571224        0              630            14   14   12   
13.79/13.84	c 640            1519           51352          3627899        0              640            14   14   12   
13.89/13.92	c 650            1542           52112          3684467        0              650            14   14   12   
13.99/14.00	c 660            1565           52872          3740928        0              660            14   14   12   
13.99/14.08	c 670            1588           53632          3797282        0              670            14   14   12   
14.09/14.17	c 680            1611           54412          3853529        0              680            14   14   12   
14.19/14.25	c 690            1634           55192          3909669        0              690            14   14   12   
14.29/14.33	c 700            1657           55952          3965702        0              700            14   14   12   
14.39/14.41	c 710            1679           56659          4021028        0              710            13   13   11   
14.39/14.49	c 720            1702           57419          4078131        0              720            14   14   12   
14.49/14.57	c 730            1725           58179          4135127        0              730            14   14   12   
14.59/14.66	c 740            1748           58939          4192016        0              740            14   14   12   
14.69/14.74	c 750            1771           59699          4248798        0              750            14   14   12   
14.79/14.82	c 760            1794           60459          4305473        0              760            14   14   12   
14.89/14.91	c 770            1817           61219          4362041        0              770            14   14   12   
14.89/14.98	c 771            1831           61916          4377651        0              771            14   14   7    
14.99/15.07	c 780            1853           62669          4429526        0              780            14   14   12   
15.09/15.15	c 790            1876           63429          4485773        0              790            14   14   12   
15.19/15.23	c 800            1899           64189          4541913        0              800            14   14   12   
15.29/15.31	c 810            1922           64949          4597946        0              810            14   14   12   
15.29/15.39	c 820            1944           65656          4653272        0              820            13   13   11   
15.39/15.47	c 830            1967           66416          4710375        0              830            14   14   12   
15.49/15.56	c 840            1990           67196          4767371        0              840            14   14   12   
15.59/15.64	c 850            2013           67956          4824260        0              850            14   14   12   
15.69/15.72	c 860            2036           68716          4881042        0              860            14   14   12   
15.78/15.81	c 870            2059           69476          4937717        0              870            14   14   12   
15.78/15.89	c 880            2082           70236          4994285        0              880            14   14   12   
15.88/15.97	c 890            2105           70996          5050746        0              890            14   14   12   
15.98/16.05	c 900            2128           71756          5107100        0              900            14   14   12   
16.08/16.14	c 910            2151           72516          5163347        0              910            14   14   12   
16.18/16.22	c 920            2174           73276          5219487        0              920            14   14   12   
16.28/16.30	c 930            2197           74036          5275520        0              930            14   14   12   
16.28/16.38	c 940            2219           74763          5330846        0              940            13   13   11   
16.38/16.46	c 947            2239           75502          5374224        0              947            14   14   12   
16.49/16.54	c 950            2255           76213          5399111        0              950            14   14   10   
16.59/16.63	c 960            2278           76973          5456000        0              960            14   14   12   
16.68/16.71	c 970            2301           77733          5512782        0              970            14   14   12   
16.68/16.79	c 980            2324           78513          5569457        0              980            14   14   12   
16.78/16.88	c 990            2347           79273          5626025        0              990            14   14   12   
16.88/16.96	c 1000           2370           80033          5682486        0              1000           14   14   12   
16.98/17.04	c 1010           2393           80793          5738840        0              1010           14   14   12   
17.08/17.12	c 1020           2416           81553          5795087        0              1020           14   14   12   
17.18/17.20	c 1030           2439           82313          5851227        0              1030           14   14   12   
17.18/17.29	c 1040           2462           83073          5907260        0              1040           14   14   12   
17.28/17.36	c 1050           2484           83780          5962586        0              1050           13   13   11   
17.38/17.45	c 1060           2507           84540          6019689        0              1060           14   14   12   
17.48/17.53	c 1070           2530           85300          6076685        0              1070           14   14   12   
17.59/17.61	c 1080           2553           86080          6133574        0              1080           14   14   12   
17.59/17.70	c 1090           2576           86840          6190356        0              1090           14   14   12   
17.69/17.78	c 1100           2599           87600          6247031        0              1100           14   14   12   
17.78/17.86	c 1110           2622           88360          6303599        0              1110           14   14   12   
17.88/17.94	c 1120           2645           89120          6360060        0              1120           14   14   12   
17.98/18.03	c 1130           2668           89900          6416414        0              1130           14   14   12   
18.08/18.11	c 1140           2691           90660          6472661        0              1140           14   14   12   
18.08/18.19	c 1141           2705           91357          6488274        0              1141           14   14   7    
18.18/18.27	c 1150           2727           92110          6539864        0              1150           14   14   12   
18.28/18.35	c 1160           2749           92817          6595190        0              1160           13   13   11   
18.38/18.43	c 1170           2772           93577          6652293        0              1170           14   14   12   
18.48/18.51	c 1180           2795           94337          6709289        0              1180           14   14   12   
18.48/18.59	c 1190           2818           95097          6766178        0              1190           14   14   12   
18.58/18.68	c 1200           2841           95857          6822960        0              1200           14   14   12   
18.69/18.76	c 1210           2864           96617          6879635        0              1210           14   14   12   
18.79/18.85	c 1220           2887           97397          6936203        0              1220           14   14   12   
18.88/18.93	c 1230           2910           98157          6992664        0              1230           14   14   12   
18.98/19.01	c 1240           2933           98917          7049018        0              1240           14   14   12   
18.98/19.09	c 1250           2956           99677          7105265        0              1250           14   14   12   
19.08/19.18	c 1260           2979           100437         7161405        0              1260           14   14   12   
19.18/19.26	c 1270           3002           101217         7217438        0              1270           14   14   12   
19.28/19.34	c 1280           3024           101924         7272764        0              1280           13   13   11   
19.38/19.42	c 1290           3047           102704         7329867        0              1290           14   14   12   
19.48/19.50	c 1300           3070           103464         7386863        0              1300           14   14   12   
19.48/19.59	c 1310           3093           104224         7443752        0              1310           14   14   12   
19.58/19.67	c 1320           3116           104984         7500534        0              1320           14   14   12   
19.68/19.75	c 1330           3139           105744         7557209        0              1330           14   14   12   
19.79/19.83	c 1340           3162           106504         7613777        0              1340           14   14   12   
19.89/19.92	c 1350           3185           107264         7670238        0              1350           14   14   12   
19.98/20.00	c 1352           3200           107968         7690424        0              1352           14   14   9    
19.98/20.08	c 1360           3221           108730         7737725        0              1360           14   14   12   
20.08/20.16	c 1370           3244           109490         7793865        0              1370           14   14   12   
20.18/20.24	c 1380           3267           110250         7849898        0              1380           14   14   12   
20.28/20.32	c 1390           3289           110957         7905224        0              1390           13   13   11   
20.38/20.40	c 1400           3312           111717         7962327        0              1400           14   14   12   
20.38/20.49	c 1410           3335           112477         8019323        0              1410           14   14   12   
20.48/20.57	c 1420           3358           113237         8076212        0              1420           14   14   12   
20.58/20.65	c 1430           3381           114017         8132994        0              1430           14   14   12   
20.68/20.73	c 1440           3404           114777         8189669        0              1440           14   14   12   
20.78/20.82	c 1450           3427           115537         8246237        0              1450           14   14   12   
20.78/20.90	c 1460           3450           116297         8302698        0              1460           14   14   12   
20.89/20.98	c 1470           3473           117057         8359052        0              1470           14   14   12   
20.99/21.07	c 1480           3496           117817         8415299        0              1480           14   14   12   
21.08/21.15	c 1490           3519           118577         8471439        0              1490           14   14   12   
21.18/21.23	c 1500           3542           119337         8527472        0              1500           14   14   12   
21.28/21.31	c 1510           3564           120044         8582798        0              1510           13   13   11   
21.28/21.39	c 1520           3587           120804         8639901        0              1520           14   14   12   
21.38/21.47	c 1530           3610           121564         8696897        0              1530           14   14   12   
21.48/21.56	c 1540           3633           122324         8753786        0              1540           14   14   12   
21.58/21.64	c 1550           3656           123084         8810568        0              1550           14   14   12   
21.68/21.72	c 1560           3679           123844         8867243        0              1560           14   14   12   
21.78/21.81	c 1570           3702           124604         8923811        0              1570           14   14   12   
21.78/21.89	c 1580           3725           125384         8980272        0              1580           14   14   12   
21.88/21.97	c 1585           3743           126109         9014111        0              1585           14   14   11   
21.99/22.05	c 1590           3761           126834         9047903        0              1590           14   14   11   
22.09/22.14	c 1600           3784           127594         9104043        0              1600           14   14   12   
22.18/22.22	c 1610           3807           128354         9160076        0              1610           14   14   12   
22.18/22.30	c 1620           3829           129081         9215402        0              1620           13   13   11   
22.28/22.38	c 1630           3852           129841         9272505        0              1630           14   14   12   
22.38/22.46	c 1640           3875           130601         9329501        0              1640           14   14   12   
22.48/22.54	c 1650           3898           131361         9386390        0              1650           14   14   12   
22.58/22.63	c 1660           3921           132121         9443172        0              1660           14   14   12   
22.68/22.71	c 1670           3944           132881         9499847        0              1670           14   14   12   
22.68/22.79	c 1680           3967           133641         9556415        0              1680           14   14   12   
22.78/22.88	c 1690           3990           134401         9612876        0              1690           14   14   12   
22.88/22.96	c 1700           4013           135161         9669230        0              1700           14   14   12   
22.98/23.04	c 1710           4036           135921         9725477        0              1710           14   14   12   
23.09/23.13	c 1720           4059           136701         9781617        0              1720           14   14   12   
23.19/23.21	c 1730           4082           137461         9837650        0              1730           14   14   12   
23.19/23.28	c 1740           4104           138168         9892976        0              1740           13   13   11   
23.28/23.37	c 1750           4127           138928         9950079        0              1750           14   14   12   
23.38/23.45	c 1760           4150           139688         10007075       0              1760           14   14   12   
23.48/23.53	c 1770           4173           140468         10063964       0              1770           14   14   12   
23.58/23.62	c 1780           4196           141228         10120746       0              1780           14   14   12   
23.68/23.70	c 1790           4219           141988         10177421       0              1790           14   14   12   
23.68/23.79	c 1800           4242           142748         10233989       0              1800           14   14   12   
23.78/23.87	c 1810           4265           143508         10290450       0              1810           14   14   12   
23.88/23.95	c 1820           4288           144268         10346804       0              1820           14   14   12   
23.98/24.03	c 1830           4311           145028         10403051       0              1830           14   14   12   
24.08/24.12	c 1840           4334           145788         10459191       0              1840           14   14   12   
24.08/24.19	c 1841           4348           146485         10474805       0              1841           14   14   7    
24.19/24.27	c 1850           4369           147185         10525700       0              1850           13   13   11   
24.29/24.35	c 1860           4392           147945         10582803       0              1860           14   14   12   
24.38/24.44	c 1870           4415           148725         10639799       0              1870           14   14   12   
24.48/24.52	c 1880           4438           149485         10696688       0              1880           14   14   12   
24.58/24.60	c 1890           4461           150245         10753470       0              1890           14   14   12   
24.58/24.69	c 1900           4484           151005         10810145       0              1900           14   14   12   
24.68/24.77	c 1910           4507           151785         10866713       0              1910           14   14   12   
24.78/24.85	c 1920           4530           152545         10923174       0              1920           14   14   12   
24.88/24.93	c 1930           4553           153305         10979528       0              1930           14   14   12   
24.98/25.02	c 1940           4576           154065         11035775       0              1940           14   14   12   
25.08/25.10	c 1950           4599           154825         11091915       0              1950           14   14   12   
25.08/25.18	c 1960           4622           155585         11147948       0              1960           14   14   12   
25.18/25.26	c 1970           4644           156292         11203274       0              1970           13   13   11   
25.29/25.34	c 1980           4667           157052         11260377       0              1980           14   14   12   
25.39/25.42	c 1990           4690           157812         11317373       0              1990           14   14   12   
25.48/25.51	c 2000           4713           158572         11374262       0              2000           14   14   12   
25.48/25.59	c 2010           4736           159332         11431044       0              2010           14   14   12   
25.58/25.67	c 2020           4759           160112         11487719       0              2020           14   14   12   
25.68/25.76	c 2030           4782           160872         11544287       0              2030           14   14   12   
25.78/25.84	c 2040           4805           161632         11600748       0              2040           14   14   12   
25.88/25.92	c 2050           4828           162392         11657102       0              2050           14   14   12   
25.98/26.01	c 2060           4851           163172         11713349       0              2060           14   14   12   
25.98/26.09	c 2070           4874           163932         11769489       0              2070           14   14   12   
26.08/26.17	c 2080           4897           164692         11825522       0              2080           14   14   12   
26.18/26.25	c 2090           4919           165399         11880848       0              2090           13   13   11   
26.28/26.33	c 2100           4942           166159         11937951       0              2100           14   14   12   
26.39/26.41	c 2110           4965           166919         11994947       0              2110           14   14   12   
26.39/26.50	c 2120           4988           167679         12051836       0              2120           14   14   12   
26.49/26.58	c 2122           5003           168383         12072066       0              2122           14   14   9    
26.58/26.66	c 2130           5024           169129         12119699       0              2130           14   14   12   
26.68/26.74	c 2140           5047           169889         12176267       0              2140           14   14   12   
26.78/26.82	c 2150           5070           170649         12232728       0              2150           14   14   12   
26.88/26.91	c 2160           5093           171429         12289082       0              2160           14   14   12   
26.88/26.99	c 2170           5116           172189         12345329       0              2170           14   14   12   
26.98/27.07	c 2180           5139           172949         12401469       0              2180           14   14   12   
27.08/27.15	c 2190           5162           173709         12457502       0              2190           14   14   12   
27.18/27.23	c 2200           5184           174416         12512828       0              2200           13   13   11   
27.28/27.32	c 2210           5208           175234         12540767       0              2210           14   15   13   
27.38/27.40	c 2220           5231           175994         12597763       0              2220           14   14   12   
27.38/27.48	c 2230           5254           176754         12654652       0              2230           14   14   12   
27.49/27.57	c 2240           5277           177514         12711434       0              2240           14   14   12   
27.59/27.65	c 2250           5300           178274         12768109       0              2250           14   14   12   
27.68/27.73	c 2260           5323           179034         12824677       0              2260           14   14   12   
27.78/27.81	c 2270           5346           179794         12881138       0              2270           14   14   12   
27.88/27.90	c 2280           5369           180554         12937492       0              2280           14   14   12   
27.88/27.98	c 2290           5392           181314         12993739       0              2290           14   14   12   
27.98/28.06	c 2300           5415           182074         13049879       0              2300           14   14   12   
28.08/28.14	c 2310           5438           182854         13105912       0              2310           14   14   12   
28.18/28.22	c 2320           5460           183581         13161238       0              2320           13   13   11   
28.28/28.31	c 2330           5483           184361         13218341       0              2330           14   14   12   
28.28/28.39	c 2340           5506           185121         13275337       0              2340           14   14   12   
28.38/28.47	c 2350           5529           185881         13332226       0              2350           14   14   12   
28.48/28.55	c 2360           5552           186641         13389008       0              2360           14   14   12   
28.59/28.64	c 2370           5575           187401         13445683       0              2370           14   14   12   
28.69/28.72	c 2380           5598           188161         13502251       0              2380           14   14   12   
28.78/28.80	c 2390           5621           188921         13558712       0              2390           14   14   12   
28.78/28.89	c 2400           5644           189681         13615066       0              2400           14   14   12   
28.88/28.97	c 2410           5667           190441         13671313       0              2410           14   14   12   
28.98/29.05	c 2420           5690           191201         13727453       0              2420           14   14   12   
29.08/29.14	c 2430           5713           191961         13783486       0              2430           14   14   12   
29.18/29.21	c 2431           5726           192605         13798501       0              2431           13   13   6    
29.18/29.29	c 2440           5748           193358         13851041       0              2440           14   14   12   
29.28/29.37	c 2450           5771           194118         13908037       0              2450           14   14   12   
29.38/29.46	c 2460           5794           194898         13964926       0              2460           14   14   12   
29.48/29.54	c 2470           5817           195678         14021708       0              2470           14   14   12   
29.58/29.62	c 2480           5840           196438         14078383       0              2480           14   14   12   
29.69/29.71	c 2490           5863           197198         14134951       0              2490           14   14   12   
29.69/29.79	c 2500           5886           197958         14191412       0              2500           14   14   12   
29.79/29.87	c 2510           5909           198718         14247766       0              2510           14   14   12   
29.88/29.96	c 2520           5932           199478         14304013       0              2520           14   14   12   
29.98/30.04	c 2530           5955           200238         14360153       0              2530           14   14   12   
30.08/30.12	c 2540           5978           200998         14416186       0              2540           14   14   12   
30.18/30.20	c 2550           6000           201705         14471512       0              2550           13   13   11   
30.18/30.28	c 2560           6023           202465         14528615       0              2560           14   14   12   
30.28/30.36	c 2570           6046           203225         14585611       0              2570           14   14   12   
30.38/30.45	c 2580           6069           203985         14642500       0              2580           14   14   12   
30.48/30.53	c 2590           6092           204745         14699282       0              2590           14   14   12   
30.58/30.61	c 2600           6115           205505         14755957       0              2600           14   14   12   
30.68/30.70	c 2610           6138           206285         14812525       0              2610           14   14   12   
30.68/30.78	c 2620           6161           207065         14868986       0              2620           14   14   12   
30.79/30.86	c 2630           6184           207825         14925340       0              2630           14   14   12   
30.89/30.95	c 2640           6207           208585         14981587       0              2640           14   14   12   
30.98/31.03	c 2650           6230           209345         15037727       0              2650           14   14   12   
31.08/31.11	c 2660           6253           210105         15093760       0              2660           14   14   12   
31.08/31.19	c 2670           6275           210812         15149086       0              2670           13   13   11   
31.18/31.27	c 2680           6298           211572         15206189       0              2680           14   14   12   
31.28/31.35	c 2690           6321           212332         15263185       0              2690           14   14   12   
31.38/31.44	c 2700           6344           213092         15320074       0              2700           14   14   12   
31.48/31.52	c 2710           6367           213852         15376856       0              2710           14   14   12   
31.58/31.60	c 2720           6390           214612         15433531       0              2720           14   14   12   
31.58/31.68	c 2730           6413           215372         15490099       0              2730           14   14   12   
31.68/31.77	c 2740           6436           216132         15546560       0              2740           14   14   12   
31.78/31.85	c 2750           6459           216892         15602914       0              2750           14   14   12   
31.89/31.93	c 2760           6482           217672         15659161       0              2760           14   14   12   
31.99/32.02	c 2770           6505           218452         15715301       0              2770           14   14   12   
31.99/32.10	c 2771           6519           219149         15730915       0              2771           14   14   7    
32.08/32.17	c 2780           6540           219849         15781810       0              2780           13   13   11   
32.18/32.26	c 2790           6563           220609         15838913       0              2790           14   14   12   
32.28/32.34	c 2800           6586           221369         15895909       0              2800           14   14   12   
32.38/32.42	c 2810           6609           222129         15952798       0              2810           14   14   12   
32.48/32.51	c 2820           6632           222889         16009580       0              2820           14   14   12   
32.48/32.59	c 2830           6655           223649         16066255       0              2830           14   14   12   
32.58/32.67	c 2840           6678           224409         16122823       0              2840           14   14   12   
32.68/32.76	c 2850           6701           225169         16179284       0              2850           14   14   12   
32.78/32.84	c 2860           6724           225929         16235638       0              2860           14   14   12   
32.88/32.92	c 2870           6747           226689         16291885       0              2870           14   14   12   
32.99/33.00	c 2880           6770           227449         16348025       0              2880           14   14   12   
32.99/33.09	c 2890           6793           228209         16404058       0              2890           14   14   12   
33.09/33.17	c 2900           6815           228916         16459384       0              2900           13   13   11   
33.18/33.25	c 2910           6838           229676         16516487       0              2910           14   14   12   
33.28/33.33	c 2920           6861           230456         16573483       0              2920           14   14   12   
33.38/33.41	c 2930           6884           231216         16630372       0              2930           14   14   12   
33.48/33.50	c 2940           6907           231976         16687154       0              2940           14   14   12   
33.48/33.58	c 2950           6930           232736         16743829       0              2950           14   14   12   
33.58/33.66	c 2960           6953           233496         16800397       0              2960           14   14   12   
33.68/33.74	c 2970           6976           234256         16856858       0              2970           14   14   12   
33.78/33.83	c 2980           6999           235016         16913212       0              2980           14   14   12   
33.88/33.91	c 2990           7022           235776         16969459       0              2990           14   14   12   
33.88/33.99	c 3000           7045           236536         17025599       0              3000           14   14   12   
33.98/34.08	c 3010           7068           237296         17081632       0              3010           14   14   12   
34.09/34.15	c 3020           7090           238023         17136958       0              3020           13   13   11   
34.19/34.24	c 3030           7113           238783         17194061       0              3030           14   14   12   
34.28/34.32	c 3040           7136           239543         17251057       0              3040           14   14   12   
34.38/34.40	c 3050           7159           240303         17307946       0              3050           14   14   12   
34.38/34.48	c 3060           7182           241063         17364728       0              3060           14   14   12   
34.48/34.57	c 3070           7205           241843         17421403       0              3070           14   14   12   
34.58/34.65	c 3080           7228           242603         17477971       0              3080           14   14   12   
34.68/34.73	c 3090           7251           243363         17534432       0              3090           14   14   12   
34.78/34.82	c 3100           7274           244123         17590786       0              3100           14   14   12   
34.88/34.90	c 3110           7297           244883         17647033       0              3110           14   14   12   
34.88/34.98	c 3120           7320           245643         17703173       0              3120           14   14   12   
34.98/35.07	c 3130           7343           246403         17759206       0              3130           14   14   12   
35.08/35.14	c 3140           7365           247110         17814532       0              3140           13   13   11   
35.19/35.22	c 3142           7380           247814         17834795       0              3142           14   14   9    
35.29/35.30	c 3150           7401           248560         17882677       0              3150           14   14   12   
35.29/35.39	c 3160           7424           249340         17939566       0              3160           14   14   12   
35.38/35.47	c 3170           7447           250100         17996348       0              3170           14   14   12   
35.48/35.55	c 3180           7470           250860         18053023       0              3180           14   14   12   
35.58/35.64	c 3190           7493           251620         18109591       0              3190           14   14   12   
35.68/35.72	c 3200           7516           252380         18166052       0              3200           14   14   12   
35.78/35.80	c 3210           7539           253160         18222406       0              3210           14   14   12   
35.78/35.89	c 3220           7562           253920         18278653       0              3220           14   14   12   
35.88/35.97	c 3230           7585           254680         18334793       0              3230           14   14   12   
35.98/36.05	c 3240           7608           255440         18390826       0              3240           14   14   12   
36.08/36.13	c 3250           7630           256147         18446152       0              3250           13   13   11   
36.18/36.21	c 3260           7653           256907         18503255       0              3260           14   14   12   
36.18/36.29	c 3270           7676           257667         18560251       0              3270           14   14   12   
36.29/36.38	c 3280           7699           258427         18617140       0              3280           14   14   12   
36.39/36.46	c 3290           7722           259187         18673922       0              3290           14   14   12   
36.48/36.54	c 3300           7745           259947         18730597       0              3300           14   14   12   
36.58/36.63	c 3310           7768           260727         18787165       0              3310           14   14   12   
36.68/36.71	c 3320           7791           261487         18843626       0              3320           14   14   12   
36.68/36.79	c 3330           7814           262247         18899980       0              3330           14   14   12   
36.78/36.87	c 3340           7837           263007         18956227       0              3340           14   14   12   
36.88/36.95	c 3350           7860           263767         19012367       0              3350           14   14   12   
36.98/37.04	c 3360           7883           264547         19068400       0              3360           14   14   12   
37.08/37.12	c 3370           7905           265254         19123726       0              3370           13   13   11   
37.18/37.20	c 3380           7928           266034         19180829       0              3380           14   14   12   
37.18/37.28	c 3390           7951           266794         19237825       0              3390           14   14   12   
37.28/37.36	c 3400           7974           267554         19294714       0              3400           14   14   12   
37.39/37.45	c 3410           7997           268314         19351496       0              3410           14   14   12   
37.49/37.53	c 3420           8020           269074         19408171       0              3420           14   14   12   
37.58/37.61	c 3430           8043           269834         19464739       0              3430           14   14   12   
37.58/37.70	c 3440           8066           270594         19521200       0              3440           14   14   12   
37.68/37.78	c 3450           8089           271354         19577554       0              3450           14   14   12   
37.78/37.86	c 3460           8112           272134         19633801       0              3460           14   14   12   
37.88/37.95	c 3470           8135           272894         19689941       0              3470           14   14   12   
37.98/38.03	c 3480           8158           273654         19745974       0              3480           14   14   12   
38.08/38.11	c 3490           8180           274361         19801300       0              3490           13   13   11   
38.08/38.19	c 3500           8203           275121         19858403       0              3500           14   14   12   
38.18/38.27	c 3510           8226           275881         19915399       0              3510           14   14   12   
38.28/38.35	c 3520           8249           276641         19972288       0              3520           14   14   12   
38.38/38.44	c 3530           8272           277421         20029070       0              3530           14   14   12   
38.48/38.52	c 3540           8295           278181         20085745       0              3540           14   14   12   
38.58/38.60	c 3550           8318           278941         20142313       0              3550           14   14   12   
38.58/38.68	c 3551           8332           279641         20157813       0              3551           14   14   7    
38.68/38.77	c 3560           8355           280452         20185639       0              3560           14   15   13   
38.78/38.85	c 3570           8378           281212         20241886       0              3570           14   14   12   
38.88/38.94	c 3580           8401           281972         20298026       0              3580           14   14   12   
38.98/39.02	c 3590           8424           282732         20354059       0              3590           14   14   12   
39.08/39.10	c 3600           8446           283439         20409385       0              3600           13   13   11   
39.08/39.18	c 3610           8469           284199         20466488       0              3610           14   14   12   
39.18/39.26	c 3620           8492           284959         20523484       0              3620           14   14   12   
39.28/39.35	c 3630           8515           285719         20580373       0              3630           14   14   12   
39.38/39.43	c 3640           8538           286479         20637155       0              3640           14   14   12   
39.48/39.51	c 3650           8561           287239         20693830       0              3650           14   14   12   
39.48/39.59	c 3660           8584           287999         20750398       0              3660           14   14   12   
39.58/39.68	c 3670           8607           288779         20806859       0              3670           14   14   12   
39.68/39.76	c 3680           8630           289539         20863213       0              3680           14   14   12   
39.78/39.84	c 3690           8653           290299         20919460       0              3690           14   14   12   
39.88/39.93	c 3700           8676           291059         20975600       0              3700           14   14   12   
39.98/40.01	c 3710           8699           291819         21031633       0              3710           14   14   12   
39.98/40.09	c 3720           8721           292546         21086959       0              3720           13   13   11   
40.08/40.17	c 3730           8744           293306         21144062       0              3730           14   14   12   
40.18/40.25	c 3740           8767           294066         21201058       0              3740           14   14   12   
40.28/40.34	c 3750           8790           294826         21257947       0              3750           14   14   12   
40.38/40.42	c 3760           8813           295586         21314729       0              3760           14   14   12   
40.48/40.50	c 3770           8836           296346         21371404       0              3770           14   14   12   
40.48/40.58	c 3780           8859           297106         21427972       0              3780           14   14   12   
40.58/40.67	c 3790           8882           297866         21484433       0              3790           14   14   12   
40.68/40.75	c 3800           8905           298626         21540787       0              3800           14   14   12   
40.78/40.84	c 3810           8928           299386         21597034       0              3810           14   14   12   
40.87/40.92	c 3820           8951           300166         21653174       0              3820           14   14   12   
40.97/41.00	c 3830           8974           300926         21709207       0              3830           14   14   12   
40.97/41.08	c 3840           8996           301633         21764533       0              3840           13   13   11   
41.07/41.16	c 3850           9019           302393         21821636       0              3850           14   14   12   
41.17/41.24	c 3860           9042           303153         21878632       0              3860           14   14   12   
41.27/41.33	c 3870           9065           303933         21935521       0              3870           14   14   12   
41.37/41.41	c 3880           9088           304693         21992303       0              3880           14   14   12   
41.37/41.49	c 3890           9111           305453         22048978       0              3890           14   14   12   
41.47/41.58	c 3900           9134           306213         22105546       0              3900           14   14   12   
41.57/41.66	c 3910           9157           306973         22162007       0              3910           14   14   12   
41.67/41.74	c 3920           9180           307733         22218361       0              3920           14   14   12   
41.78/41.83	c 3930           9203           308493         22274608       0              3930           14   14   12   
41.88/41.91	c 3940           9226           309253         22330748       0              3940           14   14   12   
41.88/41.99	c 3950           9249           310013         22386781       0              3950           14   14   12   
41.97/42.07	c 3960           9271           310720         22442107       0              3960           13   13   11   
42.07/42.15	c 3970           9294           311480         22499210       0              3970           14   14   12   
42.17/42.24	c 3980           9317           312260         22556206       0              3980           14   14   12   
42.27/42.32	c 3990           9340           313020         22613095       0              3990           14   14   12   
42.37/42.40	c 4000           9363           313780         22669877       0              4000           14   14   12   
42.37/42.48	c 4001           9377           314477         22685485       0              4001           14   14   7    
42.47/42.56	c 4010           9399           315248         22737550       0              4010           14   14   12   
42.57/42.65	c 4020           9422           316008         22794011       0              4020           14   14   12   
42.67/42.73	c 4030           9445           316768         22850365       0              4030           14   14   12   
42.77/42.81	c 4040           9468           317528         22906612       0              4040           14   14   12   
42.77/42.89	c 4050           9491           318288         22962752       0              4050           14   14   12   
42.88/42.98	c 4060           9514           319048         23018785       0              4060           14   14   12   
42.98/43.05	c 4070           9536           319755         23074111       0              4070           13   13   11   
43.07/43.14	c 4080           9559           320515         23131214       0              4080           14   14   12   
43.17/43.22	c 4090           9582           321275         23188210       0              4090           14   14   12   
43.27/43.30	c 4100           9605           322035         23245099       0              4100           14   14   12   
43.27/43.38	c 4110           9628           322795         23301881       0              4110           14   14   12   
43.37/43.47	c 4120           9651           323575         23358556       0              4120           14   14   12   
43.47/43.55	c 4130           9674           324335         23415124       0              4130           14   14   12   
43.57/43.64	c 4140           9697           325095         23471585       0              4140           14   14   12   
43.67/43.72	c 4150           9720           325855         23527939       0              4150           14   14   12   
43.77/43.80	c 4160           9743           326635         23584186       0              4160           14   14   12   
43.77/43.89	c 4170           9766           327395         23640326       0              4170           14   14   12   
43.87/43.97	c 4180           9789           328155         23696359       0              4180           14   14   12   
43.98/44.05	c 4190           9811           328862         23751685       0              4190           13   13   11   
44.08/44.13	c 4200           9834           329622         23808788       0              4200           14   14   12   
44.17/44.21	c 4210           9857           330382         23865784       0              4210           14   14   12   
44.27/44.30	c 4220           9880           331142         23922673       0              4220           14   14   12   
44.27/44.38	c 4230           9903           331902         23979455       0              4230           14   14   12   
44.37/44.46	c 4240           9926           332662         24036130       0              4240           14   14   12   
44.47/44.55	c 4250           9949           333422         24092698       0              4250           14   14   12   
44.57/44.63	c 4260           9972           334182         24149159       0              4260           14   14   12   
44.67/44.71	c 4270           9995           334962         24205513       0              4270           14   14   12   
44.67/44.79	c 4280           10018          335722         24261760       0              4280           14   14   12   
44.77/44.88	c 4290           10041          336482         24317900       0              4290           14   14   12   
44.87/44.96	c 4300           10064          337242         24373933       0              4300           14   14   12   
44.97/45.04	c 4310           10086          337949         24429259       0              4310           13   13   11   
45.08/45.12	c 4320           10109          338709         24486362       0              4320           14   14   12   
45.08/45.20	c 4330           10132          339469         24543358       0              4330           14   14   12   
45.18/45.28	c 4340           10155          340229         24600247       0              4340           14   14   12   
45.27/45.37	c 4350           10178          340989         24657029       0              4350           14   14   12   
45.37/45.45	c 4360           10201          341749         24713704       0              4360           14   14   12   
45.47/45.53	c 4370           10224          342509         24770272       0              4370           14   14   12   
45.57/45.62	c 4380           10247          343269         24826733       0              4380           14   14   12   
45.67/45.70	c 4390           10270          344029         24883087       0              4390           14   14   12   
45.67/45.78	c 4400           10293          344789         24939334       0              4400           14   14   12   
45.77/45.86	c 4410           10316          345549         24995474       0              4410           14   14   12   
45.87/45.95	c 4420           10339          346329         25051507       0              4420           14   14   12   
45.97/46.03	c 4430           10361          347056         25106833       0              4430           13   13   11   
46.07/46.11	c 4440           10384          347836         25163936       0              4440           14   14   12   
46.07/46.19	c 4450           10407          348596         25220932       0              4450           14   14   12   
46.18/46.28	c 4460           10430          349356         25277821       0              4460           14   14   12   
46.28/46.36	c 4470           10453          350116         25334603       0              4470           14   14   12   
46.37/46.44	c 4480           10476          350876         25391278       0              4480           14   14   12   
46.47/46.52	c 4490           10499          351636         25447846       0              4490           14   14   12   
46.57/46.60	c 4493           10515          352347         25472618       0              4493           14   14   10   
46.57/46.69	c 4500           10535          353086         25515499       0              4500           14   14   12   
46.67/46.77	c 4510           10558          353846         25571746       0              4510           14   14   12   
46.77/46.85	c 4520           10581          354606         25627886       0              4520           14   14   12   
46.88/46.94	c 4530           10604          355366         25683919       0              4530           14   14   12   
46.98/47.01	c 4540           10626          356073         25739245       0              4540           13   13   11   
47.08/47.10	c 4550           10649          356833         25796348       0              4550           14   14   12   
47.08/47.18	c 4560           10672          357593         25853344       0              4560           14   14   12   
47.18/47.26	c 4570           10695          358373         25910233       0              4570           14   14   12   
47.29/47.35	c 4580           10718          359153         25967015       0              4580           14   14   12   
47.39/47.43	c 4590           10741          359913         26023690       0              4590           14   14   12   
47.48/47.51	c 4600           10764          360673         26080258       0              4600           14   14   12   
47.48/47.59	c 4610           10787          361433         26136719       0              4610           14   14   12   
47.58/47.68	c 4620           10810          362193         26193073       0              4620           14   14   12   
47.68/47.76	c 4630           10833          362953         26249320       0              4630           14   14   12   
47.78/47.84	c 4640           10856          363713         26305460       0              4640           14   14   12   
47.88/47.93	c 4650           10879          364473         26361493       0              4650           14   14   12   
47.98/48.00	c 4660           10901          365180         26416819       0              4660           13   13   11   
47.98/48.09	c 4670           10924          365940         26473922       0              4670           14   14   12   
48.08/48.17	c 4680           10947          366700         26530918       0              4680           14   14   12   
48.18/48.25	c 4690           10970          367460         26587807       0              4690           14   14   12   
48.28/48.33	c 4700           10993          368220         26644589       0              4700           14   14   12   
48.39/48.42	c 4710           11016          368980         26701264       0              4710           14   14   12   
48.39/48.50	c 4720           11039          369760         26757832       0              4720           14   14   12   
48.49/48.58	c 4730           11062          370540         26814293       0              4730           14   14   12   
48.58/48.67	c 4740           11085          371300         26870647       0              4740           14   14   12   
48.68/48.75	c 4750           11108          372060         26926894       0              4750           14   14   12   
48.78/48.83	c 4760           11131          372820         26983034       0              4760           14   14   12   
48.88/48.91	c 4770           11154          373580         27039067       0              4770           14   14   12   
48.88/48.99	c 4780           11176          374287         27094393       0              4780           13   13   11   
48.98/49.07	c 4790           11199          375047         27151496       0              4790           14   14   12   
49.08/49.16	c 4800           11222          375807         27208492       0              4800           14   14   12   
49.18/49.24	c 4810           11245          376567         27265381       0              4810           14   14   12   
49.28/49.32	c 4820           11268          377327         27322163       0              4820           14   14   12   
49.38/49.40	c 4830           11291          378087         27378838       0              4830           14   14   12   
49.38/49.49	c 4840           11314          378847         27435406       0              4840           14   14   12   
49.49/49.57	c 4850           11337          379607         27491867       0              4850           14   14   12   
49.59/49.65	c 4860           11360          380367         27548221       0              4860           14   14   12   
49.68/49.74	c 4870           11383          381147         27604468       0              4870           14   14   12   
49.78/49.82	c 4880           11406          381927         27660608       0              4880           14   14   12   
49.88/49.90	c 4890           11429          382687         27716641       0              4890           14   14   12   
49.88/49.98	c 4900           11451          383394         27771967       0              4900           13   13   11   
49.98/50.06	c 4910           11474          384154         27829070       0              4910           14   14   12   
50.08/50.15	c 4920           11497          384914         27886066       0              4920           14   14   12   
50.18/50.23	c 4930           11520          385674         27942955       0              4930           14   14   12   
50.28/50.31	c 4940           11543          386434         27999737       0              4940           14   14   12   
50.28/50.39	c 4950           11566          387194         28056412       0              4950           14   14   12   
50.38/50.48	c 4960           11589          387954         28112980       0              4960           14   14   12   
50.48/50.56	c 4970           11612          388714         28169441       0              4970           14   14   12   
50.59/50.64	c 4980           11635          389474         28225795       0              4980           14   14   12   
50.69/50.73	c 4990           11658          390234         28282042       0              4990           14   14   12   
50.78/50.84	c 5035           11720          391391         28373736       0              5005           14   16   14   
51.38/51.44	c 5631           12387          398238         28719037       0              5062           13   17   15   
52.08/52.12	c 6286           13119          406047         29100097       0              5103           13   17   15   
52.79/52.85	c 7006           13923          414414         29510493       0              5157           13   17   15   
53.58/53.67	c 7798           14807          423920         29950859       0              5196           13   17   15   
54.48/54.55	c 8669           15778          433878         30427785       0              5231           13   17   15   
55.48/55.51	c 9627           16845          444949         30939753       0              5293           13   17   15   
56.48/56.54	c 10680          18017          456513         31502109       0              5343           13   17   15   
57.58/57.66	c 11838          19306          469175         32107328       0              5404           13   17   15   
58.78/58.89	c 13111          20722          483012         32763158       0              5454           13   17   15   
60.18/60.23	c 14511          22278          498074         33465482       0              5508           13   17   15   
61.68/61.71	c 16051          23989          514605         34243316       0              5551           13   17   15   
63.28/63.33	c 17745          25870          532736         35084985       0              5607           13   17   15   
65.08/65.10	c 19608          27938          552599         35997633       0              5666           13   17   15   
66.97/67.04	c 21657          30212          574384         36992466       0              5735           13   17   15   
69.07/69.15	c 23910          32711          598136         38063033       0              5811           13   17   15   
71.37/71.49	c 26388          35459          624327         39248338       0              5864           13   17   15   
74.07/74.12	c 29113          38481          654345         40537910       0              5925           13   18   16   
76.98/77.04	c 32110          41807          687678         41968793       0              5995           13   18   16   
80.17/80.24	c 35406          45465          723916         43554687       0              6051           13   18   16   
83.68/83.78	c 39031          49487          764164         45363131       0              6098           13   18   16   
87.47/87.55	c 43018          53906          806235         47339909       0              6158           13   18   16   
91.57/91.69	c 47403          58765          852508         49503957       0              6222           13   18   16   
96.16/96.24	c 52226          64108          903274         51860747       0              6304           13   18   16   
101.17/101.24	c 57531          69985          959020         54438304       0              6364           13   18   16   
106.67/106.71	c 63366          76447          1020078        57231475       0              6454           13   18   16   
112.66/112.76	c 69784          83556          1087311        60304418       0              6532           13   18   16   
119.37/119.42	c 76843          91378          1161390        63691855       0              6629           13   18   16   
126.67/126.72	c 84607          99976          1242847        67481213       0              6735           13   18   16   
134.66/134.73	c 93147          109432         1332266        71612696       0              6847           13   18   16   
143.56/143.66	c 102541         119832         1433187        76114773       0              6964           13   18   16   
153.56/153.61	c 112874         131275         1546518        81066995       0              7089           13   18   16   
164.35/164.44	c 124240         143858         1669115        86581027       0              7212           13   18   16   
176.35/176.46	c 136742         157697         1806087        92612519       0              7333           13   18   16   
189.55/189.69	c 150494         172922         1956708        99209586       0              7469           13   18   16   
204.04/204.14	c 165621         189666         2119823        106533865      0              7603           13   18   16   
219.84/219.98	c 182260         208082         2298919        114508040      0              7763           13   18   16   
237.34/237.47	c 200562         228340         2496877        123353025      0              7922           13   18   16   
256.54/256.63	c 220694         250621         2713261        133013915      0              8100           13   18   16   
277.64/277.79	c 242839         275138         2951576        143645750      0              8267           13   18   16   
300.63/300.74	c 267198         302127         3206036        155315230      0              8448           13   18   16   
325.92/326.02	c 293992         331836         3486003        168136823      0              8633           13   18   16   
353.81/353.93	c 323465         364545         3793863        182185748      0              8831           13   18   16   
384.62/384.73	c 355885         400553         4132482        197638442      0              9001           13   18   16   
418.50/418.67	c 391547         440181         4505259        214636457      0              9181           13   18   16   
456.41/456.60	c 430775         483808         4925492        233300533      0              9359           13   18   16   
498.30/498.48	c 473925         531816         5388440        253800906      0              9569           13   18   16   
544.49/544.62	c 521390         584658         5896275        276316469      0              9793           13   18   16   
593.98/594.11	c 573601         642813         6442421        301071977      0              9994           13   18   16   
648.26/648.42	c 631033         706813         7066482        328245120      0              10202          13   18   16   
707.74/707.93	c 694208         777240         7746444        358099716      0              10386          13   18   16   
773.33/773.54	c 763700         854742         8493941        390945973      0              10569          13   18   16   
844.52/844.79	c 840141         940027         9293630        427001016      0              10763          13   18   16   
923.40/923.63	c 924226         1033906        10176301       467061392      0              10952          13   19   16   
1010.09/1010.30	c 1016719        1137150        11146969       511050073      0              11179          13   19   16   
1105.28/1105.51	c 1118461        1250702        12214176       559420311      0              11423          13   19   16   
1210.05/1210.34	c 1230377        1375644        13388157       612564812      0              11690          13   19   16   
1325.42/1325.75	c 1353484        1513112        14679204       670970274      0              11930          13   19   16   
1453.11/1453.40	c 1488901        1664464        16101832       735637169      0              12148          13   19   16   
1594.78/1595.13	c 1637859        1831120        17670805       807140317      0              12436          13   19   16   
1751.53/1751.94	c 1801712        2014570        19399722       886198250      0              12719          13   19   17   
1924.30/1924.79	c 1981950        2216554        21301812       973583629      0              13005          13   19   17   
2118.66/2119.12	c 2180211        2438935        23473251       1070139311     0              13306          13   19   17   
2337.03/2337.53	c 2398298        2683703        25951948       1176543568     0              13568          13   19   17

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-4242073-1500655192/watcher-4242073-1500655192 -o /tmp/evaluation-result-4242073-1500655192/solver-4242073-1500655192 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500648178-9864 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242073-1500655192.xml 

pid=11260
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.00 2.01 2.11 3/242 11263
/proc/meminfo: memFree=31299788/32770624 swapFree=5948/19416
[pid=11263] ppid=11260 vsize=30424 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 1794 0 0 0 0 0 0 0 20 0 1 0 788788 31154176 1624 33554432000 4194304 5970956 140721451745600 140721451742248 5131220 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 7606 1624 702 434 0 970 0

[startup+0.100207 s]
/proc/loadavg: 2.00 2.01 2.11 3/242 11263
/proc/meminfo: memFree=31299788/32770624 swapFree=5948/19416
[pid=11263] ppid=11260 vsize=72392 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 8819 0 0 0 7 2 0 0 20 0 1 0 788788 74129408 11689 33554432000 4194304 5970956 140721451745600 140721451742504 140642531167205 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 18098 11689 769 434 0 11462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 72392

[startup+0.200428 s]
/proc/loadavg: 2.00 2.01 2.11 3/242 11263
/proc/meminfo: memFree=31299788/32770624 swapFree=5948/19416
[pid=11263] ppid=11260 vsize=135496 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 17181 0 0 0 16 3 0 0 20 0 1 0 788788 138747904 26219 33554432000 4194304 5970956 140721451745600 140721451742424 140642531167205 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 33874 26219 769 434 0 27238 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135496

[startup+0.30042 s]
/proc/loadavg: 2.00 2.01 2.11 3/242 11263
/proc/meminfo: memFree=31299788/32770624 swapFree=5948/19416
[pid=11263] ppid=11260 vsize=197928 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 24128 0 0 0 24 5 0 0 20 0 1 0 788788 202678272 39755 33554432000 4194304 5970956 140721451745600 140721451742424 140642531167205 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 49515 39755 769 434 0 42879 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 197928

[startup+0.700337 s]
/proc/loadavg: 2.00 2.01 2.11 3/242 11263
/proc/meminfo: memFree=31299788/32770624 swapFree=5948/19416
[pid=11263] ppid=11260 vsize=454004 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 51294 0 0 0 59 10 0 0 20 0 1 0 788788 464900096 95041 33554432000 4194304 5970956 140721451745600 140721451742424 140642531167205 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 113501 95041 769 434 0 106865 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 454004

[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.11 3/243 11264
/proc/meminfo: memFree=30703016/32770624 swapFree=5948/19472
[pid=11263] ppid=11260 vsize=1051700 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 103407 0 0 0 128 21 0 0 20 0 1 0 788788 1076940800 203861 33554432000 4194304 5970956 140721451745600 140721451742424 140642531167205 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 262925 203861 769 434 0 256289 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1051700

[startup+3.10033 s]
/proc/loadavg: 2.00 2.01 2.11 3/243 11264
/proc/meminfo: memFree=30106512/32770624 swapFree=5948/19472
[pid=11263] ppid=11260 vsize=1911140 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 204182 0 0 0 267 42 0 0 20 0 1 0 788788 1957007360 417274 33554432000 4194304 5970956 140721451745600 140721451742424 140642531162942 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 477785 417340 769 434 0 471149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1911140

[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.11 3/243 11264
/proc/meminfo: memFree=28353660/32770624 swapFree=5948/19440
[pid=11263] ppid=11260 vsize=3507452 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 400439 0 0 0 548 81 0 0 20 0 1 0 788788 3591630848 839938 33554432000 4194304 5970956 140721451745600 140721451742424 140642531167205 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 876863 839938 769 434 0 870227 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3507452

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.11 3/244 11272
/proc/meminfo: memFree=26916428/32770624 swapFree=5948/19432
[pid=11263] ppid=11260 vsize=5127960 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 518109 0 0 0 1163 106 0 0 20 0 1 0 788788 5251031040 1094267 33554432000 4194304 5970956 140721451745600 140721451742936 5039186 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094267 792 434 0 1275354 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5127960

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.10 3/244 11272
/proc/meminfo: memFree=26914256/32770624 swapFree=5948/19460
[pid=11263] ppid=11260 vsize=5127960 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 522032 0 0 0 2442 106 0 0 20 0 1 0 788788 5251031040 1094267 33554432000 4194304 5970956 140721451745600 140721451742936 4977332 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094267 792 434 0 1275354 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5127960

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.10 3/244 11272
/proc/meminfo: memFree=26914256/32770624 swapFree=5948/19500
[pid=11263] ppid=11260 vsize=5127960 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 530025 0 0 0 5001 107 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5273253 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5127960

[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.10 3/244 11273
/proc/meminfo: memFree=26914408/32770624 swapFree=5948/19584
[pid=11263] ppid=11260 vsize=5127960 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 534969 0 0 0 10120 107 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5322288 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 5127960

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.10 3/244 11274
/proc/meminfo: memFree=26911952/32770624 swapFree=5948/19664
[pid=11263] ppid=11260 vsize=5127960 CPUtime=162.26 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 543007 0 0 0 16118 108 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 4974237 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 5127960

[startup+222.308 s]
/proc/loadavg: 2.01 2.02 2.09 3/244 11275
/proc/meminfo: memFree=26912332/32770624 swapFree=5948/19712
[pid=11263] ppid=11260 vsize=5127960 CPUtime=222.25 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 547518 0 0 0 22116 109 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 5127960

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/244 11276
/proc/meminfo: memFree=26912960/32770624 swapFree=5948/19780
[pid=11263] ppid=11260 vsize=5127960 CPUtime=282.24 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 555408 0 0 0 28114 110 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 5127960

[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.08 3/243 11277
/proc/meminfo: memFree=26912724/32770624 swapFree=5948/19832
[pid=11263] ppid=11260 vsize=5127960 CPUtime=342.22 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 559747 0 0 0 34112 110 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 5127960

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.08 3/243 11278
/proc/meminfo: memFree=26910448/32770624 swapFree=5948/19888
[pid=11263] ppid=11260 vsize=5127960 CPUtime=402.21 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 567381 0 0 0 40110 111 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 5127960

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.07 3/243 11279
/proc/meminfo: memFree=26910572/32770624 swapFree=5948/19940
[pid=11263] ppid=11260 vsize=5127960 CPUtime=462.2 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 571974 0 0 0 46108 112 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 5127960

[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.07 3/243 11280
/proc/meminfo: memFree=26910572/32770624 swapFree=5948/19988
[pid=11263] ppid=11260 vsize=5127960 CPUtime=522.19 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 579409 0 0 0 52107 112 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5039162 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 5127960

[startup+582.3 s]
/proc/loadavg: 2.08 2.04 2.07 3/243 11281
/proc/meminfo: memFree=26909512/32770624 swapFree=5948/20020
[pid=11263] ppid=11260 vsize=5127960 CPUtime=582.17 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 586247 0 0 0 58104 113 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 5127960


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


[startup+1542.31 s]
/proc/loadavg: 3.85 2.59 2.24 2/246 11738
/proc/meminfo: memFree=5301056/32770624 swapFree=5948/6767672
[pid=11263] ppid=11260 vsize=5127960 CPUtime=1541.99 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 665844 0 0 0 154075 124 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5039152 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 5127960

[startup+1602.3 s]
/proc/loadavg: 4.64 3.05 2.42 3/245 11739
/proc/meminfo: memFree=1163292/32770624 swapFree=5948/10786116
[pid=11263] ppid=11260 vsize=5127960 CPUtime=1601.96 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 669324 0 0 0 160071 125 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 5127960

[startup+1662.3 s]
/proc/loadavg: 5.03 3.45 2.59 4/245 11740
/proc/meminfo: memFree=332016/32770624 swapFree=5948/11621044
[pid=11263] ppid=11260 vsize=5127960 CPUtime=1661.95 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 674946 0 0 0 166069 126 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 5127960

[startup+1722.3 s]
/proc/loadavg: 5.01 3.73 2.74 3/245 11741
/proc/meminfo: memFree=211624/32770624 swapFree=5948/11684444
[pid=11263] ppid=11260 vsize=5127960 CPUtime=1721.94 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 680649 0 0 0 172067 127 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 4978376 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 5127960

[startup+1782.3 s]
/proc/loadavg: 5.00 3.96 2.89 2/245 11742
/proc/meminfo: memFree=199752/32770624 swapFree=5948/11702548
[pid=11263] ppid=11260 vsize=5127960 CPUtime=1781.92 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 683780 0 0 0 178065 127 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5039190 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 5127960

[startup+1842.3 s]
/proc/loadavg: 5.39 4.26 3.05 2/248 11753
/proc/meminfo: memFree=224612/32770624 swapFree=5948/11660428
[pid=11263] ppid=11260 vsize=5127960 CPUtime=1841.91 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 689193 0 0 0 184063 128 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 4976725 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 1841.91
Current children cumulated vsize (KiB) 5127960

[startup+1902.3 s]
/proc/loadavg: 4.61 4.25 3.13 2/248 11754
/proc/meminfo: memFree=268784/32770624 swapFree=5948/11660504
[pid=11263] ppid=11260 vsize=5127960 CPUtime=1901.9 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 694356 0 0 0 190061 129 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5039152 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 1901.9
Current children cumulated vsize (KiB) 5127960

[startup+1962.3 s]
/proc/loadavg: 3.53 4.05 3.13 3/247 11820
/proc/meminfo: memFree=25972480/32770624 swapFree=5948/5544
[pid=11263] ppid=11260 vsize=5127960 CPUtime=1961.89 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 697676 0 0 0 196060 129 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 4978392 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 1961.89
Current children cumulated vsize (KiB) 5127960

[startup+2022.3 s]
/proc/loadavg: 2.65 3.70 3.07 3/247 11821
/proc/meminfo: memFree=25972932/32770624 swapFree=5948/5584
[pid=11263] ppid=11260 vsize=5127960 CPUtime=2021.88 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 703119 0 0 0 202058 130 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5039204 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 2021.88
Current children cumulated vsize (KiB) 5127960

[startup+2082.3 s]
/proc/loadavg: 2.31 3.41 3.01 3/247 11822
/proc/meminfo: memFree=25972836/32770624 swapFree=5948/5632
[pid=11263] ppid=11260 vsize=5127960 CPUtime=2081.88 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 708293 0 0 0 208057 131 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5250325 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 2081.88
Current children cumulated vsize (KiB) 5127960

[startup+2142.3 s]
/proc/loadavg: 2.11 3.15 2.94 3/244 11823
/proc/meminfo: memFree=25969364/32770624 swapFree=5948/5676
[pid=11263] ppid=11260 vsize=5127960 CPUtime=2141.86 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 711636 0 0 0 214055 131 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 2141.86
Current children cumulated vsize (KiB) 5127960

[startup+2202.31 s]
/proc/loadavg: 2.04 2.94 2.89 3/243 11824
/proc/meminfo: memFree=25969384/32770624 swapFree=5948/5712
[pid=11263] ppid=11260 vsize=5127960 CPUtime=2201.85 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 717050 0 0 0 220054 131 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 2201.85
Current children cumulated vsize (KiB) 5127960

[startup+2262.3 s]
/proc/loadavg: 2.02 2.77 2.83 3/243 11825
/proc/meminfo: memFree=25969388/32770624 swapFree=5948/5752
[pid=11263] ppid=11260 vsize=5127960 CPUtime=2261.83 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 719889 0 0 0 226051 132 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 4974237 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 2261.83
Current children cumulated vsize (KiB) 5127960

[startup+2322.3 s]
/proc/loadavg: 2.01 2.63 2.78 3/243 11826
/proc/meminfo: memFree=25968836/32770624 swapFree=5948/5788
[pid=11263] ppid=11260 vsize=5127960 CPUtime=2321.83 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 725246 0 0 0 232050 133 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5322537 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 2321.83
Current children cumulated vsize (KiB) 5127960

[startup+2382.3 s]
/proc/loadavg: 2.00 2.52 2.73 3/243 11827
/proc/meminfo: memFree=25969516/32770624 swapFree=5948/5844
[pid=11263] ppid=11260 vsize=5127960 CPUtime=2381.81 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 728372 0 0 0 238048 133 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 5322311 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 2381.81
Current children cumulated vsize (KiB) 5127960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.5 s]
/proc/loadavg: 2.00 2.48 2.71 3/243 11827
/proc/meminfo: memFree=25969652/32770624 swapFree=5948/5852
[pid=11263] ppid=11260 vsize=5127960 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 730997 0 0 0 239867 134 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 4977082 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 5127960

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

[startup+2400.5 s]
/proc/loadavg: 2.00 2.48 2.71 3/243 11827
/proc/meminfo: memFree=25969652/32770624 swapFree=5948/5852
[pid=11263] ppid=11260 vsize=5127960 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/11263/stat : 11263 (cosoco) R 11260 11263 9833 0 -1 4202496 730997 0 0 0 239867 134 0 0 20 0 1 0 788788 5251031040 1094271 33554432000 4194304 5970956 140721451745600 140721451742936 4977082 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19951616 140721451754684 140721451754819 140721451754819 140721451757518 0
/proc/11263/statm: 1281990 1094271 792 434 0 1275354 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 5127960

Child status: 1
Real time (s): 2400.59
CPU time (s): 2400.11
CPU user time (s): 2398.68
CPU system time (s): 1.42673
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 5127960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.68
system time used= 1.42673
maximum resident set size= 4377132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 731025
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= 62
involuntary context switches= 121880

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76872 second user time and 11.5595 second system time

The end

Launcher Data 

Begin job on node107 at 2017-07-21 18:39:52
IDJOB=4242073
IDBENCH=133234
IDSOLVER=2621
FILE ID=node107/4242073-1500655192
RUNJOBID= node107-1500648178-9864
PBS_JOBID= 20623307
Free space on /tmp= 61872 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-25-sum.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242073-1500655192/watcher-4242073-1500655192 -o /tmp/evaluation-result-4242073-1500655192/solver-4242073-1500655192 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500648178-9864 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242073-1500655192.xml

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

MD5SUM BENCH= c23772f07578de48c6397f5cf6688c4d
RANDOM SEED=1712346790

node107.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.05
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31300412 kB
MemAvailable:   31207500 kB
Buffers:           45484 kB
Cached:           128872 kB
SwapCached:            0 kB
Active:           990992 kB
Inactive:          79720 kB
Active(anon):     847440 kB
Inactive(anon):    60304 kB
Active(file):     143552 kB
Inactive(file):    19416 kB
Unevictable:        5948 kB
Mlocked:            5948 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2460 kB
Writeback:            20 kB
AnonPages:        902144 kB
Mapped:            31680 kB
Shmem:              8852 kB
Slab:              90436 kB
SReclaimable:      57628 kB
SUnreclaim:        32808 kB
KernelStack:        4192 kB
PageTables:         6700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1361648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    831488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61872 MiB
End job on node107 at 2017-07-21 19:19:53