Trace number 4242966

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.06 2401.1

General information on the benchmark

NameSuperSolutions/SuperSolutions-Queens-s1/
SuperQueens-14.xml
MD5SUMe8698b72f1d598ed72051801219b61cc
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of constraints9560
Number of domains1
Minimum domain size80
Maximum domain size80
Distribution of domain sizes[{"size":80,"count":160}]
Minimum variable degree80
Maximum variable degree159
Distribution of variable degrees[{"degree":80,"count":80},{"degree":159,"count":80}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":9560}]
Number of extensional constraints0
Number of intensional constraints9560
Distribution of constraint types[{"type":"intension","count":9560}]
Optimization problemNO
Type of objective

Solver Data 

10.29/10.40	c intension x[0] != x[1]  using generic constraint 
10.39/10.40	c intension x[2] != x[3]  using generic constraint 
10.39/10.40	c intension x[4] != x[5]  using generic constraint 
10.39/10.40	c intension x[6] != x[7]  using generic constraint 
10.39/10.40	c intension x[8] != x[9]  using generic constraint 
10.39/10.40	c intension x[10] != x[11]  using generic constraint 
10.39/10.40	c intension x[12] != x[13]  using generic constraint 
10.39/10.40	c intension x[14] != x[15]  using generic constraint 
10.39/10.40	c intension x[16] != x[17]  using generic constraint 
10.39/10.40	c intension x[18] != x[19]  using generic constraint 
10.39/10.41	c intension x[20] != x[21]  using generic constraint 
10.39/10.41	c intension x[22] != x[23]  using generic constraint 
10.39/10.41	c intension x[24] != x[25]  using generic constraint 
10.39/10.41	c intension x[26] != x[27]  using generic constraint 
10.39/10.41	c intension x[28] != x[29]  using generic constraint 
10.39/10.41	c intension x[30] != x[31]  using generic constraint 
10.39/10.41	c intension x[32] != x[33]  using generic constraint 
10.39/10.41	c intension x[34] != x[35]  using generic constraint 
10.39/10.41	c intension x[36] != x[37]  using generic constraint 
10.39/10.41	c intension x[38] != x[39]  using generic constraint 
10.39/10.42	c intension x[40] != x[41]  using generic constraint 
10.39/10.42	c intension x[42] != x[43]  using generic constraint 
10.39/10.42	c intension x[44] != x[45]  using generic constraint 
10.39/10.42	c intension x[46] != x[47]  using generic constraint 
10.39/10.42	c intension x[48] != x[49]  using generic constraint 
10.39/10.42	c intension x[50] != x[51]  using generic constraint 
10.39/10.42	c intension x[52] != x[53]  using generic constraint 
10.39/10.42	c intension x[54] != x[55]  using generic constraint 
10.39/10.42	c intension x[56] != x[57]  using generic constraint 
10.39/10.42	c intension x[58] != x[59]  using generic constraint 
10.39/10.42	c intension x[60] != x[61]  using generic constraint 
10.39/10.43	c intension x[62] != x[63]  using generic constraint 
10.39/10.43	c intension x[64] != x[65]  using generic constraint 
10.39/10.43	c intension x[66] != x[67]  using generic constraint 
10.39/10.43	c intension x[68] != x[69]  using generic constraint 
10.39/10.43	c intension x[70] != x[71]  using generic constraint 
10.39/10.43	c intension x[72] != x[73]  using generic constraint 
10.39/10.43	c intension x[74] != x[75]  using generic constraint 
10.39/10.43	c intension x[76] != x[77]  using generic constraint 
10.39/10.43	c intension x[78] != x[79]  using generic constraint 
10.39/10.43	c intension x[80] != x[81]  using generic constraint 
10.39/10.44	c intension x[82] != x[83]  using generic constraint 
10.39/10.44	c intension x[84] != x[85]  using generic constraint 
10.39/10.44	c intension x[86] != x[87]  using generic constraint 
10.39/10.44	c intension x[88] != x[89]  using generic constraint 
10.39/10.44	c intension x[90] != x[91]  using generic constraint 
10.39/10.44	c intension x[92] != x[93]  using generic constraint 
10.39/10.44	c intension x[94] != x[95]  using generic constraint 
10.39/10.44	c intension x[96] != x[97]  using generic constraint 
10.39/10.44	c intension x[98] != x[99]  using generic constraint 
10.39/10.44	c intension x[100] != x[101]  using generic constraint 
10.39/10.45	c intension x[102] != x[103]  using generic constraint 
10.39/10.45	c intension x[104] != x[105]  using generic constraint 
10.39/10.45	c intension x[106] != x[107]  using generic constraint 
10.39/10.45	c intension x[108] != x[109]  using generic constraint 
10.39/10.45	c intension x[110] != x[111]  using generic constraint 
10.39/10.45	c intension x[112] != x[113]  using generic constraint 
10.39/10.45	c intension x[114] != x[115]  using generic constraint 
10.39/10.45	c intension x[116] != x[117]  using generic constraint 
10.39/10.45	c intension x[118] != x[119]  using generic constraint 
10.39/10.45	c intension x[120] != x[121]  using generic constraint 
10.39/10.46	c intension x[122] != x[123]  using generic constraint 
10.39/10.46	c intension x[124] != x[125]  using generic constraint 
10.39/10.46	c intension x[126] != x[127]  using generic constraint 
10.39/10.46	c intension x[128] != x[129]  using generic constraint 
10.39/10.46	c intension x[130] != x[131]  using generic constraint 
10.39/10.46	c intension x[132] != x[133]  using generic constraint 
10.39/10.46	c intension x[134] != x[135]  using generic constraint 
10.39/10.46	c intension x[136] != x[137]  using generic constraint 
10.39/10.46	c intension x[138] != x[139]  using generic constraint 
10.39/10.46	c intension x[140] != x[141]  using generic constraint 
10.39/10.47	c intension x[142] != x[143]  using generic constraint 
10.39/10.47	c intension x[144] != x[145]  using generic constraint 
10.39/10.47	c intension x[146] != x[147]  using generic constraint 
10.39/10.47	c intension x[148] != x[149]  using generic constraint 
10.39/10.47	c intension x[150] != x[151]  using generic constraint 
10.39/10.47	c intension x[152] != x[153]  using generic constraint 
10.39/10.47	c intension x[154] != x[155]  using generic constraint 
10.39/10.47	c intension x[156] != x[157]  using generic constraint 
10.39/10.47	c intension x[158] != x[159]  using generic constraint 
10.48/10.52	c SAT : Variables: 12800 -- Clauses: 505760
10.69/10.72	c root propagations     : 0           
10.69/10.72	c restarts enabled, print stats at every restarts
10.69/10.72	c
10.69/10.72	c
10.69/10.72	c
10.69/10.72	c This is cosoco 1.0 --  
10.69/10.72	c
10.69/10.72	c ========================================[ Problem Statistics ]===========================================
10.69/10.72	c |                                                                                                       
10.69/10.72	c |  Parse time        :        10.48 s 
10.69/10.72	c |
10.69/10.72	c |               Variables: 160
10.69/10.72	c |            Domain Sizes: 80..80
10.69/10.72	c |
10.69/10.72	c |             Constraints: 9560
10.69/10.72	c |                   Arity: 2..2  -- Binary: 9560
10.69/10.72	c | 
10.69/10.72	c |                   Types: 
10.69/10.72	c |                          (X != Y): 80
10.69/10.72	c |                          Intension: 9480
10.69/10.72	c |                          
10.69/10.72	c =========================================================================================================
10.69/10.72	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
13.19/13.25	c 10             78             540336         12576          0              1              61   64   57   
15.99/16.06	c 20             182            1127336        26362          0              4              77   80   71   
18.79/18.81	c 30             264            1668068        40600          0              9              58   70   57   
21.48/21.57	c 40             344            2204600        55810          0              13             60   62   55   
24.19/24.26	c 50             439            2741799        69014          0              14             74   78   68   
26.88/26.97	c 60             529            3289471        81301          0              20             68   71   63   
29.58/29.69	c 70             617            3837066        94038          0              23             66   69   61   
32.38/32.42	c 80             707            4391279        107163         0              28             67   69   61   
35.08/35.19	c 90             797            4952212        119892         0              29             73   75   67   
37.78/37.89	c 100            885            5502244        132226         0              33             68   71   63   
40.47/40.53	c 101            952            5996399        142407         0              34             67   67   33   
43.17/43.25	c 110            1045           6554086        155930         0              36             69   73   63   
45.87/45.97	c 120            1140           7109867        168948         0              39             71   74   66   
48.58/48.62	c 130            1222           7650293        182545         0              41             64   67   59   
51.27/51.38	c 140            1321           8251444        197884         0              46             64   70   60   
53.88/53.98	c 150            1407           8771574        210614         0              49             62   70   59   
56.57/56.62	c 160            1485           9294788        223115         0              55             58   61   54   
59.17/59.26	c 170            1565           9831060        236614         0              58             62   64   57   
61.77/61.89	c 180            1655           10374136       250135         0              61             63   69   60   
64.47/64.52	c 190            1743           10908644       262698         0              64             66   70   61   
67.07/67.17	c 200            1824           11438290       276229         0              68             62   66   58   
69.76/69.86	c 210            1910           11989547       289769         0              70             63   66   58   
72.36/72.45	c 211            1974           12474385       300100         0              71             64   64   32   
74.96/75.07	c 220            2056           13007990       312729         0              73             64   66   59   
77.66/77.70	c 230            2141           13550382       325545         0              75             65   68   60   
80.26/80.36	c 240            2231           14111741       338950         0              80             68   71   62   
82.85/82.99	c 250            2314           14646216       351862         0              81             64   67   59   
85.55/85.64	c 260            2404           15190898       364195         0              83             68   73   63   
88.15/88.23	c 270            2489           15721541       376842         0              85             64   67   59   
90.75/90.86	c 280            2586           16269570       390392         0              90             65   71   62   
93.35/93.45	c 290            2679           16791039       404225         0              92             58   68   56   
96.05/96.15	c 300            2776           17373218       419443         0              95             65   71   61   
98.65/98.75	c 310            2857           17900941       432258         0              97             64   65   58   
101.34/101.40	c 320            2946           18451513       444945         0              99             68   70   62   
103.94/104.06	c 330            3043           19004234       458744         0              101            71   74   65   
106.54/106.63	c 332            3107           19492215       469755         0              102            61   62   41   
109.24/109.30	c 340            3201           20048846       484416         0              108            63   69   59   
111.84/111.95	c 350            3285           20575003       497718         0              110            60   68   59   
114.45/114.58	c 360            3366           21093948       511685         0              112            55   61   53   
117.14/117.29	c 370            3460           21659642       527477         0              115            58   67   57   
119.84/119.98	c 380            3538           22193539       542012         0              116            58   60   53   
122.53/122.62	c 390            3622           22724176       555355         0              120            57   62   53   
125.13/125.23	c 400            3707           23252456       569464         0              126            60   65   56   
127.73/127.84	c 410            3784           23781073       582466         0              130            58   60   53   
130.33/130.47	c 420            3864           24322873       595045         0              133            62   65   57   
132.93/133.04	c 430            3944           24841043       607846         0              136            59   64   54   
135.53/135.65	c 440            4025           25383492       620922         0              139            64   65   58   
138.13/138.24	c 450            4111           25921230       633376         0              140            62   67   58   
140.83/140.95	c 460            4199           26503728       647581         0              146            62   65   57   
143.33/143.48	c 465            4271           27008116       658653         0              148            63   66   53   
145.93/146.08	c 470            4345           27526877       670296         0              149            66   67   55   
148.63/148.73	c 480            4427           28072269       683181         0              153            64   66   58   
151.23/151.38	c 490            4516           28628036       697705         0              157            62   67   58   
153.94/154.07	c 500            4607           29197287       711557         0              161            65   69   60   
156.63/156.79	c 510            4707           29782081       726347         0              167            64   71   61   
159.33/159.48	c 520            4802           30337447       739627         0              170            66   74   63   
162.02/162.14	c 530            4895           30872783       754785         0              172            57   70   59   
164.62/164.73	c 540            4972           31398449       768422         0              176            56   59   52   
167.23/167.38	c 550            5065           31947367       781970         0              178            65   71   62   
169.92/170.07	c 560            5154           32507240       796527         0              180            57   63   55   
172.63/172.71	c 570            5228           33025450       809406         0              184            57   60   53   
175.22/175.39	c 580            5329           33594591       824597         0              186            67   72   63   
177.91/178.02	c 590            5414           34126611       837579         0              189            63   65   57   
180.51/180.66	c 600            5498           34670427       851375         0              193            59   63   55   
183.11/183.28	c 610            5596           35217854       864359         0              196            65   68   60   
185.71/185.80	c 611            5657           35693445       874689         0              197            61   61   30   
188.31/188.45	c 620            5741           36221674       887280         0              203            59   64   55   
191.01/191.13	c 630            5827           36774765       899801         0              205            66   69   61   
193.61/193.77	c 640            5909           37312220       912945         0              208            62   64   57   
196.31/196.42	c 650            5999           37861976       926138         0              209            61   65   57   
198.91/199.10	c 660            6089           38417258       940915         0              211            64   70   59   
201.61/201.72	c 670            6169           38945842       953036         0              214            64   65   58   
204.31/204.40	c 680            6253           39497350       966551         0              219            63   65   58   
206.91/207.07	c 690            6338           40030203       981673         0              224            56   64   54   
209.61/209.78	c 700            6431           40600315       995710         0              229            71   74   65   
212.40/212.51	c 710            6524           41178603       1008906        0              233            72   74   65   
215.00/215.10	c 720            6602           41691049       1023432        0              235            56   61   54   
217.60/217.73	c 730            6689           42230460       1037241        0              236            65   68   60   
220.30/220.41	c 740            6784           42782762       1053190        0              240            65   69   61   
223.00/223.10	c 750            6864           43317957       1068052        0              242            56   59   52   
225.60/225.70	c 760            6938           43831669       1081487        0              245            57   58   52   
228.19/228.34	c 770            7030           44376087       1095272        0              248            70   72   64   
230.69/230.89	c 771            7088           44839645       1105291        0              249            58   58   29   
233.39/233.52	c 780            7177           45384782       1117851        0              251            71   74   65   
235.99/236.14	c 790            7258           45924442       1130885        0              253            60   62   55   
238.70/238.87	c 800            7361           46523706       1145154        0              255            72   76   66   
241.39/241.50	c 810            7443           47062809       1158322        0              256            62   65   57   
243.99/244.14	c 820            7524           47612256       1171694        0              258            63   65   57   
246.58/246.72	c 830            7603           48129379       1184478        0              263            62   64   57   
249.18/249.39	c 840            7695           48694147       1197649        0              265            71   73   65   
251.79/252.00	c 850            7775           49217714       1210512        0              267            61   65   56   
254.38/254.59	c 860            7850           49739134       1223387        0              272            58   60   53   
256.98/257.19	c 870            7930           50266756       1236164        0              275            59   63   55   
259.58/259.76	c 880            8007           50781479       1248561        0              280            62   64   57   
262.28/262.40	c 890            8090           51331841       1261936        0              282            61   63   57   
264.87/265.06	c 900            8180           51890689       1275536        0              285            72   72   65   
267.47/267.67	c 910            8287           52435208       1289371        0              288            63   72   62   
270.17/270.32	c 920            8367           52956656       1302317        0              290            61   64   56   
272.87/273.00	c 930            8465           53511417       1315511        0              294            63   71   61   
275.57/275.70	c 940            8565           54066770       1328640        0              299            64   75   61   
278.07/278.29	c 947            8658           54599034       1340968        0              301            70   73   62   
280.77/280.91	c 950            8726           55101541       1351931        0              302            65   65   48   
283.37/283.57	c 960            8805           55630037       1364599        0              304            61   64   56   
286.06/286.26	c 970            8909           56195736       1378881        0              306            63   70   60   
288.76/288.96	c 980            8994           56744055       1392247        0              310            66   69   61   
291.37/291.57	c 990            9077           57285795       1405593        0              313            61   64   57   
293.96/294.18	c 1000           9159           57826161       1418316        0              314            65   67   60   
296.66/296.81	c 1010           9243           58374564       1432672        0              316            61   65   56   
299.36/299.50	c 1020           9334           58936177       1446397        0              320            71   74   65   
301.96/302.18	c 1030           9428           59515611       1460606        0              324            67   70   62   
304.67/304.81	c 1040           9520           60066978       1473701        0              325            72   75   67   
307.26/307.46	c 1050           9604           60613634       1486412        0              327            63   67   59   
309.96/310.11	c 1060           9691           61175425       1499258        0              329            67   69   61   
312.56/312.74	c 1070           9778           61723793       1511923        0              332            70   72   64   
315.16/315.36	c 1080           9861           62262683       1525423        0              335            60   65   57   
317.86/318.04	c 1090           9957           62847995       1539854        0              338            67   73   63   
320.45/320.66	c 1100           10049          63396132       1552959        0              340            67   73   65   
323.15/323.33	c 1110           10138          63951453       1565855        0              343            66   71   62   
325.85/326.03	c 1120           10238          64536164       1580455        0              345            67   72   63   
328.55/328.73	c 1130           10339          65103943       1595019        0              347            62   68   59   
331.25/331.46	c 1140           10443          65676293       1608750        0              348            71   75   67   
333.75/333.97	c 1141           10504          66149076       1619030        0              349            61   61   30   
336.35/336.57	c 1150           10589          66676667       1633152        0              353            59   65   56   
339.05/339.23	c 1160           10671          67234597       1647312        0              356            58   61   53   
341.64/341.83	c 1170           10750          67766467       1660760        0              361            59   62   55   
344.25/344.44	c 1180           10825          68292495       1674053        0              367            56   59   52   
346.84/347.01	c 1190           10904          68806716       1688250        0              371            57   63   54   
349.44/349.67	c 1200           10998          69379234       1701595        0              373            70   74   65   
352.14/352.33	c 1210           11094          69928553       1715399        0              378            56   70   55   
354.74/354.95	c 1220           11177          70459915       1728952        0              383            58   60   53   
357.34/357.57	c 1230           11254          70978697       1741773        0              389            56   58   51   
360.03/360.23	c 1240           11349          71543412       1755487        0              392            65   73   62   
362.63/362.87	c 1250           11450          72090593       1769325        0              395            58   70   56   
365.33/365.51	c 1260           11539          72630754       1784450        0              398            59   63   55   
367.93/368.16	c 1270           11634          73185214       1797663        0              402            63   69   60   
370.64/370.81	c 1280           11729          73750372       1810815        0              406            71   74   65   
373.23/373.45	c 1290           11824          74306451       1823696        0              407            71   73   65   
375.83/376.09	c 1300           11917          74834552       1836321        0              410            58   73   61   
378.52/378.71	c 1310           12005          75387405       1849016        0              412            66   69   61   
381.12/381.35	c 1320           12093          75940116       1861860        0              414            69   70   63   
383.73/383.99	c 1330           12190          76494603       1875180        0              417            69   72   64   
386.42/386.68	c 1340           12291          77061095       1888942        0              422            70   74   65   
389.12/389.32	c 1350           12386          77625256       1902239        0              427            73   76   67   
391.72/391.90	c 1352           12460          78131689       1913150        0              429            70   73   47   
394.32/394.55	c 1360           12557          78683081       1926539        0              430            69   73   63   
396.92/397.19	c 1370           12636          79205302       1939729        0              434            61   63   56   
399.61/399.82	c 1380           12719          79746351       1952423        0              439            63   64   57   
402.31/402.52	c 1390           12824          80321868       1966578        0              444            69   72   64   
404.91/405.16	c 1400           12906          80865021       1979646        0              447            63   66   58   
407.52/407.77	c 1410           12988          81400599       1992409        0              450            60   63   55   
410.12/410.39	c 1420           13069          81942549       2005298        0              453            62   65   57   
412.81/413.04	c 1430           13158          82502292       2019598        0              456            65   68   60   
415.41/415.65	c 1440           13239          83032109       2032358        0              458            65   68   60   
418.01/418.27	c 1450           13320          83552130       2044826        0              460            61   63   56   
420.61/420.86	c 1460           13397          84069326       2057497        0              463            58   61   54   
423.21/423.45	c 1470           13478          84593270       2070156        0              468            65   68   60   
425.81/426.09	c 1480           13566          85150356       2083917        0              473            69   71   63   
428.51/428.75	c 1490           13664          85718278       2098852        0              478            64   72   61   
431.20/431.40	c 1500           13761          86279060       2111755        0              481            66   74   63   
433.90/434.11	c 1510           13856          86842420       2125157        0              483            69   73   64   
436.51/436.80	c 1520           13950          87423100       2140934        0              485            64   67   58   
439.10/439.39	c 1530           14037          87946160       2154512        0              486            65   72   61   
441.80/442.01	c 1540           14124          88472760       2167369        0              489            59   65   55   
444.50/444.73	c 1550           14227          89046857       2181122        0              494            76   78   69   
447.20/447.44	c 1560           14316          89611255       2195594        0              495            61   68   57   
449.80/450.04	c 1570           14411          90154141       2208167        0              497            71   75   66   
452.39/452.68	c 1580           14499          90706065       2221607        0              501            70   71   64   
454.99/455.25	c 1585           14567          91208142       2232847        0              504            62   62   51   
457.59/457.82	c 1590           14640          91719639       2244715        0              505            63   66   53   
460.19/460.42	c 1600           14721          92250615       2257271        0              510            61   64   56   
462.79/463.01	c 1610           14805          92788351       2270868        0              512            63   66   58   
465.39/465.62	c 1620           14890          93329522       2284560        0              516            63   67   58   
467.99/468.24	c 1630           14978          93875003       2297390        0              521            69   72   64   
470.59/470.85	c 1640           15059          94416871       2310142        0              523            61   64   56   
473.19/473.49	c 1650           15136          94941529       2322572        0              524            62   64   57   
475.78/476.06	c 1660           15217          95454918       2334914        0              527            60   63   55   
478.48/478.74	c 1670           15310          96005888       2348280        0              528            64   68   59   
481.18/481.40	c 1680           15390          96542269       2361756        0              532            62   64   56   
483.68/484.00	c 1690           15477          97086182       2375101        0              533            67   69   62   
486.38/486.66	c 1700           15559          97623542       2388433        0              536            60   64   56   
488.98/489.23	c 1710           15640          98154839       2401712        0              541            63   66   58   
491.59/491.88	c 1720           15726          98715337       2415961        0              544            61   66   57   
494.18/494.47	c 1730           15805          99244103       2428550        0              546            62   63   56   
496.88/497.12	c 1740           15904          99802426       2444226        0              548            60   68   58   
499.48/499.79	c 1750           15999          100353512      2458009        0              552            69   74   64   
502.18/502.46	c 1760           16090          100931390      2471743        0              555            66   69   61   
504.78/505.02	c 1770           16168          101450058      2484296        0              559            61   64   56   
507.37/507.62	c 1780           16251          101992539      2497440        0              562            65   67   60   
509.97/510.23	c 1790           16337          102533175      2510564        0              564            60   63   55   
512.57/512.83	c 1800           16417          103063689      2523762        0              565            61   66   56   
515.17/515.44	c 1810           16504          103621617      2537158        0              571            64   67   59   
517.77/518.00	c 1820           16582          104146966      2550476        0              572            61   62   56   
520.37/520.69	c 1830           16681          104717484      2564485        0              575            72   78   67   
523.07/523.32	c 1840           16783          105285028      2578746        0              578            64   71   60   
525.57/525.87	c 1841           16852          105787459      2589245        0              579            69   69   34   
528.16/528.49	c 1850           16942          106342697      2602155        0              583            69   72   62   
530.76/531.04	c 1860           17019          106846256      2615256        0              585            56   60   53   
533.46/533.72	c 1870           17109          107407318      2628727        0              588            69   72   64   
536.06/536.38	c 1880           17213          107973604      2643115        0              592            65   73   62   
538.86/539.12	c 1890           17311          108544716      2657482        0              595            67   72   63   
541.45/541.70	c 1900           17384          109051099      2670126        0              598            57   59   52   
544.15/544.41	c 1910           17480          109640130      2684576        0              601            67   71   62   
546.75/547.08	c 1920           17566          110180550      2697594        0              604            66   70   62   
549.46/549.74	c 1930           17656          110748127      2710642        0              609            67   69   62   
552.06/552.32	c 1940           17738          111274997      2723090        0              610            66   69   61   
554.75/555.03	c 1950           17840          111867983      2737565        0              612            73   75   67   
557.46/557.74	c 1960           17942          112446888      2752588        0              616            64   73   61   
560.15/560.42	c 1970           18038          113005034      2767012        0              619            58   66   55   
562.85/563.12	c 1980           18125          113561505      2780987        0              622            69   72   63   
565.45/565.79	c 1990           18227          114125084      2794522        0              625            64   73   62   
568.15/568.42	c 2000           18319          114667196      2807195        0              631            65   77   65   
570.85/571.11	c 2010           18425          115257021      2822222        0              633            65   74   63   
573.45/573.74	c 2020           18513          115797404      2834686        0              635            68   72   63   
576.04/576.33	c 2030           18604          116336191      2848542        0              641            61   67   59   
578.64/578.97	c 2040           18703          116880841      2862159        0              643            59   68   59   
581.24/581.59	c 2050           18780          117397072      2875342        0              644            57   60   53   
583.94/584.23	c 2060           18864          117941900      2888501        0              647            62   65   57   
586.53/586.83	c 2070           18949          118485888      2902019        0              653            60   62   55   
589.13/589.47	c 2080           19054          119047189      2916369        0              656            64   74   62   
591.83/592.11	c 2090           19151          119599536      2929375        0              657            67   75   64   
594.52/594.85	c 2100           19251          120172651      2944324        0              658            59   71   57   
597.23/597.56	c 2110           19354          120748653      2958149        0              662            77   82   72   
599.92/600.21	c 2120           19453          121316073      2971096        0              666            70   74   65   
602.53/602.82	c 2122           19524          121825167      2982097        0              668            68   68   45   
605.11/605.42	c 2130           19615          122367583      2995319        0              669            67   73   62   
607.81/608.12	c 2140           19726          122951961      3009393        0              674            71   78   68   
610.41/610.79	c 2150           19825          123528238      3022623        0              680            73   76   67   
613.10/613.42	c 2160           19932          124104234      3038110        0              685            63   76   62   
615.71/616.10	c 2170           20035          124703653      3053478        0              689            66   72   62   
618.40/618.71	c 2180           20136          125263695      3066850        0              694            62   72   62   
621.10/621.40	c 2190           20238          125840159      3080407        0              696            70   74   65   
623.70/624.02	c 2200           20337          126391125      3095067        0              700            60   73   58   
626.39/626.70	c 2210           20438          126979613      3109491        0              704            67   71   62   
628.90/629.25	c 2220           20528          127511075      3122327        0              707            68   72   63   
631.49/631.85	c 2230           20617          128069916      3138205        0              709            60   64   55   
634.09/634.44	c 2240           20723          128622420      3153357        0              712            62   65   57   
636.79/637.10	c 2250           20817          129207825      3167057        0              717            70   73   65   
639.39/639.74	c 2260           20919          129794549      3181483        0              720            70   78   66   
641.98/642.37	c 2270           21021          130382777      3195958        0              724            70   74   65   
644.58/644.98	c 2280           21119          130934675      3208602        0              726            75   81   70   
647.28/647.64	c 2290           21220          131519440      3222320        0              729            78   81   72   
649.79/650.11	c 2300           21296          132017845      3234783        0              734            57   60   53   
652.28/652.65	c 2310           21389          132551976      3247170        0              737            71   75   66   
654.78/655.18	c 2320           21489          133108969      3260272        0              742            73   77   67   
657.48/657.82	c 2330           21612          133706808      3275944        0              744            67   75   64   
660.07/660.47	c 2340           21711          134297727      3289799        0              747            73   76   67   
662.77/663.18	c 2350           21834          134922856      3306023        0              750            66   75   62   
665.37/665.77	c 2360           21934          135485524      3318977        0              753            73   77   68   
667.97/668.37	c 2370           22045          136063964      3333319        0              755            70   78   66   
670.68/671.05	c 2380           22144          136656046      3347722        0              757            69   77   65   
673.27/673.67	c 2390           22241          137225555      3361061        0              760            72   77   68   
675.87/676.22	c 2400           22337          137767127      3375138        0              763            61   70   58   
678.37/678.77	c 2410           22425          138294687      3387965        0              766            57   62   54   
680.97/681.30	c 2420           22509          138826878      3401708        0              767            57   60   53   
683.56/683.93	c 2430           22607          139407406      3415546        0              770            67   76   64   
685.96/686.35	c 2431           22670          139873248      3425776        0              771            63   63   31   
688.56/688.91	c 2440           22759          140421679      3439436        0              772            67   69   61   
691.06/691.40	c 2450           22842          140941268      3452442        0              776            62   65   57   
693.66/694.00	c 2460           22928          141489924      3465816        0              777            69   73   64   
696.16/696.51	c 2470           23014          142020107      3478523        0              779            59   65   56   
698.66/699.09	c 2480           23135          142587700      3492844        0              782            62   81   66   
701.16/701.57	c 2490           23216          143096952      3506498        0              785            59   68   54   
703.66/704.10	c 2500           23322          143632380      3518865        0              789            67   82   64   
706.35/706.74	c 2510           23422          144225657      3533405        0              790            71   74   65   
708.95/709.34	c 2520           23521          144782859      3545942        0              793            71   76   67   
711.55/711.94	c 2530           23614          145351037      3559128        0              796            72   76   67   
714.05/714.47	c 2540           23708          145894708      3571880        0              800            72   76   67   
716.75/717.11	c 2550           23801          146474655      3585296        0              802            72   73   66   
719.35/719.74	c 2560           23894          147053787      3599998        0              806            66   72   61   
721.95/722.34	c 2570           23998          147622573      3614718        0              809            65   76   63   
724.55/724.90	c 2580           24087          148153663      3628465        0              812            57   68   55   
727.05/727.43	c 2590           24169          148674213      3641021        0              816            58   62   54   
729.64/730.03	c 2600           24268          149254119      3655392        0              820            71   75   66   
732.25/732.61	c 2610           24362          149817853      3669096        0              825            73   74   66   
734.74/735.18	c 2620           24452          150373033      3681797        0              827            70   75   65   
737.34/737.78	c 2630           24540          150926272      3695451        0              833            62   66   57   
739.95/740.33	c 2640           24623          151468229      3708865        0              836            59   61   54   
742.44/742.85	c 2650           24710          152007021      3722289        0              838            62   65   57   
745.04/745.42	c 2660           24809          152564166      3735465        0              842            68   74   64   
747.64/748.03	c 2670           24903          153141181      3749226        0              844            68   73   63   
750.24/750.64	c 2680           25002          153720699      3762947        0              845            70   72   64   
752.73/753.19	c 2690           25097          154269189      3776617        0              849            64   67   59   
755.34/755.73	c 2700           25187          154811075      3789461        0              852            69   73   64   
757.83/758.24	c 2710           25269          155331121      3801484        0              854            61   68   56   
760.33/760.78	c 2720           25352          155873121      3814457        0              857            62   65   57   
762.93/763.34	c 2730           25428          156389373      3827018        0              861            62   64   57   
765.53/765.91	c 2740           25533          156958062      3841102        0              865            64   76   60   
768.03/768.48	c 2750           25638          157525580      3855221        0              870            69   74   65   
770.63/771.03	c 2760           25735          158086168      3868769        0              871            74   77   68   
773.23/773.67	c 2770           25832          158658466      3882282        0              875            74   78   68   
775.72/776.17	c 2771           25898          159160246      3892755        0              876            66   66   33   
778.32/778.74	c 2780           25987          159710420      3905068        0              878            70   76   66   
781.02/781.40	c 2790           26082          160290806      3918727        0              881            70   74   65   
783.52/783.99	c 2800           26185          160871008      3932343        0              885            71   75   67   
786.13/786.60	c 2810           26286          161444583      3946039        0              889            67   75   64   
788.82/789.25	c 2820           26381          162026219      3959601        0              891            71   73   65   
791.32/791.79	c 2830           26461          162560037      3972452        0              894            62   64   57   
793.92/794.34	c 2840           26555          163117110      3985868        0              897            71   73   65   
796.52/796.95	c 2850           26651          163693231      4000793        0              901            66   75   62   
799.11/799.58	c 2860           26739          164259599      4013891        0              904            66   69   61   
801.81/802.23	c 2870           26833          164834208      4028014        0              906            71   78   67   
804.41/804.86	c 2880           26943          165423693      4042367        0              908            73   78   69   
807.12/807.51	c 2890           27033          165999471      4056111        0              911            68   70   62   
809.61/810.05	c 2900           27134          166541762      4069898        0              913            62   69   60   
812.21/812.60	c 2910           27218          167074427      4083536        0              916            58   61   54   
814.72/815.20	c 2920           27325          167652457      4097992        0              922            66   76   63   
817.41/817.84	c 2930           27421          168237073      4111888        0              924            69   72   64   
820.01/820.45	c 2940           27525          168820804      4125400        0              927            72   76   67   
822.60/823.00	c 2950           27618          169340611      4138131        0              930            62   71   59   
825.20/825.62	c 2960           27709          169905862      4152729        0              935            61   66   57   
827.70/828.18	c 2970           27798          170461304      4166162        0              936            63   65   58   
830.30/830.77	c 2980           27912          171036925      4179517        0              938            71   76   67   
832.90/833.33	c 2990           27996          171585182      4193325        0              942            58   61   54   
835.50/835.92	c 3000           28096          172150349      4207927        0              945            66   72   62   
838.10/838.57	c 3010           28198          172724820      4222015        0              950            71   76   67   
840.70/841.12	c 3020           28281          173275221      4235425        0              955            62   64   57   
843.20/843.67	c 3030           28376          173823381      4248347        0              957            67   74   64   
845.79/846.26	c 3040           28458          174366462      4260778        0              959            63   66   58   
848.39/848.83	c 3050           28548          174921300      4273847        0              965            67   70   62   
851.00/851.50	c 3060           28666          175533772      4289648        0              970            70   74   65   
853.69/854.13	c 3070           28776          176136412      4304141        0              971            71   74   65   
856.19/856.61	c 3080           28851          176640053      4316463        0              972            59   61   54   
858.80/859.24	c 3090           28951          177214818      4329822        0              975            76   78   70   
861.29/861.76	c 3100           29032          177748613      4342298        0              978            64   66   58   
863.89/864.35	c 3110           29132          178323887      4355501        0              983            70   74   66   
866.39/866.86	c 3120           29213          178851705      4368335        0              987            60   63   56   
868.98/869.43	c 3130           29311          179419035      4381586        0              989            64   70   61   
871.58/872.07	c 3140           29417          180022789      4395937        0              992            72   76   67   
874.09/874.59	c 3142           29492          180539455      4407426        0              994            71   72   47   
876.68/877.16	c 3150           29582          181082371      4420039        0              998            65   71   60   
879.18/879.69	c 3160           29667          181631243      4432748        0              1001           66   68   60   
881.79/882.23	c 3170           29772          182180695      4446208        0              1005           65   77   64   
884.28/884.76	c 3180           29854          182718777      4459523        0              1009           64   67   59   
886.88/887.39	c 3190           29961          183303483      4473679        0              1012           71   76   66   
889.48/889.99	c 3200           30056          183849180      4486240        0              1015           73   77   68   
892.07/892.57	c 3210           30148          184418364      4499496        0              1019           70   71   64   
894.77/895.21	c 3220           30251          185016188      4513355        0              1023           68   72   64   
897.28/897.79	c 3230           30342          185572321      4526649        0              1024           74   77   68   
899.97/900.48	c 3240           30436          186164820      4540718        0              1026           69   70   63   
902.57/903.10	c 3250           30528          186738299      4556301        0              1028           61   69   58   
905.27/905.70	c 3260           30622          187303418      4569772        0              1031           72   75   67   
907.87/908.31	c 3270           30728          187892114      4584491        0              1034           64   75   65   
910.37/910.90	c 3280           30826          188458507      4597895        0              1036           71   76   66   
912.96/913.44	c 3290           30918          188990409      4610850        0              1038           64   73   62   
915.56/916.06	c 3300           31035          189558750      4625149        0              1041           64   78   63   
918.17/918.61	c 3310           31114          190090890      4638819        0              1045           58   61   53   
920.76/921.21	c 3320           31217          190661482      4652237        0              1051           66   76   65   
923.36/923.88	c 3330           31320          191263654      4666857        0              1053           68   75   64   
925.96/926.47	c 3340           31415          191822308      4680177        0              1057           69   74   65   
928.56/929.01	c 3350           31509          192376415      4693480        0              1059           65   69   61   
931.15/931.66	c 3360           31612          192964692      4708470        0              1061           68   72   64   
933.75/934.28	c 3370           31719          193541706      4722324        0              1064           67   76   64   
936.45/936.93	c 3380           31830          194109952      4736121        0              1067           69   77   67   
939.06/939.54	c 3390           31926          194664298      4749262        0              1073           66   75   65   
941.55/942.06	c 3400           32006          195186582      4764104        0              1075           56   60   52   
944.05/944.59	c 3410           32086          195705730      4776921        0              1078           60   64   55   
946.66/947.12	c 3420           32180          196240959      4791670        0              1081           58   67   55   
949.25/949.72	c 3430           32265          196796892      4805336        0              1085           59   62   54   
951.85/952.30	c 3440           32355          197350161      4818353        0              1087           69   72   64   
954.35/954.85	c 3450           32437          197896254      4831225        0              1091           63   65   58   
956.84/957.39	c 3460           32528          198432438      4844617        0              1094           60   70   56   
959.54/960.00	c 3470           32619          199005979      4858063        0              1096           70   72   64   
962.05/962.56	c 3480           32718          199563004      4871419        0              1098           75   80   70   
964.54/965.09	c 3490           32802          200096746      4884470        0              1103           57   60   53   
967.14/967.64	c 3500           32883          200633052      4897048        0              1106           64   66   59   
969.64/970.16	c 3510           32969          201177370      4910093        0              1110           65   67   60   
972.24/972.77	c 3520           33080          201761395      4924965        0              1112           63   71   61   
974.83/975.38	c 3530           33176          202338124      4938464        0              1116           72   75   66   
977.44/977.97	c 3540           33269          202904981      4951923        0              1120           67   70   62   
980.13/980.63	c 3550           33372          203501391      4966189        0              1125           73   76   68   
982.63/983.12	c 3551           33442          204005032      4976700        0              1126           70   70   35   
985.14/985.62	c 3560           33526          204517669      4989160        0              1128           59   71   59   
987.73/988.20	c 3570           33614          205071554      5002417        0              1132           66   70   61   
990.23/990.78	c 3580           33722          205628620      5015740        0              1135           69   76   65   
992.83/993.40	c 3590           33830          206201106      5029093        0              1138           66   77   64   
995.53/996.03	c 3600           33926          206771512      5042994        0              1140           69   74   65   
998.22/998.71	c 3610           34034          207376826      5058564        0              1142           69   74   64   
1000.82/1001.32	c 3620           34134          207952002      5072867        0              1147           69   74   64   
1003.42/1003.91	c 3630           34229          208519512      5086560        0              1150           66   72   62   
1006.03/1006.56	c 3640           34352          209115601      5101417        0              1154           61   78   62   
1008.62/1009.18	c 3650           34442          209680199      5115626        0              1157           63   72   61   
1011.22/1011.75	c 3660           34535          210239567      5128537        0              1160           70   75   65   
1013.83/1014.36	c 3670           34636          210807825      5142248        0              1162           66   75   63   
1016.42/1016.96	c 3680           34749          211373539      5155465        0              1167           68   79   66   
1019.02/1019.56	c 3690           34840          211923502      5168002        0              1168           74   77   68   
1021.61/1022.15	c 3700           34929          212476979      5181456        0              1170           67   70   62   
1024.21/1024.73	c 3710           35012          213022895      5194580        0              1173           63   65   57   
1026.71/1027.21	c 3720           35088          213529098      5207221        0              1176           60   63   55   
1029.31/1029.82	c 3730           35187          214106170      5221749        0              1181           67   73   63   
1031.91/1032.49	c 3740           35288          214696717      5236194        0              1183           70   76   66   
1034.51/1035.06	c 3750           35376          215251858      5249567        0              1188           65   71   62   
1037.11/1037.69	c 3760           35481          215836443      5264560        0              1192           61   69   59   
1039.71/1040.24	c 3770           35585          216395665      5277996        0              1193           67   74   64   
1042.41/1042.91	c 3780           35705          216992669      5292210        0              1197           65   78   64   
1044.90/1045.44	c 3790           35795          217543858      5305641        0              1198           72   73   66   
1047.30/1047.89	c 3800           35868          218040256      5318123        0              1202           59   62   54   
1049.90/1050.45	c 3810           35978          218599605      5332031        0              1205           62   76   61   
1052.50/1053.02	c 3820           36088          219164943      5345269        0              1208           69   75   65   
1055.00/1055.55	c 3830           36179          219706598      5357659        0              1209           71   74   65   
1057.60/1058.14	c 3840           36286          220271566      5371822        0              1213           65   74   62   
1060.20/1060.79	c 3850           36392          220862443      5386136        0              1217           69   78   67   
1062.80/1063.39	c 3860           36490          221434162      5399835        0              1220           70   74   64   
1065.50/1066.02	c 3870           36598          222026209      5415228        0              1223           67   73   63   
1068.09/1068.66	c 3880           36699          222591728      5428632        0              1226           73   78   69   
1070.69/1071.24	c 3890           36809          223158930      5442635        0              1231           68   77   66   
1073.29/1073.87	c 3900           36922          223748205      5457029        0              1236           74   80   69   
1075.99/1076.52	c 3910           37016          224323995      5471179        0              1239           72   75   66   
1078.61/1079.17	c 3920           37151          224927174      5486711        0              1242           62   74   64   
1081.10/1081.69	c 3930           37233          225455137      5500017        0              1247           56   59   52   
1083.79/1084.33	c 3940           37326          226016799      5516020        0              1248           61   71   58   
1086.49/1087.00	c 3950           37434          226613275      5529615        0              1251           75   80   69   
1088.99/1089.55	c 3960           37517          227150795      5543146        0              1254           62   64   57   
1091.59/1092.13	c 3970           37613          227706734      5556741        0              1257           71   75   66   
1094.19/1094.78	c 3980           37731          228277283      5571167        0              1262           58   79   63   
1096.79/1097.36	c 3990           37830          228834909      5585018        0              1264           66   75   64   
1099.39/1099.97	c 4000           37916          229377826      5599141        0              1267           61   66   57   
1101.89/1102.44	c 4001           37982          229873094      5609714        0              1268           66   66   33   
1104.49/1105.02	c 4010           38084          230436542      5622693        0              1271           74   81   69   
1106.98/1107.56	c 4020           38164          230977155      5636577        0              1276           59   62   54   
1109.49/1110.08	c 4030           38244          231504094      5649302        0              1280           60   62   55   
1112.18/1112.70	c 4040           38337          232078409      5663428        0              1281           67   71   62   
1114.78/1115.32	c 4050           38432          232649503      5676432        0              1284           71   74   66   
1117.28/1117.83	c 4060           38513          233178470      5689426        0              1285           62   64   57   
1119.88/1120.41	c 4070           38619          233742581      5703844        0              1287           64   72   61   
1122.59/1123.11	c 4080           38720          234344796      5718645        0              1290           69   74   64   
1125.08/1125.68	c 4090           38822          234900917      5732092        0              1292           73   76   67   
1127.68/1128.27	c 4100           38909          235458522      5745523        0              1296           67   70   62   
1130.28/1130.82	c 4110           38992          236006180      5759150        0              1301           60   64   56   
1132.77/1133.33	c 4120           39073          236529597      5771294        0              1307           63   65   58   
1135.37/1135.91	c 4130           39159          237078667      5785617        0              1311           60   64   56   
1137.98/1138.51	c 4140           39246          237641891      5799955        0              1313           63   69   59   
1140.47/1141.03	c 4150           39343          238191130      5813864        0              1317           66   69   61   
1143.07/1143.64	c 4160           39433          238755618      5827357        0              1319           71   74   66   
1145.68/1146.25	c 4170           39542          239327696      5841640        0              1322           65   73   64   
1148.37/1148.90	c 4180           39660          239902930      5856002        0              1323           70   78   67   
1150.87/1151.47	c 4190           39754          240448828      5870190        0              1325           59   67   56   
1153.56/1154.12	c 4200           39869          241035525      5885940        0              1327           62   74   61   
1156.16/1156.79	c 4210           39991          241621400      5901360        0              1331           63   81   65   
1158.76/1159.38	c 4220           40091          242180664      5914805        0              1332           71   78   67   
1161.46/1162.03	c 4230           40188          242757177      5928197        0              1335           70   75   65   
1163.96/1164.54	c 4240           40265          243275828      5941258        0              1340           56   60   52   
1166.57/1167.13	c 4250           40371          243832363      5954053        0              1342           66   78   65   
1169.06/1169.66	c 4260           40456          244372483      5967698        0              1345           57   60   53   
1171.66/1172.24	c 4270           40548          244933721      5981322        0              1347           68   70   63   
1174.26/1174.81	c 4280           40670          245508074      5994810        0              1350           69   85   72   
1176.85/1177.40	c 4290           40758          246045705      6008826        0              1354           58   63   54   
1179.35/1179.99	c 4300           40846          246601263      6023630        0              1360           59   64   55   
1181.96/1182.60	c 4310           40932          247151431      6036450        0              1363           65   67   60   
1184.55/1185.19	c 4320           41029          247713822      6050812        0              1369           67   72   63   
1187.25/1187.80	c 4330           41125          248286541      6064496        0              1373           69   75   65   
1189.85/1190.41	c 4340           41240          248865937      6077355        0              1378           76   84   72   
1192.45/1193.02	c 4350           41345          249440057      6092286        0              1380           70   79   65   
1195.05/1195.67	c 4360           41450          250006654      6106602        0              1385           64   77   62   
1197.65/1198.25	c 4370           41562          250568596      6120601        0              1389           67   76   66   
1200.24/1200.83	c 4380           41664          251127674      6133839        0              1392           73   76   67   
1202.85/1203.42	c 4390           41768          251674111      6147237        0              1394           70   78   67   
1205.44/1206.02	c 4400           41856          252218002      6160095        0              1397           72   74   65   
1208.04/1208.64	c 4410           41957          252787704      6173255        0              1400           74   80   70   
1210.55/1211.19	c 4420           42042          253319562      6186782        0              1403           57   61   53   
1213.14/1213.79	c 4430           42147          253879607      6201309        0              1407           67   75   63   
1215.74/1216.34	c 4440           42230          254414859      6215407        0              1410           60   65   56   
1218.34/1218.94	c 4450           42327          254972343      6229288        0              1416           64   68   60   
1220.94/1221.50	c 4460           42412          255515059      6243920        0              1417           59   62   54   
1223.43/1224.03	c 4470           42494          256055902      6257141        0              1422           60   62   55   
1226.04/1226.61	c 4480           42582          256597377      6271476        0              1423           59   65   56   
1228.53/1229.14	c 4490           42680          257134555      6284961        0              1424           62   72   59   
1230.93/1231.54	c 4493           42741          257595769      6295326        0              1426           56   57   42   
1233.53/1234.12	c 4500           42831          258146335      6308859        0              1431           68   73   61   
1236.03/1236.67	c 4510           42914          258692624      6322442        0              1438           58   61   54   
1238.63/1239.26	c 4520           43038          259274786      6336729        0              1440           78   86   73   
1241.23/1241.85	c 4530           43146          259828982      6349918        0              1442           68   84   69   
1243.73/1244.39	c 4540           43223          260350343      6362550        0              1447           58   61   53   
1246.42/1247.03	c 4550           43317          260920591      6375519        0              1452           70   72   64   
1249.03/1249.61	c 4560           43416          261474993      6390147        0              1456           59   71   58   
1251.52/1252.17	c 4570           43505          262012631      6403376        0              1459           64   72   60   
1254.22/1254.83	c 4580           43610          262599702      6417237        0              1463           76   80   71   
1256.83/1257.41	c 4590           43707          263157971      6430856        0              1467           71   77   67   
1259.32/1259.98	c 4600           43806          263708222      6444732        0              1469           68   74   65   
1261.92/1262.55	c 4610           43887          264249778      6457463        0              1471           61   64   56   
1264.52/1265.13	c 4620           43992          264800452      6473402        0              1476           59   71   58   
1267.12/1267.73	c 4630           44107          265376281      6487470        0              1479           67   78   65   
1269.71/1270.37	c 4640           44218          265963738      6503360        0              1480           66   73   64   
1272.31/1272.98	c 4650           44312          266538702      6516993        0              1484           72   74   66   
1274.91/1275.55	c 4660           44402          267090489      6530288        0              1486           60   65   56   
1277.51/1278.19	c 4670           44511          267672928      6544656        0              1490           66   76   64   
1280.11/1280.72	c 4680           44595          268210727      6558117        0              1497           59   62   55   
1282.61/1283.27	c 4690           44682          268743563      6571531        0              1499           60   66   57   
1285.21/1285.82	c 4700           44768          269285570      6585181        0              1503           61   65   57   
1287.81/1288.48	c 4710           44872          269876379      6599131        0              1506           75   78   70   
1290.30/1290.99	c 4720           44950          270395419      6612323        0              1509           64   65   58   
1292.80/1293.49	c 4730           45029          270916103      6625474        0              1515           60   64   56   
1295.31/1295.98	c 4740           45104          271420865      6639206        0              1519           55   57   50   
1298.00/1298.62	c 4750           45199          271992623      6652386        0              1521           72   75   67   
1300.50/1301.16	c 4760           45285          272519601      6664450        0              1523           68   71   63   
1303.10/1303.75	c 4770           45370          273068402      6678731        0              1528           60   66   55   
1305.70/1306.33	c 4780           45462          273630408      6691898        0              1532           66   69   61   
1308.30/1308.94	c 4790           45562          274213431      6705337        0              1535           67   73   64   
1311.00/1311.61	c 4800           45667          274813166      6720729        0              1538           66   73   62   
1313.49/1314.19	c 4810           45758          275374357      6734307        0              1541           64   67   59   
1316.10/1316.70	c 4820           45839          275897283      6746893        0              1544           61   63   56   
1318.59/1319.23	c 4830           45923          276429057      6759529        0              1546           63   65   58   
1321.09/1321.79	c 4840           46015          276992536      6772711        0              1549           72   73   65   
1323.69/1324.31	c 4850           46095          277522655      6785590        0              1552           63   65   58   
1326.19/1326.87	c 4860           46194          278075800      6798191        0              1556           69   78   66   
1328.79/1329.42	c 4870           46287          278620340      6811069        0              1560           72   74   66   
1331.29/1331.99	c 4880           46375          279177255      6823866        0              1564           69   72   64   
1333.99/1334.63	c 4890           46477          279762199      6837663        0              1567           73   78   68   
1336.58/1337.22	c 4900           46583          280343863      6851468        0              1570           74   78   68   
1339.08/1339.70	c 4910           46662          280853471      6864663        0              1573           59   64   55   
1341.58/1342.23	c 4920           46740          281378681      6878493        0              1576           59   62   55   
1344.18/1344.82	c 4930           46858          281958446      6892149        0              1579           73   77   68   
1346.78/1347.43	c 4940           46949          282524313      6905622        0              1580           65   68   60   
1349.38/1350.04	c 4950           47049          283105901      6919414        0              1583           74   76   67   
1351.98/1352.61	c 4960           47133          283649441      6931873        0              1587           66   69   61   
1354.48/1355.15	c 4970           47213          284185575      6944709        0              1593           61   63   56   
1356.98/1357.69	c 4980           47297          284728670      6957878        0              1597           63   66   58   
1359.67/1360.35	c 4990           47395          285326713      6973029        0              1601           67   71   62   
1362.67/1363.37	c 5035           47621          286152774      7000797        0              1605           68   78   70   
1371.87/1372.57	c 5631           49400          291167234      7221494        0              1615           73   84   79   
1386.16/1386.80	c 6286           51787          297824251      7538827        0              1621           56   72   64   
1398.56/1399.27	c 7006           53556          303999993      7852826        0              1629           59   67   62   
1408.05/1408.76	c 7798           56126          309277482      8100178        0              1638           58   79   69   
1418.55/1419.24	c 8669           58510          315792863      8391298        0              1648           65   77   70   
1433.04/1433.79	c 9627           60893          323827028      8802796        0              1658           57   69   62   
1456.23/1456.95	c 10680          63237          333326789      9459487        0              1664           49   57   52   
1471.92/1472.63	c 11838          67031          342747605      9880403        0              1675           58   73   64   
1485.71/1486.46	c 13111          70227          351742242      10307282       0              1685           64   72   68   
1510.10/1510.89	c 14511          74061          363614195      10924700       0              1693           56   69   61   
1531.70/1532.48	c 16051          78796          376790223      11562927       0              1699           70   83   76   
1563.98/1564.71	c 17745          83411          392191242      12387851       0              1711           57   72   63   
1586.17/1586.91	c 19608          88499          405984119      13008998       0              1721           59   71   63   
1617.95/1618.76	c 21657          94069          423923515      14007737       0              1740           60   72   65   
1663.43/1664.25	c 23910          99992          444419891      15258830       0              1752           52   63   55   
1691.62/1692.40	c 26388          108980         463168525      16152037       0              1760           59   78   66   
1716.60/1717.45	c 29113          115631         480937708      16957565       0              1763           60   75   67   
1753.70/1754.59	c 32110          125157         504564454      18056632       0              1774           61   80   71   
1802.57/1803.41	c 35406          134478         530708755      19330134       0              1787           55   73   61   
1843.25/1844.18	c 39031          143822         559121855      20638449       0              1799           65   73   69   
1903.02/1903.95	c 43018          152482         588919809      22392769       0              1822           53   61   56   
1944.21/1945.11	c 47403          163532         618362845      23733426       0              1831           57   71   62   
1995.50/1996.41	c 52226          174916         651429038      25596453       0              1836           59   70   63   
2046.19/2047.17	c 57531          188605         687855344      27253808       0              1849           59   71   63   
2142.75/2143.78	c 63366          204999         739472205      29739861       0              1864           56   81   62   
2246.71/2247.78	c 69784          221626         793408420      32422696       0              1876           54   65   59   
2323.18/2324.29	c 76843          240170         845345739      35089006       0              1890           60   75   66

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-4242966-1500665737/watcher-4242966-1500665737 -o /tmp/evaluation-result-4242966-1500665737/solver-4242966-1500665737 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500648174-2506 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242966-1500665737.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.03 2.05 3/242 4580
/proc/meminfo: memFree=31065264/32770624 swapFree=5668/222808
[pid=4580] ppid=4577 vsize=27256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 1006 0 0 0 0 0 0 0 20 0 1 0 1841205 27910144 832 33554432000 4194304 5970956 140720982350032 140720982345192 139753294900030 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 6814 832 703 434 0 178 0

[startup+0.100185 s]
/proc/loadavg: 2.07 2.03 2.05 3/242 4580
/proc/meminfo: memFree=31065264/32770624 swapFree=5668/222808
[pid=4580] ppid=4577 vsize=27712 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 1134 0 0 0 9 0 0 0 20 0 1 0 1841205 28377088 964 33554432000 4194304 5970956 140720982350032 140720982346632 139753294904293 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 6928 964 710 434 0 292 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27712

[startup+0.20036 s]
/proc/loadavg: 2.07 2.03 2.05 3/242 4580
/proc/meminfo: memFree=31065264/32770624 swapFree=5668/222808
[pid=4580] ppid=4577 vsize=28460 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 1327 0 0 0 19 0 0 0 20 0 1 0 1841205 29143040 1162 33554432000 4194304 5970956 140720982350032 140720982345384 5674162 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 7115 1162 711 434 0 479 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28460

[startup+0.300333 s]
/proc/loadavg: 2.07 2.03 2.05 3/242 4580
/proc/meminfo: memFree=31065264/32770624 swapFree=5668/222808
[pid=4580] ppid=4577 vsize=29312 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 1614 0 0 0 29 0 0 0 20 0 1 0 1841205 30015488 1343 33554432000 4194304 5970956 140720982350032 140720982341416 139753294904293 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 7328 1343 783 434 0 692 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29312

[startup+0.700282 s]
/proc/loadavg: 2.07 2.03 2.05 3/242 4580
/proc/meminfo: memFree=31065264/32770624 swapFree=5668/222808
[pid=4580] ppid=4577 vsize=31424 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 2128 0 0 0 69 0 0 0 20 0 1 0 1841205 32178176 1871 33554432000 4194304 5970956 140720982350032 140720982341640 139753294904293 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 7856 1871 783 434 0 1220 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31424

[startup+1.50029 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 4581
/proc/meminfo: memFree=31058784/32770624 swapFree=5668/222700
[pid=4580] ppid=4577 vsize=35516 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 3157 0 0 0 149 0 0 0 20 0 1 0 1841205 36368384 2927 33554432000 4194304 5970956 140720982350032 140720982341640 139753294904293 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 8879 2927 783 434 0 2243 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35516

[startup+3.10027 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 4581
/proc/meminfo: memFree=31052832/32770624 swapFree=5668/222700
[pid=4580] ppid=4577 vsize=43700 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 5348 0 0 0 308 1 0 0 20 0 1 0 1841205 44748800 4972 33554432000 4194304 5970956 140720982350032 140720982341640 139753294904293 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 10925 4972 783 434 0 4289 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43700

[startup+6.30028 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 4581
/proc/meminfo: memFree=31035424/32770624 swapFree=5668/222668
[pid=4580] ppid=4577 vsize=60208 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 9682 0 0 0 627 1 0 0 20 0 1 0 1841205 61652992 9111 33554432000 4194304 5970956 140720982350032 140720982341640 139753294904293 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 15052 9111 783 434 0 8416 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 60208

[startup+12.7004 s]
/proc/loadavg: 2.13 2.05 2.05 3/243 4581
/proc/meminfo: memFree=30942920/32770624 swapFree=5668/222668
[pid=4580] ppid=4577 vsize=152996 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 41200 0 0 0 1263 6 0 0 20 0 1 0 1841205 156667904 31279 33554432000 4194304 5970956 140720982350032 140720982346952 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38249 31279 831 434 0 31613 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 152996

[startup+25.5005 s]
/proc/loadavg: 2.11 2.04 2.05 3/243 4581
/proc/meminfo: memFree=30942300/32770624 swapFree=5668/222668
[pid=4580] ppid=4577 vsize=153176 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 93762 0 0 0 2541 8 0 0 20 0 1 0 1841205 156852224 31361 33554432000 4194304 5970956 140720982350032 140720982347368 5069920 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38294 31361 832 434 0 31658 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 153176

[startup+51.1005 s]
/proc/loadavg: 2.15 2.06 2.06 3/243 4581
/proc/meminfo: memFree=30942052/32770624 swapFree=5668/222668
[pid=4580] ppid=4577 vsize=153176 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 120945 0 0 0 5097 10 0 0 20 0 1 0 1841205 156852224 31382 33554432000 4194304 5970956 140720982350032 140720982347368 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38294 31382 832 434 0 31658 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 153176

[startup+102.3 s]
/proc/loadavg: 2.10 2.06 2.06 3/243 4582
/proc/meminfo: memFree=30941764/32770624 swapFree=5668/222956
[pid=4580] ppid=4577 vsize=153308 CPUtime=102.25 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 149065 0 0 0 10214 11 0 0 20 0 1 0 1841205 156987392 31404 33554432000 4194304 5970956 140720982350032 140720982347368 4909030 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38327 31404 832 434 0 31691 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 153308

[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/243 4583
/proc/meminfo: memFree=30941344/32770624 swapFree=5668/222956
[pid=4580] ppid=4577 vsize=153308 CPUtime=162.22 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 177017 0 0 0 16209 13 0 0 20 0 1 0 1841205 156987392 31414 33554432000 4194304 5970956 140720982350032 140720982347368 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38327 31414 832 434 0 31691 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 153308

[startup+222.308 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 4584
/proc/meminfo: memFree=30941604/32770624 swapFree=5668/223120
[pid=4580] ppid=4577 vsize=153308 CPUtime=222.21 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 204831 0 0 0 22206 15 0 0 20 0 1 0 1841205 156987392 31421 33554432000 4194304 5970956 140720982350032 140720982347368 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38327 31421 832 434 0 31691 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 153308

[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 4592
/proc/meminfo: memFree=30942024/32770624 swapFree=5668/223236
[pid=4580] ppid=4577 vsize=153308 CPUtime=282.17 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 232517 0 0 0 28201 16 0 0 20 0 1 0 1841205 156987392 31428 33554432000 4194304 5970956 140720982350032 140720982347368 5070333 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38327 31428 832 434 0 31691 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 153308

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 4593
/proc/meminfo: memFree=30942264/32770624 swapFree=5668/223308
[pid=4580] ppid=4577 vsize=153308 CPUtime=342.14 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 260321 0 0 0 34196 18 0 0 20 0 1 0 1841205 156987392 31432 33554432000 4194304 5970956 140720982350032 140720982347368 4908988 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38327 31432 832 434 0 31691 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 153308

[startup+402.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/243 4594
/proc/meminfo: memFree=30942464/32770624 swapFree=5668/223308
[pid=4580] ppid=4577 vsize=153308 CPUtime=402.11 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 288034 0 0 0 40192 19 0 0 20 0 1 0 1841205 156987392 31438 33554432000 4194304 5970956 140720982350032 140720982347368 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38327 31438 832 434 0 31691 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 153308

[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 4595
/proc/meminfo: memFree=30942740/32770624 swapFree=5668/223308
[pid=4580] ppid=4577 vsize=153308 CPUtime=462.09 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 315872 0 0 0 46188 21 0 0 20 0 1 0 1841205 156987392 31445 33554432000 4194304 5970956 140720982350032 140720982347368 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38327 31445 832 434 0 31691 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 153308

[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 4596
/proc/meminfo: memFree=30942456/32770624 swapFree=5668/223560
[pid=4580] ppid=4577 vsize=153308 CPUtime=522.07 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 343560 0 0 0 52184 23 0 0 20 0 1 0 1841205 156987392 31449 33554432000 4194304 5970956 140720982350032 140720982347368 5070904 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38327 31449 832 434 0 31691 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 153308

[startup+582.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 4597
/proc/meminfo: memFree=30942904/32770624 swapFree=5668/223560
[pid=4580] ppid=4577 vsize=153308 CPUtime=582.04 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 371473 0 0 0 58179 25 0 0 20 0 1 0 1841205 156987392 31454 33554432000 4194304 5970956 140720982350032 140720982347368 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38327 31454 832 434 0 31691 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 153308


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


[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4651
/proc/meminfo: memFree=30936988/32770624 swapFree=5668/224988
[pid=4580] ppid=4577 vsize=153440 CPUtime=1541.6 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 401201 0 0 0 154133 27 0 0 20 0 1 0 1841205 157122560 31727 33554432000 4194304 5970956 140720982350032 140720982347368 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31727 832 434 0 31724 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 153440

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 4652
/proc/meminfo: memFree=30936692/32770624 swapFree=5668/224988
[pid=4580] ppid=4577 vsize=153440 CPUtime=1601.56 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 401849 0 0 0 160129 27 0 0 20 0 1 0 1841205 157122560 31727 33554432000 4194304 5970956 140720982350032 140720982347368 5052118 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31727 832 434 0 31724 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 153440

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 4653
/proc/meminfo: memFree=30937368/32770624 swapFree=5668/225092
[pid=4580] ppid=4577 vsize=153440 CPUtime=1661.53 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 402344 0 0 0 166126 27 0 0 20 0 1 0 1841205 157122560 31727 33554432000 4194304 5970956 140720982350032 140720982347368 4964452 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31727 832 434 0 31724 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 153440

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4654
/proc/meminfo: memFree=30938188/32770624 swapFree=5668/225124
[pid=4580] ppid=4577 vsize=153440 CPUtime=1721.5 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 403039 0 0 0 172123 27 0 0 20 0 1 0 1841205 157122560 31728 33554432000 4194304 5970956 140720982350032 140720982347368 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31728 832 434 0 31724 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 153440

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4655
/proc/meminfo: memFree=30938512/32770624 swapFree=5668/225124
[pid=4580] ppid=4577 vsize=153440 CPUtime=1781.47 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 403608 0 0 0 178120 27 0 0 20 0 1 0 1841205 157122560 31728 33554432000 4194304 5970956 140720982350032 140720982347368 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31728 832 434 0 31724 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 153440

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4722
/proc/meminfo: memFree=31745580/32770624 swapFree=5668/225124
[pid=4580] ppid=4577 vsize=153440 CPUtime=1841.45 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 404259 0 0 0 184118 27 0 0 20 0 1 0 1841205 157122560 31728 33554432000 4194304 5970956 140720982350032 140720982347368 5052095 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31728 832 434 0 31724 0
Current children cumulated CPU time (s) 1841.45
Current children cumulated vsize (KiB) 153440

[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4723
/proc/meminfo: memFree=30500192/32770624 swapFree=5668/225124
[pid=4580] ppid=4577 vsize=153440 CPUtime=1901.42 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 404678 0 0 0 190115 27 0 0 20 0 1 0 1841205 157122560 31728 33554432000 4194304 5970956 140720982350032 140720982347368 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31728 832 434 0 31724 0
Current children cumulated CPU time (s) 1901.42
Current children cumulated vsize (KiB) 153440

[startup+1962.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 4724
/proc/meminfo: memFree=30498444/32770624 swapFree=5668/225392
[pid=4580] ppid=4577 vsize=153440 CPUtime=1961.4 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 405326 0 0 0 196113 27 0 0 20 0 1 0 1841205 157122560 31728 33554432000 4194304 5970956 140720982350032 140720982347368 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31728 832 434 0 31724 0
Current children cumulated CPU time (s) 1961.4
Current children cumulated vsize (KiB) 153440

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4725
/proc/meminfo: memFree=30499320/32770624 swapFree=5668/225416
[pid=4580] ppid=4577 vsize=153440 CPUtime=2021.39 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 405826 0 0 0 202111 28 0 0 20 0 1 0 1841205 157122560 31728 33554432000 4194304 5970956 140720982350032 140720982347368 5327859 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31728 832 434 0 31724 0
Current children cumulated CPU time (s) 2021.39
Current children cumulated vsize (KiB) 153440

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4733
/proc/meminfo: memFree=30498520/32770624 swapFree=5668/225416
[pid=4580] ppid=4577 vsize=153440 CPUtime=2081.38 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 406386 0 0 0 208110 28 0 0 20 0 1 0 1841205 157122560 31728 33554432000 4194304 5970956 140720982350032 140720982347368 4965047 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31728 832 434 0 31724 0
Current children cumulated CPU time (s) 2081.38
Current children cumulated vsize (KiB) 153440

[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4734
/proc/meminfo: memFree=30498828/32770624 swapFree=5668/225416
[pid=4580] ppid=4577 vsize=153440 CPUtime=2141.35 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 406821 0 0 0 214107 28 0 0 20 0 1 0 1841205 157122560 31728 33554432000 4194304 5970956 140720982350032 140720982347368 4965051 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31728 832 434 0 31724 0
Current children cumulated CPU time (s) 2141.35
Current children cumulated vsize (KiB) 153440

[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4735
/proc/meminfo: memFree=30498280/32770624 swapFree=5668/225416
[pid=4580] ppid=4577 vsize=153440 CPUtime=2201.33 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 407459 0 0 0 220105 28 0 0 20 0 1 0 1841205 157122560 31729 33554432000 4194304 5970956 140720982350032 140720982347368 5070320 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31729 832 434 0 31724 0
Current children cumulated CPU time (s) 2201.33
Current children cumulated vsize (KiB) 153440

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4736
/proc/meminfo: memFree=30498624/32770624 swapFree=5668/225416
[pid=4580] ppid=4577 vsize=153440 CPUtime=2261.31 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 408066 0 0 0 226103 28 0 0 20 0 1 0 1841205 157122560 31729 33554432000 4194304 5970956 140720982350032 140720982347368 5070927 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31729 832 434 0 31724 0
Current children cumulated CPU time (s) 2261.31
Current children cumulated vsize (KiB) 153440

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4737
/proc/meminfo: memFree=30498276/32770624 swapFree=5668/225580
[pid=4580] ppid=4577 vsize=153440 CPUtime=2321.28 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 408516 0 0 0 232100 28 0 0 20 0 1 0 1841205 157122560 31729 33554432000 4194304 5970956 140720982350032 140720982347368 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31729 832 434 0 31724 0
Current children cumulated CPU time (s) 2321.28
Current children cumulated vsize (KiB) 153440

[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4738
/proc/meminfo: memFree=30499980/32770624 swapFree=5668/225652
[pid=4580] ppid=4577 vsize=153440 CPUtime=2381.26 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 409012 0 0 0 238098 28 0 0 20 0 1 0 1841205 157122560 31729 33554432000 4194304 5970956 140720982350032 140720982347368 5070304 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31729 832 434 0 31724 0
Current children cumulated CPU time (s) 2381.26
Current children cumulated vsize (KiB) 153440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.1 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 4738
/proc/meminfo: memFree=30499512/32770624 swapFree=5668/225652
[pid=4580] ppid=4577 vsize=153440 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 409450 0 0 0 239977 28 0 0 20 0 1 0 1841205 157122560 31729 33554432000 4194304 5970956 140720982350032 140720982347368 5052121 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31729 832 434 0 31724 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 153440

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

[startup+2401.1 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 4738
/proc/meminfo: memFree=30499512/32770624 swapFree=5668/225652
[pid=4580] ppid=4577 vsize=153440 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/4580/stat : 4580 (cosoco) R 4577 4580 2474 0 -1 4202496 409450 0 0 0 239977 28 0 0 20 0 1 0 1841205 157122560 31729 33554432000 4194304 5970956 140720982350032 140720982347368 5052121 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 18108416 140720982353084 140720982353219 140720982353219 140720982355918 0
/proc/4580/statm: 38360 31729 832 434 0 31724 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 153440

Child status: 1
Real time (s): 2401.1
CPU time (s): 2400.06
CPU user time (s): 2399.78
CPU system time (s): 0.28388
CPU usage (%): 99.9568
Max. virtual memory (cumulated for all children) (KiB): 153440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.78
system time used= 0.28388
maximum resident set size= 126956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 409477
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= 58
involuntary context switches= 120672

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7661 second user time and 8.59241 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-21 21:35:37
IDJOB=4242966
IDBENCH=138399
IDSOLVER=2621
FILE ID=node130/4242966-1500665737
RUNJOBID= node130-1500648174-2506
PBS_JOBID= 20623290
Free space on /tmp= 61872 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-14.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242966-1500665737/watcher-4242966-1500665737 -o /tmp/evaluation-result-4242966-1500665737/solver-4242966-1500665737 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500648174-2506 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242966-1500665737.xml

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

MD5SUM BENCH= e8698b72f1d598ed72051801219b61cc
RANDOM SEED=339864114

node130.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		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31065944 kB
MemAvailable:   31155344 kB
Buffers:           37712 kB
Cached:           362292 kB
SwapCached:            0 kB
Active:          1096676 kB
Inactive:         231636 kB
Active(anon):     930696 kB
Inactive(anon):     8828 kB
Active(file):     165980 kB
Inactive(file):   222808 kB
Unevictable:        5668 kB
Mlocked:            5668 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2448 kB
Writeback:             0 kB
AnonPages:        933904 kB
Mapped:            31428 kB
Shmem:              8844 kB
Slab:              64984 kB
SReclaimable:      32892 kB
SUnreclaim:        32092 kB
KernelStack:        4240 kB
PageTables:         6812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1214504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    874496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61956 MiB
End job on node130 at 2017-07-21 22:15:38