Trace number 4241235

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco-sat 1.1SAT 2152.08 2152.82

General information on the benchmark

NameSteiner3/Steiner3-m1-s1/
Steiner3-09.xml
MD5SUM1acf0ac9bd97a514ba0385b56c9970ab
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.41295
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints78
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":36}]
Minimum variable degree12
Maximum variable degree12
Distribution of variable degrees[{"degree":12,"count":36}]
Minimum constraint arity3
Maximum constraint arity6
Distribution of constraint arities[{"arity":3,"count":12},{"arity":6,"count":66}]
Number of extensional constraints66
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":66},{"type":"ordered","count":12}]
Optimization problemNO
Type of objective

Solver Data 

1.20/1.21	c SAT : Variables: 324 -- Clauses: 1332
1.99/2.06	c root propagations     : 72          
1.99/2.06	c restarts enabled, print stats at every restarts
1.99/2.06	c
1.99/2.06	c
1.99/2.06	c
1.99/2.06	c This is cosoco 1.0 --  
1.99/2.06	c
1.99/2.06	c ========================================[ Problem Statistics ]===========================================
1.99/2.06	c |                                                                                                       
1.99/2.06	c |  Parse time        :         1.17 s 
1.99/2.06	c |
1.99/2.06	c |               Variables: 36
1.99/2.06	c |            Domain Sizes: 9..9
1.99/2.06	c |
1.99/2.06	c |             Constraints: 90
1.99/2.06	c |                   Arity: 2..6  -- Binary: 24
1.99/2.06	c | 
1.99/2.06	c |                   Types: 
1.99/2.06	c |                          (X - Y < k): 24
1.99/2.06	c |                          Extension: 66  (nb tuples: 196560..196560) -- (shared: 65)
1.99/2.06	c |                          
1.99/2.06	c =========================================================================================================
1.99/2.06	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.19/2.22	c 10             22             773            246            36             10             7   13   8     
2.38/2.42	c 20             50             1325           456            36             20             4   19   10    
2.58/2.60	c 30             78             1834           617            36             30             4   19   9     
2.68/2.79	c 40             109            2373           793            36             40             4   22   9     
2.88/2.94	c 50             143            3003           999            36             50             10   25   16   
3.08/3.12	c 60             174            3548           1191           36             60             4   22   11    
3.18/3.28	c 70             208            4262           1397           36             70             6   25   16    
3.39/3.49	c 80             242            4980           1621           36             80             5   25   12    
3.58/3.68	c 90             273            5607           1809           36             90             5   22   13    
3.78/3.85	c 100            307            6310           2034           36             100            6   25   18    
3.78/3.89	c 101            310            6360           2052           36             101            3   3   1      
3.98/4.09	c 110            340            6923           2229           36             110            4   22   10    
4.19/4.26	c 120            371            7551           2417           36             120            13   22   15   
4.39/4.43	c 130            405            8265           2629           36             130            3   25   16    
4.59/4.62	c 140            439            9052           2846           36             140            6   25   16    
4.79/4.80	c 150            473            9800           3062           36             150            10   25   17   
4.89/4.96	c 160            508            10542          3299           36             156            19   25   21   
5.09/5.14	c 170            542            11231          3514           36             166            16   25   18   
5.29/5.34	c 180            573            11877          3713           36             176            10   22   14   
5.49/5.51	c 190            607            12634          3931           36             186            16   25   20   
5.59/5.68	c 200            641            13456          4157           36             192            16   25   19   
5.79/5.85	c 210            669            13974          4327           36             202            4   19   12    
5.89/5.92	c 211            682            14218          4384           36             203            13   13   6    
5.99/6.09	c 220            715            14858          4583           36             212            10   25   15   
6.19/6.25	c 230            750            15694          4821           36             218            22   25   22   
6.39/6.41	c 240            784            16433          5028           36             228            10   25   17   
6.48/6.60	c 250            818            17151          5251           36             238            13   25   17   
6.69/6.76	c 260            852            17866          5470           36             244            16   25   20   
6.88/6.93	c 270            886            18593          5683           36             254            10   25   17   
6.98/7.09	c 280            920            19332          5905           36             264            16   25   20   
7.18/7.27	c 290            954            19995          6111           36             274            10   25   16   
7.38/7.46	c 300            988            20738          6327           36             284            13   25   18   
7.58/7.64	c 310            1022           21430          6537           36             294            7   25   16    
7.79/7.83	c 320            1056           22219          6762           36             304            10   25   17   
7.98/8.01	c 330            1084           22791          6942           36             314            13   19   14   
7.98/8.09	c 332            1101           23087          7017           36             316            13   16   9    
8.18/8.25	c 340            1130           23655          7198           36             324            3   22   14    
8.38/8.42	c 350            1164           24327          7413           36             334            7   25   16    
8.48/8.59	c 360            1195           25005          7618           36             344            19   22   18   
8.68/8.75	c 370            1229           25652          7833           36             354            13   25   18   
8.89/8.93	c 380            1263           26358          8050           36             364            13   25   17   
8.99/9.08	c 390            1297           27164          8269           36             370            16   25   20   
9.19/9.26	c 400            1331           27875          8490           36             380            10   25   17   
9.39/9.45	c 410            1365           28586          8707           36             390            10   25   16   
9.59/9.62	c 420            1399           29313          8920           36             400            10   25   18   
9.79/9.80	c 430            1433           29982          9131           36             410            13   25   16   
9.89/9.97	c 440            1467           30611          9335           36             420            3   25   15    
10.09/10.15	c 450            1501           31332          9548           36             430            10   25   15   
10.29/10.33	c 460            1535           32081          9768           36             440            13   25   18   
10.39/10.47	c 465            1564           32740          9942           36             441            25   25   20   
10.49/10.59	c 470            1587           33186          10072          36             446            7   19   11    
10.69/10.74	c 480            1622           33945          10301          36             451            22   25   21   
10.79/10.88	c 490            1656           34540          10492          36             461            16   25   18   
10.99/11.07	c 500            1690           35261          10713          36             471            3   25   16    
11.19/11.23	c 510            1724           35990          10926          36             481            10   25   17   
11.39/11.42	c 520            1758           36750          11149          36             491            16   25   18   
11.49/11.58	c 530            1793           37510          11375          36             497            19   25   21   
11.69/11.74	c 540            1827           38173          11580          36             507            16   25   18   
11.89/11.92	c 550            1861           38876          11794          36             517            19   25   19   
11.99/12.09	c 560            1896           39609          12021          36             526            19   25   19   
12.19/12.25	c 570            1931           40357          12259          36             532            19   25   21   
12.39/12.43	c 580            1965           41122          12481          36             538            13   25   18   
12.59/12.62	c 590            1999           41815          12692          36             548            4   25   16    
12.78/12.80	c 600            2033           42511          12902          36             558            13   25   17   
12.88/12.97	c 610            2067           43229          13130          36             564            16   25   20   
12.98/13.07	c 611            2083           43547          13211          36             565            16   16   8    
13.19/13.24	c 620            2116           44263          13415          36             574            13   25   18   
13.38/13.43	c 630            2150           45004          13626          36             584            13   25   18   
13.48/13.59	c 640            2184           45759          13838          36             594            13   25   18   
13.68/13.77	c 650            2218           46525          14073          36             600            16   25   19   
13.88/13.97	c 660            2252           47206          14286          36             610            4   25   14    
14.08/14.14	c 670            2290           48026          14544          36             619            21   26   20   
14.29/14.32	c 680            2324           48757          14766          36             625            13   25   18   
14.39/14.48	c 690            2358           49475          14972          36             635            16   25   19   
14.58/14.67	c 700            2392           50206          15183          36             645            7   25   17    
14.78/14.83	c 710            2426           50932          15396          36             655            13   25   18   
14.98/15.00	c 720            2461           51772          15626          36             661            22   25   21   
15.08/15.16	c 730            2495           52536          15853          36             667            19   25   20   
15.28/15.32	c 740            2529           53191          16060          36             677            7   25   18    
15.49/15.51	c 750            2563           53881          16272          36             687            10   25   17   
15.58/15.68	c 760            2597           54642          16486          36             697            13   25   18   
15.78/15.85	c 770            2632           55458          16725          36             703            22   25   21   
15.88/15.95	c 771            2648           55767          16796          36             704            16   16   8    
16.08/16.12	c 780            2681           56497          17001          36             713            16   25   18   
16.18/16.28	c 790            2720           57348          17260          36             719            22   28   22   
16.38/16.44	c 800            2752           57976          17465          36             729            5   23   14    
16.49/16.60	c 810            2786           58798          17697          36             735            16   25   20   
16.68/16.76	c 820            2814           59306          17867          36             745            3   19   11    
16.88/16.94	c 830            2848           60081          18093          36             755            13   25   19   
17.08/17.12	c 840            2882           60820          18307          36             765            10   25   17   
17.28/17.33	c 850            2916           61542          18542          36             775            13   25   17   
17.48/17.52	c 860            2950           62329          18766          36             781            16   25   19   
17.59/17.69	c 870            2983           63087          18989          36             782            22   24   20   
17.78/17.89	c 880            3017           63775          19199          36             792            4   25   15    
17.98/18.06	c 890            3052           64547          19432          36             798            19   25   21   
18.18/18.24	c 900            3086           65251          19654          36             808            13   25   18   
18.38/18.44	c 910            3120           66045          19877          36             814            13   25   18   
18.58/18.64	c 920            3154           66703          20079          36             824            10   25   15   
18.68/18.80	c 930            3189           67526          20308          36             829            22   25   21   
18.88/18.99	c 940            3223           68294          20529          36             839            10   25   17   
19.08/19.15	c 947            3254           68961          20712          36             846            16   25   17   
19.28/19.30	c 950            3281           69564          20879          36             848            22   25   18   
19.38/19.47	c 960            3317           70335          21114          36             854            22   25   22   
19.58/19.64	c 970            3353           71292          21369          36             858            25   25   22   
19.78/19.82	c 980            3387           72084          21595          36             865            16   25   20   
19.88/19.99	c 990            3421           72797          21825          36             871            16   25   20   
20.08/20.16	c 1000           3455           73520          22041          36             877            16   25   20   
20.28/20.32	c 1010           3491           74344          22279          36             883            19   25   21   
20.38/20.49	c 1020           3525           75124          22496          36             893            22   25   21   
20.58/20.64	c 1030           3558           75873          22681          36             901            22   23   20   
20.78/20.82	c 1040           3592           76585          22910          36             907            19   25   20   
20.98/21.02	c 1050           3627           77350          23158          36             913            19   25   20   
21.18/21.23	c 1060           3661           78085          23383          36             923            10   25   16   
21.38/21.44	c 1070           3695           78813          23614          36             933            10   25   17   
21.58/21.66	c 1080           3723           79426          23806          36             943            10   19   12   
21.78/21.87	c 1090           3757           80098          24016          36             953            7   25   13    
21.98/22.02	c 1100           3795           81097          24275          36             957            25   28   24   
22.18/22.20	c 1110           3831           81967          24528          36             960            25   25   22   
22.28/22.37	c 1120           3873           82994          24817          36             964            25   29   24   
22.48/22.55	c 1130           3905           83758          25037          36             974            14   23   16   
22.68/22.74	c 1140           3943           84599          25287          36             983            13   28   21   
22.68/22.78	c 1141           3945           84642          25310          36             984            2   2   1      
22.88/22.98	c 1150           3975           85248          25503          36             993            13   22   15   
23.08/23.19	c 1160           4009           86036          25733          36             1003           16   25   18   
23.28/23.39	c 1170           4043           86816          25954          36             1013           13   25   18   
23.48/23.57	c 1180           4077           87625          26181          36             1019           16   25   20   
23.68/23.77	c 1190           4111           88280          26387          36             1029           4   25   13    
23.88/23.99	c 1200           4145           89016          26601          36             1039           10   25   15   
24.08/24.20	c 1210           4179           89731          26818          36             1049           13   25   15   
24.29/24.37	c 1220           4218           90659          27077          36             1057           25   29   24   
24.48/24.56	c 1230           4252           91294          27275          36             1067           2   25   13    
24.68/24.73	c 1240           4287           92154          27500          36             1074           22   25   21   
24.88/24.91	c 1250           4321           92931          27725          36             1080           16   25   19   
24.98/25.10	c 1260           4355           93590          27944          36             1090           13   25   17   
25.18/25.27	c 1270           4389           94329          28160          36             1100           7   25   18    
25.39/25.42	c 1280           4424           95222          28380          36             1106           23   25   21   
25.58/25.61	c 1290           4461           96112          28628          36             1115           22   25   21   
25.78/25.82	c 1300           4492           96762          28838          36             1125           10   22   15   
25.98/26.01	c 1310           4526           97507          29057          36             1135           19   25   20   
26.18/26.21	c 1320           4557           98162          29252          36             1145           10   22   15   
26.28/26.40	c 1330           4591           98964          29486          36             1151           19   25   20   
26.48/26.59	c 1340           4622           99530          29673          36             1161           4   22   11    
26.68/26.78	c 1350           4656           100252         29900          36             1167           13   25   18   
26.88/26.94	c 1352           4682           100825         30045          36             1169           25   25   16   
27.08/27.12	c 1360           4716           101674         30281          36             1172           25   25   22   
27.28/27.30	c 1370           4749           102431         30496          36             1182           16   24   18   
27.48/27.50	c 1380           4783           103163         30721          36             1192           10   25   17   
27.68/27.72	c 1390           4814           103824         30921          36             1202           13   22   15   
27.88/27.90	c 1400           4848           104629         31152          36             1208           16   25   19   
27.98/28.10	c 1410           4879           105212         31338          36             1218           10   22   14   
28.18/28.26	c 1420           4914           106063         31566          36             1224           22   25   21   
28.38/28.44	c 1430           4948           106798         31788          36             1234           19   25   20   
28.58/28.63	c 1440           4984           107707         32047          36             1237           25   25   22   
28.78/28.82	c 1450           5022           108603         32316          36             1246           20   25   20   
28.98/29.03	c 1460           5056           109308         32534          36             1256           13   25   17   
29.08/29.19	c 1470           5092           110274         32783          36             1260           25   25   22   
29.28/29.37	c 1480           5123           110960         32980          36             1270           14   22   17   
29.48/29.56	c 1490           5157           111729         33199          36             1276           22   25   21   
29.68/29.76	c 1500           5188           112383         33403          36             1286           13   22   17   
29.88/29.94	c 1510           5223           113176         33648          36             1288           25   25   22   
30.08/30.16	c 1520           5257           113884         33859          36             1298           10   25   16   
30.28/30.34	c 1530           5292           114681         34102          36             1300           25   25   22   
30.48/30.53	c 1540           5327           115455         34327          36             1308           16   25   20   
30.68/30.74	c 1550           5361           116213         34559          36             1314           19   25   20   
30.88/30.94	c 1560           5392           116849         34750          36             1324           13   22   15   
31.08/31.13	c 1570           5425           117646         34989          36             1328           20   24   20   
31.27/31.31	c 1580           5453           118190         35175          36             1338           10   19   14   
31.37/31.47	c 1585           5481           118820         35338          36             1342           22   23   18   
31.57/31.63	c 1590           5510           119436         35504          36             1347           19   25   16   
31.67/31.79	c 1600           5546           120249         35711          36             1348           25   26   23   
31.88/31.96	c 1610           5581           121001         35945          36             1354           22   25   21   
32.07/32.18	c 1620           5609           121599         36123          36             1364           10   19   13   
32.27/32.34	c 1630           5642           122366         36311          36             1372           22   23   20   
32.47/32.52	c 1640           5676           123125         36533          36             1378           22   25   21   
32.67/32.73	c 1650           5704           123727         36723          36             1388           10   19   13   
32.87/32.93	c 1660           5739           124534         36969          36             1390           25   25   22   
33.08/33.13	c 1670           5770           125199         37174          36             1400           16   22   17   
33.17/33.27	c 1680           5803           125940         37370          36             1407           22   23   20   
33.37/33.45	c 1690           5838           126736         37617          36             1409           25   25   22   
33.57/33.61	c 1700           5874           127538         37832          36             1416           25   26   23   
33.67/33.79	c 1710           5909           128332         38076          36             1418           25   25   22   
33.87/33.95	c 1720           5946           129183         38303          36             1426           24   26   22   
34.08/34.14	c 1730           5985           130060         38567          36             1428           25   25   22   
34.27/34.33	c 1740           6020           130826         38799          36             1437           19   25   19   
34.47/34.52	c 1750           6051           131485         39006          36             1447           13   22   16   
34.67/34.73	c 1760           6079           132113         39205          36             1457           10   19   14   
34.87/34.91	c 1770           6110           132783         39412          36             1467           16   22   17   
34.97/35.08	c 1780           6145           133561         39646          36             1473           22   25   21   
35.18/35.27	c 1790           6180           134326         39902          36             1475           25   25   22   
35.37/35.44	c 1800           6211           134998         40100          36             1485           19   22   18   
35.57/35.62	c 1810           6245           135763         40321          36             1495           19   25   20   
35.77/35.80	c 1820           6281           136601         40578          36             1499           25   25   22   
35.87/35.98	c 1830           6316           137374         40831          36             1501           25   25   22   
36.07/36.16	c 1840           6351           138164         41078          36             1503           25   25   22   
36.17/36.30	c 1841           6377           138781         41212          36             1504           26   26   13   
36.38/36.48	c 1850           6410           139504         41422          36             1513           22   25   21   
36.57/36.67	c 1860           6446           140420         41682          36             1517           25   25   22   
36.77/36.84	c 1870           6482           141256         41938          36             1521           25   25   22   
36.97/37.02	c 1880           6517           142039         42193          36             1523           25   25   22   
37.07/37.17	c 1890           6552           142839         42435          36             1525           25   25   22   
37.27/37.30	c 1900           6590           143800         42643          36             1529           26   26   23   
37.37/37.47	c 1910           6629           144720         42916          36             1535           25   29   25   
37.57/37.62	c 1920           6660           145316         43111          36             1545           14   22   16   
37.77/37.80	c 1930           6691           145965         43313          36             1555           16   22   17   
37.87/37.96	c 1940           6727           146822         43545          36             1563           23   25   22   
38.07/38.11	c 1950           6762           147632         43785          36             1565           25   25   22   
38.17/38.24	c 1960           6801           148582         43995          36             1570           26   26   23   
38.37/38.41	c 1970           6841           149576         44285          36             1574           27   29   25   
38.47/38.55	c 1980           6877           150295         44514          36             1577           20   24   20   
38.67/38.72	c 1990           6910           151024         44749          36             1580           21   24   20   
38.77/38.88	c 2000           6946           151885         45002          36             1583           25   25   22   
38.96/39.03	c 2010           6981           152670         45230          36             1589           23   25   22   
39.06/39.19	c 2020           7017           153595         45490          36             1593           25   25   22   
39.26/39.35	c 2030           7053           154417         45742          36             1597           25   25   22   
39.46/39.52	c 2040           7089           155328         46008          36             1602           25   25   22   
39.57/39.68	c 2050           7125           156154         46264          36             1606           25   25   22   
39.76/39.86	c 2060           7162           157029         46531          36             1615           21   25   20   
39.97/40.04	c 2070           7201           158001         46816          36             1618           25   25   22   
40.17/40.20	c 2080           7242           158920         47093          36             1627           25   28   23   
40.27/40.37	c 2090           7273           159526         47285          36             1637           16   22   17   
40.47/40.56	c 2100           7304           160180         47478          36             1647           10   22   15   
40.67/40.75	c 2110           7332           160793         47673          36             1657           10   19   14   
40.87/40.92	c 2120           7366           161571         47896          36             1663           22   25   21   
40.97/41.04	c 2122           7386           162002         47993          36             1665           19   19   12   
41.17/41.21	c 2130           7423           162874         48247          36             1670           24   29   23   
41.27/41.35	c 2140           7458           163593         48467          36             1676           22   25   21   
41.47/41.50	c 2150           7500           164687         48730          36             1685           25   29   24   
41.57/41.67	c 2160           7534           165451         48964          36             1691           19   25   20   
41.77/41.83	c 2170           7565           166086         49162          36             1701           16   22   17   
41.97/42.00	c 2180           7601           166998         49424          36             1706           25   25   22   
42.07/42.17	c 2190           7642           167886         49698          36             1713           25   28   23   
42.27/42.33	c 2200           7678           168714         49954          36             1717           25   25   22   
42.37/42.48	c 2210           7712           169474         50176          36             1727           22   25   21   
42.57/42.65	c 2220           7746           170283         50408          36             1737           22   25   21   
42.77/42.83	c 2230           7792           171433         50716          36             1745           22   29   23   
42.87/42.99	c 2240           7830           172382         50977          36             1750           23   29   23   
43.07/43.15	c 2250           7866           173245         51224          36             1754           25   25   22   
43.27/43.32	c 2260           7891           173748         51382          36             1764           3   16   10    
43.36/43.48	c 2270           7938           175003         51693          36             1767           25   29   24   
43.56/43.65	c 2280           7977           175935         51974          36             1771           25   25   22   
43.76/43.82	c 2290           8011           176676         52187          36             1781           19   25   19   
43.86/43.99	c 2300           8042           177318         52378          36             1791           13   22   15   
44.07/44.19	c 2310           8070           177907         52559          36             1801           7   19   12    
44.26/44.37	c 2320           8106           178844         52837          36             1802           25   25   22   
44.46/44.53	c 2330           8140           179548         53053          36             1812           16   25   18   
44.66/44.70	c 2340           8174           180285         53269          36             1822           19   25   20   
44.76/44.85	c 2350           8208           181037         53484          36             1828           22   25   21   
44.96/45.00	c 2360           8242           181763         53697          36             1838           19   25   20   
45.07/45.18	c 2370           8270           182326         53874          36             1848           3   19   13    
45.26/45.34	c 2380           8311           183333         54139          36             1852           25   29   23   
45.46/45.51	c 2390           8349           184286         54428          36             1857           25   29   24   
45.56/45.65	c 2400           8386           185042         54657          36             1867           25   28   23   
45.76/45.81	c 2410           8433           186215         54951          36             1870           26   29   24   
45.86/45.97	c 2420           8474           187284         55230          36             1875           24   29   23   
46.06/46.11	c 2430           8513           188140         55501          36             1881           28   28   25   
46.17/46.25	c 2431           8539           188790         55650          36             1882           26   26   13   
46.36/46.41	c 2440           8581           189931         55936          36             1884           25   29   24   
46.46/46.56	c 2450           8620           190816         56193          36             1889           25   29   25   
46.66/46.71	c 2460           8664           191777         56500          36             1894           28   28   25   
46.76/46.87	c 2470           8708           192902         56791          36             1897           25   29   23   
46.96/47.02	c 2480           8751           194017         57070          36             1898           26   29   24   
47.06/47.17	c 2490           8798           195152         57370          36             1902           27   29   25   
47.27/47.31	c 2500           8832           195895         57589          36             1912           22   25   21   
47.37/47.49	c 2510           8870           196830         57878          36             1919           21   26   21   
47.56/47.65	c 2520           8907           197698         58106          36             1929           23   28   22   
47.66/47.79	c 2530           8945           198521         58376          36             1931           28   28   25   
47.86/47.99	c 2540           8973           199119         58554          36             1941           10   19   13   
48.06/48.16	c 2550           9009           199927         58810          36             1945           25   25   22   
48.26/48.34	c 2560           9037           200543         58990          36             1955           10   19   13   
48.37/48.50	c 2570           9074           201471         59224          36             1965           23   28   23   
48.56/48.67	c 2580           9105           202141         59421          36             1975           16   22   17   
48.76/48.82	c 2590           9150           203319         59706          36             1984           25   29   24   
48.86/48.98	c 2600           9184           204053         59912          36             1994           20   25   19   
49.06/49.14	c 2610           9218           204787         60128          36             2004           22   25   21   
49.26/49.30	c 2620           9256           205706         60390          36             2010           25   29   24   
49.36/49.46	c 2630           9289           206408         60591          36             2020           19   24   19   
49.57/49.62	c 2640           9338           207751         60909          36             2023           26   29   25   
49.76/49.81	c 2650           9366           208311         61092          36             2033           10   19   13   
49.86/49.96	c 2660           9408           209420         61370          36             2039           25   29   23   
50.06/50.10	c 2670           9449           210416         61598          36             2041           25   26   23   
50.16/50.26	c 2680           9495           211606         61892          36             2051           26   29   24   
50.36/50.41	c 2690           9529           212366         62114          36             2061           22   25   21   
50.46/50.58	c 2700           9568           213343         62399          36             2067           25   29   25   
50.67/50.73	c 2710           9606           214187         62676          36             2068           28   28   25   
50.76/50.89	c 2720           9640           214913         62885          36             2078           19   25   20   
50.96/51.06	c 2730           9676           215731         63143          36             2084           25   25   22   
51.16/51.22	c 2740           9715           216703         63433          36             2090           28   29   25   
51.26/51.37	c 2750           9753           217530         63688          36             2100           25   28   24   
51.46/51.52	c 2760           9788           218333         63923          36             2110           23   26   22   
51.56/51.69	c 2770           9830           219322         64219          36             2114           24   29   24   
51.77/51.81	c 2771           9858           219964         64389          36             2115           28   28   14   
51.86/51.98	c 2780           9888           220618         64579          36             2124           16   22   16   
52.06/52.15	c 2790           9924           221449         64829          36             2128           25   25   22   
52.26/52.32	c 2800           9960           222275         65084          36             2134           25   25   22   
52.36/52.47	c 2810           9998           223191         65325          36             2143           25   28   23   
52.56/52.64	c 2820           10033          223984         65566          36             2150           21   24   20   
52.77/52.81	c 2830           10073          225031         65864          36             2155           27   29   25   
52.87/52.96	c 2840           10110          225839         66110          36             2161           25   28   24   
53.06/53.11	c 2850           10145          226614         66336          36             2167           22   25   21   
53.16/53.28	c 2860           10181          227433         66590          36             2171           25   25   22   
53.36/53.45	c 2870           10217          228292         66858          36             2172           25   25   22   
53.56/53.64	c 2880           10245          228890         67033          36             2182           10   19   13   
53.76/53.81	c 2890           10281          229720         67286          36             2186           25   25   22   
53.86/53.97	c 2900           10315          230482         67514          36             2196           22   25   21   
54.06/54.14	c 2910           10351          231298         67767          36             2200           25   25   22   
54.26/54.30	c 2920           10390          232182         68048          36             2206           25   29   25   
54.36/54.44	c 2930           10431          233108         68335          36             2208           28   28   25   
54.46/54.59	c 2940           10468          233932         68575          36             2218           25   28   23   
54.66/54.73	c 2950           10505          234747         68826          36             2224           25   28   24   
54.86/54.90	c 2960           10538          235477         69066          36             2230           21   24   20   
54.96/55.06	c 2970           10574          236253         69319          36             2233           25   25   22   
55.16/55.23	c 2980           10610          237091         69571          36             2237           25   25   22   
55.26/55.39	c 2990           10651          238057         69867          36             2242           27   29   25   
55.46/55.54	c 3000           10692          239007         70163          36             2244           28   28   25   
55.56/55.68	c 3010           10735          240158         70456          36             2245           27   29   25   
55.76/55.82	c 3020           10772          241014         70713          36             2247           24   28   24   
55.86/55.96	c 3030           10807          241818         70915          36             2256           23   25   21   
56.06/56.13	c 3040           10851          242821         71206          36             2263           24   29   23   
56.26/56.30	c 3050           10892          243726         71483          36             2272           25   28   23   
56.36/56.45	c 3060           10933          244585         71740          36             2281           25   28   23   
56.56/56.60	c 3070           10977          245706         72016          36             2287           25   29   24   
56.66/56.77	c 3080           11016          246554         72287          36             2290           25   25   22   
56.86/56.94	c 3090           11057          247471         72564          36             2299           25   28   23   
56.96/57.08	c 3100           11091          248184         72787          36             2309           22   25   21   
57.16/57.23	c 3110           11137          249405         73062          36             2313           26   29   25   
57.26/57.38	c 3120           11176          250279         73315          36             2318           25   29   25   
57.46/57.52	c 3130           11216          251120         73576          36             2326           24   28   23   
57.56/57.69	c 3140           11250          251885         73802          36             2336           22   25   21   
57.76/57.82	c 3142           11273          252397         73927          36             2338           22   22   14   
57.86/57.97	c 3150           11315          253425         74176          36             2342           25   26   22   
58.06/58.13	c 3160           11363          254610         74500          36             2346           28   29   25   
58.16/58.29	c 3170           11402          255504         74792          36             2349           28   28   25   
58.36/58.44	c 3180           11441          256403         75037          36             2354           25   29   24   
58.46/58.59	c 3190           11485          257359         75340          36             2357           28   28   25   
58.66/58.76	c 3200           11524          258281         75621          36             2363           25   29   25   
58.86/58.90	c 3210           11562          259103         75871          36             2371           25   28   24   
58.96/59.06	c 3220           11599          259894         76108          36             2381           22   28   22   
59.16/59.20	c 3230           11641          260834         76405          36             2386           28   28   25   
59.26/59.36	c 3240           11682          261862         76681          36             2392           27   29   25   
59.46/59.50	c 3250           11716          262602         76887          36             2399           22   25   21   
59.55/59.65	c 3260           11757          263493         77156          36             2401           25   28   24   
59.75/59.81	c 3270           11803          264606         77453          36             2404           26   29   25   
59.85/59.96	c 3280           11841          265440         77710          36             2413           25   28   24   
60.05/60.12	c 3290           11879          266291         77965          36             2423           25   28   24   
60.15/60.28	c 3300           11917          267171         78235          36             2429           25   28   24   
60.35/60.44	c 3310           11945          267704         78399          36             2439           7   19   12    
60.56/60.61	c 3320           11988          268759         78685          36             2446           24   29   23   
60.65/60.75	c 3330           12021          269459         78892          36             2456           22   24   20   
60.85/60.92	c 3340           12062          270509         79204          36             2459           28   29   25   
60.95/61.08	c 3350           12104          271501         79510          36             2465           25   28   24   
61.15/61.24	c 3360           12144          272487         79802          36             2470           27   29   25   
61.35/61.41	c 3370           12181          273395         80097          36             2474           19   28   21   
61.45/61.57	c 3380           12212          274015         80297          36             2484           16   22   17   
61.66/61.73	c 3390           12252          274932         80564          36             2490           26   28   25   
61.75/61.89	c 3400           12289          275783         80819          36             2495           24   28   23   
61.95/62.03	c 3410           12323          276478         81019          36             2505           19   25   19   
62.05/62.18	c 3420           12361          277348         81280          36             2511           24   28   24   
62.25/62.34	c 3430           12400          278254         81529          36             2518           26   28   24   
62.45/62.50	c 3440           12438          279117         81775          36             2527           22   28   22   
62.55/62.66	c 3450           12477          280030         82046          36             2532           28   28   25   
62.76/62.81	c 3460           12516          280945         82300          36             2539           26   28   24   
62.85/62.97	c 3470           12559          281928         82591          36             2548           22   28   22   
63.05/63.13	c 3480           12598          282845         82875          36             2553           28   28   25   
63.15/63.29	c 3490           12637          283759         83159          36             2558           28   28   25   
63.35/63.45	c 3500           12678          284693         83433          36             2567           24   28   23   
63.55/63.62	c 3510           12709          285388         83650          36             2577           16   22   17   
63.65/63.79	c 3520           12749          286403         83946          36             2583           27   29   25   
63.86/63.93	c 3530           12785          287212         84163          36             2584           25   26   23   
63.95/64.08	c 3540           12821          287983         84392          36             2593           22   26   21   
64.15/64.23	c 3550           12860          288922         84650          36             2599           26   28   25   
64.25/64.37	c 3551           12888          289543         84804          36             2600           28   28   14   
64.45/64.55	c 3560           12912          290049         84966          36             2609           7   16   10    
64.65/64.72	c 3570           12955          291027         85263          36             2613           28   28   25   
64.75/64.88	c 3580           12986          291701         85468          36             2623           16   22   18   
64.96/65.05	c 3590           13029          292715         85749          36             2630           24   29   23   
65.15/65.22	c 3600           13057          293286         85929          36             2640           10   19   13   
65.25/65.38	c 3610           13096          294233         86204          36             2645           28   28   25   
65.45/65.55	c 3620           13133          295108         86452          36             2654           25   28   23   
65.55/65.69	c 3630           13169          295896         86691          36             2657           25   25   22   
65.75/65.85	c 3640           13204          296656         86930          36             2663           22   25   22   
65.96/66.03	c 3650           13239          297492         87182          36             2670           21   24   20   
66.06/66.19	c 3660           13284          298596         87482          36             2676           25   29   24   
66.25/66.34	c 3670           13322          299421         87730          36             2682           26   28   25   
66.35/66.50	c 3680           13361          300325         87985          36             2688           26   28   25   
66.55/66.70	c 3690           13389          300937         88173          36             2698           7   19   11    
66.75/66.86	c 3700           13430          301844         88445          36             2704           24   28   24   
66.95/67.03	c 3710           13466          302650         88707          36             2710           25   25   22   
67.16/67.21	c 3720           13497          303331         88926          36             2720           16   22   17   
67.25/67.37	c 3730           13537          304341         89222          36             2726           27   29   25   
67.45/67.51	c 3740           13573          305127         89438          36             2727           25   26   23   
67.55/67.67	c 3750           13612          305997         89716          36             2732           28   28   25   
67.75/67.83	c 3760           13651          306923         89992          36             2737           28   28   25   
67.95/68.00	c 3770           13685          307684         90207          36             2747           19   25   19   
68.05/68.15	c 3780           13720          308551         90425          36             2757           23   25   21   
68.25/68.33	c 3790           13751          309220         90635          36             2767           16   22   17   
68.35/68.49	c 3800           13794          310225         90928          36             2776           22   28   22   
68.55/68.66	c 3810           13830          311070         91184          36             2779           25   25   22   
68.75/68.82	c 3820           13868          311983         91446          36             2785           25   28   24   
68.85/68.99	c 3830           13904          312838         91706          36             2788           25   25   22   
69.05/69.15	c 3840           13943          313795         91991          36             2793           28   28   25   
69.25/69.33	c 3850           13979          314661         92247          36             2796           25   25   22   
69.35/69.49	c 3860           14020          315675         92551          36             2802           24   28   24   
69.55/69.65	c 3870           14055          316396         92787          36             2811           16   25   20   
69.75/69.81	c 3880           14093          317331         93041          36             2818           25   28   24   
69.85/69.99	c 3890           14134          318273         93317          36             2826           25   28   23   
70.05/70.16	c 3900           14177          319316         93613          36             2835           22   28   22   
70.25/70.31	c 3910           14215          320174         93872          36             2841           24   28   24   
70.35/70.48	c 3920           14251          320987         94134          36             2847           25   25   22   
70.55/70.64	c 3930           14286          321771         94370          36             2853           22   25   22   
70.75/70.81	c 3940           14325          322668         94655          36             2859           25   25   22   
70.85/70.97	c 3950           14361          323507         94917          36             2864           25   25   22   
71.05/71.13	c 3960           14395          324269         95149          36             2874           22   25   21   
71.25/71.31	c 3970           14426          324949         95366          36             2884           16   22   17   
71.35/71.48	c 3980           14469          326029         95661          36             2889           26   28   24   
71.55/71.64	c 3990           14518          327300         95995          36             2893           28   29   25   
71.65/71.79	c 4000           14560          328267         96285          36             2898           26   28   24   
71.85/71.91	c 4001           14585          328799         96406          36             2899           25   25   12   
71.95/72.05	c 4010           14621          329580         96630          36             2904           26   28   24   
72.14/72.20	c 4020           14657          330411         96870          36             2908           24   26   22   
72.24/72.35	c 4030           14695          331257         97138          36             2910           28   28   25   
72.34/72.47	c 4040           14732          332132         97343          36             2912           24   26   23   
72.55/72.63	c 4050           14773          333098         97625          36             2918           27   29   25   
72.65/72.76	c 4060           14814          334034         97851          36             2920           25   26   23   
72.84/72.91	c 4070           14855          334930         98113          36             2926           26   28   24   
72.94/73.07	c 4080           14894          335849         98396          36             2931           28   28   25   
73.14/73.26	c 4090           14919          336400         98566          36             2941           6   16   10    
73.34/73.41	c 4100           14960          337419         98842          36             2943           26   29   24   
73.44/73.56	c 4110           15000          338337         99122          36             2945           28   28   25   
73.65/73.72	c 4120           15041          339356         99391          36             2950           27   29   25   
73.84/73.90	c 4130           15072          340022         99600          36             2960           10   22   16   
73.94/74.06	c 4140           15113          340989         99889          36             2964           28   28   25   
74.14/74.23	c 4150           15138          341522         100058         36             2974           6   16   10    
74.24/74.39	c 4160           15178          342467         100341         36             2978           28   28   25   
74.44/74.55	c 4170           15209          343169         100551         36             2988           19   22   18   
74.64/74.71	c 4180           15248          344088         100823         36             2993           28   28   25   
74.75/74.86	c 4190           15279          344769         101031         36             3003           19   22   18   
74.94/75.04	c 4200           15320          345739         101319         36             3012           21   28   21   
75.04/75.19	c 4210           15359          346711         101584         36             3020           26   29   24   
75.24/75.34	c 4220           15400          347627         101843         36             3023           26   28   24   
75.44/75.54	c 4230           15428          348221         102027         36             3033           7   19   11    
75.64/75.73	c 4240           15453          348776         102199         36             3043           7   16   10    
75.74/75.90	c 4250           15486          349509         102409         36             3053           19   24   19   
75.95/76.07	c 4260           15511          350050         102579         36             3063           6   16   10    
76.14/76.22	c 4270           15546          350862         102805         36             3070           24   25   22   
76.24/76.38	c 4280           15577          351552         103013         36             3080           19   22   18   
76.44/76.53	c 4290           15616          352431         103282         36             3084           26   28   25   
76.54/76.68	c 4300           15650          353191         103515         36             3090           24   25   22   
76.74/76.83	c 4310           15684          353895         103744         36             3100           22   25   21   
76.95/77.01	c 4320           15712          354455         103923         36             3110           10   19   13   
77.05/77.18	c 4330           15755          355461         104217         36             3114           25   28   25   
77.24/77.34	c 4340           15789          356245         104461         36             3120           21   25   20   
77.34/77.49	c 4350           15824          357011         104699         36             3125           21   25   21   
77.54/77.63	c 4360           15863          357894         104959         36             3133           26   28   24   
77.64/77.80	c 4370           15900          358776         105209         36             3141           21   25   20   
77.84/77.98	c 4380           15928          359351         105389         36             3151           7   19   11    
78.05/78.15	c 4390           15959          360052         105596         36             3161           19   22   18   
78.24/78.31	c 4400           15992          360797         105848         36             3167           21   24   20   
78.34/78.45	c 4410           16014          361193         105997         36             3177           4   13   8     
78.54/78.65	c 4420           16042          361798         106181         36             3187           7   19   11    
78.74/78.82	c 4430           16074          362500         106396         36             3197           19   23   19   
78.84/78.96	c 4440           16109          363315         106618         36             3206           23   25   21   
79.04/79.10	c 4450           16145          364174         106844         36             3215           23   26   21   
79.15/79.25	c 4460           16183          365053         107107         36             3221           25   28   24   
79.34/79.41	c 4470           16217          365832         107340         36             3227           24   25   22   
79.44/79.55	c 4480           16255          366649         107580         36             3236           22   28   22   
79.64/79.70	c 4490           16289          367425         107778         36             3244           23   24   21   
79.74/79.83	c 4493           16319          368138         107948         36             3247           26   28   20   
79.84/79.97	c 4500           16350          368861         108149         36             3250           21   25   20   
80.04/80.12	c 4510           16381          369489         108349         36             3260           16   22   18   
80.14/80.29	c 4520           16415          370297         108581         36             3269           23   24   21   
80.35/80.44	c 4530           16454          371235         108866         36             3273           28   28   25   
80.54/80.61	c 4540           16487          372027         109105         36             3282           22   23   20   
80.64/80.75	c 4550           16526          372898         109378         36             3285           28   28   25   
80.84/80.93	c 4560           16561          373699         109632         36             3292           21   24   20   
81.04/81.10	c 4570           16603          374697         109939         36             3296           25   28   24   
81.14/81.23	c 4580           16637          375493         110161         36             3306           23   25   21   
81.24/81.38	c 4590           16672          376321         110379         36             3316           23   25   21   
81.44/81.53	c 4600           16710          377206         110648         36             3322           26   28   25   
81.54/81.67	c 4610           16746          378101         110874         36             3331           24   26   22   
81.74/81.83	c 4620           16784          378980         111133         36             3337           25   28   24   
81.84/81.98	c 4630           16822          379897         111402         36             3343           26   28   25   
82.04/82.14	c 4640           16861          380829         111699         36             3349           28   28   25   
82.24/82.30	c 4650           16900          381788         111991         36             3355           28   28   25   
82.34/82.46	c 4660           16945          382833         112305         36             3362           25   28   24   
82.54/82.61	c 4670           16988          383868         112592         36             3368           26   28   24   
82.64/82.77	c 4680           17027          384841         112885         36             3373           28   28   25   
82.84/82.93	c 4690           17066          385806         113160         36             3376           28   28   25   
82.94/83.09	c 4700           17110          386856         113473         36             3386           25   28   24   
83.14/83.24	c 4710           17151          387877         113745         36             3393           26   28   24   
83.34/83.40	c 4720           17190          388829         114033         36             3399           28   28   25   
83.44/83.55	c 4730           17228          389777         114305         36             3402           25   28   24   
83.54/83.70	c 4740           17262          390508         114522         36             3412           22   25   21   
83.74/83.85	c 4750           17295          391175         114738         36             3422           19   24   19   
83.94/84.01	c 4760           17336          392166         115036         36             3427           23   28   25   
84.04/84.16	c 4770           17374          393070         115295         36             3433           25   28   24   
84.24/84.30	c 4780           17412          393962         115542         36             3439           26   28   24   
84.34/84.46	c 4790           17452          394927         115835         36             3442           28   28   25   
84.54/84.62	c 4800           17491          395885         116117         36             3445           28   28   25   
84.64/84.78	c 4810           17530          396832         116395         36             3449           28   28   25   
84.83/84.93	c 4820           17571          397843         116682         36             3456           24   28   24   
84.93/85.08	c 4830           17613          398854         116969         36             3464           25   28   23   
85.13/85.24	c 4840           17650          399694         117185         36             3474           23   28   22   
85.23/85.39	c 4850           17684          400491         117407         36             3484           22   25   21   
85.43/85.54	c 4860           17722          401372         117666         36             3490           25   28   24   
85.53/85.69	c 4870           17759          402251         117921         36             3500           25   28   24   
85.74/85.84	c 4880           17798          403136         118203         36             3506           28   29   25   
85.93/86.00	c 4890           17831          403837         118444         36             3511           19   24   19   
86.03/86.17	c 4900           17864          404603         118693         36             3516           7   24   18    
86.23/86.31	c 4910           17902          405431         118946         36             3522           25   28   24   
86.33/86.46	c 4920           17939          406295         119177         36             3532           24   28   24   
86.53/86.62	c 4930           17982          407425         119466         36             3540           27   29   25   
86.63/86.77	c 4940           18024          408407         119758         36             3548           23   29   22   
86.84/86.93	c 4950           18063          409366         120035         36             3551           28   28   25   
87.03/87.10	c 4960           18105          410408         120318         36             3559           24   29   23   
87.13/87.25	c 4970           18143          411300         120575         36             3565           25   28   24   
87.33/87.40	c 4980           18181          412204         120837         36             3572           26   28   24   
87.43/87.55	c 4990           18220          413126         121128         36             3576           28   28   25   
87.73/87.81	c 5035           18310          415319         121893         36             3592           23   28   26   
89.33/89.48	c 5631           19238          437280         130228         36             3612           19   28   26   
91.03/91.10	c 6286           20244          462134         139109         36             3627           16   29   26   
93.03/93.13	c 7006           21311          487921         149449         36             3644           18   31   27   
95.13/95.23	c 7798           22493          516438         161057         36             3682           5   29   25    
97.43/97.53	c 8669           23856          549480         172847         36             3708           19   29   26   
100.44/100.54	c 9627           25291          584420         186463         36             3731           19   29   26   
102.64/102.75	c 10680          27063          629918         200954         36             3753           19   29   26   
106.23/106.35	c 11838          28858          674950         217214         36             3782           7   29   26    
109.03/109.16	c 13111          30811          724033         234173         36             3798           19   29   26   
113.03/113.14	c 14511          32970          776176         253926         36             3812           19   29   26   
117.03/117.12	c 16051          35396          835157         274856         36             3838           10   29   26   
120.73/120.80	c 17745          38047          899226         300357         36             3854           19   31   28   
124.73/124.80	c 19608          41079          974009         326372         36             3883           13   31   27   
129.73/129.83	c 21657          44232          1049854        355872         36             3910           7   31   27    
135.12/135.26	c 23910          47806          1137025        386957         36             3935           10   31   27   
139.52/139.69	c 26388          52089          1247369        419960         36             3974           10   29   26   
145.41/145.59	c 29113          56406          1353254        455346         36             4000           16   31   26   
152.31/152.43	c 32110          61305          1473856        500925         36             4031           6   31   28    
158.91/159.01	c 35406          66928          1621799        548160         36             4053           13   31   26   
168.00/168.15	c 39031          72520          1761698        602199         36             4096           3   31   28    
176.70/176.85	c 43018          78876          1921912        661174         36             4120           13   31   27   
185.60/185.72	c 47403          86039          2100976        719928         36             4148           7   31   27    
195.49/195.67	c 52226          94284          2315859        786401         36             4184           13   31   26   
205.79/205.95	c 57531          102882         2535541        859878         36             4232           4   31   27    
218.28/218.45	c 63366          112491         2772048        945667         36             4259           7   31   28    
232.38/232.58	c 69784          122708         3036227        1041030        36             4296           6   31   27    
247.97/248.19	c 76843          134589         3337032        1140926        36             4337           10   31   27   
263.17/263.30	c 84607          147451         3669465        1256733        36             4367           7   31   28    
281.16/281.30	c 93147          161244         4027845        1378406        36             4394           13   31   27   
302.25/302.48	c 102541         175767         4390670        1514878        36             4424           7   31   27    
324.84/325.02	c 112874         191877         4794924        1667796        36             4452           16   31   28   
345.83/346.01	c 124240         210252         5261485        1828307        36             4493           10   31   27   
370.72/370.92	c 136742         231156         5805070        2011469        36             4536           7   31   27    
405.11/405.35	c 150494         253310         6383181        2208837        36             4560           13   31   27   
437.39/437.60	c 165621         278497         7040120        2436236        36             4594           7   31   27    
470.69/470.92	c 182260         305328         7724167        2682698        36             4630           16   31   28   
516.07/516.37	c 200562         333752         8439886        2956228        36             4653           18   31   28   
564.15/564.43	c 220694         364813         9215286        3259831        36             4686           17   31   28   
605.53/605.83	c 242839         401052         10157017       3598199        36             4713           16   31   28   
661.71/662.08	c 267198         440040         11151136       3967583        36             4753           10   31   27   
726.68/727.01	c 293992         481922         12214534       4383223        36             4785           6   31   28    
796.85/797.24	c 323465         527988         13372798       4820572        36             4832           10   31   28   
858.53/858.94	c 355885         578731         14610599       5285615        36             4853           15   31   28   
932.90/933.39	c 391547         635678         16062711       5843985        36             4894           10   31   28   
1014.07/1014.54	c 430775         700396         17736992       6440904        36             4927           14   31   27   
1089.54/1090.04	c 473925         770257         19488572       7079529        36             4976           10   31   27   
1194.80/1195.31	c 521390         845409         21407498       7799730        36             5000           14   31   28   
1310.37/1310.96	c 573601         928140         23507669       8583273        36             5032           14   31   28   
1447.44/1448.04	c 631033         1019814        25812728       9445168        36             5067           10   31   28   
1576.91/1577.52	c 694208         1120629        28412514       10418548       36             5088           14   31   28   
1718.97/1719.63	c 763700         1229475        31140119       11455463       36             5129           16   31   27   
1876.53/1877.22	c 840141         1352336        34267529       12590530       36             5163           14   31   28   
2074.38/2075.11	c 924226         1489282        37754596       13850891       36             5193           10   31   27   
2152.06/2152.81	c solution 1
2152.06/2152.81	
2152.06/2152.81	v <instantiation type='solution'>
2152.06/2152.81	v <list>x[0][0] x[0][1] x[0][2] x[1][0] x[1][1] x[1][2] x[2][0] x[2][1] x[2][2] x[3][0] x[3][1] x[3][2] x[4][0] x[4][1] x[4][2] x[5][0] x[5][1] x[5][2] x[6][0] x[6][1] x[6][2] x[7][0] x[7][1] x[7][2] x[8][0] x[8][1] x[8][2] x[9][0] x[9][1] x[9][2] x[10][0] x[10][1] x[10][2] x[11][0] x[11][1] x[11][2] </list>
2152.06/2152.81	v <values>1 8 9 4 6 9 3 4 8 2 7 9 1 5 6 2 4 5 2 6 8 5 7 8 3 6 7 3 5 9 1 2 3 1 4 7 </values>
2152.06/2152.81	v </instantiation>
2152.06/2152.81	
2152.06/2152.81	c restarts              : 571         
2152.06/2152.81	c conflicts             : 966686       (449 /sec)
2152.06/2152.81	c decisions             : 1556803      (723 /sec)
2152.06/2152.81	c propagations          : 14488392    (6733 /sec)
2152.06/2152.81	c root propagations     : 72          
2152.06/2152.81	c filter calls          : 39435567       (18325 /sec)
2152.06/2152.81	c useless filter calls  : 33537619       (85 %)
2152.06/2152.81	c
2152.06/2152.81	c clauses               : 6525
2152.06/2152.81	c SAT propagations      : 10422
2152.06/2152.81	c SAT conflicts         : 0 (0 learnts)
2152.06/2152.81	c Memory used           : 140.85 MB
2152.06/2152.81	c CPU time              : 2151.97 s
2152.06/2152.81	
2152.06/2152.81	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=7556
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 7559
/proc/meminfo: memFree=31986796/32770624 swapFree=6312/22340
[pid=7559] ppid=7556 vsize=26992 CPUtime=0 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 979 0 0 0 0 0 0 0 20 0 1 0 17674697 27639808 766 33554432000 4194304 5970956 140722814408896 140722814405496 5417044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 6748 766 683 434 0 112 0

[startup+0.10011 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 7559
/proc/meminfo: memFree=31986796/32770624 swapFree=6312/22340
[pid=7559] ppid=7556 vsize=27812 CPUtime=0.09 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 1187 0 0 0 9 0 0 0 20 0 1 0 17674697 28479488 932 33554432000 4194304 5970956 140722814408896 140722814405496 140687239949285 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 6953 932 725 434 0 317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27812

[startup+0.200243 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 7559
/proc/meminfo: memFree=31986796/32770624 swapFree=6312/22340
[pid=7559] ppid=7556 vsize=28724 CPUtime=0.19 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 1520 0 0 0 19 0 0 0 20 0 1 0 17674697 29413376 1175 33554432000 4194304 5970956 140722814408896 140722814405496 5383947 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 7181 1175 725 434 0 545 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28724

[startup+0.300198 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 7559
/proc/meminfo: memFree=31986796/32770624 swapFree=6312/22340
[pid=7559] ppid=7556 vsize=30020 CPUtime=0.29 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 1965 0 0 0 29 0 0 0 20 0 1 0 17674697 30740480 1465 33554432000 4194304 5970956 140722814408896 140722814403448 5378243 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 7505 1465 725 434 0 869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30020

[startup+0.700172 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 7559
/proc/meminfo: memFree=31986796/32770624 swapFree=6312/22340
[pid=7559] ppid=7556 vsize=33932 CPUtime=0.69 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 2858 0 0 0 69 0 0 0 20 0 1 0 17674697 34746368 2436 33554432000 4194304 5970956 140722814408896 140722814405496 5674632 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 8483 2436 725 434 0 1847 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33932

[startup+1.50025 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7560
/proc/meminfo: memFree=31973856/32770624 swapFree=6312/22200
[pid=7559] ppid=7556 vsize=144228 CPUtime=1.49 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 28560 0 0 0 145 4 0 0 20 0 1 0 17674697 147689472 28894 33554432000 4194304 5970956 140722814408896 140722814406152 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 28894 733 434 0 29421 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 144228

[startup+3.10024 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7560
/proc/meminfo: memFree=31873788/32770624 swapFree=6312/22200
[pid=7559] ppid=7556 vsize=144228 CPUtime=3.08 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 41919 0 0 0 304 4 0 0 20 0 1 0 17674697 147689472 28951 33554432000 4194304 5970956 140722814408896 140722814406232 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 28951 782 434 0 29421 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 144228

[startup+6.30025 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7561
/proc/meminfo: memFree=31872980/32770624 swapFree=6312/22212
[pid=7559] ppid=7556 vsize=144228 CPUtime=6.28 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 52673 0 0 0 623 5 0 0 20 0 1 0 17674697 147689472 28953 33554432000 4194304 5970956 140722814408896 140722814406232 4933212 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 28953 782 434 0 29421 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 144228

[startup+12.7002 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7561
/proc/meminfo: memFree=31872856/32770624 swapFree=6312/22224
[pid=7559] ppid=7556 vsize=144228 CPUtime=12.69 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 63434 0 0 0 1263 6 0 0 20 0 1 0 17674697 147689472 28957 33554432000 4194304 5970956 140722814408896 140722814406232 4933151 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 28957 782 434 0 29421 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 144228

[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7561
/proc/meminfo: memFree=31873148/32770624 swapFree=6312/22244
[pid=7559] ppid=7556 vsize=144228 CPUtime=25.48 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 85629 0 0 0 2541 7 0 0 20 0 1 0 17674697 147689472 28972 33554432000 4194304 5970956 140722814408896 140722814406232 4934449 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 28972 782 434 0 29421 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 144228

[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7561
/proc/meminfo: memFree=31870392/32770624 swapFree=6312/22284
[pid=7559] ppid=7556 vsize=144228 CPUtime=51.06 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 94064 0 0 0 5098 8 0 0 20 0 1 0 17674697 147689472 28986 33554432000 4194304 5970956 140722814408896 140722814406232 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 28986 782 434 0 29421 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 144228

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7562
/proc/meminfo: memFree=31870316/32770624 swapFree=6312/22368
[pid=7559] ppid=7556 vsize=144228 CPUtime=102.24 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 97459 0 0 0 10215 9 0 0 20 0 1 0 17674697 147689472 29015 33554432000 4194304 5970956 140722814408896 140722814406232 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29015 782 434 0 29421 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 144228

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7570
/proc/meminfo: memFree=31870864/32770624 swapFree=6312/22456
[pid=7559] ppid=7556 vsize=144228 CPUtime=162.21 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 98093 0 0 0 16212 9 0 0 20 0 1 0 17674697 147689472 29042 33554432000 4194304 5970956 140722814408896 140722814406232 4934864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29042 782 434 0 29421 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 144228

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7571
/proc/meminfo: memFree=31871880/32770624 swapFree=6312/22516
[pid=7559] ppid=7556 vsize=144228 CPUtime=222.19 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 98731 0 0 0 22210 9 0 0 20 0 1 0 17674697 147689472 29051 33554432000 4194304 5970956 140722814408896 140722814406232 4933136 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29051 782 434 0 29421 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 144228

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7572
/proc/meminfo: memFree=31871992/32770624 swapFree=6312/22568
[pid=7559] ppid=7556 vsize=144228 CPUtime=282.16 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 99159 0 0 0 28207 9 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 144228

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7573
/proc/meminfo: memFree=31871992/32770624 swapFree=6312/22636
[pid=7559] ppid=7556 vsize=144228 CPUtime=342.14 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 99587 0 0 0 34205 9 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 144228

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7574
/proc/meminfo: memFree=31872316/32770624 swapFree=6312/22672
[pid=7559] ppid=7556 vsize=144228 CPUtime=402.11 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 100015 0 0 0 40202 9 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 144228

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 7575
/proc/meminfo: memFree=31872352/32770624 swapFree=6312/22704
[pid=7559] ppid=7556 vsize=144228 CPUtime=462.09 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 100443 0 0 0 46200 9 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934320 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 144228

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7576
/proc/meminfo: memFree=31872528/32770624 swapFree=6312/22736
[pid=7559] ppid=7556 vsize=144228 CPUtime=522.06 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 100871 0 0 0 52197 9 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 144228

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7577
/proc/meminfo: memFree=31872220/32770624 swapFree=6312/22792
[pid=7559] ppid=7556 vsize=144228 CPUtime=582.04 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 101299 0 0 0 58195 9 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 144228


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

/proc/loadavg: 2.00 2.02 2.05 3/187 7667
/proc/meminfo: memFree=30838644/32770624 swapFree=6312/23960
[pid=7559] ppid=7556 vsize=144228 CPUtime=1481.73 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 107594 0 0 0 148163 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934354 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 144228

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7668
/proc/meminfo: memFree=30838996/32770624 swapFree=6312/24044
[pid=7559] ppid=7556 vsize=144228 CPUtime=1541.72 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 107985 0 0 0 154162 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934342 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 144228

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7669
/proc/meminfo: memFree=30839080/32770624 swapFree=6312/24112
[pid=7559] ppid=7556 vsize=144228 CPUtime=1601.7 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 108413 0 0 0 160160 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 144228

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7671
/proc/meminfo: memFree=30838580/32770624 swapFree=6312/24200
[pid=7559] ppid=7556 vsize=144228 CPUtime=1661.68 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 108827 0 0 0 166158 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934506 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 144228

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 7672
/proc/meminfo: memFree=30838440/32770624 swapFree=6312/24264
[pid=7559] ppid=7556 vsize=144228 CPUtime=1721.67 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 109255 0 0 0 172157 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934342 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 144228

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7673
/proc/meminfo: memFree=30836632/32770624 swapFree=6312/24332
[pid=7559] ppid=7556 vsize=144228 CPUtime=1781.65 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 109668 0 0 0 178155 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 144228

[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 7675
/proc/meminfo: memFree=30835936/32770624 swapFree=6312/24428
[pid=7559] ppid=7556 vsize=144228 CPUtime=1841.64 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 110056 0 0 0 184154 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 1841.64
Current children cumulated vsize (KiB) 144228

[startup+1902.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 7676
/proc/meminfo: memFree=30835332/32770624 swapFree=6312/24492
[pid=7559] ppid=7556 vsize=144228 CPUtime=1901.62 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 110484 0 0 0 190152 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 1901.62
Current children cumulated vsize (KiB) 144228

[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 7685
/proc/meminfo: memFree=30836372/32770624 swapFree=6312/24588
[pid=7559] ppid=7556 vsize=144228 CPUtime=1961.6 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 110855 0 0 0 196150 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 1961.6
Current children cumulated vsize (KiB) 144228

[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 7708
/proc/meminfo: memFree=30835332/32770624 swapFree=6312/24656
[pid=7559] ppid=7556 vsize=144228 CPUtime=2021.59 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 111233 0 0 0 202149 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 2021.59
Current children cumulated vsize (KiB) 144228

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7709
/proc/meminfo: memFree=30836168/32770624 swapFree=6312/24728
[pid=7559] ppid=7556 vsize=144228 CPUtime=2081.58 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 111661 0 0 0 208148 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 2081.58
Current children cumulated vsize (KiB) 144228

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7710
/proc/meminfo: memFree=30835620/32770624 swapFree=6312/24812
[pid=7559] ppid=7556 vsize=144228 CPUtime=2141.56 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 112075 0 0 0 214146 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 2141.56
Current children cumulated vsize (KiB) 144228

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7559 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2144.01 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7710
/proc/meminfo: memFree=30835744/32770624 swapFree=6312/24812
[pid=7559] ppid=7556 vsize=144228 CPUtime=2143.26 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 112075 0 0 0 214316 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934449 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 2143.26
Current children cumulated vsize (KiB) 144228

[startup+2147.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7710
/proc/meminfo: memFree=30835912/32770624 swapFree=6312/24808
[pid=7559] ppid=7556 vsize=144228 CPUtime=2146.46 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 112075 0 0 0 214636 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 2146.46
Current children cumulated vsize (KiB) 144228

[startup+2150.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7710
/proc/meminfo: memFree=30835912/32770624 swapFree=6312/24816
[pid=7559] ppid=7556 vsize=144228 CPUtime=2149.66 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 112075 0 0 0 214956 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 2149.66
Current children cumulated vsize (KiB) 144228

[startup+2152 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7710
/proc/meminfo: memFree=30835912/32770624 swapFree=6312/24816
[pid=7559] ppid=7556 vsize=144228 CPUtime=2151.25 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 112075 0 0 0 215115 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 2151.25
Current children cumulated vsize (KiB) 144228

[startup+2152.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7710
/proc/meminfo: memFree=30835912/32770624 swapFree=6312/24816
[pid=7559] ppid=7556 vsize=144228 CPUtime=2151.65 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 112075 0 0 0 215155 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 2151.65
Current children cumulated vsize (KiB) 144228

[startup+2152.81 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7710
/proc/meminfo: memFree=30835912/32770624 swapFree=6312/24816
[pid=7559] ppid=7556 vsize=144228 CPUtime=2152.06 cores=0,2,4,6
/proc/7559/stat : 7559 (cosoco) R 7556 7559 5313 0 -1 4202496 112175 0 0 0 215196 10 0 0 20 0 1 0 17674697 147689472 29143 33554432000 4194304 5970956 140722814408896 140722814406232 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 34754560 140722814411964 140722814412099 140722814412099 140722814414798 0
/proc/7559/statm: 36057 29143 782 434 0 29421 0
Current children cumulated CPU time (s) 2152.06
Current children cumulated vsize (KiB) 144228

Child status: 0
Real time (s): 2152.82
CPU time (s): 2152.08
CPU user time (s): 2151.97
CPU system time (s): 0.109962
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 144228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2151.97
system time used= 0.109962
maximum resident set size= 116652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112255
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= 18
involuntary context switches= 109894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.29507 second user time and 8.26169 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-21 11:27:57
IDJOB=4241235
IDBENCH=126256
IDSOLVER=2621
FILE ID=node104/4241235-1500629276
RUNJOBID= node104-1500623789-5344
PBS_JOBID= 20623023
Free space on /tmp= 62016 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-09.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241235-1500629276/watcher-4241235-1500629276 -o /tmp/evaluation-result-4241235-1500629276/solver-4241235-1500629276 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5344 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241235-1500629276.xml

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

MD5SUM BENCH= 1acf0ac9bd97a514ba0385b56c9970ab
RANDOM SEED=549346390

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.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.50
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		: 1600.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.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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:        31987128 kB
MemAvailable:   31978500 kB
Buffers:          125160 kB
Cached:           152372 kB
SwapCached:            0 kB
Active:           266420 kB
Inactive:          93256 kB
Active(anon):      30740 kB
Inactive(anon):    70916 kB
Active(file):     235680 kB
Inactive(file):    22340 kB
Unevictable:        6312 kB
Mlocked:            6312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4724 kB
Writeback:             0 kB
AnonPages:         87704 kB
Mapped:            34604 kB
Shmem:             17044 kB
Slab:             124120 kB
SReclaimable:      98372 kB
SUnreclaim:        25748 kB
KernelStack:        3312 kB
PageTables:         5204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     364408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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= 62004 MiB
End job on node104 at 2017-07-21 12:03:50