Trace number 4242509

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.08 2400.6

General information on the benchmark

NameKnightTour/KnightTour-int-s1/
KnightTour-13-int.xml
MD5SUM5aa475b3f1257aceb66c8baaa9eb8eb1
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.7322199
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints171
Number of domains1
Minimum domain size169
Maximum domain size169
Distribution of domain sizes[{"size":169,"count":169}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":167},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity169
Distribution of constraint arities[{"arity":2,"count":170},{"arity":169,"count":1}]
Number of extensional constraints0
Number of intensional constraints169
Distribution of constraint types[{"type":"intension","count":169},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.38/0.42	c SAT : Variables: 28561 -- Clauses: 2399293
0.38/0.43	c root propagations     : 1828        
0.38/0.43	c restarts enabled, print stats at every restarts
0.38/0.43	c
0.38/0.43	c
0.38/0.43	c
0.38/0.43	c This is cosoco 1.0 --  
0.38/0.43	c
0.38/0.43	c ========================================[ Problem Statistics ]===========================================
0.38/0.43	c |                                                                                                       
0.38/0.43	c |  Parse time        :         0.39 s 
0.38/0.43	c |
0.38/0.43	c |               Variables: 169
0.38/0.43	c |            Domain Sizes: 169..169
0.38/0.43	c |
0.38/0.43	c |             Constraints: 172
0.38/0.43	c |                   Arity: 1..169  -- Unary: 2  -- Binary: 169
0.38/0.43	c | 
0.38/0.43	c |                   Types: 
0.38/0.43	c |                          All Different: 1
0.38/0.43	c |                          Intension: 169
0.38/0.43	c |                          Unary: 2
0.38/0.43	c |                          
0.38/0.43	c =========================================================================================================
0.38/0.43	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.78/0.81	c 10             155            4024           70170          169            10             52   145   98  
0.98/1.00	c 20             285            6997           109362         169            20             54   121   85  
0.98/1.07	c 30             351            8432           122290         169            27             52   56   49   
1.28/1.36	c 40             500            12434          175925         169            37             42   140   91  
1.58/1.61	c 50             652            16171          224041         169            46             44   143   99  
1.78/1.84	c 60             804            19682          270676         169            56             42   141   101 
1.98/2.00	c 70             913            22105          299856         169            61             63   96   79   
2.08/2.17	c 80             1067           25149          336613         169            71             64   144   108 
2.39/2.44	c 90             1226           28871          395610         169            80             63   148   111 
2.49/2.55	c 100            1317           30869          416190         169            85             61   80   67   
2.59/2.66	c 101            1378           32410          436630         169            86             61   61   30   
2.79/2.89	c 110            1520           36005          480296         169            94             44   133   86  
3.09/3.17	c 120            1663           39362          535284         169            104            58   134   83  
3.29/3.38	c 130            1803           42428          576889         169            114            90   130   100 
3.58/3.61	c 140            1952           45658          622915         169            124            63   140   106 
3.68/3.70	c 150            2034           47453          640855         169            130            63   70   62   
3.88/3.90	c 160            2193           50473          695542         169            139            1   148   103  
3.98/4.01	c 170            2295           52620          716721         169            143            63   87   73   
3.98/4.06	c 180            2348           53847          727886         169            151            37   43   36   
4.18/4.20	c 190            2459           56169          753710         169            158            59   99   72   
4.18/4.25	c 200            2517           57455          765630         169            166            32   48   35   
4.58/4.66	c 210            2646           61179          843217         169            176            64   120   81  
4.68/4.76	c 211            2690           62655          861522         169            177            44   44   22   
4.98/5.02	c 220            2835           66006          915484         169            186            59   137   93  
5.08/5.16	c 230            2942           68527          941447         169            194            44   98   78   
5.18/5.20	c 240            2985           69512          950186         169            200            22   31   26   
5.18/5.26	c 250            3047           70881          963174         169            210            32   51   36   
5.18/5.30	c 260            3090           71669          971768         169            218            8   34   20    
5.28/5.35	c 270            3154           73061          984322         169            228            46   55   45   
5.28/5.39	c 280            3199           74030          992945         169            232            31   34   29   
5.59/5.66	c 290            3340           77422          1053411        169            242            17   132   89  
5.88/5.91	c 300            3484           81009          1102078        169            252            54   135   91  
6.08/6.19	c 310            3629           84700          1160506        169            262            56   134   92  
6.38/6.41	c 320            3780           88198          1209243        169            272            54   142   94  
6.38/6.49	c 330            3856           89977          1227167        169            275            54   58   51   
6.59/6.66	c 332            3931           92005          1257116        169            277            45   74   39   
6.59/6.69	c 340            3972           92910          1265154        169            281            31   33   28   
6.69/6.72	c 350            4008           93574          1272418        169            285            23   24   21   
7.08/7.10	c 360            4156           97396          1350626        169            294            1   139   74   
7.28/7.35	c 370            4291           100838         1402108        169            304            56   126   88  
7.38/7.40	c 380            4352           102204         1414615        169            311            43   51   43   
7.38/7.45	c 390            4398           103207         1424637        169            318            26   36   29   
7.79/7.89	c 400            4517           107211         1509966        169            328            50   110   68  
7.98/8.07	c 410            4625           109843         1548174        169            336            60   98   74   
8.08/8.14	c 420            4697           111448         1566819        169            342            52   61   53   
8.08/8.18	c 430            4743           112440         1575921        169            348            32   36   31   
8.38/8.49	c 440            4901           116398         1633221        169            357            36   148   97  
8.68/8.77	c 450            5040           119956         1691282        169            367            59   130   84  
8.79/8.86	c 460            5132           121983         1714906        169            377            59   82   62   
8.79/8.89	c 465            5169           122826         1722141        169            378            31   33   26   
9.08/9.11	c 470            5261           125274         1767929        169            383            45   88   60   
9.38/9.44	c 480            5396           129015         1835379        169            393            60   126   82  
9.68/9.73	c 490            5549           132790         1897603        169            403            57   143   92  
9.89/9.91	c 500            5668           135489         1935644        169            413            59   110   75  
9.99/10.01	c 510            5748           137425         1960247        169            421            59   70   60   
9.99/10.06	c 520            5808           138757         1971922        169            424            43   45   39   
10.08/10.16	c 530            5899           140855         1996866        169            434            53   78   61   
10.28/10.33	c 540            6014           143591         2033489        169            442            59   102   72  
10.58/10.61	c 550            6168           147292         2092484        169            451            60   145   93  
10.78/10.89	c 560            6325           151087         2147532        169            461            59   148   88  
11.08/11.17	c 570            6477           154878         2205546        169            471            58   143   92  
11.37/11.41	c 580            6622           158311         2256885        169            481            60   136   84  
11.48/11.55	c 590            6787           161661         2289852        169            483            144   149   133
11.77/11.84	c 600            6911           165153         2348015        169            493            59   114   80  
12.08/12.14	c 610            7057           169045         2417270        169            503            49   136   99  
12.18/12.23	c 611            7117           170665         2437999        169            504            60   60   30   
12.27/12.38	c 620            7225           173167         2470821        169            511            59   100   73  
12.57/12.62	c 630            7359           176450         2522051        169            521            60   125   83  
12.87/12.92	c 640            7514           180369         2587273        169            531            55   146   99  
13.07/13.11	c 650            7630           183166         2626261        169            540            60   103   75  
13.28/13.36	c 660            7775           186629         2679717        169            550            60   136   84  
13.37/13.49	c 670            7938           189748         2707389        169            556            144   149   132
13.67/13.78	c 680            8090           193585         2765228        169            566            59   143   86  
13.88/13.98	c 690            8218           196608         2805778        169            576            60   117   78  
14.08/14.12	c 700            8322           199018         2836943        169            586            59   95   68   
14.39/14.45	c 710            8480           203215         2904417        169            596            59   149   83  
14.68/14.71	c 720            8626           206797         2958602        169            606            59   135   90  
14.78/14.80	c 730            8711           208805         2982275        169            613            60   74   61   
15.08/15.12	c 740            8859           212392         3045954        169            623            62   139   96  
15.39/15.43	c 750            9009           216211         3108033        169            633            60   141   87  
15.58/15.69	c 760            9158           219700         3164182        169            643            59   139   90  
15.78/15.86	c 770            9282           222548         3200330        169            653            59   114   75  
15.88/15.90	c 771            9332           223702         3209817        169            654            50   50   25   
15.88/15.94	c 780            9376           224652         3219065        169            661            14   35   24   
16.18/16.27	c 790            9542           228920         3285966        169            668            47   151   105 
16.38/16.49	c 800            9687           232240         3334960        169            678            60   136   84  
16.78/16.80	c 810            9829           235648         3395324        169            688            60   133   81  
17.08/17.11	c 820            9965           239281         3457277        169            698            60   127   79  
17.28/17.39	c 830            10118          242911         3517698        169            708            60   144   94  
17.59/17.61	c 840            10263          246257         3567780        169            718            60   136   85  
17.69/17.75	c 850            10433          249604         3599270        169            721            142   151   133
17.78/17.88	c 860            10596          252822         3630557        169            726            116   149   129
18.08/18.13	c 870            10739          256295         3684355        169            736            60   134   84  
18.28/18.36	c 880            10879          259550         3733080        169            746            62   131   88  
18.58/18.65	c 890            11038          263441         3796755        169            755            59   149   103 
18.79/18.90	c 900            11180          266849         3850713        169            765            60   133   84  
19.08/19.14	c 910            11315          270250         3898244        169            775            57   126   76  
19.18/19.24	c 920            11398          272279         3920319        169            778            58   66   59   
19.18/19.27	c 930            11435          273110         3927787        169            783            26   28   24   
19.58/19.62	c 940            11566          276931         4006817        169            793            58   122   81  
19.78/19.84	c 947            11676          279712         4050559        169            800            60   104   69  
19.88/19.97	c 950            11742          281624         4078914        169            803            60   64   46   
19.98/20.02	c 960            11801          282928         4090927        169            812            33   45   35   
19.98/20.08	c 970            11854          284100         4102730        169            818            36   40   35   
20.28/20.32	c 980            12013          287615         4153542        169            826            78   150   106 
20.38/20.49	c 990            12170          290861         4193484        169            830            68   144   122 
20.48/20.59	c 1000           12261          292988         4214269        169            832            76   76   69   
20.58/20.64	c 1010           12325          294375         4227085        169            840            46   54   45   
20.78/20.86	c 1020           12481          297271         4276313        169            847            64   147   110 
21.08/21.11	c 1030           12609          300583         4324706        169            857            57   119   85  
21.18/21.29	c 1040           12777          303955         4367867        169            865            61   149   109 
21.48/21.51	c 1050           12916          307309         4412722        169            872            57   124   93  
21.48/21.59	c 1060           12984          309085         4430323        169            879            44   59   51   
21.58/21.62	c 1070           13021          309953         4438018        169            883            24   26   22   
21.68/21.76	c 1080           13189          313134         4465781        169            889            145   152   134
21.98/22.04	c 1090           13338          316948         4523148        169            899            54   140   91  
22.18/22.30	c 1100           13478          320459         4582029        169            909            57   131   93  
22.38/22.43	c 1110           13625          323483         4609979        169            916            121   134   112
22.58/22.66	c 1120           13776          327009         4662593        169            926            57   142   97  
22.88/22.92	c 1130           13933          330723         4718344        169            936            59   148   100 
23.08/23.12	c 1140           14055          333602         4756663        169            945            57   112   89  
23.08/23.16	c 1141           14105          334774         4766159        169            946            50   50   25   
23.08/23.20	c 1150           14151          335784         4775065        169            947            35   35   31   
23.28/23.39	c 1160           14308          339514         4819175        169            954            94   148   119 
23.58/23.65	c 1170           14463          343169         4873143        169            964            57   145   99  
23.68/23.72	c 1180           14534          344734         4891149        169            966            55   61   53   
23.98/24.03	c 1190           14668          348325         4947630        169            976            43   125   76  
24.18/24.21	c 1200           14811          351425         4987424        169            986            68   134   99  
24.28/24.31	c 1210           14899          353443         5009763        169            994            57   78   65   
24.38/24.49	c 1220           15019          356316         5048247        169            1002           54   109   83  
24.67/24.74	c 1230           15157          359867         5104706        169            1012           56   127   91  
24.87/24.96	c 1240           15308          363338         5147860        169            1022           44   142   90  
24.97/25.09	c 1250           15441          366202         5176216        169            1027           108   117   101
25.07/25.16	c 1260           15515          367870         5192438        169            1033           50   61   50   
25.17/25.21	c 1270           15572          369056         5205170        169            1041           33   47   36   
25.17/25.29	c 1280           15645          370920         5223133        169            1049           44   63   53   
25.47/25.58	c 1290           15770          374281         5282763        169            1059           60   116   73  
25.77/25.87	c 1300           15917          377713         5341964        169            1069           59   138   99  
26.07/26.10	c 1310           16050          380929         5392085        169            1079           60   124   82  
26.27/26.40	c 1320           16199          384783         5461475        169            1089           47   140   96  
26.57/26.60	c 1330           16351          388150         5504365        169            1099           68   142   103 
26.67/26.73	c 1340           16459          390552         5534270        169            1107           60   98   76   
26.87/26.94	c 1350           16600          393930         5582640        169            1117           68   131   100 
26.97/27.08	c 1352           16664          395832         5610958        169            1119           60   63   41   
27.27/27.38	c 1360           16813          399554         5667529        169            1127           42   142   93  
27.58/27.62	c 1370           16952          402863         5720575        169            1137           60   130   84  
27.67/27.70	c 1380           17034          404551         5738386        169            1143           55   70   59   
27.67/27.75	c 1390           17089          405984         5751563        169            1147           42   45   40   
27.67/27.79	c 1400           17129          406897         5760741        169            1152           22   28   22   
27.97/28.07	c 1410           17277          410911         5819742        169            1162           43   139   102 
28.17/28.29	c 1420           17428          414291         5868562        169            1172           60   142   85  
28.47/28.58	c 1430           17565          417824         5932387        169            1182           58   128   73  
28.77/28.81	c 1440           17723          421463         5986357        169            1192           68   146   106 
28.97/29.09	c 1450           17854          424847         6042640        169            1202           60   122   80  
29.17/29.22	c 1460           18021          428241         6075053        169            1205           144   149   132
29.17/29.29	c 1470           18096          429884         6089753        169            1209           60   64   57   
29.27/29.37	c 1480           18172          431398         6105366        169            1216           51   63   51   
29.47/29.51	c 1490           18333          434766         6141746        169            1224           133   145   127
29.68/29.77	c 1500           18478          438259         6196805        169            1234           60   136   84  
29.97/30.07	c 1510           18630          442174         6263515        169            1242           60   140   92  
30.17/30.26	c 1520           18749          445035         6302561        169            1250           60   109   80  
30.37/30.47	c 1530           18907          448558         6347903        169            1259           89   148   114 
30.67/30.75	c 1540           19029          451860         6404578        169            1269           59   113   73  
30.78/30.80	c 1550           19088          453212         6416194        169            1271           48   49   43   
30.97/31.09	c 1560           19223          456725         6473209        169            1281           56   126   80  
31.17/31.26	c 1570           19357          459645         6509949        169            1291           57   122   90  
31.57/31.60	c 1580           19451          462931         6577697        169            1301           59   85   67   
31.57/31.64	c 1585           19500          464088         6587292        169            1306           41   45   36   
31.57/31.67	c 1590           19533          464835         6593545        169            1309           27   29   23   
31.77/31.80	c 1600           19704          468018         6621292        169            1314           145   150   134
31.98/32.04	c 1610           19857          471527         6670867        169            1324           57   143   96  
32.07/32.18	c 1620           20036          475140         6703441        169            1327           147   151   135
32.37/32.48	c 1630           20184          478942         6768630        169            1337           59   139   98  
32.67/32.76	c 1640           20347          482955         6828455        169            1345           57   149   105 
32.98/33.03	c 1650           20503          486706         6886345        169            1355           57   147   96  
33.27/33.31	c 1660           20665          490657         6950616        169            1365           57   151   103 
33.37/33.44	c 1670           20836          494019         6983038        169            1367           143   149   132
33.67/33.70	c 1680           20978          497543         7037737        169            1377           57   133   94  
33.67/33.74	c 1690           21026          498542         7047746        169            1384           33   37   31   
33.97/34.02	c 1700           21159          502106         7107034        169            1394           44   123   88  
34.08/34.19	c 1710           21309          505749         7163394        169            1398           118   129   115
34.37/34.50	c 1720           21467          509658         7227450        169            1408           57   148   100 
34.67/34.73	c 1730           21615          513126         7280412        169            1418           57   139   98  
34.78/34.83	c 1740           21696          515124         7302263        169            1420           57   66   59   
34.88/34.97	c 1750           21857          517801         7332333        169            1424           144   147   132
35.08/35.13	c 1760           22007          520807         7370305        169            1433           96   138   111 
35.29/35.35	c 1770           22157          524220         7418853        169            1443           57   140   101 
35.58/35.60	c 1780           22306          527726         7469895        169            1453           57   140   95  
35.78/35.87	c 1790           22401          530674         7524266        169            1463           58   86   67   
35.98/36.08	c 1800           22546          533984         7563518        169            1473           43   136   96  
36.18/36.22	c 1810           22647          536399         7592720        169            1476           57   91   77   
36.39/36.44	c 1820           22802          539900         7640946        169            1486           57   146   96  
36.58/36.61	c 1830           22927          542749         7676931        169            1494           57   114   89  
36.78/36.88	c 1840           23084          546502         7734938        169            1504           56   147   108 
36.88/36.98	c 1841           23141          548090         7754977        169            1505           57   57   28   
37.08/37.12	c 1850           23306          551518         7789603        169            1508           144   149   130
37.28/37.38	c 1860           23454          555121         7845822        169            1518           57   137   97  
37.49/37.51	c 1870           23615          558268         7873015        169            1523           140   145   129
37.58/37.64	c 1880           23774          561424         7906118        169            1529           123   146   125
37.78/37.84	c 1890           23898          564387         7945573        169            1537           57   114   90  
37.88/37.93	c 1900           23993          566269         7967138        169            1547           61   84   68   
38.08/38.18	c 1910           24154          569971         8026673        169            1557           57   152   104 
38.28/38.31	c 1920           24315          573216         8059546        169            1565           135   143   126
38.49/38.57	c 1930           24457          576772         8115526        169            1575           57   133   95  
38.78/38.85	c 1940           24615          580585         8175734        169            1583           57   148   101 
38.88/38.98	c 1950           24713          582865         8202471        169            1592           57   89   71   
38.98/39.02	c 1960           24760          583988         8212623        169            1600           25   37   29   
39.08/39.15	c 1970           24921          587201         8241607        169            1604           122   151   131
39.18/39.27	c 1980           25010          589374         8268897        169            1611           60   79   65   
39.38/39.40	c 1990           25170          592583         8299657        169            1616           137   144   128
39.38/39.48	c 2000           25249          594397         8320861        169            1624           60   69   60   
39.48/39.54	c 2010           25315          595901         8337366        169            1629           53   55   49   
39.78/39.89	c 2020           25471          599519         8408447        169            1639           62   147   88  
39.98/40.07	c 2030           25593          602368         8450627        169            1649           60   113   81  
40.18/40.26	c 2040           25749          605858         8508722        169            1656           114   144   115
40.38/40.42	c 2050           25911          609407         8546338        169            1662           108   147   124
40.68/40.73	c 2060           26020          612646         8607447        169            1672           60   100   69  
40.68/40.79	c 2070           26084          614067         8619990        169            1679           46   52   44   
40.97/41.08	c 2080           26240          617864         8677910        169            1689           39   146   95  
41.17/41.21	c 2090           26377          620834         8711236        169            1697           113   124   107
41.37/41.48	c 2100           26524          624507         8769941        169            1706           57   138   95  
41.57/41.61	c 2110           26623          626865         8797123        169            1713           57   84   69   
41.78/41.80	c 2120           26746          629812         8838495        169            1722           57   112   90  
41.78/41.84	c 2122           26792          631156         8849990        169            1724           43   45   29   
41.78/41.89	c 2130           26844          632400         8860734        169            1729           38   41   35   
42.07/42.13	c 2140           27003          636188         8916406        169            1738           86   146   114 
42.27/42.30	c 2150           27109          638712         8951921        169            1747           60   97   74   
42.37/42.46	c 2160           27273          642109         8991690        169            1755           116   148   119
42.67/42.75	c 2170           27416          645825         9049134        169            1765           60   134   85  
42.98/43.03	c 2180           27553          649324         9106456        169            1775           60   127   80  
43.07/43.17	c 2190           27707          652613         9141763        169            1779           121   135   113
43.27/43.39	c 2200           27855          655968         9188738        169            1789           64   139   93  
43.37/43.49	c 2210           27963          658296         9210890        169            1793           90   93   83   
43.57/43.66	c 2220           28121          661610         9247910        169            1802           88   149   115 
43.67/43.79	c 2230           28253          664439         9274761        169            1808           96   117   96  
43.98/44.06	c 2240           28398          668077         9332220        169            1818           60   136   80  
44.17/44.23	c 2250           28559          671397         9365904        169            1827           68   141   119 
44.27/44.39	c 2260           28704          674581         9404693        169            1837           68   132   100 
44.47/44.54	c 2270           28833          677348         9437591        169            1846           93   115   91  
44.77/44.80	c 2280           28994          681019         9492929        169            1856           59   152   101 
44.97/45.02	c 2290           29139          684323         9541936        169            1866           60   136   84  
45.08/45.16	c 2300           29313          687832         9571684        169            1871           142   149   133
45.18/45.27	c 2310           29421          690192         9594779        169            1876           90   96   86   
45.37/45.40	c 2320           29594          693405         9623626        169            1881           149   154   138
45.47/45.55	c 2330           29777          696953         9655824        169            1886           141   150   132
45.57/45.64	c 2340           29861          698961         9679828        169            1894           60   73   62   
45.57/45.69	c 2350           29919          700239         9691284        169            1904           35   49   39   
45.77/45.83	c 2360           30089          703525         9718180        169            1909           149   153   136
45.87/45.96	c 2370           30246          706665         9750784        169            1917           58   148   121 
46.07/46.11	c 2380           30398          709890         9787773        169            1926           121   142   120
46.18/46.25	c 2390           30576          713317         9817325        169            1928           144   148   132
46.28/46.34	c 2400           30659          715277         9840583        169            1934           59   68   59   
46.28/46.39	c 2410           30714          716554         9852461        169            1941           33   44   36   
46.47/46.59	c 2420           30876          719975         9902325        169            1948           91   149   123 
46.57/46.66	c 2430           30947          721568         9921154        169            1954           53   60   52   
46.67/46.76	c 2431           30988          722844         9939106        169            1955           41   41   20   
46.87/46.98	c 2440           31115          726069         9992596        169            1964           67   118   90  
46.97/47.05	c 2450           31194          727816         10008612       169            1968           58   65   56   
47.07/47.11	c 2460           31262          729156         10023432       169            1976           15   58   40   
47.28/47.39	c 2470           31420          732987         10081776       169            1983           59   146   107 
47.57/47.65	c 2480           31534          736138         10133314       169            1992           59   105   72  
47.77/47.80	c 2490           31646          738696         10166264       169            2002           60   103   75  
48.07/48.10	c 2500           31800          742423         10224611       169            2012           41   145   101 
48.37/48.46	c 2510           31937          746376         10294976       169            2022           60   128   76  
48.57/48.68	c 2520           32066          749505         10334830       169            2032           44   120   84  
48.97/49.01	c 2530           32200          753254         10398192       169            2042           60   125   75  
48.97/49.06	c 2540           32255          754677         10411465       169            2047           41   44   39   
49.17/49.20	c 2550           32415          758090         10448616       169            2054           129   145   127
49.37/49.45	c 2560           32551          761410         10499654       169            2064           60   127   87  
49.58/49.62	c 2570           32658          764092         10536778       169            2074           59   98   71   
49.68/49.74	c 2580           32812          767119         10563012       169            2082           126   143   122
49.98/50.01	c 2590           32934          770428         10616764       169            2092           60   113   75  
49.98/50.06	c 2600           32993          771718         10627940       169            2099           44   49   40   
50.08/50.12	c 2610           33070          773168         10641085       169            2104           59   63   55   
50.38/50.40	c 2620           33224          776934         10695397       169            2114           60   145   84  
50.48/50.55	c 2630           33375          780452         10743184       169            2117           127   132   118
50.58/50.67	c 2640           33489          782968         10770263       169            2122           81   103   88  
50.88/50.96	c 2650           33643          786702         10830986       169            2132           59   144   90  
50.98/51.09	c 2660           33804          790026         10859694       169            2135           137   147   130
51.08/51.17	c 2670           33887          791882         10877883       169            2142           55   68   57   
51.18/51.29	c 2680           34044          794927         10905223       169            2152           143   148   130
51.48/51.53	c 2690           34168          798117         10956738       169            2162           60   115   81  
51.58/51.66	c 2700           34343          801462         10985336       169            2167           142   149   131
51.68/51.79	c 2710           34500          804674         11014111       169            2173           104   145   117
52.08/52.17	c 2720           34636          808735         11089277       169            2183           59   127   75  
52.18/52.23	c 2730           34699          810117         11102490       169            2193           34   53   37   
52.18/52.26	c 2740           34736          810822         11110004       169            2197           24   25   22   
52.28/52.34	c 2750           34826          812452         11132382       169            2207           13   81   45   
52.48/52.50	c 2760           35003          816136         11165662       169            2210           147   151   135
52.88/52.93	c 2770           35159          820417         11250637       169            2220           62   147   88  
52.97/53.05	c 2771           35303          823225         11274955       169            2221           144   144   72 
53.07/53.17	c 2780           35470          826371         11302807       169            2223           149   152   136
53.37/53.48	c 2790           35623          830246         11364533       169            2233           60   144   86  
53.47/53.56	c 2800           35699          832014         11385438       169            2235           60   65   58   
53.57/53.69	c 2810           35856          835160         11419868       169            2242           133   144   127
53.77/53.85	c 2820           35972          837859         11455959       169            2252           60   107   77  
53.98/54.02	c 2830           36127          841254         11493919       169            2261           86   144   108 
54.17/54.27	c 2840           36261          844584         11540912       169            2271           43   125   81  
54.37/54.41	c 2850           36424          847972         11572238       169            2279           129   142   124
54.57/54.60	c 2860           36580          851246         11610965       169            2287           88   145   116 
54.67/54.74	c 2870           36726          854460         11645654       169            2294           120   129   113
54.77/54.85	c 2880           36814          856589         11672132       169            2302           57   77   64   
54.87/54.91	c 2890           36880          857999         11686471       169            2310           44   55   44   
54.98/55.04	c 2900           37046          861294         11714788       169            2314           148   155   137
55.08/55.18	c 2910           37134          863540         11744928       169            2324           60   79   64   
55.47/55.57	c 2920           37277          867737         11820674       169            2334           59   134   77  
55.77/55.88	c 2930           37394          871220         11883830       169            2344           57   108   76  
55.87/55.95	c 2940           37473          872956         11899272       169            2346           64   65   58   
56.27/56.33	c 2950           37633          877312         11972682       169            2356           43   149   96  
56.57/56.65	c 2960           37771          881059         12036226       169            2366           59   129   76  
56.77/56.84	c 2970           37938          884705         12078212       169            2375           79   151   120 
57.07/57.10	c 2980           38084          888327         12133480       169            2384           56   134   94  
57.07/57.16	c 2990           38150          889734         12146483       169            2391           40   55   44   
57.37/57.42	c 3000           38297          893254         12195084       169            2401           44   138   90  
57.67/57.79	c 3010           38434          897267         12268036       169            2411           59   128   76  
57.77/57.89	c 3020           38520          899277         12291899       169            2419           60   77   63   
58.07/58.18	c 3030           38663          903052         12354168       169            2429           65   134   93  
58.38/58.43	c 3040           38824          906703         12400912       169            2437           44   150   103 
58.57/58.60	c 3050           38948          909651         12434164       169            2446           59   108   88  
58.67/58.75	c 3060           39063          912210         12472464       169            2456           95   106   91  
58.97/59.05	c 3070           39205          915926         12532043       169            2466           59   133   77  
59.07/59.19	c 3080           39382          919425         12562171       169            2472           144   152   135
59.27/59.31	c 3090           39570          922699         12592259       169            2476           142   152   135
59.67/59.70	c 3100           39691          926316         12676418       169            2486           63   112   83  
59.67/59.77	c 3110           39763          927928         12691305       169            2491           41   49   41   
59.77/59.89	c 3120           39866          930344         12715346       169            2499           44   93   68   
60.07/60.17	c 3130           40007          933986         12770683       169            2509           64   132   85  
60.37/60.43	c 3140           40154          937599         12821676       169            2519           53   137   100 
60.37/60.50	c 3142           40245          939242         12836170       169            2521           78   90   56   
60.77/60.82	c 3150           40338          942344         12895911       169            2529           59   86   62   
60.87/60.95	c 3160           40497          945534         12923363       169            2536           129   143   125
61.17/61.27	c 3170           40649          949554         12988027       169            2546           53   141   98  
61.58/61.70	c 3180           40745          953347         13064709       169            2556           47   87   64   
61.77/61.88	c 3190           40907          956781         13107191       169            2561           91   147   121 
61.97/62.06	c 3200           41028          959641         13143023       169            2571           53   111   88  
62.17/62.28	c 3210           41189          963353         13181787       169            2577           43   147   122 
62.37/62.45	c 3220           41283          965868         13217893       169            2584           60   85   66   
62.47/62.51	c 3230           41353          967340         13231157       169            2586           56   56   50   
62.57/62.66	c 3240           41526          970962         13265700       169            2591           140   150   132
62.87/62.97	c 3250           41667          974850         13325342       169            2601           53   132   87  
63.17/63.22	c 3260           41804          978304         13372743       169            2611           43   128   82  
63.27/63.34	c 3270           41931          981074         13396744       169            2619           94   114   97  
63.37/63.40	c 3280           41999          982604         13417013       169            2623           52   57   51   
63.37/63.46	c 3290           42062          984003         13429585       169            2626           49   50   45   
63.67/63.80	c 3300           42216          988017         13499204       169            2636           56   145   95  
63.88/63.99	c 3310           42347          990988         13537960       169            2645           53   119   94  
64.07/64.11	c 3320           42506          994032         13564593       169            2653           142   148   130
64.17/64.26	c 3330           42659          997166         13595039       169            2660           119   126   112
64.27/64.38	c 3340           42826          1000314        13622251       169            2661           145   148   132
64.57/64.65	c 3350           42927          1003299        13674192       169            2671           57   92   66   
64.88/64.90	c 3360           43060          1006820        13724749       169            2681           43   124   86  
64.88/64.99	c 3370           43152          1008880        13744146       169            2688           79   81   72   
65.07/65.11	c 3380           43262          1011245        13769101       169            2692           57   93   78   
65.17/65.23	c 3390           43418          1014411        13794419       169            2701           137   146   127
65.47/65.59	c 3400           43549          1018274        13867412       169            2711           59   122   70  
65.57/65.66	c 3410           43632          1019989        13882128       169            2721           49   65   53   
65.87/65.97	c 3420           43776          1023836        13943405       169            2731           44   135   85  
66.08/66.11	c 3430           43953          1027378        13973298       169            2738           135   145   127
66.17/66.24	c 3440           44085          1030218        13999894       169            2746           91   117   94  
66.27/66.39	c 3450           44258          1033792        14032137       169            2751           141   150   132
66.47/66.53	c 3460           44417          1037046        14063359       169            2760           127   141   124
66.77/66.88	c 3470           44537          1040620        14131837       169            2770           59   111   71  
66.87/66.96	c 3480           44615          1042603        14150170       169            2780           43   64   52   
66.87/66.99	c 3490           44652          1043296        14157240       169            2784           25   25   22   
67.18/67.29	c 3500           44809          1046877        14216906       169            2794           45   147   105 
67.47/67.52	c 3510           44950          1050345        14263359       169            2804           53   132   96  
67.47/67.58	c 3520           45016          1051777        14276601       169            2813           48   52   45   
67.67/67.72	c 3530           45187          1055240        14306538       169            2816           143   150   133
67.87/67.97	c 3540           45327          1058459        14354333       169            2826           59   130   95  
67.97/68.03	c 3550           45401          1060083        14368695       169            2831           50   61   52   
67.97/68.06	c 3551           45442          1061201        14378060       169            2832           41   41   20   
68.37/68.40	c 3560           45595          1065140        14445777       169            2841           55   145   90  
68.47/68.55	c 3570           45737          1068121        14474708       169            2842           119   125   111
68.57/68.61	c 3580           45810          1069752        14491472       169            2850           44   59   47   
68.67/68.71	c 3590           45905          1071898        14511581       169            2858           78   81   72   
68.67/68.77	c 3600           45974          1073348        14526858       169            2866           39   46   39   
68.77/68.81	c 3610           46013          1074202        14534971       169            2873           23   26   22   
68.87/68.95	c 3620           46185          1077583        14563258       169            2878           147   154   136
69.28/69.31	c 3630           46328          1081558        14633660       169            2888           60   134   71  
69.47/69.53	c 3640           46487          1085093        14682602       169            2898           55   149   104 
69.57/69.69	c 3650           46668          1088829        14715283       169            2900           145   151   133
69.77/69.85	c 3660           46826          1092395        14753085       169            2906           113   142   119
70.07/70.16	c 3670           46974          1095975        14816474       169            2916           59   138   92  
70.17/70.29	c 3680           47092          1098610        14841912       169            2924           44   107   80  
70.38/70.42	c 3690           47267          1102074        14874718       169            2927           138   149   132
70.67/70.70	c 3700           47388          1105437        14932148       169            2937           57   112   72  
70.77/70.86	c 3710           47547          1109341        14968627       169            2943           125   143   125
70.87/70.96	c 3720           47629          1111420        14989485       169            2946           43   70   59   
70.97/71.09	c 3730           47793          1114530        15021011       169            2954           144   149   132
71.37/71.42	c 3740           47938          1118406        15088391       169            2964           53   136   80  
71.57/71.66	c 3750           48091          1121663        15134411       169            2974           62   144   106 
71.87/71.91	c 3760           48210          1124850        15186502       169            2984           53   110   77  
72.16/72.28	c 3770           48367          1128815        15261987       169            2994           62   148   94  
72.46/72.59	c 3780           48507          1132583        15326252       169            3004           53   131   80  
72.96/73.00	c 3790           48609          1136378        15399921       169            3014           47   93   67   
73.06/73.15	c 3800           48784          1139750        15431472       169            3016           132   149   133
73.16/73.29	c 3810           48930          1142795        15460168       169            3024           56   133   105 
73.36/73.41	c 3820           49015          1144869        15487780       169            3031           57   76   62   
73.36/73.48	c 3830           49087          1146702        15504508       169            3038           43   58   48   
73.67/73.76	c 3840           49241          1150440        15562997       169            3048           41   145   103 
73.86/73.98	c 3850           49354          1153376        15609312       169            3058           53   104   76  
73.96/74.04	c 3860           49431          1154913        15623098       169            3064           59   64   55   
74.06/74.12	c 3870           49507          1156596        15639463       169            3070           59   64   57   
74.16/74.24	c 3880           49675          1159852        15665785       169            3075           143   150   133
74.36/74.42	c 3890           49800          1162769        15702365       169            3085           53   114   87  
74.46/74.54	c 3900           49952          1165760        15732280       169            3095           95   143   113 
74.66/74.75	c 3910           50087          1169033        15770596       169            3105           44   126   85  
74.77/74.81	c 3920           50145          1170513        15782416       169            3108           44   45   40   
74.96/75.08	c 3930           50293          1174483        15849819       169            3118           61   132   103 
75.16/75.29	c 3940           50427          1177444        15890695       169            3128           59   123   93  
75.46/75.57	c 3950           50545          1180810        15944679       169            3138           53   109   82  
75.76/75.80	c 3960           50696          1184379        15989921       169            3148           43   142   97  
75.76/75.90	c 3970           50785          1186324        16008889       169            3153           64   73   63   
75.97/76.02	c 3980           50949          1189605        16040339       169            3159           143   150   132
76.16/76.25	c 3990           51074          1192760        16081134       169            3169           43   116   83  
76.36/76.45	c 4000           51219          1196182        16123345       169            3179           89   136   98  
76.46/76.51	c 4001           51278          1197506        16136153       169            3180           59   59   29   
76.76/76.89	c 4010           51401          1201036        16206167       169            3189           47   115   62  
77.07/77.17	c 4020           51553          1204945        16263392       169            3198           53   142   100 
77.26/77.31	c 4030           51707          1208379        16292579       169            3208           138   144   128
77.46/77.56	c 4040           51825          1211548        16342414       169            3218           53   109   82  
77.66/77.70	c 4050           51989          1215034        16374210       169            3221           141   146   131
77.66/77.78	c 4060           52065          1216691        16389951       169            3227           59   65   58   
77.86/77.90	c 4070           52230          1219878        16417737       169            3234           144   150   131
77.96/78.05	c 4080           52379          1222948        16450135       169            3238           116   131   113
78.26/78.34	c 4090           52497          1226273        16506428       169            3248           53   109   83  
78.36/78.48	c 4100           52658          1229704        16534633       169            3249           144   148   131
78.46/78.57	c 4110           52748          1231629        16553964       169            3255           73   76   68   
78.66/78.77	c 4120           52931          1235283        16589832       169            3258           43   154   126 
78.86/78.92	c 4130           53027          1237638        16622938       169            3268           57   87   65   
78.96/79.06	c 4140           53186          1240911        16652509       169            3277           101   144   115
79.27/79.36	c 4150           53339          1244612        16714871       169            3287           59   143   94  
79.46/79.52	c 4160           53484          1247764        16747135       169            3297           44   136   96  
79.56/79.65	c 4170           53648          1250889        16774084       169            3300           144   147   132
79.76/79.86	c 4180           53793          1254170        16812408       169            3310           44   136   96  
79.86/79.94	c 4190           53876          1255978        16829887       169            3314           65   69   61   
79.96/80.06	c 4200           53977          1258136        16853052       169            3323           59   91   75   
80.27/80.38	c 4210           54132          1262269        16923622       169            3333           55   146   103 
80.56/80.65	c 4220           54269          1265733        16975257       169            3343           53   128   97  
80.66/80.79	c 4230           54441          1269374        17005938       169            3349           140   147   130
80.76/80.86	c 4240           54509          1271140        17020895       169            3350           52   54   48   
80.86/80.99	c 4250           54676          1274410        17048472       169            3358           138   151   132
81.16/81.20	c 4260           54828          1277803        17093038       169            3368           43   142   96  
81.56/81.61	c 4270           54932          1281606        17165655       169            3378           47   95   67   
81.66/81.76	c 4280           55106          1285121        17203259       169            3382           145   152   133
81.76/81.88	c 4290           55274          1288374        17231451       169            3386           133   147   130
81.86/81.97	c 4300           55351          1290342        17250527       169            3391           43   64   55   
82.16/82.28	c 4310           55462          1293677        17312914       169            3401           61   102   75  
82.47/82.55	c 4320           55593          1297193        17367010       169            3411           43   122   86  
82.57/82.70	c 4330           55748          1300628        17395285       169            3416           121   140   123
82.66/82.77	c 4340           55827          1302509        17411907       169            3423           52   68   57   
82.86/82.90	c 4350           55950          1305197        17437586       169            3431           86   110   85  
82.86/82.96	c 4360           56026          1306787        17453214       169            3437           49   57   47   
82.96/83.04	c 4370           56109          1308543        17470054       169            3441           65   69   60   
83.06/83.17	c 4380           56276          1311827        17500498       169            3449           140   148   130
83.36/83.46	c 4390           56421          1315503        17557853       169            3459           53   136   97  
83.67/83.71	c 4400           56543          1318730        17607464       169            3469           53   113   85  
83.96/84.03	c 4410           56702          1322385        17668329       169            3477           62   150   95  
84.16/84.26	c 4420           56852          1325813        17721941       169            3486           53   140   102 
84.36/84.40	c 4430           56995          1328894        17750603       169            3495           86   130   101 
84.56/84.70	c 4440           57128          1332557        17813138       169            3504           53   123   82  
84.77/84.85	c 4450           57286          1335970        17846046       169            3512           130   138   122
84.96/85.03	c 4460           57419          1339071        17883173       169            3521           106   123   106
85.06/85.11	c 4470           57503          1341128        17900997       169            3530           52   69   55   
85.36/85.40	c 4480           57635          1344606        17968755       169            3540           59   119   94  
85.46/85.54	c 4490           57724          1346868        17993508       169            3545           43   75   62   
85.56/85.65	c 4493           57874          1349947        18020232       169            3547           146   146   109
85.66/85.78	c 4500           58038          1353214        18048245       169            3551           142   147   127
85.96/86.02	c 4510           58171          1356580        18099164       169            3560           64   123   89  
86.06/86.19	c 4520           58332          1360162        18135219       169            3563           133   140   125
86.26/86.34	c 4530           58448          1362869        18163987       169            3571           44   102   78  
86.26/86.39	c 4540           58496          1364013        18174192       169            3578           33   38   31   
86.46/86.52	c 4550           58678          1367576        18205771       169            3583           146   153   137
86.66/86.74	c 4560           58815          1371040        18256512       169            3591           78   126   100 
86.87/86.94	c 4570           58950          1374151        18298569       169            3601           53   123   94  
86.97/87.09	c 4580           59069          1376782        18328575       169            3607           55   109   88  
87.06/87.16	c 4590           59146          1378442        18342989       169            3610           63   64   57   
87.36/87.42	c 4600           59307          1382302        18402757       169            3620           86   151   106 
87.46/87.56	c 4610           59474          1385695        18441809       169            3625           142   148   132
87.56/87.60	c 4620           59522          1386706        18451313       169            3628           34   37   32   
87.66/87.74	c 4630           59708          1390308        18482505       169            3631           147   154   137
87.86/87.93	c 4640           59841          1393332        18523587       169            3641           53   124   94  
87.86/88.00	c 4650           59911          1394830        18538143       169            3646           43   48   41   
88.26/88.32	c 4660           60070          1398611        18607493       169            3655           62   150   104 
88.46/88.52	c 4670           60217          1402037        18650879       169            3664           95   137   111 
88.76/88.80	c 4680           60358          1405688        18705480       169            3674           43   132   82  
88.86/88.94	c 4690           60476          1408322        18732489       169            3682           43   108   79  
88.96/89.08	c 4700           60627          1411554        18762084       169            3692           135   141   125
89.17/89.24	c 4710           60792          1415446        18794953       169            3696           138   143   128
89.36/89.49	c 4720           60937          1418822        18852002       169            3704           59   134   101 
89.66/89.72	c 4730           61082          1422343        18896283       169            3714           44   136   86  
89.76/89.84	c 4740           61198          1424988        18922597       169            3724           44   106   74  
89.86/89.96	c 4750           61355          1427988        18948145       169            3733           101   148   123
90.06/90.12	c 4760           61520          1431573        18985441       169            3740           134   140   125
90.17/90.22	c 4770           61596          1433554        19006110       169            3746           43   66   56   
90.27/90.37	c 4780           61761          1436836        19043051       169            3752           117   149   128
90.46/90.59	c 4790           61915          1440279        19091045       169            3762           53   143   104 
90.56/90.64	c 4800           61963          1441306        19100727       169            3766           35   37   32   
90.86/90.96	c 4810           62106          1445205        19163459       169            3776           54   134   80  
91.06/91.11	c 4820           62251          1448338        19196872       169            3784           95   136   111 
91.16/91.23	c 4830           62414          1451564        19224802       169            3792           141   147   130
91.27/91.38	c 4840           62593          1455211        19258404       169            3798           126   151   132
91.37/91.46	c 4850           62665          1456986        19275286       169            3807           47   59   50   
91.46/91.59	c 4860           62744          1458776        19320444       169            3814           32   65   44   
91.76/91.82	c 4870           62888          1462419        19386899       169            3824           119   126   111
92.06/92.11	c 4880           63031          1465739        19440485       169            3834           59   134   96  
92.26/92.30	c 4890           63172          1468734        19477092       169            3843           59   129   95  
92.47/92.56	c 4900           63311          1472284        19526782       169            3853           43   130   83  
92.76/92.80	c 4910           63470          1475942        19574617       169            3863           44   147   99  
92.96/93.07	c 4920           63610          1479512        19625861       169            3873           53   131   97  
93.16/93.28	c 4930           63771          1483190        19671181       169            3881           84   145   103 
93.36/93.44	c 4940           63929          1486527        19705787       169            3886           123   140   120
93.57/93.69	c 4950           64091          1490228        19752780       169            3894           44   150   106 
93.76/93.84	c 4960           64252          1493649        19787581       169            3898           135   144   126
93.86/93.92	c 4970           64332          1495388        19804297       169            3901           65   66   59   
93.96/94.04	c 4980           64498          1498446        19833042       169            3906           138   152   130
94.16/94.26	c 4990           64652          1501864        19881339       169            3915           53   144   103 
94.36/94.41	c 5035           64793          1504817        19917728       169            3933           40   76   56   
96.16/96.21	c 5631           66495          1543107        20414398       169            3951           43   150   142 
97.26/97.30	c 6286           68214          1575086        20642513       169            3985           96   151   142 
98.97/99.06	c 7006           70266          1615076        21051111       169            4077           44   155   134 
101.06/101.20	c 7798           72367          1664622        21732972       169            4118           59   149   139 
103.16/103.20	c 8669           75065          1717484        22122128       169            4125           122   148   141
104.76/104.89	c 9627           77285          1762445        22527427       169            4146           43   148   142 
106.36/106.50	c 10680          79980          1811859        22926504       169            4229           74   152   141 
108.66/108.72	c 11838          83343          1876277        23488299       169            4258           59   150   140 
112.06/112.17	c 13111          87598          1963595        24408380       169            4279           101   153   145
114.36/114.49	c 14511          91679          2043739        25052761       169            4292           94   149   140 
116.66/116.79	c 16051          96094          2120652        25741519       169            4318           59   150   143 
118.25/118.31	c 17745          100847         2194176        26192091       169            4351           43   150   142 
123.26/123.36	c 19608          105382         2292166        27176828       169            4426           43   145   131 
126.95/127.10	c 21657          110976         2388082        28078694       169            4557           46   147   134 
133.45/133.57	c 23910          117827         2515492        29301800       169            4638           47   145   119 
135.26/135.40	c 26388          123495         2596138        29920670       169            4667           43   150   143 
141.06/141.17	c 29113          131164         2733029        31064599       169            4742           43   149   137 
146.45/146.53	c 32110          140111         2898179        32982300       169            4841           35   149   139 
151.65/151.78	c 35406          148884         3052881        34266801       169            4921           44   153   142 
157.75/157.82	c 39031          160178         3253361        35845905       169            4954           88   150   141 
165.45/165.53	c 43018          172407         3494587        38110004       169            4990           61   150   141 
169.85/169.97	c 47403          187339         3716468        39607345       169            5017           59   153   146 
177.25/177.37	c 52226          202247         3990602        41536322       169            5042           44   152   144 
186.54/186.68	c 57531          216796         4272880        43638202       169            5080           43   150   141 
196.44/196.54	c 63366          236039         4595366        45925805       169            5137           43   154   143 
207.24/207.31	c 69784          253296         4910904        49454953       169            5173           65   152   143 
224.23/224.30	c 76843          275546         5334785        53664284       169            5286           43   147   135 
230.83/230.90	c 84607          296833         5664376        55817467       169            5333           43   155   142 
242.73/242.87	c 93147          324226         6133415        59086893       169            5373           43   154   144 
259.63/259.74	c 102541         350946         6659683        63937276       169            5388           44   152   139 
281.43/281.58	c 112874         381535         7322040        68505718       169            5419           44   150   140 
301.62/301.78	c 124240         414551         7952460        73833275       169            5460           84   150   143 
313.72/313.86	c 136742         446509         8544422        78804299       169            5503           63   152   143 
331.81/331.92	c 150494         488917         9234330        83869907       169            5528           63   154   143 
372.81/373.00	c 165621         533441         10033959       91210608       169            5676           66   147   133 
397.20/397.36	c 182260         586461         10866226       98634940       169            5702           63   156   147 
430.88/431.05	c 200562         643594         11857567       106214537      169            5732           43   153   142 
458.48/458.66	c 220694         703082         12833644       112505623      169            5768           63   153   142 
502.27/502.49	c 242839         763442         13936603       121357537      169            5819           43   149   137 
517.57/517.74	c 267198         833560         14938389       126973605      169            5842           84   153   143 
559.36/559.51	c 293992         911476         16282398       139399931      169            5873           61   154   142 
606.95/607.10	c 323465         988585         17902659       153833246      169            5931           63   151   143 
661.64/661.86	c 355885         1072888        19319580       166859234      169            6047           47   149   132 
748.82/749.01	c 391547         1189765        21604273       186586579      169            6145           43   151   140 
837.10/837.33	c 430775         1302585        23999154       215567760      169            6197           43   154   141 
959.98/960.26	c 473925         1425349        26572429       242664582      169            6263           63   147   135 
1070.65/1070.95	c 521390         1551460        28862839       261436997      169            6396           70   145   129 
1167.53/1167.86	c 573601         1733767        31973440       288136500      169            6467           43   153   138 
1245.71/1246.02	c 631033         1926603        35228966       310586552      169            6520           65   152   144 
1309.20/1309.57	c 694208         2119088        38383527       326820180      169            6615           43   152   141 
1415.08/1415.44	c 763700         2350477        42231859       360465098      169            6657           65   156   147 
1506.36/1506.70	c 840141         2566090        45991530       384001734      169            6722           43   152   139 
1716.51/1716.97	c 924226         2815737        50715380       425102367      169            6819           83   152   137 
1920.87/1921.31	c 1016719        3108588        56294164       489269563      169            6859           63   156   146 
1976.46/1976.99	c 1118461        3400839        60610408       503761749      169            6921           46   152   139 
2096.14/2096.64	c 1230377        3716791        66097150       540118373      169            6978           61   153   141 
2321.08/2321.61	c 1353484        4043958        72239803       588110849      169            7091           46   146   134

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242509-1500658132/watcher-4242509-1500658132 -o /tmp/evaluation-result-4242509-1500658132/solver-4242509-1500658132 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500648178-9847 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242509-1500658132.xml 

pid=11913
running on 8 cores: 1,3,5,7,9,11,13,15

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.05 3/242 11916
/proc/meminfo: memFree=31390988/32770624 swapFree=5868/20788
[pid=11916] ppid=11913 vsize=26992 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 943 0 0 0 0 0 0 0 20 0 1 0 1082845 27639808 766 33554432000 4194304 5970956 140726389897472 140726389894120 140699372526565 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 6748 766 686 434 0 112 0

[startup+0.100153 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11916
/proc/meminfo: memFree=31390988/32770624 swapFree=5868/20788
[pid=11916] ppid=11913 vsize=27752 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 1232 0 0 0 9 0 0 0 20 0 1 0 1082845 28418048 1049 33554432000 4194304 5970956 140726389897472 140726389891176 140699372526565 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 6938 1049 787 434 0 302 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27752

[startup+0.200294 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11916
/proc/meminfo: memFree=31390988/32770624 swapFree=5868/20788
[pid=11916] ppid=11913 vsize=28500 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 1422 0 0 0 19 0 0 0 20 0 1 0 1082845 29184000 1237 33554432000 4194304 5970956 140726389897472 140726389888952 140699372526565 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 7125 1237 788 434 0 489 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28500

[startup+0.300243 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11916
/proc/meminfo: memFree=31390988/32770624 swapFree=5868/20788
[pid=11916] ppid=11913 vsize=56624 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 6768 0 0 0 28 1 0 0 20 0 1 0 1082845 57982976 7588 33554432000 4194304 5970956 140726389897472 140726389894296 5274261 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 14156 7588 821 434 0 7520 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56624

[startup+0.70021 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 11916
/proc/meminfo: memFree=31390988/32770624 swapFree=5868/20788
[pid=11916] ppid=11913 vsize=139192 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 17701 0 0 0 66 2 0 0 20 0 1 0 1082845 142532608 25186 33554432000 4194304 5970956 140726389897472 140726389894536 140699372526565 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 34798 25186 838 434 0 28162 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 139192

[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11917
/proc/meminfo: memFree=31292668/32770624 swapFree=5868/20836
[pid=11916] ppid=11913 vsize=139800 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 17842 0 0 0 146 2 0 0 20 0 1 0 1082845 143155200 25318 33554432000 4194304 5970956 140726389897472 140726389894808 4977828 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 34950 25318 839 434 0 28314 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 139800

[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11917
/proc/meminfo: memFree=31291924/32770624 swapFree=5868/20836
[pid=11916] ppid=11913 vsize=140220 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 22575 0 0 0 306 3 0 0 20 0 1 0 1082845 143585280 25442 33554432000 4194304 5970956 140726389897472 140726389894808 4971838 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35055 25442 839 434 0 28419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 140220

[startup+6.30021 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 11917
/proc/meminfo: memFree=31291148/32770624 swapFree=5868/20888
[pid=11916] ppid=11913 vsize=140476 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 29773 0 0 0 625 3 0 0 20 0 1 0 1082845 143847424 25503 33554432000 4194304 5970956 140726389897472 140726389894808 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35119 25503 839 434 0 28483 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 140476

[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/243 11917
/proc/meminfo: memFree=31290652/32770624 swapFree=5868/20856
[pid=11916] ppid=11913 vsize=140604 CPUtime=12.67 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 38626 0 0 0 1264 3 0 0 20 0 1 0 1082845 143978496 25528 33554432000 4194304 5970956 140726389897472 140726389894808 5070073 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35151 25528 839 434 0 28515 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 140604

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/243 11917
/proc/meminfo: memFree=31290652/32770624 swapFree=5868/20876
[pid=11916] ppid=11913 vsize=140732 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 54357 0 0 0 2543 4 0 0 20 0 1 0 1082845 144109568 25558 33554432000 4194304 5970956 140726389897472 140726389894808 5069968 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35183 25558 839 434 0 28547 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 140732

[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/243 11917
/proc/meminfo: memFree=31290752/32770624 swapFree=5868/20920
[pid=11916] ppid=11913 vsize=140860 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 74756 0 0 0 5102 6 0 0 20 0 1 0 1082845 144240640 25593 33554432000 4194304 5970956 140726389897472 140726389894808 4974240 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35215 25593 839 434 0 28579 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 140860

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/243 11925
/proc/meminfo: memFree=31287484/32770624 swapFree=5868/21024
[pid=11916] ppid=11913 vsize=140988 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 93148 0 0 0 10221 6 0 0 20 0 1 0 1082845 144371712 26153 33554432000 4194304 5970956 140726389897472 140726389894808 4974671 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35247 26153 839 434 0 28611 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 140988

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/243 11926
/proc/meminfo: memFree=31287856/32770624 swapFree=5868/21112
[pid=11916] ppid=11913 vsize=141116 CPUtime=162.25 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 104389 0 0 0 16218 7 0 0 20 0 1 0 1082845 144502784 26163 33554432000 4194304 5970956 140726389897472 140726389894808 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26163 839 434 0 28643 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 141116

[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 11927
/proc/meminfo: memFree=31287732/32770624 swapFree=5868/21184
[pid=11916] ppid=11913 vsize=141116 CPUtime=222.24 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 113512 0 0 0 22217 7 0 0 20 0 1 0 1082845 144502784 26165 33554432000 4194304 5970956 140726389897472 140726389894808 5070819 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26165 839 434 0 28643 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 141116

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 11928
/proc/meminfo: memFree=31287980/32770624 swapFree=5868/21228
[pid=11916] ppid=11913 vsize=141116 CPUtime=282.23 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 122484 0 0 0 28215 8 0 0 20 0 1 0 1082845 144502784 26168 33554432000 4194304 5970956 140726389897472 140726389894808 5319919 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26168 839 434 0 28643 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 141116

[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/243 11929
/proc/meminfo: memFree=31288072/32770624 swapFree=5868/21304
[pid=11916] ppid=11913 vsize=141116 CPUtime=342.21 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 129894 0 0 0 34213 8 0 0 20 0 1 0 1082845 144502784 26168 33554432000 4194304 5970956 140726389897472 140726389894808 5243310 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26168 839 434 0 28643 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 141116

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/243 11930
/proc/meminfo: memFree=31287356/32770624 swapFree=5868/21356
[pid=11916] ppid=11913 vsize=141116 CPUtime=402.19 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 136880 0 0 0 40211 8 0 0 20 0 1 0 1082845 144502784 26170 33554432000 4194304 5970956 140726389897472 140726389894808 4971732 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26170 839 434 0 28643 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 141116

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 11931
/proc/meminfo: memFree=31285204/32770624 swapFree=5868/21400
[pid=11916] ppid=11913 vsize=141116 CPUtime=462.18 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 140508 0 0 0 46209 9 0 0 20 0 1 0 1082845 144502784 26182 33554432000 4194304 5970956 140726389897472 140726389894808 4971752 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26182 839 434 0 28643 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 141116

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11932
/proc/meminfo: memFree=31285452/32770624 swapFree=5868/21436
[pid=11916] ppid=11913 vsize=141116 CPUtime=522.17 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 141641 0 0 0 52208 9 0 0 20 0 1 0 1082845 144502784 26182 33554432000 4194304 5970956 140726389897472 140726389894808 5070892 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26182 839 434 0 28643 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 141116

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11933
/proc/meminfo: memFree=31286152/32770624 swapFree=5868/21488
[pid=11916] ppid=11913 vsize=141116 CPUtime=582.15 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 142752 0 0 0 58206 9 0 0 20 0 1 0 1082845 144502784 26182 33554432000 4194304 5970956 140726389897472 140726389894808 4964575 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26182 839 434 0 28643 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 141116


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


[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11964
/proc/meminfo: memFree=31285356/32770624 swapFree=5868/22052
[pid=11916] ppid=11913 vsize=141116 CPUtime=1481.96 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 155944 0 0 0 148186 10 0 0 20 0 1 0 1082845 144502784 26299 33554432000 4194304 5970956 140726389897472 140726389894808 5052093 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26299 839 434 0 28643 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 141116

[startup+1542.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 11965
/proc/meminfo: memFree=31286284/32770624 swapFree=5868/22104
[pid=11916] ppid=11913 vsize=141116 CPUtime=1541.96 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 157054 0 0 0 154186 10 0 0 20 0 1 0 1082845 144502784 26300 33554432000 4194304 5970956 140726389897472 140726389894808 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26300 839 434 0 28643 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 141116

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11967
/proc/meminfo: memFree=31285424/32770624 swapFree=5868/22156
[pid=11916] ppid=11913 vsize=141116 CPUtime=1601.94 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 157511 0 0 0 160184 10 0 0 20 0 1 0 1082845 144502784 26300 33554432000 4194304 5970956 140726389897472 140726389894808 5070101 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26300 839 434 0 28643 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 141116

[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 12034
/proc/meminfo: memFree=32007924/32770624 swapFree=5868/22260
[pid=11916] ppid=11913 vsize=141116 CPUtime=1661.92 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 157963 0 0 0 166182 10 0 0 20 0 1 0 1082845 144502784 26300 33554432000 4194304 5970956 140726389897472 140726389894808 5070791 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26300 839 434 0 28643 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 141116

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 12035
/proc/meminfo: memFree=32005824/32770624 swapFree=5868/22296
[pid=11916] ppid=11913 vsize=141116 CPUtime=1721.91 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 159094 0 0 0 172181 10 0 0 20 0 1 0 1082845 144502784 26300 33554432000 4194304 5970956 140726389897472 140726389894808 4977079 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26300 839 434 0 28643 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 141116

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 12037
/proc/meminfo: memFree=32005948/32770624 swapFree=5868/22344
[pid=11916] ppid=11913 vsize=141116 CPUtime=1781.9 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 159525 0 0 0 178180 10 0 0 20 0 1 0 1082845 144502784 26300 33554432000 4194304 5970956 140726389897472 140726389894808 4971781 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26300 839 434 0 28643 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 141116

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12038
/proc/meminfo: memFree=32005760/32770624 swapFree=5868/22388
[pid=11916] ppid=11913 vsize=141116 CPUtime=1841.89 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 159955 0 0 0 184179 10 0 0 20 0 1 0 1082845 144502784 26300 33554432000 4194304 5970956 140726389897472 140726389894808 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26300 839 434 0 28643 0
Current children cumulated CPU time (s) 1841.89
Current children cumulated vsize (KiB) 141116

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12046
/proc/meminfo: memFree=32006356/32770624 swapFree=5868/22428
[pid=11916] ppid=11913 vsize=141116 CPUtime=1901.87 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 160360 0 0 0 190177 10 0 0 20 0 1 0 1082845 144502784 26300 33554432000 4194304 5970956 140726389897472 140726389894808 5070776 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26300 839 434 0 28643 0
Current children cumulated CPU time (s) 1901.87
Current children cumulated vsize (KiB) 141116

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 12070
/proc/meminfo: memFree=32005960/32770624 swapFree=5868/22480
[pid=11916] ppid=11913 vsize=141116 CPUtime=1961.86 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 161465 0 0 0 196176 10 0 0 20 0 1 0 1082845 144502784 26301 33554432000 4194304 5970956 140726389897472 140726389894808 4977147 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26301 839 434 0 28643 0
Current children cumulated CPU time (s) 1961.86
Current children cumulated vsize (KiB) 141116

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 12071
/proc/meminfo: memFree=32005400/32770624 swapFree=5868/22520
[pid=11916] ppid=11913 vsize=141116 CPUtime=2021.85 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 162566 0 0 0 202175 10 0 0 20 0 1 0 1082845 144502784 26302 33554432000 4194304 5970956 140726389897472 140726389894808 5070879 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26302 839 434 0 28643 0
Current children cumulated CPU time (s) 2021.85
Current children cumulated vsize (KiB) 141116

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 12072
/proc/meminfo: memFree=32005276/32770624 swapFree=5868/22556
[pid=11916] ppid=11913 vsize=141116 CPUtime=2081.84 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 162974 0 0 0 208174 10 0 0 20 0 1 0 1082845 144502784 26302 33554432000 4194304 5970956 140726389897472 140726389894808 4970597 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26302 839 434 0 28643 0
Current children cumulated CPU time (s) 2081.84
Current children cumulated vsize (KiB) 141116

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 12073
/proc/meminfo: memFree=32005832/32770624 swapFree=5868/22608
[pid=11916] ppid=11913 vsize=141116 CPUtime=2141.82 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 164123 0 0 0 214172 10 0 0 20 0 1 0 1082845 144502784 26302 33554432000 4194304 5970956 140726389897472 140726389894808 5071000 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26302 839 434 0 28643 0
Current children cumulated CPU time (s) 2141.82
Current children cumulated vsize (KiB) 141116

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 12074
/proc/meminfo: memFree=32006320/32770624 swapFree=5868/22644
[pid=11916] ppid=11913 vsize=141116 CPUtime=2201.82 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 164547 0 0 0 220172 10 0 0 20 0 1 0 1082845 144502784 26302 33554432000 4194304 5970956 140726389897472 140726389894808 4974684 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26302 839 434 0 28643 0
Current children cumulated CPU time (s) 2201.82
Current children cumulated vsize (KiB) 141116

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12075
/proc/meminfo: memFree=32006124/32770624 swapFree=5868/22668
[pid=11916] ppid=11913 vsize=141116 CPUtime=2261.8 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 165001 0 0 0 226170 10 0 0 20 0 1 0 1082845 144502784 26302 33554432000 4194304 5970956 140726389897472 140726389894808 4976698 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26302 839 434 0 28643 0
Current children cumulated CPU time (s) 2261.8
Current children cumulated vsize (KiB) 141116

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12076
/proc/meminfo: memFree=32006396/32770624 swapFree=5868/22700
[pid=11916] ppid=11913 vsize=141116 CPUtime=2321.78 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 166127 0 0 0 232168 10 0 0 20 0 1 0 1082845 144502784 26303 33554432000 4194304 5970956 140726389897472 140726389894808 4964518 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26303 839 434 0 28643 0
Current children cumulated CPU time (s) 2321.78
Current children cumulated vsize (KiB) 141116

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12077
/proc/meminfo: memFree=32004760/32770624 swapFree=5868/22740
[pid=11916] ppid=11913 vsize=141116 CPUtime=2381.77 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 166610 0 0 0 238167 10 0 0 20 0 1 0 1082845 144502784 26303 33554432000 4194304 5970956 140726389897472 140726389894808 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26303 839 434 0 28643 0
Current children cumulated CPU time (s) 2381.77
Current children cumulated vsize (KiB) 141116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12077
/proc/meminfo: memFree=32005008/32770624 swapFree=5868/22752
[pid=11916] ppid=11913 vsize=141116 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/11916/stat : 11916 (cosoco) R 11913 11916 9815 0 -1 4202496 167017 0 0 0 239996 10 0 0 20 0 1 0 1082845 144502784 26303 33554432000 4194304 5970956 140726389897472 140726389894808 4908988 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 19582976 140726389900476 140726389900611 140726389900611 140726389903310 0
/proc/11916/statm: 35279 26303 839 434 0 28643 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 141116

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

Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.08
CPU user time (s): 2399.97
CPU system time (s): 0.110976
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 141116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.110976
maximum resident set size= 105256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167044
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= 10
involuntary context switches= 120654

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29837 second user time and 10.6598 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-21 19:28:52
IDJOB=4242509
IDBENCH=134602
IDSOLVER=2621
FILE ID=node104/4242509-1500658132
RUNJOBID= node104-1500648178-9847
PBS_JOBID= 20623310
Free space on /tmp= 62012 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-13-int.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242509-1500658132/watcher-4242509-1500658132 -o /tmp/evaluation-result-4242509-1500658132/solver-4242509-1500658132 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500648178-9847 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242509-1500658132.xml

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

MD5SUM BENCH= 5aa475b3f1257aceb66c8baaa9eb8eb1
RANDOM SEED=996016287

node104.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	: 5334.12
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		: 2400.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.57
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	: 5334.12
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.57
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	: 5334.12
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.57
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	: 5334.12
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
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		: 2133.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.57
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		: 1867.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	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
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		: 2668.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	: 5334.12
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31391432 kB
MemAvailable:   31310640 kB
Buffers:           76740 kB
Cached:           103536 kB
SwapCached:          264 kB
Active:           878868 kB
Inactive:          80988 kB
Active(anon):     731176 kB
Inactive(anon):    60200 kB
Active(file):     147692 kB
Inactive(file):    20788 kB
Unevictable:        5868 kB
Mlocked:            5868 kB
SwapTotal:      67108860 kB
SwapFree:       67105460 kB
Dirty:              2000 kB
Writeback:             0 kB
AnonPages:        785420 kB
Mapped:            30384 kB
Shmem:              8772 kB
Slab:             109644 kB
SReclaimable:      76356 kB
SUnreclaim:        33288 kB
KernelStack:        4240 kB
PageTables:         6960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1154196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    718848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62012 MiB
End job on node104 at 2017-07-21 20:08:52