Trace number 4266449

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
cosoco-sat 1.12? (TO) 2520.0801 2520.01

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 

11.60/11.76	c intension x[0] != x[1]  using generic constraint 
11.60/11.77	c intension x[2] != x[3]  using generic constraint 
11.60/11.77	c intension x[4] != x[5]  using generic constraint 
11.60/11.77	c intension x[6] != x[7]  using generic constraint 
11.60/11.77	c intension x[8] != x[9]  using generic constraint 
11.60/11.77	c intension x[10] != x[11]  using generic constraint 
11.60/11.77	c intension x[12] != x[13]  using generic constraint 
11.60/11.77	c intension x[14] != x[15]  using generic constraint 
11.60/11.77	c intension x[16] != x[17]  using generic constraint 
11.60/11.77	c intension x[18] != x[19]  using generic constraint 
11.60/11.77	c intension x[20] != x[21]  using generic constraint 
11.60/11.78	c intension x[22] != x[23]  using generic constraint 
11.60/11.78	c intension x[24] != x[25]  using generic constraint 
11.60/11.78	c intension x[26] != x[27]  using generic constraint 
11.60/11.78	c intension x[28] != x[29]  using generic constraint 
11.60/11.78	c intension x[30] != x[31]  using generic constraint 
11.60/11.78	c intension x[32] != x[33]  using generic constraint 
11.60/11.78	c intension x[34] != x[35]  using generic constraint 
11.60/11.78	c intension x[36] != x[37]  using generic constraint 
11.60/11.78	c intension x[38] != x[39]  using generic constraint 
11.60/11.79	c intension x[40] != x[41]  using generic constraint 
11.60/11.79	c intension x[42] != x[43]  using generic constraint 
11.60/11.79	c intension x[44] != x[45]  using generic constraint 
11.60/11.79	c intension x[46] != x[47]  using generic constraint 
11.60/11.79	c intension x[48] != x[49]  using generic constraint 
11.60/11.79	c intension x[50] != x[51]  using generic constraint 
11.60/11.79	c intension x[52] != x[53]  using generic constraint 
11.60/11.79	c intension x[54] != x[55]  using generic constraint 
11.60/11.79	c intension x[56] != x[57]  using generic constraint 
11.70/11.80	c intension x[58] != x[59]  using generic constraint 
11.70/11.80	c intension x[60] != x[61]  using generic constraint 
11.70/11.80	c intension x[62] != x[63]  using generic constraint 
11.70/11.80	c intension x[64] != x[65]  using generic constraint 
11.70/11.80	c intension x[66] != x[67]  using generic constraint 
11.70/11.80	c intension x[68] != x[69]  using generic constraint 
11.70/11.80	c intension x[70] != x[71]  using generic constraint 
11.70/11.80	c intension x[72] != x[73]  using generic constraint 
11.70/11.80	c intension x[74] != x[75]  using generic constraint 
11.70/11.81	c intension x[76] != x[77]  using generic constraint 
11.70/11.81	c intension x[78] != x[79]  using generic constraint 
11.70/11.81	c intension x[80] != x[81]  using generic constraint 
11.70/11.81	c intension x[82] != x[83]  using generic constraint 
11.70/11.81	c intension x[84] != x[85]  using generic constraint 
11.70/11.81	c intension x[86] != x[87]  using generic constraint 
11.70/11.81	c intension x[88] != x[89]  using generic constraint 
11.70/11.81	c intension x[90] != x[91]  using generic constraint 
11.70/11.81	c intension x[92] != x[93]  using generic constraint 
11.70/11.81	c intension x[94] != x[95]  using generic constraint 
11.70/11.82	c intension x[96] != x[97]  using generic constraint 
11.70/11.82	c intension x[98] != x[99]  using generic constraint 
11.70/11.82	c intension x[100] != x[101]  using generic constraint 
11.70/11.82	c intension x[102] != x[103]  using generic constraint 
11.70/11.82	c intension x[104] != x[105]  using generic constraint 
11.70/11.82	c intension x[106] != x[107]  using generic constraint 
11.70/11.82	c intension x[108] != x[109]  using generic constraint 
11.70/11.82	c intension x[110] != x[111]  using generic constraint 
11.70/11.82	c intension x[112] != x[113]  using generic constraint 
11.70/11.83	c intension x[114] != x[115]  using generic constraint 
11.70/11.83	c intension x[116] != x[117]  using generic constraint 
11.70/11.83	c intension x[118] != x[119]  using generic constraint 
11.70/11.83	c intension x[120] != x[121]  using generic constraint 
11.70/11.83	c intension x[122] != x[123]  using generic constraint 
11.70/11.83	c intension x[124] != x[125]  using generic constraint 
11.70/11.83	c intension x[126] != x[127]  using generic constraint 
11.70/11.83	c intension x[128] != x[129]  using generic constraint 
11.70/11.83	c intension x[130] != x[131]  using generic constraint 
11.70/11.83	c intension x[132] != x[133]  using generic constraint 
11.70/11.83	c intension x[134] != x[135]  using generic constraint 
11.70/11.84	c intension x[136] != x[137]  using generic constraint 
11.70/11.84	c intension x[138] != x[139]  using generic constraint 
11.70/11.84	c intension x[140] != x[141]  using generic constraint 
11.70/11.84	c intension x[142] != x[143]  using generic constraint 
11.70/11.84	c intension x[144] != x[145]  using generic constraint 
11.70/11.84	c intension x[146] != x[147]  using generic constraint 
11.70/11.84	c intension x[148] != x[149]  using generic constraint 
11.70/11.84	c intension x[150] != x[151]  using generic constraint 
11.70/11.84	c intension x[152] != x[153]  using generic constraint 
11.70/11.84	c intension x[154] != x[155]  using generic constraint 
11.70/11.85	c intension x[156] != x[157]  using generic constraint 
11.70/11.85	c intension x[158] != x[159]  using generic constraint 
11.70/11.89	c SAT : Variables: 12800 -- Clauses: 505760
11.91/12.09	c root propagations     : 0           
11.91/12.09	c restarts enabled, print stats at every restarts
11.91/12.09	c
11.91/12.09	c
11.91/12.09	c
11.91/12.09	c This is cosoco 1.12 --  
11.91/12.09	c
11.91/12.09	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266449-1502590768.xml 
11.91/12.09	c ========================================[ Problem Statistics ]===========================================
11.91/12.09	c |                                                                                                       
11.91/12.09	c |  Parse time        :        11.76 s 
11.91/12.09	c |
11.91/12.09	c |               Variables: 160
11.91/12.09	c |            Domain Sizes: 80..80
11.91/12.09	c |
11.91/12.09	c |             Constraints: 9560
11.91/12.09	c |                   Arity: 2..2  -- Binary: 9560
11.91/12.09	c | 
11.91/12.09	c |                   Types: 
11.91/12.09	c |                          (X != Y): 80
11.91/12.09	c |                          Intension: 9480
11.91/12.09	c |                          
11.91/12.09	c =========================================================================================================
11.91/12.09	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
14.40/14.58	c 10             78             540336         12576          0              1              61   64   57   
17.19/17.35	c 20             182            1127336        26362          0              4              77   80   71   
19.90/20.05	c 30             264            1668068        40600          0              9              58   70   57   
22.59/22.76	c 40             344            2204600        55810          0              13             60   62   55   
25.19/25.39	c 50             439            2741799        69014          0              14             74   78   68   
27.90/28.04	c 60             529            3289471        81301          0              20             68   71   63   
30.49/30.69	c 70             617            3837066        94038          0              23             66   69   61   
33.19/33.35	c 80             707            4391279        107163         0              28             67   69   61   
35.90/36.06	c 90             797            4952212        119892         0              29             73   75   67   
38.49/38.68	c 100            885            5502244        132226         0              33             68   71   63   
41.09/41.25	c 101            952            5996399        142407         0              34             67   67   33   
43.69/43.89	c 110            1045           6554086        155930         0              36             69   73   63   
46.39/46.55	c 120            1140           7109867        168948         0              39             71   74   66   
49.00/49.11	c 130            1222           7650293        182545         0              41             64   67   59   
51.59/51.79	c 140            1321           8251444        197884         0              46             64   70   60   
54.19/54.32	c 150            1407           8771574        210614         0              49             62   70   59   
56.69/56.88	c 160            1485           9294788        223115         0              55             58   61   54   
59.29/59.42	c 170            1565           9831060        236614         0              58             62   64   57   
61.79/61.96	c 180            1655           10374136       250135         0              61             63   69   60   
64.39/64.50	c 190            1743           10908644       262698         0              64             66   70   61   
66.90/67.07	c 200            1824           11438290       276229         0              68             62   66   58   
69.49/69.65	c 210            1910           11989547       289769         0              70             63   66   58   
72.00/72.15	c 211            1974           12474385       300100         0              71             64   64   32   
74.49/74.67	c 220            2056           13007990       312729         0              73             64   66   59   
77.09/77.22	c 230            2141           13550382       325545         0              75             65   68   60   
79.59/79.78	c 240            2231           14111741       338950         0              80             68   71   62   
82.19/82.31	c 250            2314           14646216       351862         0              81             64   67   59   
84.69/84.87	c 260            2404           15190898       364195         0              83             68   73   63   
87.19/87.36	c 270            2489           15721541       376842         0              85             64   67   59   
89.79/89.90	c 280            2586           16269570       390392         0              90             65   71   62   
92.29/92.40	c 290            2679           16791039       404225         0              92             58   68   56   
94.90/95.01	c 300            2776           17373218       419443         0              95             65   71   61   
97.39/97.52	c 310            2857           17900941       432258         0              97             64   65   58   
99.90/100.07	c 320            2946           18451513       444945         0              99             68   70   62   
102.49/102.64	c 330            3043           19004234       458744         0              101            71   74   65   
105.00/105.12	c 332            3107           19492215       469755         0              102            61   62   41   
107.59/107.70	c 340            3201           20048846       484416         0              108            63   69   59   
110.09/110.26	c 350            3285           20575003       497718         0              110            60   68   59   
112.69/112.80	c 360            3366           21093948       511685         0              112            55   61   53   
115.29/115.41	c 370            3460           21659642       527477         0              115            58   67   57   
117.90/118.01	c 380            3538           22193539       542012         0              116            58   60   53   
120.39/120.55	c 390            3622           22724176       555355         0              120            57   62   53   
122.90/123.07	c 400            3707           23252456       569464         0              126            60   65   56   
125.39/125.59	c 410            3784           23781073       582466         0              130            58   60   53   
128.00/128.12	c 420            3864           24322873       595045         0              133            62   65   57   
130.49/130.60	c 430            3944           24841043       607846         0              136            59   64   54   
133.00/133.12	c 440            4025           25383492       620922         0              139            64   65   58   
135.49/135.62	c 450            4111           25921230       633376         0              140            62   67   58   
138.09/138.22	c 460            4199           26503728       647581         0              146            62   65   57   
140.49/140.67	c 465            4271           27008116       658653         0              148            63   66   53   
143.00/143.18	c 470            4345           27526877       670296         0              149            66   67   55   
145.59/145.73	c 480            4427           28072269       683181         0              153            64   66   58   
148.09/148.28	c 490            4516           28628036       697705         0              157            62   67   58   
150.69/150.88	c 500            4607           29197287       711557         0              161            65   69   60   
153.39/153.50	c 510            4707           29782081       726347         0              167            64   71   61   
155.90/156.09	c 520            4802           30337447       739627         0              170            66   74   63   
158.49/158.65	c 530            4895           30872783       754785         0              172            57   70   59   
161.00/161.16	c 540            4972           31398449       768422         0              176            56   59   52   
163.59/163.70	c 550            5065           31947367       781970         0              178            65   71   62   
166.19/166.30	c 560            5154           32507240       796527         0              180            57   63   55   
168.69/168.84	c 570            5228           33025450       809406         0              184            57   60   53   
171.29/171.43	c 580            5329           33594591       824597         0              186            67   72   63   
173.79/173.95	c 590            5414           34126611       837579         0              189            63   65   57   
176.39/176.50	c 600            5498           34670427       851375         0              193            59   63   55   
178.90/179.03	c 610            5596           35217854       864359         0              196            65   68   60   
181.29/181.47	c 611            5657           35693445       874689         0              197            61   61   30   
183.90/184.02	c 620            5741           36221674       887280         0              203            59   64   55   
186.49/186.61	c 630            5827           36774765       899801         0              205            66   69   61   
189.00/189.16	c 640            5909           37312220       912945         0              208            62   64   57   
191.59/191.71	c 650            5999           37861976       926138         0              209            61   65   57   
194.19/194.30	c 660            6089           38417258       940915         0              211            64   70   59   
196.69/196.84	c 670            6169           38945842       953036         0              214            64   65   58   
199.29/199.43	c 680            6253           39497350       966551         0              219            63   65   58   
201.90/202.01	c 690            6338           40030203       981673         0              224            56   64   54   
204.49/204.62	c 700            6431           40600315       995710         0              229            71   74   65   
207.09/207.25	c 710            6524           41178603       1008906        0              233            72   74   65   
209.59/209.76	c 720            6602           41691049       1023432        0              235            56   61   54   
212.19/212.30	c 730            6689           42230460       1037241        0              236            65   68   60   
214.69/214.88	c 740            6784           42782762       1053190        0              240            65   69   61   
217.29/217.48	c 750            6864           43317957       1068052        0              242            56   59   52   
219.79/219.99	c 760            6938           43831669       1081487        0              245            57   58   52   
222.39/222.53	c 770            7030           44376087       1095272        0              248            70   72   64   
224.79/225.00	c 771            7088           44839645       1105291        0              249            58   58   29   
227.39/227.53	c 780            7177           45384782       1117851        0              251            71   74   65   
229.90/230.06	c 790            7258           45924442       1130885        0              253            60   62   55   
232.49/232.68	c 800            7361           46523706       1145154        0              255            72   76   66   
235.09/235.21	c 810            7443           47062809       1158322        0              256            62   65   57   
237.59/237.75	c 820            7524           47612256       1171694        0              258            63   65   57   
240.09/240.25	c 830            7603           48129379       1184478        0              263            62   64   57   
242.69/242.82	c 840            7695           48694147       1197649        0              265            71   73   65   
245.19/245.34	c 850            7775           49217714       1210512        0              267            61   65   56   
247.69/247.85	c 860            7850           49739134       1223387        0              272            58   60   53   
250.19/250.35	c 870            7930           50266756       1236164        0              275            59   63   55   
252.69/252.83	c 880            8007           50781479       1248561        0              280            62   64   57   
255.19/255.38	c 890            8090           51331841       1261936        0              282            61   63   57   
257.79/257.94	c 900            8180           51890689       1275536        0              285            72   72   65   
260.29/260.46	c 910            8287           52435208       1289371        0              288            63   72   62   
262.90/263.01	c 920            8367           52956656       1302317        0              290            61   64   56   
265.49/265.60	c 930            8465           53511417       1315511        0              294            63   71   61   
268.09/268.20	c 940            8565           54066770       1328640        0              299            64   75   61   
270.59/270.70	c 947            8658           54599034       1340968        0              301            70   73   62   
273.09/273.23	c 950            8726           55101541       1351931        0              302            65   65   48   
275.60/275.79	c 960            8805           55630037       1364599        0              304            61   64   56   
278.20/278.38	c 970            8909           56195736       1378881        0              306            63   70   60   
280.80/280.98	c 980            8994           56744055       1392247        0              310            66   69   61   
283.40/283.50	c 990            9077           57285795       1405593        0              313            61   64   57   
285.90/286.02	c 1000           9159           57826161       1418316        0              314            65   67   60   
288.40/288.55	c 1010           9243           58374564       1432672        0              316            61   65   56   
291.01/291.13	c 1020           9334           58936177       1446397        0              320            71   74   65   
293.60/293.72	c 1030           9428           59515611       1460606        0              324            67   70   62   
296.10/296.25	c 1040           9520           60066978       1473701        0              325            72   75   67   
298.71/298.81	c 1050           9604           60613634       1486412        0              327            63   67   59   
301.21/301.36	c 1060           9691           61175425       1499258        0              329            67   69   61   
303.81/303.90	c 1070           9778           61723793       1511923        0              332            70   72   64   
306.31/306.43	c 1080           9861           62262683       1525423        0              335            60   65   57   
308.91/309.01	c 1090           9957           62847995       1539854        0              338            67   73   63   
311.41/311.54	c 1100           10049          63396132       1552959        0              340            67   73   65   
314.02/314.11	c 1110           10138          63951453       1565855        0              343            66   71   62   
316.61/316.71	c 1120           10238          64536164       1580455        0              345            67   72   63   
319.21/319.32	c 1130           10339          65103943       1595019        0              347            62   68   59   
321.81/321.94	c 1140           10443          65676293       1608750        0              348            71   75   67   
324.21/324.37	c 1141           10504          66149076       1619030        0              349            61   61   30   
326.71/326.88	c 1150           10589          66676667       1633152        0              353            59   65   56   
329.31/329.44	c 1160           10671          67234597       1647312        0              356            58   61   53   
331.81/331.96	c 1170           10750          67766467       1660760        0              361            59   62   55   
334.31/334.47	c 1180           10825          68292495       1674053        0              367            56   59   52   
336.81/336.95	c 1190           10904          68806716       1688250        0              371            57   63   54   
339.41/339.52	c 1200           10998          69379234       1701595        0              373            70   74   65   
341.92/342.08	c 1210           11094          69928553       1715399        0              378            56   70   55   
344.51/344.61	c 1220           11177          70459915       1728952        0              383            58   60   53   
347.02/347.12	c 1230           11254          70978697       1741773        0              389            56   58   51   
349.51/349.69	c 1240           11349          71543412       1755487        0              392            65   73   62   
352.11/352.24	c 1250           11450          72090593       1769325        0              395            58   70   56   
354.61/354.78	c 1260           11539          72630754       1784450        0              398            59   63   55   
357.21/357.34	c 1270           11634          73185214       1797663        0              402            63   69   60   
359.81/359.90	c 1280           11729          73750372       1810815        0              406            71   74   65   
362.31/362.44	c 1290           11824          74306451       1823696        0              407            71   73   65   
364.81/364.98	c 1300           11917          74834552       1836321        0              410            58   73   61   
367.41/367.52	c 1310           12005          75387405       1849016        0              412            66   69   61   
369.92/370.07	c 1320           12093          75940116       1861860        0              414            69   70   63   
372.51/372.62	c 1330           12190          76494603       1875180        0              417            69   72   64   
375.11/375.20	c 1340           12291          77061095       1888942        0              422            70   74   65   
377.61/377.75	c 1350           12386          77625256       1902239        0              427            73   76   67   
380.11/380.24	c 1352           12460          78131689       1913150        0              429            70   73   47   
382.61/382.79	c 1360           12557          78683081       1926539        0              430            69   73   63   
385.21/385.34	c 1370           12636          79205302       1939729        0              434            61   63   56   
387.71/387.88	c 1380           12719          79746351       1952423        0              439            63   64   57   
390.31/390.49	c 1390           12824          80321868       1966578        0              444            69   72   64   
392.92/393.03	c 1400           12906          80865021       1979646        0              447            63   66   58   
395.41/395.55	c 1410           12988          81400599       1992409        0              450            60   63   55   
397.92/398.08	c 1420           13069          81942549       2005298        0              453            62   65   57   
400.51/400.64	c 1430           13158          82502292       2019598        0              456            65   68   60   
403.02/403.16	c 1440           13239          83032109       2032358        0              458            65   68   60   
405.51/405.67	c 1450           13320          83552130       2044826        0              460            61   63   56   
408.02/408.17	c 1460           13397          84069326       2057497        0              463            58   61   54   
410.51/410.67	c 1470           13478          84593270       2070156        0              468            65   68   60   
413.11/413.22	c 1480           13566          85150356       2083917        0              473            69   71   63   
415.61/415.78	c 1490           13664          85718278       2098852        0              478            64   72   61   
418.21/418.34	c 1500           13761          86279060       2111755        0              481            66   74   63   
420.81/420.95	c 1510           13856          86842420       2125157        0              483            69   73   64   
423.41/423.54	c 1520           13950          87423100       2140934        0              485            64   67   58   
425.92/426.04	c 1530           14037          87946160       2154512        0              486            65   72   61   
428.41/428.57	c 1540           14124          88472760       2167369        0              489            59   65   55   
431.02/431.19	c 1550           14227          89046857       2181122        0              494            76   78   69   
433.71/433.80	c 1560           14316          89611255       2195594        0              495            61   68   57   
436.21/436.30	c 1570           14411          90154141       2208167        0              497            71   75   66   
438.71/438.85	c 1580           14499          90706065       2221607        0              501            70   71   64   
441.21/441.33	c 1585           14567          91208142       2232847        0              504            62   62   51   
443.71/443.81	c 1590           14640          91719639       2244715        0              505            63   66   53   
446.21/446.32	c 1600           14721          92250615       2257271        0              510            61   64   56   
448.71/448.82	c 1610           14805          92788351       2270868        0              512            63   66   58   
451.21/451.34	c 1620           14890          93329522       2284560        0              516            63   67   58   
453.71/453.86	c 1630           14978          93875003       2297390        0              521            69   72   64   
456.21/456.39	c 1640           15059          94416871       2310142        0              523            61   64   56   
458.81/458.93	c 1650           15136          94941529       2322572        0              524            62   64   57   
461.31/461.41	c 1660           15217          95454918       2334914        0              527            60   63   55   
463.81/463.98	c 1670           15310          96005888       2348280        0              528            64   68   59   
466.41/466.55	c 1680           15390          96542269       2361756        0              532            62   64   56   
468.92/469.05	c 1690           15477          97086182       2375101        0              533            67   69   62   
471.51/471.61	c 1700           15559          97623542       2388433        0              536            60   64   56   
473.92/474.10	c 1710           15640          98154839       2401712        0              541            63   66   58   
476.51/476.65	c 1720           15726          98715337       2415961        0              544            61   66   57   
479.02/479.15	c 1730           15805          99244103       2428550        0              546            62   63   56   
481.61/481.70	c 1740           15904          99802426       2444226        0              548            60   68   58   
484.11/484.28	c 1750           15999          100353512      2458009        0              552            69   74   64   
486.71/486.85	c 1760           16090          100931390      2471743        0              555            66   69   61   
489.21/489.32	c 1770           16168          101450058      2484296        0              559            61   64   56   
491.71/491.83	c 1780           16251          101992539      2497440        0              562            65   67   60   
494.21/494.35	c 1790           16337          102533175      2510564        0              564            60   63   55   
496.71/496.85	c 1800           16417          103063689      2523762        0              565            61   66   56   
499.21/499.37	c 1810           16504          103621617      2537158        0              571            64   67   59   
501.71/501.84	c 1820           16582          104146966      2550476        0              572            61   62   56   
504.31/504.42	c 1830           16681          104717484      2564485        0              575            72   78   67   
506.81/506.97	c 1840           16783          105285028      2578746        0              578            64   71   60   
509.31/509.43	c 1841           16852          105787459      2589245        0              579            69   69   34   
511.81/511.95	c 1850           16942          106342697      2602155        0              583            69   72   62   
514.32/514.41	c 1860           17019          106846256      2615256        0              585            56   60   53   
516.82/517.00	c 1870           17109          107407318      2628727        0              588            69   72   64   
519.42/519.55	c 1880           17213          107973604      2643115        0              592            65   73   62   
522.02/522.18	c 1890           17311          108544716      2657482        0              595            67   72   63   
524.51/524.67	c 1900           17384          109051099      2670126        0              598            57   59   52   
527.11/527.27	c 1910           17480          109640130      2684576        0              601            67   71   62   
529.72/529.85	c 1920           17566          110180550      2697594        0              604            66   70   62   
532.32/532.41	c 1930           17656          110748127      2710642        0              609            67   69   62   
534.82/534.90	c 1940           17738          111274997      2723090        0              610            66   69   61   
537.42/537.51	c 1950           17840          111867983      2737565        0              612            73   75   67   
540.02/540.12	c 1960           17942          112446888      2752588        0              616            64   73   61   
542.62/542.71	c 1970           18038          113005034      2767012        0              619            58   66   55   
545.22/545.31	c 1980           18125          113561505      2780987        0              622            69   72   63   
547.72/547.88	c 1990           18227          114125084      2794522        0              625            64   73   62   
550.32/550.42	c 2000           18319          114667196      2807195        0              631            65   77   65   
552.93/553.02	c 2010           18425          115257021      2822222        0              633            65   74   63   
555.42/555.54	c 2020           18513          115797404      2834686        0              635            68   72   63   
557.92/558.05	c 2030           18604          116336191      2848542        0              641            61   67   59   
560.42/560.59	c 2040           18703          116880841      2862159        0              643            59   68   59   
563.03/563.12	c 2050           18780          117397072      2875342        0              644            57   60   53   
565.52/565.66	c 2060           18864          117941900      2888501        0              647            62   65   57   
568.03/568.18	c 2070           18949          118485888      2902019        0              653            60   62   55   
570.62/570.75	c 2080           19054          119047189      2916369        0              656            64   74   62   
573.22/573.30	c 2090           19151          119599536      2929375        0              657            67   75   64   
575.82/575.95	c 2100           19251          120172651      2944324        0              658            59   71   57   
578.42/578.57	c 2110           19354          120748653      2958149        0              662            77   82   72   
581.03/581.15	c 2120           19453          121316073      2971096        0              666            70   74   65   
583.52/583.69	c 2122           19524          121825167      2982097        0              668            68   68   45   
586.12/586.23	c 2130           19615          122367583      2995319        0              669            67   73   62   
588.72/588.86	c 2140           19726          122951961      3009393        0              674            71   78   68   
591.32/591.46	c 2150           19825          123528238      3022623        0              680            73   76   67   
593.93/594.04	c 2160           19932          124104234      3038110        0              685            63   76   62   
596.52/596.66	c 2170           20035          124703653      3053478        0              689            66   72   62   
599.12/599.21	c 2180           20136          125263695      3066850        0              694            62   72   62   
601.72/601.85	c 2190           20238          125840159      3080407        0              696            70   74   65   
604.32/604.41	c 2200           20337          126391125      3095067        0              700            60   73   58   
606.93/607.04	c 2210           20438          126979613      3109491        0              704            67   71   62   
609.42/609.55	c 2220           20528          127511075      3122327        0              707            68   72   63   
611.93/612.10	c 2230           20617          128069916      3138205        0              709            60   64   55   
614.52/614.65	c 2240           20723          128622420      3153357        0              712            62   65   57   
617.12/617.28	c 2250           20817          129207825      3167057        0              717            70   73   65   
619.72/619.89	c 2260           20919          129794549      3181483        0              720            70   78   66   
622.32/622.49	c 2270           21021          130382777      3195958        0              724            70   74   65   
624.93/625.07	c 2280           21119          130934675      3208602        0              726            75   81   70   
627.62/627.71	c 2290           21220          131519440      3222320        0              729            78   81   72   
630.03/630.16	c 2300           21296          132017845      3234783        0              734            57   60   53   
632.52/632.68	c 2310           21389          132551976      3247170        0              737            71   75   66   
635.03/635.18	c 2320           21489          133108969      3260272        0              742            73   77   67   
637.72/637.80	c 2330           21612          133706808      3275944        0              744            67   75   64   
640.32/640.44	c 2340           21711          134297727      3289799        0              747            73   76   67   
643.03/643.12	c 2350           21834          134922856      3306023        0              750            66   75   62   
645.52/645.69	c 2360           21934          135485524      3318977        0              753            73   77   68   
648.12/648.27	c 2370           22045          136063964      3333319        0              755            70   78   66   
650.82/650.93	c 2380           22144          136656046      3347722        0              757            69   77   65   
653.42/653.52	c 2390           22241          137225555      3361061        0              760            72   77   68   
655.93/656.05	c 2400           22337          137767127      3375138        0              763            61   70   58   
658.42/658.58	c 2410           22425          138294687      3387965        0              766            57   62   54   
660.93/661.10	c 2420           22509          138826878      3401708        0              767            57   60   53   
663.62/663.71	c 2430           22607          139407406      3415546        0              770            67   76   64   
665.93/666.10	c 2431           22670          139873248      3425776        0              771            63   63   31   
668.52/668.64	c 2440           22759          140421679      3439436        0              772            67   69   61   
671.03/671.12	c 2450           22842          140941268      3452442        0              776            62   65   57   
673.52/673.69	c 2460           22928          141489924      3465816        0              777            69   73   64   
676.03/676.19	c 2470           23014          142020107      3478523        0              779            59   65   56   
678.62/678.75	c 2480           23135          142587700      3492844        0              782            62   81   66   
681.12/681.21	c 2490           23216          143096952      3506498        0              785            59   68   54   
683.62/683.71	c 2500           23322          143632380      3518865        0              789            67   82   64   
686.22/686.33	c 2510           23422          144225657      3533405        0              790            71   74   65   
688.82/688.91	c 2520           23521          144782859      3545942        0              793            71   76   67   
691.32/691.49	c 2530           23614          145351037      3559128        0              796            72   76   67   
693.82/694.00	c 2540           23708          145894708      3571880        0              800            72   76   67   
696.52/696.62	c 2550           23801          146474655      3585296        0              802            72   73   66   
699.12/699.22	c 2560           23894          147053787      3599998        0              806            66   72   61   
701.72/701.80	c 2570           23998          147622573      3614718        0              809            65   76   63   
704.22/704.35	c 2580           24087          148153663      3628465        0              812            57   68   55   
706.72/706.85	c 2590           24169          148674213      3641021        0              816            58   62   54   
709.32/709.43	c 2600           24268          149254119      3655392        0              820            71   75   66   
711.82/711.99	c 2610           24362          149817853      3669096        0              825            73   74   66   
714.42/714.54	c 2620           24452          150373033      3681797        0              827            70   75   65   
717.03/717.12	c 2630           24540          150926272      3695451        0              833            62   66   57   
719.52/719.65	c 2640           24623          151468229      3708865        0              836            59   61   54   
722.03/722.15	c 2650           24710          152007021      3722289        0              838            62   65   57   
724.52/724.69	c 2660           24809          152564166      3735465        0              842            68   74   64   
727.12/727.28	c 2670           24903          153141181      3749226        0              844            68   73   63   
729.73/729.88	c 2680           25002          153720699      3762947        0              845            70   72   64   
732.33/732.41	c 2690           25097          154269189      3776617        0              849            64   67   59   
734.83/734.93	c 2700           25187          154811075      3789461        0              852            69   73   64   
737.33/737.41	c 2710           25269          155331121      3801484        0              854            61   68   56   
739.83/739.94	c 2720           25352          155873121      3814457        0              857            62   65   57   
742.33/742.47	c 2730           25428          156389373      3827018        0              861            62   64   57   
744.93/745.02	c 2740           25533          156958062      3841102        0              865            64   76   60   
747.43/747.57	c 2750           25638          157525580      3855221        0              870            69   74   65   
749.94/750.10	c 2760           25735          158086168      3868769        0              871            74   77   68   
752.63/752.72	c 2770           25832          158658466      3882282        0              875            74   78   68   
755.13/755.20	c 2771           25898          159160246      3892755        0              876            66   66   33   
757.63/757.75	c 2780           25987          159710420      3905068        0              878            70   76   66   
760.23/760.39	c 2790           26082          160290806      3918727        0              881            70   74   65   
762.83/762.96	c 2800           26185          160871008      3932343        0              885            71   75   67   
765.43/765.54	c 2810           26286          161444583      3946039        0              889            67   75   64   
768.04/768.18	c 2820           26381          162026219      3959601        0              891            71   73   65   
770.53/770.69	c 2830           26461          162560037      3972452        0              894            62   64   57   
773.13/773.22	c 2840           26555          163117110      3985868        0              897            71   73   65   
775.73/775.82	c 2850           26651          163693231      4000793        0              901            66   75   62   
778.34/778.42	c 2860           26739          164259599      4013891        0              904            66   69   61   
780.95/781.04	c 2870           26833          164834208      4028014        0              906            71   78   67   
783.54/783.66	c 2880           26943          165423693      4042367        0              908            73   78   69   
786.14/786.28	c 2890           27033          165999471      4056111        0              911            68   70   62   
788.74/788.80	c 2900           27134          166541762      4069898        0              913            62   69   60   
791.24/791.33	c 2910           27218          167074427      4083536        0              916            58   61   54   
793.84/793.91	c 2920           27325          167652457      4097992        0              922            66   76   63   
796.44/796.52	c 2930           27421          168237073      4111888        0              924            69   72   64   
799.05/799.11	c 2940           27525          168820804      4125400        0              927            72   76   67   
801.54/801.64	c 2950           27618          169340611      4138131        0              930            62   71   59   
804.14/804.24	c 2960           27709          169905862      4152729        0              935            61   66   57   
806.64/806.78	c 2970           27798          170461304      4166162        0              936            63   65   58   
809.24/809.35	c 2980           27912          171036925      4179517        0              938            71   76   67   
811.74/811.89	c 2990           27996          171585182      4193325        0              942            58   61   54   
814.34/814.46	c 3000           28096          172150349      4207927        0              945            66   72   62   
816.95/817.09	c 3010           28198          172724820      4222015        0              950            71   76   67   
819.54/819.61	c 3020           28281          173275221      4235425        0              955            62   64   57   
822.05/822.14	c 3030           28376          173823381      4248347        0              957            67   74   64   
824.64/824.71	c 3040           28458          174366462      4260778        0              959            63   66   58   
827.14/827.25	c 3050           28548          174921300      4273847        0              965            67   70   62   
829.84/829.90	c 3060           28666          175533772      4289648        0              970            70   74   65   
832.44/832.52	c 3070           28776          176136412      4304141        0              971            71   74   65   
834.84/834.97	c 3080           28851          176640053      4316463        0              972            59   61   54   
837.44/837.59	c 3090           28951          177214818      4329822        0              975            76   78   70   
839.95/840.08	c 3100           29032          177748613      4342298        0              978            64   66   58   
842.54/842.65	c 3110           29132          178323887      4355501        0              983            70   74   66   
845.05/845.14	c 3120           29213          178851705      4368335        0              987            60   63   56   
847.54/847.69	c 3130           29311          179419035      4381586        0              989            64   70   61   
850.24/850.31	c 3140           29417          180022789      4395937        0              992            72   76   67   
852.74/852.81	c 3142           29492          180539455      4407426        0              994            71   72   47   
855.24/855.35	c 3150           29582          181082371      4420039        0              998            65   71   60   
857.74/857.86	c 3160           29667          181631243      4432748        0              1001           66   68   60   
860.24/860.39	c 3170           29772          182180695      4446208        0              1005           65   77   64   
862.84/862.90	c 3180           29854          182718777      4459523        0              1009           64   67   59   
865.44/865.50	c 3190           29961          183303483      4473679        0              1012           71   76   66   
867.95/868.08	c 3200           30056          183849180      4486240        0              1015           73   77   68   
870.54/870.64	c 3210           30148          184418364      4499496        0              1019           70   71   64   
873.14/873.26	c 3220           30251          185016188      4513355        0              1023           68   72   64   
875.74/875.82	c 3230           30342          185572321      4526649        0              1024           74   77   68   
878.34/878.48	c 3240           30436          186164820      4540718        0              1026           69   70   63   
880.95/881.08	c 3250           30528          186738299      4556301        0              1028           61   69   58   
883.54/883.66	c 3260           30622          187303418      4569772        0              1031           72   75   67   
886.14/886.25	c 3270           30728          187892114      4584491        0              1034           64   75   65   
888.74/888.82	c 3280           30826          188458507      4597895        0              1036           71   76   66   
891.24/891.34	c 3290           30918          188990409      4610850        0              1038           64   73   62   
893.84/893.94	c 3300           31035          189558750      4625149        0              1041           64   78   63   
896.34/896.47	c 3310           31114          190090890      4638819        0              1045           58   61   53   
898.95/899.05	c 3320           31217          190661482      4652237        0              1051           66   76   65   
901.64/901.70	c 3330           31320          191263654      4666857        0              1053           68   75   64   
904.14/904.26	c 3340           31415          191822308      4680177        0              1057           69   74   65   
906.64/906.78	c 3350           31509          192376415      4693480        0              1059           65   69   61   
909.35/909.41	c 3360           31612          192964692      4708470        0              1061           68   72   64   
911.95/912.01	c 3370           31719          193541706      4722324        0              1064           67   76   64   
914.55/914.63	c 3380           31830          194109952      4736121        0              1067           69   77   67   
917.15/917.22	c 3390           31926          194664298      4749262        0              1073           66   75   65   
919.65/919.72	c 3400           32006          195186582      4764104        0              1075           56   60   52   
922.15/922.23	c 3410           32086          195705730      4776921        0              1078           60   64   55   
924.65/924.74	c 3420           32180          196240959      4791670        0              1081           58   67   55   
927.25/927.32	c 3430           32265          196796892      4805336        0              1085           59   62   54   
929.75/929.87	c 3440           32355          197350161      4818353        0              1087           69   72   64   
932.35/932.40	c 3450           32437          197896254      4831225        0              1091           63   65   58   
934.85/934.92	c 3460           32528          198432438      4844617        0              1094           60   70   56   
937.45/937.52	c 3470           32619          199005979      4858063        0              1096           70   72   64   
939.96/940.05	c 3480           32718          199563004      4871419        0              1098           75   80   70   
942.45/942.56	c 3490           32802          200096746      4884470        0              1103           57   60   53   
944.96/945.09	c 3500           32883          200633052      4897048        0              1106           64   66   59   
947.45/947.59	c 3510           32969          201177370      4910093        0              1110           65   67   60   
950.06/950.18	c 3520           33080          201761395      4924965        0              1112           63   71   61   
952.65/952.77	c 3530           33176          202338124      4938464        0              1116           72   75   66   
955.25/955.34	c 3540           33269          202904981      4951923        0              1120           67   70   62   
957.85/957.97	c 3550           33372          203501391      4966189        0              1125           73   76   68   
960.35/960.44	c 3551           33442          204005032      4976700        0              1126           70   70   35   
962.85/962.92	c 3560           33526          204517669      4989160        0              1128           59   71   59   
965.35/965.48	c 3570           33614          205071554      5002417        0              1132           66   70   61   
967.96/968.04	c 3580           33722          205628620      5015740        0              1135           69   76   65   
970.55/970.65	c 3590           33830          206201106      5029093        0              1138           66   77   64   
973.15/973.25	c 3600           33926          206771512      5042994        0              1140           69   74   65   
975.85/975.91	c 3610           34034          207376826      5058564        0              1142           69   74   64   
978.45/978.50	c 3620           34134          207952002      5072867        0              1147           69   74   64   
980.96/981.07	c 3630           34229          208519512      5086560        0              1150           66   72   62   
983.65/983.70	c 3640           34352          209115601      5101417        0              1154           61   78   62   
986.25/986.30	c 3650           34442          209680199      5115626        0              1157           63   72   61   
988.75/988.85	c 3660           34535          210239567      5128537        0              1160           70   75   65   
991.35/991.44	c 3670           34636          210807825      5142248        0              1162           66   75   63   
993.96/994.02	c 3680           34749          211373539      5155465        0              1167           68   79   66   
996.55/996.60	c 3690           34840          211923502      5168002        0              1168           74   77   68   
999.06/999.17	c 3700           34929          212476979      5181456        0              1170           67   70   62   
1001.65/1001.73	c 3710           35012          213022895      5194580        0              1173           63   65   57   
1004.06/1004.19	c 3720           35088          213529098      5207221        0              1176           60   63   55   
1006.65/1006.78	c 3730           35187          214106170      5221749        0              1181           67   73   63   
1009.35/1009.43	c 3740           35288          214696717      5236194        0              1183           70   76   66   
1011.85/1011.98	c 3750           35376          215251858      5249567        0              1188           65   71   62   
1014.45/1014.59	c 3760           35481          215836443      5264560        0              1192           61   69   59   
1017.06/1017.12	c 3770           35585          216395665      5277996        0              1193           67   74   64   
1019.65/1019.77	c 3780           35705          216992669      5292210        0              1197           65   78   64   
1022.15/1022.29	c 3790           35795          217543858      5305641        0              1198           72   73   66   
1024.65/1024.72	c 3800           35868          218040256      5318123        0              1202           59   62   54   
1027.15/1027.26	c 3810           35978          218599605      5332031        0              1205           62   76   61   
1029.75/1029.80	c 3820           36088          219164943      5345269        0              1208           69   75   65   
1032.25/1032.31	c 3830           36179          219706598      5357659        0              1209           71   74   65   
1034.75/1034.89	c 3840           36286          220271566      5371822        0              1213           65   74   62   
1037.45/1037.51	c 3850           36392          220862443      5386136        0              1217           69   78   67   
1039.96/1040.09	c 3860           36490          221434162      5399835        0              1220           70   74   64   
1042.65/1042.70	c 3870           36598          222026209      5415228        0              1223           67   73   63   
1045.25/1045.32	c 3880           36699          222591728      5428632        0              1226           73   78   69   
1047.75/1047.89	c 3890           36809          223158930      5442635        0              1231           68   77   66   
1050.35/1050.49	c 3900           36922          223748205      5457029        0              1236           74   80   69   
1053.06/1053.12	c 3910           37016          224323995      5471179        0              1239           72   75   66   
1055.65/1055.75	c 3920           37151          224927174      5486711        0              1242           62   74   64   
1058.15/1058.25	c 3930           37233          225455137      5500017        0              1247           56   59   52   
1060.75/1060.87	c 3940           37326          226016799      5516020        0              1248           61   71   58   
1063.45/1063.52	c 3950           37434          226613275      5529615        0              1251           75   80   69   
1065.96/1066.04	c 3960           37517          227150795      5543146        0              1254           62   64   57   
1068.55/1068.60	c 3970           37613          227706734      5556741        0              1257           71   75   66   
1071.15/1071.24	c 3980           37731          228277283      5571167        0              1262           58   79   63   
1073.76/1073.80	c 3990           37830          228834909      5585018        0              1264           66   75   64   
1076.26/1076.39	c 4000           37916          229377826      5599141        0              1267           61   66   57   
1078.76/1078.84	c 4001           37982          229873094      5609714        0              1268           66   66   33   
1081.26/1081.40	c 4010           38084          230436542      5622693        0              1271           74   81   69   
1083.86/1083.92	c 4020           38164          230977155      5636577        0              1276           59   62   54   
1086.36/1086.42	c 4030           38244          231504094      5649302        0              1280           60   62   55   
1088.96/1089.02	c 4040           38337          232078409      5663428        0              1281           67   71   62   
1091.56/1091.62	c 4050           38432          232649503      5676432        0              1284           71   74   66   
1094.07/1094.11	c 4060           38513          233178470      5689426        0              1285           62   64   57   
1096.56/1096.67	c 4070           38619          233742581      5703844        0              1287           64   72   61   
1099.26/1099.35	c 4080           38720          234344796      5718645        0              1290           69   74   64   
1101.86/1101.90	c 4090           38822          234900917      5732092        0              1292           73   76   67   
1104.36/1104.46	c 4100           38909          235458522      5745523        0              1296           67   70   62   
1106.86/1107.00	c 4110           38992          236006180      5759150        0              1301           60   64   56   
1109.36/1109.49	c 4120           39073          236529597      5771294        0              1307           63   65   58   
1111.97/1112.05	c 4130           39159          237078667      5785617        0              1311           60   64   56   
1114.56/1114.62	c 4140           39246          237641891      5799955        0              1313           63   69   59   
1117.07/1117.12	c 4150           39343          238191130      5813864        0              1317           66   69   61   
1119.66/1119.71	c 4160           39433          238755618      5827357        0              1319           71   74   66   
1122.26/1122.31	c 4170           39542          239327696      5841640        0              1322           65   73   64   
1124.86/1124.94	c 4180           39660          239902930      5856002        0              1323           70   78   67   
1127.36/1127.49	c 4190           39754          240448828      5870190        0              1325           59   67   56   
1130.07/1130.12	c 4200           39869          241035525      5885940        0              1327           62   74   61   
1132.66/1132.76	c 4210           39991          241621400      5901360        0              1331           63   81   65   
1135.26/1135.34	c 4220           40091          242180664      5914805        0              1332           71   78   67   
1137.86/1137.96	c 4230           40188          242757177      5928197        0              1335           70   75   65   
1140.36/1140.45	c 4240           40265          243275828      5941258        0              1340           56   60   52   
1142.97/1143.02	c 4250           40371          243832363      5954053        0              1342           66   78   65   
1145.46/1145.53	c 4260           40456          244372483      5967698        0              1345           57   60   53   
1147.97/1148.10	c 4270           40548          244933721      5981322        0              1347           68   70   63   
1150.56/1150.65	c 4280           40670          245508074      5994810        0              1350           69   85   72   
1153.16/1153.22	c 4290           40758          246045705      6008826        0              1354           58   63   54   
1155.66/1155.79	c 4300           40846          246601263      6023630        0              1360           59   64   55   
1158.26/1158.37	c 4310           40932          247151431      6036450        0              1363           65   67   60   
1160.86/1160.94	c 4320           41029          247713822      6050812        0              1369           67   72   63   
1163.46/1163.53	c 4330           41125          248286541      6064496        0              1373           69   75   65   
1166.07/1166.13	c 4340           41240          248865937      6077355        0              1378           76   84   72   
1168.66/1168.71	c 4350           41345          249440057      6092286        0              1380           70   79   65   
1171.26/1171.34	c 4360           41450          250006654      6106602        0              1385           64   77   62   
1173.86/1173.91	c 4370           41562          250568596      6120601        0              1389           67   76   66   
1176.36/1176.46	c 4380           41664          251127674      6133839        0              1392           73   76   67   
1178.97/1179.03	c 4390           41768          251674111      6147237        0              1394           70   78   67   
1181.56/1181.61	c 4400           41856          252218002      6160095        0              1397           72   74   65   
1184.16/1184.21	c 4410           41957          252787704      6173255        0              1400           74   80   70   
1186.66/1186.74	c 4420           42042          253319562      6186782        0              1403           57   61   53   
1189.26/1189.32	c 4430           42147          253879607      6201309        0              1407           67   75   63   
1191.76/1191.85	c 4440           42230          254414859      6215407        0              1410           60   65   56   
1194.36/1194.43	c 4450           42327          254972343      6229288        0              1416           64   68   60   
1196.86/1196.97	c 4460           42412          255515059      6243920        0              1417           59   62   54   
1199.36/1199.49	c 4470           42494          256055902      6257141        0              1422           60   62   55   
1201.97/1202.04	c 4480           42582          256597377      6271476        0              1423           59   65   56   
1204.46/1204.56	c 4490           42680          257134555      6284961        0              1424           62   72   59   
1206.86/1206.94	c 4493           42741          257595769      6295326        0              1426           56   57   42   
1209.36/1209.50	c 4500           42831          258146335      6308859        0              1431           68   73   61   
1211.97/1212.02	c 4510           42914          258692624      6322442        0              1438           58   61   54   
1214.46/1214.59	c 4520           43038          259274786      6336729        0              1440           78   86   73   
1217.07/1217.16	c 4530           43146          259828982      6349918        0              1442           68   84   69   
1219.56/1219.69	c 4540           43223          260350343      6362550        0              1447           58   61   53   
1222.26/1222.30	c 4550           43317          260920591      6375519        0              1452           70   72   64   
1224.76/1224.87	c 4560           43416          261474993      6390147        0              1456           59   71   58   
1227.36/1227.41	c 4570           43505          262012631      6403376        0              1459           64   72   60   
1229.97/1230.05	c 4580           43610          262599702      6417237        0              1463           76   80   71   
1232.56/1232.61	c 4590           43707          263157971      6430856        0              1467           71   77   67   
1235.07/1235.15	c 4600           43806          263708222      6444732        0              1469           68   74   65   
1237.66/1237.71	c 4610           43887          264249778      6457463        0              1471           61   64   56   
1240.16/1240.26	c 4620           43992          264800452      6473402        0              1476           59   71   58   
1242.76/1242.85	c 4630           44107          265376281      6487470        0              1479           67   78   65   
1245.36/1245.46	c 4640           44218          265963738      6503360        0              1480           66   73   64   
1247.97/1248.05	c 4650           44312          266538702      6516993        0              1484           72   74   66   
1250.57/1250.61	c 4660           44402          267090489      6530288        0              1486           60   65   56   
1253.17/1253.22	c 4670           44511          267672928      6544656        0              1490           66   76   64   
1255.67/1255.74	c 4680           44595          268210727      6558117        0              1497           59   62   55   
1258.16/1258.27	c 4690           44682          268743563      6571531        0              1499           60   66   57   
1260.76/1260.81	c 4700           44768          269285570      6585181        0              1503           61   65   57   
1263.36/1263.44	c 4710           44872          269876379      6599131        0              1506           75   78   70   
1265.86/1265.93	c 4720           44950          270395419      6612323        0              1509           64   65   58   
1268.36/1268.41	c 4730           45029          270916103      6625474        0              1515           60   64   56   
1270.76/1270.88	c 4740           45104          271420865      6639206        0              1519           55   57   50   
1273.36/1273.49	c 4750           45199          271992623      6652386        0              1521           72   75   67   
1275.97/1276.02	c 4760           45285          272519601      6664450        0              1523           68   71   63   
1278.47/1278.59	c 4770           45370          273068402      6678731        0              1528           60   66   55   
1281.07/1281.15	c 4780           45462          273630408      6691898        0              1532           66   69   61   
1283.67/1283.74	c 4790           45562          274213431      6705337        0              1535           67   73   64   
1286.27/1286.39	c 4800           45667          274813166      6720729        0              1538           66   73   62   
1288.87/1288.95	c 4810           45758          275374357      6734307        0              1541           64   67   59   
1291.37/1291.44	c 4820           45839          275897283      6746893        0              1544           61   63   56   
1293.87/1293.95	c 4830           45923          276429057      6759529        0              1546           63   65   58   
1296.37/1296.49	c 4840           46015          276992536      6772711        0              1549           72   73   65   
1298.87/1298.99	c 4850           46095          277522655      6785590        0              1552           63   65   58   
1301.47/1301.53	c 4860           46194          278075800      6798191        0              1556           69   78   66   
1303.98/1304.06	c 4870           46287          278620340      6811069        0              1560           72   74   66   
1306.57/1306.62	c 4880           46375          279177255      6823866        0              1564           69   72   64   
1309.17/1309.23	c 4890           46477          279762199      6837663        0              1567           73   78   68   
1311.77/1311.80	c 4900           46583          280343863      6851468        0              1570           74   78   68   
1314.17/1314.27	c 4910           46662          280853471      6864663        0              1573           59   64   55   
1316.67/1316.77	c 4920           46740          281378681      6878493        0              1576           59   62   55   
1319.27/1319.34	c 4930           46858          281958446      6892149        0              1579           73   77   68   
1321.87/1321.94	c 4940           46949          282524313      6905622        0              1580           65   68   60   
1324.47/1324.52	c 4950           47049          283105901      6919414        0              1583           74   76   67   
1326.98/1327.07	c 4960           47133          283649441      6931873        0              1587           66   69   61   
1329.47/1329.60	c 4970           47213          284185575      6944709        0              1593           61   63   56   
1332.08/1332.11	c 4980           47297          284728670      6957878        0              1597           63   66   58   
1334.67/1334.75	c 4990           47395          285326713      6973029        0              1601           67   71   62   
1337.67/1337.74	c 5035           47621          286152774      7000797        0              1605           68   78   70   
1346.77/1346.84	c 5631           49400          291167234      7221494        0              1615           73   84   79   
1360.87/1360.91	c 6286           51787          297824251      7538827        0              1621           56   72   64   
1373.17/1373.25	c 7006           53556          303999993      7852826        0              1629           59   67   62   
1382.57/1382.65	c 7798           56126          309277482      8100178        0              1638           58   79   69   
1392.87/1393.00	c 8669           58510          315792863      8391298        0              1648           65   77   70   
1407.37/1407.41	c 9627           60893          323827028      8802796        0              1658           57   69   62   
1430.28/1430.36	c 10680          63237          333326789      9459487        0              1664           49   57   52   
1445.78/1445.87	c 11838          67031          342747605      9880403        0              1675           58   73   64   
1459.48/1459.54	c 13111          70227          351742242      10307282       0              1685           64   72   68   
1483.68/1483.73	c 14511          74061          363614195      10924700       0              1693           56   69   61   
1504.99/1505.07	c 16051          78796          376790223      11562927       0              1699           70   83   76   
1536.88/1536.95	c 17745          83411          392191242      12387851       0              1711           57   72   63   
1558.89/1558.91	c 19608          88499          405984119      13008998       0              1721           59   71   63   
1590.39/1590.44	c 21657          94069          423923515      14007737       0              1740           60   72   65   
1635.49/1635.52	c 23910          99992          444419891      15258830       0              1752           52   63   55   
1663.29/1663.34	c 26388          108980         463168525      16152037       0              1760           59   78   66   
1688.00/1688.07	c 29113          115631         480937708      16957565       0              1763           60   75   67   
1724.70/1724.75	c 32110          125157         504564454      18056632       0              1774           61   80   71   
1773.01/1773.03	c 35406          134478         530708755      19330134       0              1787           55   73   61   
1813.30/1813.32	c 39031          143822         559121855      20638449       0              1799           65   73   69   
1872.51/1872.54	c 43018          152482         588919809      22392769       0              1822           53   61   56   
1913.12/1913.16	c 47403          163532         618362845      23733426       0              1831           57   71   62   
1963.81/1963.86	c 52226          174916         651429038      25596453       0              1836           59   70   63   
2013.93/2013.96	c 57531          188605         687855344      27253808       0              1849           59   71   63   
2109.63/2109.61	c 63366          204999         739472205      29739861       0              1864           56   81   62   
2212.64/2212.63	c 69784          221626         793408420      32422696       0              1876           54   65   59   
2288.35/2288.35	c 76843          240170         845345739      35089006       0              1890           60   75   66   
2379.65/2379.67	c 84607          262471         905360077      38303207       0              1901           59   77   66   
2464.96/2464.94	c 93147          285207         969413549      41195747       0              1919           67   79   72   
2520.07/2520.01	
2520.07/2520.01	c *** INTERRUPTED ***
2520.07/2520.01	c restarts              : 547         
2520.07/2520.01	c conflicts             : 97149        (39 /sec)
2520.07/2520.01	c decisions             : 297192       (118 /sec)
2520.07/2520.01	c propagations          : 42684748    (16939 /sec)
2520.07/2520.01	c root propagations     : 0           
2520.07/2520.01	c filter calls          : 1001981842     (397617 /sec)
2520.07/2520.01	c useless filter calls  : 966051481      (96 %)
2520.07/2520.01	c
2520.07/2520.01	c clauses               : 507679
2520.07/2520.01	c SAT propagations      : 0
2520.07/2520.01	c SAT conflicts         : 0 (0 learnts)
2520.07/2520.01	c Memory used           : 149.85 MB
2520.07/2520.01	c CPU time              : 2519.97 s
2520.07/2520.01	
2520.07/2520.01	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15086 MiB free)
  memory of node 1: 16384 MiB (15292 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266449-1502590768/watcher-4266449-1502590768 -o /tmp/evaluation-result-4266449-1502590768/solver-4266449-1502590768 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12459 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266449-1502590768.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=16710, runsolver pid=16707

[startup+0.100156 s]*
/proc/loadavg: 2.00 2.02 2.05 3/185 16711
/proc/meminfo: memFree=31107568/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=27260 memory=3332 CPUtime=0.01 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 1042 0 0 0 1 0 0 0 20 0 1 0 100988136 27914240 833 18446744073709551615 4194304 5972588 140733493989056 140733493985704 140175982709733 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 6815 833 709 435 0 178 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 27260 KiB
Current children cumulated memory: 3332 KiB

[startup+0.209404 s]*
/proc/loadavg: 2.00 2.02 2.05 3/185 16711
/proc/meminfo: memFree=31106820/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=28332 memory=4388 CPUtime=0.12 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 1301 0 0 0 12 0 0 0 20 0 1 0 100988136 29011968 1097 18446744073709551615 4194304 5972588 140733493989056 140733493985704 140175982709733 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 7083 1097 717 435 0 446 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28332 KiB
Current children cumulated memory: 4388 KiB

[startup+0.308891 s]*
/proc/loadavg: 2.00 2.02 2.05 3/185 16711
/proc/meminfo: memFree=31106076/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=29316 memory=5396 CPUtime=0.22 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 1596 0 0 0 22 0 0 0 20 0 1 0 100988136 30019584 1349 18446744073709551615 4194304 5972588 140733493989056 140733493985704 140175982709733 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 7329 1349 787 435 0 692 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 29316 KiB
Current children cumulated memory: 5396 KiB

[startup+0.700272 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 16711
/proc/meminfo: memFree=31104836/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=31032 memory=7244 CPUtime=0.6 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 2031 0 0 0 60 0 0 0 20 0 1 0 100988136 31776768 1811 18446744073709551615 4194304 5972588 140733493989056 140733493980632 140175992067922 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 7758 1811 787 435 0 1121 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 31032 KiB
Current children cumulated memory: 7244 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 16711
/proc/meminfo: memFree=31102604/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=34596 memory=10676 CPUtime=1.4 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 2941 0 0 0 140 0 0 0 20 0 1 0 100988136 35426304 2669 18446744073709551615 4194304 5972588 140733493989056 140733493980632 140175992055026 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 8649 2669 787 435 0 2012 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 34596 KiB
Current children cumulated memory: 10676 KiB

[startup+3.10917 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 16711
/proc/meminfo: memFree=31093676/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=41988 memory=18164 CPUtime=3 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 4831 0 0 0 300 0 0 0 20 0 1 0 100988136 42995712 4541 18446744073709551615 4194304 5972588 140733493989056 140733493980632 140175982709733 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 10497 4541 787 435 0 3860 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 41988 KiB
Current children cumulated memory: 18164 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 16711
/proc/meminfo: memFree=31079300/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=56516 memory=32736 CPUtime=6.19 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 8689 0 0 0 618 1 0 0 20 0 1 0 100988136 57872384 8184 18446744073709551615 4194304 5972588 140733493989056 140733493980824 140175992036736 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 14129 8184 787 435 0 7492 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 56516 KiB
Current children cumulated memory: 32736 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 16711
/proc/meminfo: memFree=31008184/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=152856 memory=125032 CPUtime=12.6 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 37683 0 0 0 1255 5 0 0 20 0 1 0 100988136 156524544 31258 18446744073709551615 4194304 5972588 140733493989056 140733493980632 4965365 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38214 31258 831 435 0 31577 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 152856 KiB
Current children cumulated memory: 125032 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16711
/proc/meminfo: memFree=30985180/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153180 memory=125460 CPUtime=25.39 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 79048 0 0 0 2532 7 0 0 20 0 1 0 100988136 156856320 31365 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5070896 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38295 31365 835 435 0 31658 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 153180 KiB
Current children cumulated memory: 125460 KiB

[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16711
/proc/meminfo: memFree=30984980/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153180 memory=125616 CPUtime=51 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 92361 0 0 0 5092 8 0 0 20 0 1 0 100988136 156856320 31404 18446744073709551615 4194304 5972588 140733493989056 140733493986360 4965428 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38295 31404 835 435 0 31658 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 153180 KiB
Current children cumulated memory: 125616 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16713
/proc/meminfo: memFree=30984972/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153312 memory=126000 CPUtime=102.19 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 93985 0 0 0 10211 8 0 0 20 0 1 0 100988136 156991488 31500 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5071929 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38328 31500 835 435 0 31691 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 153312 KiB
Current children cumulated memory: 126000 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16716
/proc/meminfo: memFree=30984504/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153312 memory=126052 CPUtime=162.19 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 95346 0 0 0 16211 8 0 0 20 0 1 0 100988136 156991488 31513 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5099648 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38328 31513 835 435 0 31691 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 153312 KiB
Current children cumulated memory: 126052 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 16719
/proc/meminfo: memFree=30984852/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153312 memory=126080 CPUtime=222.19 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 96644 0 0 0 22211 8 0 0 20 0 1 0 100988136 156991488 31520 18446744073709551615 4194304 5972588 140733493989056 140733493986360 4965339 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38328 31520 835 435 0 31691 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 153312 KiB
Current children cumulated memory: 126080 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 16735
/proc/meminfo: memFree=30979960/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153312 memory=126100 CPUtime=282.2 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 96726 0 0 0 28212 8 0 0 20 0 1 0 100988136 156991488 31525 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5099648 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38328 31525 835 435 0 31691 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 153312 KiB
Current children cumulated memory: 126100 KiB

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 16737
/proc/meminfo: memFree=30980824/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153312 memory=126132 CPUtime=342.21 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 97859 0 0 0 34212 9 0 0 20 0 1 0 100988136 156991488 31533 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5070800 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38328 31533 835 435 0 31691 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 153312 KiB
Current children cumulated memory: 126132 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 16739
/proc/meminfo: memFree=30984220/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153312 memory=126140 CPUtime=402.21 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 97984 0 0 0 40212 9 0 0 20 0 1 0 100988136 156991488 31535 18446744073709551615 4194304 5972588 140733493989056 140733493986360 4965342 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38328 31535 835 435 0 31691 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 153312 KiB
Current children cumulated memory: 126140 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 16741
/proc/meminfo: memFree=30984576/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153312 memory=126180 CPUtime=462.21 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 99310 0 0 0 46212 9 0 0 20 0 1 0 100988136 156991488 31545 18446744073709551615 4194304 5972588 140733493989056 140733493986360 4965365 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38328 31545 835 435 0 31691 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 153312 KiB
Current children cumulated memory: 126180 KiB


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

/proc/16710/statm: 38361 31677 835 435 0 31724 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126708 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 17249
/proc/meminfo: memFree=29582156/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126712 CPUtime=1782.3 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 111735 0 0 0 178220 10 0 0 20 0 1 0 100988136 157126656 31678 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5053097 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31678 835 435 0 31724 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126712 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 17251
/proc/meminfo: memFree=29582432/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126712 CPUtime=1842.31 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 111759 0 0 0 184221 10 0 0 20 0 1 0 100988136 157126656 31678 18446744073709551615 4194304 5972588 140733493989056 140733493986360 4969162 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31678 835 435 0 31724 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126712 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 17253
/proc/meminfo: memFree=29581964/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126712 CPUtime=1902.31 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 112772 0 0 0 190221 10 0 0 20 0 1 0 100988136 157126656 31678 18446744073709551615 4194304 5972588 140733493989056 140733493986360 4962170 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31678 835 435 0 31724 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126712 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 17256
/proc/meminfo: memFree=29582444/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126712 CPUtime=1962.31 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 112774 0 0 0 196221 10 0 0 20 0 1 0 100988136 157126656 31678 18446744073709551615 4194304 5972588 140733493989056 140733493986360 4965342 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31678 835 435 0 31724 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126712 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 17258
/proc/meminfo: memFree=29582072/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126712 CPUtime=2022.33 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 113790 0 0 0 202222 11 0 0 20 0 1 0 100988136 157126656 31678 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5070811 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31678 835 435 0 31724 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126712 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17274
/proc/meminfo: memFree=29577516/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126712 CPUtime=2082.33 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 113791 0 0 0 208222 11 0 0 20 0 1 0 100988136 157126656 31678 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5053097 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31678 835 435 0 31724 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126712 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 17277
/proc/meminfo: memFree=29577536/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126716 CPUtime=2142.34 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 114807 0 0 0 214223 11 0 0 20 0 1 0 100988136 157126656 31679 18446744073709551615 4194304 5972588 140733493989056 140733493986360 4965365 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31679 835 435 0 31724 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126716 KiB

[startup+2202.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/186 17279
/proc/meminfo: memFree=29581652/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126716 CPUtime=2202.34 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 114807 0 0 0 220223 11 0 0 20 0 1 0 100988136 157126656 31679 18446744073709551615 4194304 5972588 140733493989056 140733493986360 4965428 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31679 835 435 0 31724 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126716 KiB

[startup+2262.3 s]
/proc/loadavg: 2.29 2.15 2.09 3/186 17281
/proc/meminfo: memFree=29581404/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126716 CPUtime=2262.35 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 115709 0 0 0 226224 11 0 0 20 0 1 0 100988136 157126656 31679 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5053090 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31679 835 435 0 31724 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126716 KiB

[startup+2322.3 s]
/proc/loadavg: 2.11 2.12 2.08 3/186 17283
/proc/meminfo: memFree=29581900/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126716 CPUtime=2322.35 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 115820 0 0 0 232224 11 0 0 20 0 1 0 100988136 157126656 31679 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5071856 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31679 835 435 0 31724 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126716 KiB

[startup+2382.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/186 17285
/proc/meminfo: memFree=29581776/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126716 CPUtime=2382.35 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 116817 0 0 0 238224 11 0 0 20 0 1 0 100988136 157126656 31679 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5070704 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31679 835 435 0 31724 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126716 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/185 17288
/proc/meminfo: memFree=29582164/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126716 CPUtime=2442.36 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 116828 0 0 0 244225 11 0 0 20 0 1 0 100988136 157126656 31679 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5070704 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31679 835 435 0 31724 0
Current children cumulated CPU time: 2442.36 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126716 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/185 17290
/proc/meminfo: memFree=29581792/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126716 CPUtime=2502.36 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 117885 0 0 0 250225 11 0 0 20 0 1 0 100988136 157126656 31679 18446744073709551615 4194304 5972588 140733493989056 140733493986360 5053094 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31679 835 435 0 31724 0
Current children cumulated CPU time: 2502.36 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126716 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.06 2.07 3/185 17290
/proc/meminfo: memFree=29582040/32770624 swapFree=67108860/67108860
[pid=16710] ppid=16707 vsize=153444 memory=126716 CPUtime=2520.07 cores=1,3,5,7
/proc/16710/stat : 16710 (cosoco) R 16707 16710 12395 0 -1 4202496 117896 0 0 0 251996 11 0 0 20 0 1 0 100988136 157126656 31679 18446744073709551615 4194304 5972588 140733493989056 140733493986360 4965365 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 8070896 8075904 21422080 140733493993924 140733493994024 140733493994024 140733493997518 0
/proc/16710/statm: 38361 31679 835 435 0 31724 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 153444 KiB
Current children cumulated memory: 126716 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 16710 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.97 s, system=0.113008 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.08
CPU user time (s): 2519.97
CPU system time (s): 0.113008
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 153444
Max. memory (cumulated for all children) (KiB): 126716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.97
system time used= 0.113008
maximum resident set size= 126780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117932
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= 42
involuntary context switches= 774


# summary of solver processes directly reported to runsolver:
#   pid: 16710
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2519.97
#   total CPU system time (s): 0.113008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.63213 second user time and 19.3086 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-13 04:05:35
IDJOB=4266449
IDBENCH=138399
IDSOLVER=2655
FILE ID=node135/4266449-1502590768
RUNJOBID= node135-1502565212-12459
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-14.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266449-1502590768/watcher-4266449-1502590768 -o /tmp/evaluation-result-4266449-1502590768/solver-4266449-1502590768 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12459 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4266449-1502590768.xml

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

MD5SUM BENCH= e8698b72f1d598ed72051801219b61cc
RANDOM SEED=1699980263

node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31107876 kB
MemAvailable:   31964968 kB
Buffers:          308544 kB
Cached:           847056 kB
SwapCached:            0 kB
Active:           683388 kB
Inactive:         537400 kB
Active(anon):      65508 kB
Inactive(anon):    41332 kB
Active(file):     617880 kB
Inactive(file):   496068 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2740 kB
Writeback:             4 kB
AnonPages:         64072 kB
Mapped:            55420 kB
Shmem:             41656 kB
Slab:             145276 kB
SReclaimable:     117960 kB
SUnreclaim:        27316 kB
KernelStack:        3312 kB
PageTables:         4936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62024 MiB
End job on node135 at 2017-08-13 04:47:35