Trace number 4239746

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco-sat 1.1? (TO) 2400.1 2400.32

General information on the benchmark

NameScheduling/Scheduling-xcsp2-os-gp/
gp10-05-1070_X2.xml
MD5SUM23007d5514affe077dd6f6cf857721a4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark31.226101
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Number of domains2
Minimum domain size1
Maximum domain size1071
Distribution of domain sizes[{"size":1,"count":1},{"size":1071,"count":100}]
Minimum variable degree19
Maximum variable degree100
Distribution of variable degrees[{"degree":19,"count":100},{"degree":100,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1000}]
Number of extensional constraints0
Number of intensional constraints1000
Distribution of constraint types[{"type":"intension","count":1000}]
Optimization problemNO
Type of objective

Solver Data 

5.29/5.32	c SAT : Variables: 107101 -- Clauses: 57298600
5.29/5.33	c root propagations     : 10000       
5.29/5.33	c restarts enabled, print stats at every restarts
5.29/5.33	c
5.29/5.33	c
5.29/5.33	c
5.29/5.33	c This is cosoco 1.0 --  
5.29/5.33	c
5.29/5.33	c ========================================[ Problem Statistics ]===========================================
5.29/5.33	c |                                                                                                       
5.29/5.33	c |  Parse time        :         4.73 s 
5.29/5.33	c |
5.29/5.33	c |               Variables: 101
5.29/5.33	c |            Domain Sizes: 1..1071
5.29/5.33	c |
5.29/5.33	c |             Constraints: 1000
5.29/5.33	c |                   Arity: 2..2  -- Binary: 1000
5.29/5.33	c | 
5.29/5.33	c |                   Types: 
5.29/5.33	c |                          Intension: 1000
5.29/5.33	c |                          
5.29/5.33	c =========================================================================================================
5.29/5.33	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
5.38/5.42	c 10             32             5567           50730          100            3              22   22   20   
5.38/5.42	c 20             63             9890           83392          100            13             22   22   20   
5.38/5.49	c 30             109            17173          145346         100            23             37   37   33   
5.50/5.54	c 40             137            21349          248949         100            33             13   19   12   
5.50/5.57	c 50             158            24135          286870         100            43             12   12   10   
5.50/5.60	c 60             182            27340          369549         100            53             15   15   13   
5.60/5.62	c 70             198            28916          397447         100            63             7   7   6      
5.60/5.65	c 80             225            32606          442543         100            73             18   18   16   
5.60/5.69	c 90             255            37008          495606         100            83             21   21   19   
5.69/5.73	c 100            289            42034          575731         100            93             25   25   22   
5.69/5.77	c 101            308            45966          629076         100            94             19   19   9    
5.79/5.81	c 110            329            49200          718033         100            103            13   13   11   
5.79/5.84	c 120            352            52351          781580         100            113            14   14   12   
5.79/5.85	c 130            364            52982          791884         100            123            3   3   2      
5.89/5.91	c 140            385            58225          921413         100            133            12   12   10   
5.89/5.94	c 150            406            61082          978372         100            143            12   12   10   
5.89/5.96	c 160            418            61732          988686         100            153            3   3   2      
5.89/5.99	c 170            436            64078          1038505        100            163            9   9   8      
5.99/6.02	c 180            458            67104          1098207        100            173            13   13   11   
5.99/6.05	c 190            474            68932          1185050        100            183            7   7   6      
5.99/6.08	c 200            494            71707          1241971        100            192            8   9   7      
6.09/6.10	c 210            509            73138          1265636        100            202            6   6   5      
6.09/6.12	c 211            522            75894          1307707        100            203            13   13   6    
6.09/6.15	c 220            543            79207          1360224        100            212            13   13   11   
6.09/6.19	c 230            568            82896          1412215        100            222            16   16   14   
6.19/6.22	c 240            590            86431          1467399        100            232            13   13   11   
6.19/6.25	c 250            616            90347          1522920        100            242            17   17   15   
6.19/6.28	c 260            632            92091          1586369        100            252            7   7   6      
6.29/6.30	c 270            651            94533          1621788        100            262            10   10   9    
6.29/6.33	c 280            671            97221          1694242        100            272            11   11   10   
6.29/6.36	c 290            690            99773          1751738        100            278            8   8   7      
6.29/6.39	c 300            711            102549         1793747        100            288            12   12   10   
6.39/6.41	c 310            726            104042         1857175        100            298            6   6   5      
6.39/6.42	c 320            742            105655         1887536        100            308            7   7   6      
6.39/6.44	c 330            757            107037         1917566        100            318            6   6   5      
6.39/6.45	c 332            764            108240         1947854        100            320            6   6   4      
6.39/6.48	c 340            782            111222         2001675        100            328            11   11   9    
6.39/6.49	c 350            796            112334         2028667        100            338            5   5   4      
6.49/6.52	c 360            816            114967         2091527        100            348            11   11   10   
6.49/6.54	c 370            831            116587         2151470        100            358            6   6   5      
6.49/6.57	c 380            848            118626         2212568        100            368            8   8   7      
6.49/6.59	c 390            865            120552         2290029        100            378            8   8   7      
6.59/6.62	c 400            883            122773         2361175        100            388            9   9   8      
6.59/6.64	c 410            900            124604         2398200        100            398            8   8   7      
6.59/6.66	c 420            915            126116         2461851        100            408            6   6   5      
6.59/6.68	c 430            935            128802         2515471        100            418            11   11   10   
6.59/6.69	c 440            949            129933         2542573        100            428            5   5   4      
6.69/6.72	c 450            969            132511         2607663        100            438            7   11   9     
6.69/6.74	c 460            985            134284         2675592        100            448            7   7   6      
6.69/6.76	c 465            997            136000         2705927        100            453            8   8   6      
6.69/6.78	c 470            1007           137327         2749392        100            458            6   6   5      
6.69/6.79	c 480            1024           139158         2786282        100            468            8   8   7      
6.79/6.81	c 490            1039           140670         2850143        100            478            6   6   5      
6.79/6.84	c 500            1058           143025         2907171        100            488            10   10   9    
6.79/6.86	c 510            1077           145410         2978668        100            498            10   10   9    
6.79/6.87	c 520            1092           146811         3008808        100            508            6   6   5      
6.79/6.89	c 530            1108           148441         3038727        100            518            7   7   6      
6.89/6.90	c 540            1123           149842         3068977        100            528            6   6   5      
6.89/6.92	c 550            1139           151545         3126244        100            538            7   7   6      
6.89/6.96	c 560            1160           155026         3207602        100            548            12   12   10   
6.89/6.99	c 570            1177           157084         3269223        100            558            8   8   7      
6.99/7.01	c 580            1193           158795         3346081        100            568            7   7   6      
6.99/7.03	c 590            1208           160307         3410152        100            578            6   6   5      
6.99/7.05	c 600            1224           162049         3467465        100            588            7   7   6      
6.99/7.09	c 610            1245           165530         3549333        100            598            12   12   10   
7.09/7.11	c 611            1253           167273         3582565        100            599            8   8   4      
7.09/7.13	c 620            1270           169539         3636883        100            604            7   7   6      
7.09/7.16	c 630            1287           171597         3699065        100            614            8   8   7      
7.09/7.18	c 640            1305           173897         3756163        100            618            7   7   6      
7.19/7.21	c 650            1322           175955         3818855        100            628            8   8   7      
7.19/7.23	c 660            1339           177989         3873185        100            633            7   7   6      
7.19/7.25	c 670            1354           179413         3913813        100            643            6   6   5      
7.19/7.27	c 680            1374           182005         3957212        100            653            11   11   10   
7.19/7.28	c 690            1388           183158         3994433        100            663            5   5   4      
7.29/7.30	c 700            1407           185494         4035802        100            673            10   10   9    
7.29/7.31	c 710            1421           186666         4073033        100            683            5   5   4      
7.29/7.33	c 720            1440           189021         4114412        100            693            10   10   9    
7.29/7.34	c 730            1454           190219         4150763        100            694            5   5   4      
7.29/7.36	c 740            1473           192564         4192291        100            704            10   10   9    
7.29/7.38	c 750            1488           194044         4245500        100            714            6   6   5      
7.39/7.40	c 760            1504           195787         4306053        100            724            7   7   6      
7.39/7.42	c 770            1518           196979         4343274        100            734            5   5   4      
7.39/7.43	c 771            1524           198201         4370897        100            735            6   6   3      
7.39/7.45	c 780            1539           199928         4428459        100            744            7   7   6      
7.39/7.47	c 790            1553           201139         4465690        100            754            5   5   4      
7.39/7.48	c 800            1568           202658         4518946        100            764            6   6   5      
7.49/7.53	c 810            1587           205291         4635977        100            774            10   10   9    
7.49/7.55	c 820            1602           206790         4689243        100            784            6   6   5      
7.49/7.59	c 830            1621           209442         4807054        100            794            10   10   9    
7.59/7.61	c 840            1636           210941         4860330        100            804            6   6   5      
7.59/7.64	c 850            1656           213591         4937888        100            814            11   11   10   
7.59/7.66	c 860            1671           215090         4991174        100            824            6   6   5      
7.59/7.68	c 870            1687           216852         5052709        100            834            7   7   6      
7.59/7.70	c 880            1702           218350         5094548        100            837            5   5   4      
7.69/7.71	c 890            1717           219869         5147789        100            847            6   6   5      
7.69/7.74	c 900            1737           222538         5225684        100            857            11   11   10   
7.69/7.76	c 910            1753           224284         5287891        100            867            7   7   6      
7.69/7.78	c 920            1767           225495         5325113        100            877            5   5   4      
7.69/7.80	c 930            1783           227280         5387843        100            887            7   7   6      
7.79/7.88	c 940            1813           234050         5502570        100            897            21   21   19   
7.89/7.90	c 947            1827           235959         5556219        100            904            8   8   7      
7.89/7.94	c 950            1848           240101         5613393        100            907            19   19   14   
7.89/7.96	c 960            1864           241822         5667715        100            917            7   7   6      
7.89/7.98	c 970            1884           244462         5745943        100            927            11   11   10   
7.99/8.02	c 980            1912           248841         5808746        100            937            19   19   17   
7.99/8.04	c 990            1928           250581         5863099        100            947            7   7   6      
7.99/8.07	c 1000           1948           253221         5941637        100            957            11   11   10   
8.09/8.11	c 1010           1975           257309         6000638        100            967            18   18   16   
8.09/8.12	c 1020           1991           259049         6054911        100            977            7   7   6      
8.09/8.15	c 1030           2007           260811         6116956        100            987            7   7   6      
8.09/8.18	c 1040           2034           264938         6175867        100            997            18   18   16   
8.18/8.20	c 1050           2050           266678         6230050        100            1007           7   7   6      
8.18/8.22	c 1060           2066           268440         6292584        100            1017           7   7   6      
8.18/8.26	c 1070           2092           272361         6350852        100            1027           17   17   15   
8.18/8.28	c 1080           2111           274831         6405068        100            1037           7   10   8     
8.28/8.30	c 1090           2127           276553         6458705        100            1047           7   7   6      
8.28/8.32	c 1100           2143           278315         6521655        100            1057           7   7   6      
8.28/8.36	c 1110           2169           282255         6579833        100            1067           17   17   15   
8.28/8.38	c 1120           2188           284750         6630285        100            1077           10   10   9    
8.38/8.40	c 1130           2204           286491         6683868        100            1087           7   7   6      
8.38/8.42	c 1140           2220           288253         6747228        100            1097           7   7   6      
8.38/8.45	c 1141           2237           291887         6798116        100            1098           17   17   8    
8.38/8.48	c 1150           2255           294347         6847280        100            1107           10   10   9    
8.48/8.50	c 1160           2271           296088         6900773        100            1117           7   7   6      
8.48/8.52	c 1170           2287           297850         6964543        100            1127           7   7   6      
8.48/8.55	c 1180           2304           300005         7052349        100            1137           8   8   7      
8.48/8.59	c 1190           2329           303758         7111742        100            1147           16   16   14   
8.58/8.61	c 1200           2348           306274         7162524        100            1157           10   10   9    
8.58/8.63	c 1210           2364           307979         7205544        100            1167           7   7   6      
8.58/8.65	c 1220           2380           309741         7269724        100            1177           7   7   6      
8.58/8.67	c 1230           2397           311683         7315044        100            1187           8   8   7      
8.68/8.70	c 1240           2415           313947         7369067        100            1196           8   9   7      
8.68/8.72	c 1250           2432           315906         7417845        100            1201           7   7   6      
8.68/8.75	c 1260           2448           317668         7482420        100            1211           7   7   6      
8.68/8.79	c 1270           2477           322392         7553515        100            1221           8   20   11    
8.79/8.82	c 1280           2500           325675         7609014        100            1231           14   14   12   
8.79/8.85	c 1290           2517           327596         7662176        100            1241           8   8   7      
8.79/8.88	c 1300           2542           331387         7721879        100            1251           16   16   14   
8.89/8.91	c 1310           2561           333903         7772771        100            1261           10   10   9    
8.89/8.93	c 1320           2577           335644         7826386        100            1271           7   7   6      
8.89/8.95	c 1330           2595           337874         7868937        100            1281           9   9   8      
8.89/8.97	c 1340           2611           339555         7917998        100            1291           7   7   6      
8.98/9.00	c 1350           2628           341630         7975206        100            1301           8   8   7      
8.98/9.02	c 1352           2636           343107         8007537        100            1303           7   7   4      
8.98/9.04	c 1360           2650           344799         8064679        100            1311           7   7   6      
8.98/9.09	c 1370           2679           349964         8141973        100            1321           20   20   18   
9.08/9.11	c 1380           2696           351764         8173444        100            1331           8   8   7      
9.08/9.13	c 1390           2711           353207         8221093        100            1341           6   6   5      
9.08/9.15	c 1400           2728           355265         8284295        100            1351           8   8   7      
9.08/9.17	c 1410           2742           356476         8321527        100            1361           5   5   4      
9.18/9.20	c 1420           2767           360187         8380210        100            1371           16   16   14   
9.18/9.22	c 1430           2786           362703         8431212        100            1381           10   10   9    
9.18/9.24	c 1440           2802           364444         8484729        100            1391           7   7   6      
9.18/9.29	c 1450           2832           369345         8556361        100            1401           21   21   19   
9.28/9.31	c 1460           2848           371076         8610530        100            1411           7   7   6      
9.28/9.36	c 1470           2878           375995         8682051        100            1421           21   21   19   
9.28/9.38	c 1480           2894           377745         8736266        100            1431           7   7   6      
9.38/9.41	c 1490           2922           382101         8806456        100            1441           19   19   17   
9.38/9.44	c 1500           2940           384518         8895797        100            1451           9   9   8      
9.38/9.48	c 1510           2957           386593         8956778        100            1461           8   8   7      
9.38/9.49	c 1520           2973           388187         8986300        100            1471           7   7   6      
9.48/9.51	c 1530           2988           389649         9034381        100            1481           6   6   5      
9.48/9.54	c 1540           3005           391653         9097908        100            1491           8   8   7      
9.48/9.56	c 1550           3024           394098         9144458        100            1501           10   10   9    
9.48/9.58	c 1560           3039           395560         9192949        100            1511           6   6   5      
9.58/9.60	c 1570           3056           397618         9257171        100            1521           8   8   7      
9.58/9.62	c 1580           3071           399116         9299018        100            1527           5   5   4      
9.58/9.64	c 1585           3081           400443         9330895        100            1532           6   6   5      
9.58/9.66	c 1590           3092           402019         9371137        100            1537           7   7   5      
9.58/9.69	c 1600           3118           405881         9440794        100            1547           17   17   15   
9.68/9.71	c 1610           3133           407280         9487690        100            1557           6   6   5      
9.68/9.73	c 1620           3148           408801         9529450        100            1567           6   6   5      
9.68/9.74	c 1630           3164           410500         9570722        100            1577           7   7   6      
9.68/9.77	c 1640           3183           412929         9622303        100            1587           10   10   9    
9.68/9.79	c 1650           3200           414894         9672836        100            1593           7   7   6      
9.78/9.82	c 1660           3219           417341         9724740        100            1603           10   10   9    
9.78/9.84	c 1670           3235           419082         9778358        100            1613           7   7   6      
9.78/9.86	c 1680           3253           421288         9829713        100            1623           9   9   8      
9.78/9.88	c 1690           3269           423029         9883247        100            1633           7   7   6      
9.89/9.90	c 1700           3287           425254         9934925        100            1643           9   9   8      
9.89/9.92	c 1710           3303           426989         9986636        100            1653           7   7   6      
9.89/9.95	c 1720           3321           429214         10038624       100            1663           9   9   8      
9.89/9.96	c 1730           3337           430895         10074703       100            1673           7   7   6      
9.89/9.99	c 1740           3355           433120         10127001       100            1683           9   9   8      
9.99/10.01	c 1750           3372           435109         10184588       100            1693           7   7   6      
9.99/10.03	c 1760           3389           437098         10233836       100            1703           8   8   7      
9.99/10.05	c 1770           3405           438839         10287431       100            1713           7   7   6      
9.99/10.08	c 1780           3422           440847         10337002       100            1723           8   8   7      
10.08/10.10	c 1790           3438           442588         10390507       100            1733           7   7   6      
10.08/10.12	c 1800           3455           444596         10440388       100            1743           8   8   7      
10.08/10.14	c 1810           3471           446307         10485148       100            1753           7   7   6      
10.08/10.16	c 1820           3488           448315         10535339       100            1763           8   8   7      
10.08/10.18	c 1830           3505           450268         10582378       100            1767           7   7   6      
10.18/10.21	c 1840           3522           452276         10632851       100            1777           8   8   7      
10.18/10.22	c 1841           3528           453441         10653032       100            1778           6   6   3      
10.18/10.24	c 1850           3541           454773         10708763       100            1787           5   5   4      
10.18/10.27	c 1860           3558           456744         10751326       100            1797           8   8   7      
10.18/10.28	c 1870           3573           458117         10775558       100            1807           6   6   5      
10.28/10.31	c 1880           3587           459518         10836166       100            1817           5   5   4      
10.28/10.33	c 1890           3604           461444         10870451       100            1827           8   8   7      
10.28/10.34	c 1900           3619           462817         10894693       100            1837           6   6   5      
10.28/10.36	c 1910           3633           464218         10955811       100            1847           5   5   4      
10.28/10.39	c 1920           3650           466144         10990206       100            1857           8   8   7      
10.38/10.40	c 1930           3665           467517         11014458       100            1867           6   6   5      
10.38/10.42	c 1940           3679           468918         11076086       100            1877           5   5   4      
10.38/10.44	c 1950           3696           470844         11110591       100            1887           8   8   7      
10.38/10.46	c 1960           3711           472217         11134853       100            1897           6   6   5      
10.38/10.48	c 1970           3725           473618         11196988       100            1907           5   5   4      
10.48/10.50	c 1980           3742           475544         11231603       100            1917           8   8   7      
10.48/10.51	c 1990           3757           476917         11255875       100            1927           6   6   5      
10.48/10.54	c 2000           3771           478318         11318448       100            1937           5   5   4      
10.48/10.56	c 2010           3788           480244         11353173       100            1947           8   8   7      
10.48/10.57	c 2020           3803           481617         11377455       100            1957           6   6   5      
10.48/10.59	c 2030           3817           483018         11440438       100            1967           5   5   4      
10.58/10.62	c 2040           3834           484944         11475273       100            1977           8   8   7      
10.58/10.63	c 2050           3849           486317         11499565       100            1987           6   6   5      
10.58/10.65	c 2060           3863           487718         11564122       100            1997           5   5   4      
10.58/10.67	c 2070           3880           489644         11599067       100            2007           8   8   7      
10.58/10.69	c 2080           3895           491017         11623369       100            2017           6   6   5      
10.68/10.72	c 2090           3909           492418         11699063       100            2027           5   5   4      
10.68/10.74	c 2100           3926           494344         11734118       100            2037           8   8   7      
10.68/10.75	c 2110           3941           495717         11758430       100            2047           6   6   5      
10.68/10.78	c 2120           3955           497054         11831058       100            2057           5   5   4      
10.78/10.80	c 2122           3963           498585         11865314       100            2059           7   7   4      
10.78/10.82	c 2130           3976           500036         11903312       100            2067           6   6   5      
10.78/10.83	c 2140           3991           501409         11927634       100            2077           6   6   5      
10.78/10.85	c 2150           4005           502629         11976944       100            2087           5   5   4      
10.78/10.88	c 2160           4025           505463         12052925       100            2094           7   8   7      
10.88/10.90	c 2170           4042           507394         12109878       100            2104           8   8   7      
10.88/10.93	c 2180           4061           509911         12172400       100            2109           8   8   7      
10.88/10.95	c 2190           4078           511861         12229675       100            2119           8   8   7      
10.88/10.98	c 2200           4096           514128         12286288       100            2121           8   8   7      
10.88/11.00	c 2210           4111           515649         12328426       100            2131           6   6   5      
10.99/11.04	c 2220           4130           518327         12398831       100            2141           10   10   9    
10.99/11.07	c 2230           4148           520563         12455327       100            2144           8   8   7      
10.99/11.09	c 2240           4165           522513         12512822       100            2154           8   8   7      
11.09/11.11	c 2250           4183           524769         12569338       100            2158           8   8   7      
11.09/11.14	c 2260           4200           526719         12627043       100            2168           8   8   7      
11.09/11.16	c 2270           4218           528976         12683574       100            2172           8   8   7      
11.09/11.19	c 2280           4236           531178         12747081       100            2177           8   8   7      
11.18/11.21	c 2290           4254           533435         12803622       100            2180           8   8   7      
11.18/11.24	c 2300           4271           535404         12860725       100            2190           8   8   7      
11.18/11.26	c 2310           4288           537410         12911349       100            2191           8   8   7      
11.18/11.28	c 2320           4303           538931         12953697       100            2201           6   6   5      
11.28/11.32	c 2330           4322           541646         13024632       100            2211           10   10   9    
11.28/11.34	c 2340           4339           543621         13075127       100            2221           8   8   7      
11.28/11.36	c 2350           4356           545590         13132498       100            2231           8   8   7      
11.38/11.40	c 2360           4374           548177         13189598       100            2241           9   9   8      
11.38/11.44	c 2370           4393           550892         13261043       100            2251           10   10   9    
11.38/11.47	c 2380           4414           554041         13315480       100            2258           9   10   8     
11.48/11.50	c 2390           4433           556756         13387435       100            2268           10   10   9    
11.48/11.53	c 2400           4454           559682         13434722       100            2271           10   10   9    
11.48/11.55	c 2410           4470           561311         13461016       100            2281           7   7   6      
11.48/11.58	c 2420           4486           563231         13525610       100            2291           7   7   6      
11.58/11.60	c 2430           4506           565917         13570345       100            2297           10   10   9    
11.58/11.61	c 2431           4513           567376         13594813       100            2298           7   7   3      
11.58/11.63	c 2440           4526           568468         13613944       100            2307           5   5   4      
11.58/11.64	c 2450           4540           569679         13661992       100            2317           5   5   4      
11.58/11.67	c 2460           4560           572384         13706906       100            2319           10   10   9    
11.68/11.70	c 2470           4579           575099         13779361       100            2329           10   10   9    
11.68/11.73	c 2480           4599           577766         13824130       100            2331           10   10   9    
11.68/11.74	c 2490           4615           579433         13850435       100            2341           7   7   6      
11.68/11.75	c 2500           4629           580565         13870025       100            2351           5   5   4      
11.68/11.77	c 2510           4643           581776         13918383       100            2361           5   5   4      
11.78/11.80	c 2520           4663           584462         13963166       100            2363           10   10   9    
11.78/11.81	c 2530           4679           586129         13989481       100            2373           7   7   6      
11.78/11.83	c 2540           4695           587731         14033973       100            2383           5   7   5      
11.78/11.86	c 2550           4713           590031         14087442       100            2389           8   8   7      
11.78/11.87	c 2560           4728           591395         14111780       100            2399           6   6   5      
11.78/11.89	c 2570           4742           592606         14160448       100            2409           5   5   4      
11.88/11.90	c 2580           4757           593989         14184796       100            2419           6   6   5      
11.88/11.92	c 2590           4771           595200         14233774       100            2429           5   5   4      
11.88/11.93	c 2600           4786           596583         14258132       100            2439           6   6   5      
11.88/11.95	c 2610           4800           597806         14309514       100            2449           5   5   4      
11.88/11.96	c 2620           4815           599189         14333882       100            2459           6   6   5      
11.88/11.99	c 2630           4829           600542         14406924       100            2469           5   5   4      
11.98/12.01	c 2640           4848           602988         14449295       100            2470           10   10   9    
11.98/12.04	c 2650           4868           605623         14523519       100            2480           11   11   10   
11.98/12.07	c 2660           4886           607942         14577016       100            2486           8   8   7      
11.98/12.08	c 2670           4901           609325         14601394       100            2496           6   6   5      
12.08/12.11	c 2680           4915           610726         14673834       100            2506           5   5   4      
12.08/12.13	c 2690           4934           613134         14716057       100            2516           10   10   9    
12.08/12.15	c 2700           4950           614820         14742383       100            2526           7   7   6      
12.08/12.18	c 2710           4966           616740         14807716       100            2536           7   7   6      
12.19/12.20	c 2720           4986           619426         14852540       100            2545           10   10   9    
12.19/12.22	c 2730           5002           621112         14878876       100            2555           7   7   6      
12.19/12.25	c 2740           5018           623032         14944919       100            2565           7   7   6      
12.19/12.26	c 2750           5033           624415         14969307       100            2575           6   6   5      
12.19/12.28	c 2760           5047           625816         15037040       100            2585           5   5   4      
12.28/12.31	c 2770           5067           628502         15081870       100            2591           10   10   9    
12.28/12.32	c 2771           5074           629999         15106380       100            2592           7   7   3      
12.28/12.35	c 2780           5089           631869         15168830       100            2601           7   7   6      
12.28/12.37	c 2790           5109           634555         15213664       100            2603           10   10   9    
12.28/12.39	c 2800           5125           636241         15240011       100            2613           7   7   6      
12.38/12.42	c 2810           5143           638433         15313966       100            2618           7   7   6      
12.38/12.44	c 2820           5161           640752         15367526       100            2622           8   8   7      
12.38/12.46	c 2830           5176           642255         15424268       100            2632           6   6   5      
12.38/12.49	c 2840           5190           643656         15491096       100            2642           5   5   4      
12.48/12.51	c 2850           5209           646083         15533353       100            2652           10   10   9    
12.48/12.52	c 2860           5225           647769         15559710       100            2662           7   7   6      
12.48/12.55	c 2870           5241           649640         15620511       100            2672           7   7   6      
12.48/12.57	c 2880           5258           651708         15671363       100            2673           8   8   7      
12.48/12.59	c 2890           5272           652881         15704123       100            2683           5   5   4      
12.58/12.61	c 2900           5289           654915         15754773       100            2693           8   8   7      
12.58/12.63	c 2910           5304           656448         15819431       100            2703           6   6   5      
12.58/12.66	c 2920           5318           657849         15886369       100            2713           5   5   4      
12.58/12.68	c 2930           5338           660535         15931225       100            2720           10   10   9    
12.68/12.70	c 2940           5354           662221         15957592       100            2730           7   7   6      
12.68/12.72	c 2950           5370           664092         16018903       100            2740           7   7   6      
12.68/12.75	c 2960           5388           666411         16072489       100            2747           8   8   7      
12.68/12.77	c 2970           5403           667944         16136957       100            2757           6   6   5      
12.79/12.80	c 2980           5417           669345         16203950       100            2767           5   5   4      
12.79/12.82	c 2990           5436           671791         16246382       100            2768           10   10   9    
12.79/12.85	c 3000           5457           674575         16289531       100            2778           12   12   10   
12.79/12.87	c 3010           5474           676513         16315928       100            2788           8   8   7      
12.79/12.89	c 3020           5490           678384         16377749       100            2798           7   7   6      
12.89/12.92	c 3030           5507           680661         16432143       100            2804           7   7   6      
12.89/12.94	c 3040           5522           682194         16496421       100            2814           6   6   5      
12.89/12.97	c 3050           5536           683613         16563686       100            2824           5   5   4      
12.89/12.99	c 3060           5555           686021         16605964       100            2834           10   10   9    
12.99/13.01	c 3070           5571           687707         16632341       100            2844           7   7   6      
12.99/13.03	c 3080           5587           689578         16694671       100            2854           7   7   6      
12.99/13.05	c 3090           5604           691855         16749098       100            2860           7   7   6      
12.99/13.08	c 3100           5619           693388         16813186       100            2870           6   6   5      
13.09/13.11	c 3110           5634           695090         16881385       100            2880           5   5   4      
13.09/13.13	c 3120           5654           697776         16926259       100            2884           10   10   9    
13.09/13.15	c 3130           5670           699462         16952646       100            2894           7   7   6      
13.09/13.17	c 3140           5686           701333         17015422       100            2904           7   7   6      
13.09/13.19	c 3142           5694           702960         17045471       100            2906           7   7   4      
13.19/13.21	c 3150           5707           704421         17100641       100            2914           6   6   5      
13.19/13.24	c 3160           5721           705841         17161259       100            2924           5   5   4      
13.19/13.27	c 3170           5741           708520         17234284       100            2934           11   11   10   
13.19/13.28	c 3180           5757           710206         17260681       100            2944           7   7   6      
13.29/13.31	c 3190           5773           712077         17323867       100            2954           7   7   6      
13.29/13.33	c 3200           5790           714354         17378352       100            2960           7   7   6      
13.29/13.35	c 3210           5805           715887         17441973       100            2970           6   6   5      
13.29/13.38	c 3220           5819           717307         17503101       100            2980           5   5   4      
13.39/13.41	c 3230           5838           719783         17552659       100            2990           10   10   9    
13.39/13.44	c 3240           5859           722586         17595818       100            3000           12   12   10   
13.39/13.45	c 3250           5876           724524         17622245       100            3010           8   8   7      
13.39/13.48	c 3260           5892           726444         17689631       100            3020           7   7   6      
13.49/13.51	c 3270           5912           729142         17763021       100            3030           11   11   10   
13.49/13.53	c 3280           5928           730828         17789428       100            3040           7   7   6      
13.49/13.55	c 3290           5944           732699         17853024       100            3050           7   7   6      
13.49/13.58	c 3300           5961           734976         17907589       100            3053           7   7   6      
13.59/13.61	c 3310           5981           737674         17981268       100            3063           11   11   10   
13.59/13.62	c 3320           5997           739360         18007685       100            3073           7   7   6      
13.59/13.64	c 3330           6013           741231         18071691       100            3083           7   7   6      
13.59/13.67	c 3340           6029           743130         18123386       100            3093           7   7   6      
13.59/13.69	c 3350           6044           744663         18186716       100            3103           6   6   5      
13.69/13.71	c 3360           6058           746083         18248354       100            3113           5   5   4      
13.69/13.74	c 3370           6078           748781         18322249       100            3123           11   11   10   
13.69/13.76	c 3380           6094           750467         18348676       100            3133           7   7   6      
13.69/13.78	c 3390           6110           752338         18413092       100            3143           7   7   6      
13.79/13.81	c 3400           6127           754503         18467579       100            3152           7   7   6      
13.79/13.85	c 3410           6152           758576         18553768       100            3162           6   16   7     
13.79/13.87	c 3420           6169           760484         18581586       100            3172           8   8   7      
13.79/13.89	c 3430           6185           762355         18646357       100            3182           7   7   6      
13.89/13.92	c 3440           6202           764408         18701044       100            3185           7   7   6      
13.89/13.95	c 3450           6227           768484         18760585       100            3195           16   16   14   
13.89/13.97	c 3460           6244           770411         18788413       100            3205           8   8   7      
13.89/13.99	c 3470           6260           772282         18853467       100            3215           7   7   6      
13.99/14.02	c 3480           6276           774069         18905163       100            3225           7   7   6      
13.99/14.05	c 3490           6301           778145         18964729       100            3235           16   16   14   
13.99/14.07	c 3500           6318           780072         18992567       100            3245           8   8   7      
13.99/14.09	c 3510           6335           782184         19054602       100            3253           7   7   6      
14.09/14.12	c 3520           6352           784237         19109230       100            3259           7   7   6      
14.09/14.16	c 3530           6376           788077         19168108       100            3269           15   15   13   
14.09/14.17	c 3540           6393           790004         19195956       100            3279           8   8   7      
14.19/14.20	c 3550           6409           791914         19256923       100            3289           7   7   6      
14.19/14.21	c 3551           6416           793395         19284283       100            3290           7   7   3      
14.19/14.25	c 3560           6439           797220         19342340       100            3299           15   15   13   
14.19/14.26	c 3570           6456           799147         19370198       100            3309           8   8   7      
14.19/14.29	c 3580           6472           801057         19431675       100            3319           7   7   6      
14.29/14.31	c 3590           6488           802844         19483584       100            3329           7   7   6      
14.29/14.35	c 3600           6512           806703         19543051       100            3339           15   15   13   
14.29/14.36	c 3610           6529           808630         19570919       100            3349           8   8   7      
14.29/14.39	c 3620           6545           810540         19632906       100            3359           7   7   6      
14.39/14.42	c 3630           6562           812593         19687450       100            3368           7   7   6      
14.39/14.45	c 3640           6586           816452         19747199       100            3378           15   15   13   
14.39/14.47	c 3650           6603           818379         19775077       100            3388           8   8   7      
14.39/14.49	c 3660           6619           820289         19837564       100            3398           7   7   6      
14.49/14.52	c 3670           6635           822076         19889579       100            3408           7   7   6      
14.49/14.55	c 3680           6658           825688         19944417       100            3418           14   14   12   
14.49/14.57	c 3690           6675           827615         19972305       100            3428           8   8   7      
14.49/14.59	c 3700           6691           829525         20035217       100            3438           7   7   6      
14.59/14.62	c 3710           6708           831578         20089789       100            3447           7   7   6      
14.59/14.65	c 3720           6731           835209         20144937       100            3457           14   14   12   
14.59/14.67	c 3730           6748           837136         20172835       100            3467           8   8   7      
14.59/14.69	c 3740           6764           839046         20236157       100            3477           7   7   6      
14.69/14.72	c 3750           6780           840833         20288176       100            3487           7   7   6      
14.69/14.75	c 3760           6803           844464         20343634       100            3497           14   14   12   
14.69/14.77	c 3770           6820           846373         20379636       100            3507           8   8   7      
14.69/14.79	c 3780           6836           848059         20406073       100            3517           7   7   6      
14.79/14.81	c 3790           6852           849969         20469805       100            3527           7   7   6      
14.79/14.84	c 3800           6869           852022         20524449       100            3535           7   7   6      
14.79/14.87	c 3810           6892           855653         20580182       100            3545           14   14   12   
14.79/14.89	c 3820           6909           857581         20616294       100            3555           8   8   7      
14.89/14.90	c 3830           6925           859267         20642741       100            3565           7   7   6      
14.89/14.93	c 3840           6941           861177         20706883       100            3575           7   7   6      
14.89/14.95	c 3850           6957           862964         20758855       100            3585           7   7   6      
14.89/14.96	c 3860           6972           864325         20781835       100            3595           6   6   5      
14.89/14.98	c 3870           6987           865997         20839616       100            3605           6   6   5      
14.99/15.01	c 3880           7005           868197         20914923       100            3615           9   9   8      
14.99/15.03	c 3890           7019           869618         20957425       100            3625           5   5   4      
14.99/15.05	c 3900           7035           871377         21011065       100            3635           7   7   6      
14.99/15.07	c 3910           7051           873287         21075611       100            3645           7   7   6      
15.09/15.10	c 3920           7068           875340         21130396       100            3651           7   7   6      
15.09/15.13	c 3930           7091           878971         21186404       100            3661           14   14   12   
15.09/15.15	c 3940           7108           880899         21222626       100            3671           8   8   7      
15.09/15.17	c 3950           7124           882585         21249083       100            3681           7   7   6      
15.09/15.19	c 3960           7140           884495         21313960       100            3691           7   7   6      
15.19/15.22	c 3970           7156           886282         21365834       100            3701           7   7   6      
15.19/15.23	c 3980           7171           887643         21388824       100            3711           6   6   5      
15.19/15.25	c 3990           7184           888963         21450968       100            3721           4   4   3      
15.19/15.27	c 4000           7202           891182         21526321       100            3731           9   9   8      
15.19/15.28	c 4001           7207           892288         21550582       100            3732           5   5   2      
15.29/15.30	c 4010           7222           894014         21601499       100            3741           7   7   6      
15.29/15.34	c 4020           7241           896874         21673765       100            3751           10   10   9    
15.29/15.36	c 4030           7259           899093         21749128       100            3761           9   9   8      
15.29/15.38	c 4040           7273           900514         21791751       100            3771           5   5   4      
15.29/15.40	c 4050           7289           902273         21845235       100            3781           7   7   6      
15.39/15.43	c 4060           7305           904199         21910391       100            3782           7   7   6      
15.39/15.44	c 4070           7319           905620         21953124       100            3792           5   5   4      
15.39/15.46	c 4080           7335           907331         21992682       100            3802           7   7   6      
15.39/15.49	c 4090           7351           909183         22053269       100            3812           7   7   6      
15.49/15.51	c 4100           7368           911236         22108401       100            3814           7   7   6      
15.49/15.53	c 4110           7383           912619         22131401       100            3824           6   6   5      
15.49/15.55	c 4120           7396           913939         22193983       100            3834           4   4   3      
15.49/15.57	c 4130           7413           915943         22264324       100            3844           8   8   7      
15.49/15.59	c 4140           7427           917364         22307182       100            3854           5   5   4      
15.59/15.61	c 4150           7444           919353         22359510       100            3861           7   7   6      
15.59/15.63	c 4160           7460           921273         22427527       100            3871           7   7   6      
15.59/15.65	c 4170           7474           922386         22443267       100            3881           5   5   4      
15.59/15.66	c 4180           7488           923807         22486240       100            3891           5   5   4      
15.59/15.68	c 4190           7504           925566         22539870       100            3901           7   7   6      
15.69/15.71	c 4200           7520           927486         22608497       100            3911           7   7   6      
15.69/15.72	c 4210           7534           928618         22624247       100            3921           5   5   4      
15.69/15.74	c 4220           7548           930039         22667330       100            3931           5   5   4      
15.69/15.76	c 4230           7564           931798         22720873       100            3941           7   7   6      
15.69/15.79	c 4240           7580           933718         22791424       100            3951           7   7   6      
15.78/15.80	c 4250           7594           934850         22807184       100            3961           5   5   4      
15.78/15.81	c 4260           7608           936271         22850377       100            3971           5   5   4      
15.78/15.83	c 4270           7624           938018         22900365       100            3981           7   7   6      
15.78/15.87	c 4280           7640           939938         22983958       100            3991           7   7   6      
15.78/15.88	c 4290           7654           941070         22999728       100            4001           5   5   4      
15.89/15.90	c 4300           7672           943512         23054051       100            4011           5   9   4      
15.89/15.92	c 4310           7688           945198         23080518       100            4021           7   7   6      
15.89/15.94	c 4320           7704           947069         23141628       100            4031           7   7   6      
15.89/15.97	c 4330           7720           948856         23193289       100            4041           7   7   6      
15.89/15.98	c 4340           7734           949988         23209069       100            4051           5   5   4      
15.98/16.00	c 4350           7752           952341         23249695       100            4061           9   9   8      
15.98/16.01	c 4360           7768           954027         23276172       100            4071           7   7   6      
15.98/16.04	c 4370           7784           955898         23337792       100            4081           7   7   6      
15.98/16.06	c 4380           7800           957685         23389976       100            4091           7   7   6      
15.98/16.07	c 4390           7814           958817         23405766       100            4101           5   5   4      
15.98/16.09	c 4400           7832           961170         23446402       100            4111           9   9   8      
16.08/16.10	c 4410           7848           962856         23472889       100            4121           7   7   6      
16.08/16.13	c 4420           7864           964727         23535019       100            4131           7   7   6      
16.08/16.15	c 4430           7881           966780         23589821       100            4138           7   7   6      
16.08/16.17	c 4440           7895           967912         23605621       100            4148           5   5   4      
16.08/16.18	c 4450           7913           970265         23646267       100            4158           9   9   8      
16.18/16.20	c 4460           7929           971951         23672764       100            4168           7   7   6      
16.18/16.22	c 4470           7945           973822         23735376       100            4178           7   7   6      
16.18/16.25	c 4480           7961           975609         23787309       100            4188           7   7   6      
16.18/16.26	c 4490           7975           976741         23803119       100            4198           5   5   4      
16.18/16.27	c 4493           7986           978933         23839729       100            4201           9   9   6      
16.18/16.29	c 4500           7999           980556         23865624       100            4208           7   7   6      
16.28/16.31	c 4510           8015           982427         23928649       100            4218           7   7   6      
16.28/16.34	c 4520           8031           984229         23981148       100            4219           7   7   6      
16.28/16.35	c 4530           8044           985071         23995158       100            4229           4   4   3      
16.28/16.37	c 4540           8057           986391         24058150       100            4239           4   4   3      
16.28/16.38	c 4550           8071           987523         24073970       100            4249           5   5   4      
16.28/16.40	c 4560           8089           989876         24114629       100            4259           9   9   8      
16.38/16.41	c 4570           8105           991562         24141143       100            4269           7   7   6      
16.38/16.44	c 4580           8121           993433         24204578       100            4279           7   7   6      
16.38/16.46	c 4590           8137           995201         24256184       100            4289           7   7   6      
16.38/16.47	c 4600           8151           996381         24295495       100            4299           5   5   4      
16.38/16.49	c 4610           8169           998734         24336164       100            4309           9   9   8      
16.49/16.52	c 4620           8185           1000585        24400009       100            4319           7   7   6      
16.49/16.54	c 4630           8201           1002372        24452150       100            4329           7   7   6      
16.49/16.56	c 4640           8218           1004241        24497705       100            4339           6   8   6      
16.49/16.59	c 4650           8235           1006294        24552944       100            4342           7   7   6      
16.59/16.61	c 4660           8252           1008247        24617072       100            4352           8   8   7      
16.59/16.63	c 4670           8268           1010034        24668804       100            4362           7   7   6      
16.59/16.66	c 4680           8285           1011987        24733441       100            4372           8   8   7      
16.59/16.68	c 4690           8301           1013774        24785688       100            4382           7   7   6      
16.68/16.71	c 4700           8318           1015727        24850771       100            4392           8   8   7      
16.68/16.73	c 4710           8335           1017780        24905960       100            4396           7   7   6      
16.68/16.76	c 4720           8352           1019751        24971077       100            4406           8   8   7      
16.68/16.78	c 4730           8368           1021538        25022868       100            4416           7   7   6      
16.78/16.81	c 4740           8387           1024011        25094057       100            4425           8   8   7      
16.78/16.83	c 4750           8403           1025798        25146359       100            4435           7   7   6      
16.78/16.85	c 4760           8419           1027566        25189180       100            4445           7   7   6      
16.78/16.86	c 4770           8431           1028327        25203199       100            4455           3   3   2      
16.78/16.88	c 4780           8445           1029708        25252999       100            4465           5   5   4      
16.88/16.90	c 4790           8461           1031476        25296275       100            4475           7   7   6      
16.88/16.90	c 4800           8473           1032237        25310304       100            4485           3   3   2      
16.88/16.92	c 4810           8487           1033618        25360314       100            4495           5   5   4      
16.88/16.94	c 4820           8503           1035386        25404000       100            4505           7   7   6      
16.88/16.97	c 4830           8520           1037874        25460763       100            4515           8   8   7      
16.88/16.98	c 4840           8535           1039487        25497035       100            4516           6   6   5      
16.98/17.00	c 4850           8553           1041861        25537717       100            4526           9   9   8      
16.98/17.03	c 4860           8569           1043712        25601972       100            4536           7   7   6      
16.98/17.05	c 4870           8585           1045684        25657230       100            4540           6   6   5      
16.98/17.08	c 4880           8602           1047748        25717939       100            4550           8   8   7      
16.98/17.10	c 4890           8617           1049435        25769785       100            4560           6   6   5      
17.08/17.11	c 4900           8633           1051138        25810339       100            4570           7   7   6      
17.08/17.13	c 4910           8651           1053512        25851031       100            4580           9   9   8      
17.08/17.15	c 4920           8667           1055173        25891595       100            4590           7   7   6      
17.08/17.16	c 4930           8685           1057547        25932297       100            4600           9   9   8      
17.08/17.18	c 4940           8702           1059467        25977390       100            4610           7   7   6      
17.18/17.20	c 4950           8720           1061841        26018102       100            4620           9   9   8      
17.18/17.22	c 4960           8736           1063502        26058668       100            4630           7   7   6      
17.18/17.24	c 4970           8754           1065876        26099390       100            4640           9   9   8      
17.18/17.25	c 4980           8771           1067796        26144491       100            4645           7   7   6      
17.18/17.27	c 4990           8789           1070170        26185223       100            4655           9   9   8      
17.28/17.30	c 5035           8842           1073294        26290824       100            4659           7   7   6      
17.38/17.47	c 5631           9447           1090361        27055174       100            4953           9   9   8      
17.98/18.09	c 6286           10114          1116344        29297405       100            5013           8   8   7      
18.48/18.50	c 7006           10873          1148020        30660394       100            5426           3   15   7     
18.98/19.02	c 7798           11718          1187705        32577068       100            5561           9   18   17    
19.79/19.89	c 8669           12717          1259558        33943541       100            5945           16   19   17   
20.78/20.90	c 9627           13691          1314469        35801836       100            6309           7   14   13    
21.68/21.74	c 10680          14762          1355818        38948958       100            6319           10   10   9    
21.98/22.07	c 11838          15947          1393344        40137569       100            6532           6   16   12    
23.08/23.17	c 13111          17237          1442173        44100994       100            6586           8   8   7      
24.38/24.41	c 14511          18673          1514864        46517815       100            6639           15   15   14   
25.78/25.84	c 16051          20235          1574122        53799072       100            6749           10   10   9    
27.08/27.16	c 17745          22017          1714614        57684724       100            7250           7   22   18    
30.08/30.13	c 19608          24049          2070997        61568154       100            7354           15   20   19   
34.18/34.24	c 21657          26117          2131971        63851432       100            7604           13   13   12   
34.18/34.24	c 23910          28440          2199420        65247353       100            7774           10   11   10   
34.18/34.24	c 26388          30992          2271152        65911863       100            8049           15   23   22   
38.38/38.42	c 29113          36600          3247608        69457333       100            8371           14   19   17   
39.18/39.23	c 32110          39623          3329526        72446813       100            8494           13   13   12   
42.18/42.21	c 35406          42967          3444320        83086154       100            8550           4   4   3      
45.37/45.44	c 39031          46737          3624978        86874070       100            8612           10   17   16   
46.77/46.88	c 43018          50743          3732720        94276596       100            8666           7   11   10    
48.37/48.45	c 47403          55608          3962749        95630021       100            8990           10   30   18   
50.36/50.47	c 52226          60472          4110445        99487698       100            9088           15   15   14   
54.47/54.51	c 57531          65869          4314963        116945678      100            9467           7   12   8     
61.36/61.40	c 63366          71885          4623542        127094471      100            9632           14   15   14   
62.06/62.15	c 69784          78347          4782810        130999126      100            9680           5   5   4      
65.76/65.84	c 76843          85469          5022513        137349341      100            9935           7   9   8      
70.76/70.86	c 84607          93278          5310493        168078218      100            10084          12   19   18   
73.77/73.83	c 93147          103089         5776168        171776021      100            10308          21   25   23   
78.96/79.04	c 102541         112715         6109783        182505074      100            10463          7   12   8     
82.46/82.58	c 112874         123290         6481447        196333254      100            10675          8   12   11    
104.36/104.44	c 124240         135212         7434155        229757157      100            10918          7   21   20    
113.56/113.69	c 136742         147827         7887004        280737075      100            11078          8   10   9     
116.06/116.19	c 150494         161663         8233930        293236506      100            11210          8   11   10    
126.06/126.10	c 165621         177157         8884726        321608556      100            11367          10   17   13   
138.26/138.30	c 182260         194794         9915891        351367618      100            11481          5   17   15    
157.75/157.83	c 200562         213999         11044532       392949406      100            11506          14   26   19   
180.96/181.02	c 220694         234371         12010367       460188953      100            11861          6   15   11    
195.55/195.61	c 242839         261932         13994894       481260699      100            11928          6   22   15    
206.55/206.60	c 267198         286977         14826723       516966319      100            12185          11   14   13   
237.65/237.78	c 293992         313906         16305901       613949335      100            12457          4   12   11    
241.84/241.92	c 323465         343581         17132706       631445937      100            12662          13   15   14   
250.76/250.90	c 355885         376875         18129510       658324996      100            13219          4   20   15    
275.25/275.38	c 391547         413418         19460533       754895204      100            13275          6   16   11    
292.15/292.28	c 430775         453200         20813106       814711413      100            13590          10   14   13   
322.54/322.66	c 473925         497056         22655012       930411552      100            13933          2   17   16    
330.44/330.57	c 521390         546052         24276433       939523843      100            14195          12   22   20   
348.74/348.83	c 573601         598477         26190177       1010168811     100            14438          5   18   17    
371.04/371.17	c 631033         656427         28041472       1108338197     100            14817          5   19   17    
391.54/391.64	c 694208         721422         30405443       1170868253     100            15050          12   27   24   
448.02/448.19	c 763700         800741         35745195       1278583337     100            15316          6   21   16    
496.23/496.38	c 840141         881189         40310078       1407031916     100            15747          8   26   20    
523.42/523.53	c 924226         965718         42677737       1499547805     100            16140          14   16   15   
618.51/618.61	c 1016719        1072915        52233572       1682718774     100            16342          6   28   25    
702.81/703.00	c 1118461        1175650        56313460       2115061988     100            16420          7   11   9     
763.31/763.47	c 1230377        1290323        60816599       2401333137     100            16525          10   12   11   
813.79/813.91	c 1353484        1413783        65118236       2573089183     100            17075          9   18   17    
876.18/876.34	c 1488901        1552754        70405891       2760305765     100            17827          8   11   10    
1008.08/1008.28	c 1637859        1706001        80702839       3192704537     100            17936          8   17   13    
1077.88/1078.08	c 1801712        1873130        86114652       3503246445     100            18392          6   11   10    
1120.67/1120.82	c 1981950        2054166        90822617       3726796023     100            18833          6   9   8      
1176.27/1176.40	c 2180211        2254667        97734893       3930187439     100            18995          12   19   18   
1505.75/1505.91	c 2398298        2595676        138745849      4431819725     100            19341          4   19   14    
1726.63/1726.88	c 2638193        2841900        152435199      4707603969     100            19814          7   26   23    
1861.82/1862.04	c 2902077        3112230        162776925      5364049373     100            19950          10   11   10   
2101.70/2101.98	c 3192349        3440507        185012218      5799769588     100            20670          8   20   17    
2335.78/2336.09	c 3511648        3772212        208385764      6377995716     100            20932          9   26   22

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239746-1500623781/watcher-4239746-1500623781 -o /tmp/evaluation-result-4239746-1500623781/solver-4239746-1500623781 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4413 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239746-1500623781.xml 

pid=4570
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: 0.00 0.01 0.05 1/181 4573
/proc/meminfo: memFree=30702012/32770624 swapFree=6240/1301664
[pid=4573] ppid=4570 vsize=27920 CPUtime=0 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 1210 0 0 0 0 0 0 0 20 0 1 0 15654434 28590080 1030 33554432000 4194304 5970956 140736573664144 140736573660792 140190637616101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 6980 1030 725 434 0 344 0

[startup+0.100152 s]
/proc/loadavg: 0.00 0.01 0.05 1/181 4573
/proc/meminfo: memFree=30702012/32770624 swapFree=6240/1301664
[pid=4573] ppid=4570 vsize=28852 CPUtime=0.09 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 1497 0 0 0 9 0 0 0 20 0 1 0 15654434 29544448 1289 33554432000 4194304 5970956 140736573664144 140736573657736 140190646974405 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 7213 1289 787 434 0 577 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28852

[startup+0.200347 s]
/proc/loadavg: 0.00 0.01 0.05 1/181 4573
/proc/meminfo: memFree=30702012/32770624 swapFree=6240/1301664
[pid=4573] ppid=4570 vsize=30452 CPUtime=0.19 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 1911 0 0 0 19 0 0 0 20 0 1 0 15654434 31182848 1726 33554432000 4194304 5970956 140736573664144 140736573657736 4966541 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 7613 1726 788 434 0 977 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30452

[startup+0.300314 s]
/proc/loadavg: 0.00 0.01 0.05 1/181 4573
/proc/meminfo: memFree=30702012/32770624 swapFree=6240/1301664
[pid=4573] ppid=4570 vsize=33776 CPUtime=0.29 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 2717 0 0 0 29 0 0 0 20 0 1 0 15654434 34586624 2544 33554432000 4194304 5970956 140736573664144 140736573657736 140190637616101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 8444 2544 788 434 0 1808 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33776

[startup+0.700283 s]
/proc/loadavg: 0.00 0.01 0.05 1/181 4573
/proc/meminfo: memFree=30702012/32770624 swapFree=6240/1301664
[pid=4573] ppid=4570 vsize=46716 CPUtime=0.69 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 5951 0 0 0 69 0 0 0 20 0 1 0 15654434 47837184 5751 33554432000 4194304 5970956 140736573664144 140736573657736 140190637616101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 11679 5751 788 434 0 5043 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46716

[startup+1.50035 s]
/proc/loadavg: 0.00 0.01 0.05 3/187 4627
/proc/meminfo: memFree=30570468/32770624 swapFree=6240/1301712
[pid=4573] ppid=4570 vsize=258024 CPUtime=1.49 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 40941 0 0 0 143 6 0 0 20 0 1 0 15654434 264216576 56098 33554432000 4194304 5970956 140736573664144 140736573660968 5279833 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 64506 56098 818 434 0 57870 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 258024

[startup+3.10035 s]
/proc/loadavg: 0.08 0.03 0.05 3/187 4627
/proc/meminfo: memFree=29440740/32770624 swapFree=6240/1301708
[pid=4573] ppid=4570 vsize=1332996 CPUtime=3.09 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 165913 0 0 0 281 28 0 0 20 0 1 0 15654434 1364987904 284542 33554432000 4194304 5970956 140736573664144 140736573660968 140190637685291 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 333249 284542 818 434 0 326613 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1332996

[startup+6.30035 s]
/proc/loadavg: 0.08 0.03 0.05 3/187 4627
/proc/meminfo: memFree=26265788/32770624 swapFree=6240/1301708
[pid=4573] ppid=4570 vsize=2518940 CPUtime=6.29 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 341695 0 0 0 570 59 0 0 20 0 1 0 15654434 2579394560 597397 33554432000 4194304 5970956 140736573664144 140736573661480 5052048 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 629735 597397 834 434 0 623099 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2518940

[startup+12.7004 s]
/proc/loadavg: 0.38 0.10 0.07 3/187 4627
/proc/meminfo: memFree=23707276/32770624 swapFree=6240/1301720
[pid=4573] ppid=4570 vsize=2522504 CPUtime=12.68 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 346039 0 0 0 1209 59 0 0 20 0 1 0 15654434 2583044096 598287 33554432000 4194304 5970956 140736573664144 140736573661480 5069728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 630626 598287 834 434 0 623990 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2522504

[startup+25.5003 s]
/proc/loadavg: 0.63 0.16 0.09 3/188 4628
/proc/meminfo: memFree=18153596/32770624 swapFree=6240/2161224
[pid=4573] ppid=4570 vsize=2524220 CPUtime=25.48 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 363897 0 0 0 2488 60 0 0 20 0 1 0 15654434 2584801280 598725 33554432000 4194304 5970956 140736573664144 140736573661208 4964492 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 631055 598725 834 434 0 624419 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2524220

[startup+51.1003 s]
/proc/loadavg: 1.53 0.42 0.18 3/188 4693
/proc/meminfo: memFree=28287512/32770624 swapFree=6240/1300080
[pid=4573] ppid=4570 vsize=2526332 CPUtime=51.06 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 390519 0 0 0 5045 61 0 0 20 0 1 0 15654434 2586963968 599283 33554432000 4194304 5970956 140736573664144 140736573661480 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 631583 599283 834 434 0 624947 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 2526332

[startup+102.3 s]
/proc/loadavg: 1.95 0.72 0.29 3/188 4695
/proc/meminfo: memFree=28287496/32770624 swapFree=6240/1300172
[pid=4573] ppid=4570 vsize=2527916 CPUtime=102.26 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 406797 0 0 0 10164 62 0 0 20 0 1 0 15654434 2588585984 599686 33554432000 4194304 5970956 140736573664144 140736573661208 5071026 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 631979 599686 834 434 0 625343 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 2527916

[startup+162.3 s]
/proc/loadavg: 1.98 0.93 0.39 3/188 4696
/proc/meminfo: memFree=28283952/32770624 swapFree=6240/1300248
[pid=4573] ppid=4570 vsize=2530820 CPUtime=162.25 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 430230 0 0 0 16162 63 0 0 20 0 1 0 15654434 2591559680 600402 33554432000 4194304 5970956 140736573664144 140736573661208 5070407 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 632705 600402 834 434 0 626069 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 2530820

[startup+222.306 s]
/proc/loadavg: 1.99 1.14 0.50 3/189 4705
/proc/meminfo: memFree=28280868/32770624 swapFree=6240/1300308
[pid=4573] ppid=4570 vsize=2532668 CPUtime=222.25 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 450590 0 0 0 22161 64 0 0 20 0 1 0 15654434 2593452032 600871 33554432000 4194304 5970956 140736573664144 140736573661208 5052093 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 633167 600871 834 434 0 626531 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2532668

[startup+282.3 s]
/proc/loadavg: 2.04 1.30 0.59 3/189 4728
/proc/meminfo: memFree=28280436/32770624 swapFree=6240/1300368
[pid=4573] ppid=4570 vsize=2533340 CPUtime=282.25 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 466728 0 0 0 28160 65 0 0 20 0 1 0 15654434 2594140160 601037 33554432000 4194304 5970956 140736573664144 140736573661480 5070112 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 633335 601037 834 434 0 626699 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 2533340

[startup+342.3 s]
/proc/loadavg: 2.01 1.44 0.69 3/188 4729
/proc/meminfo: memFree=28280316/32770624 swapFree=6240/1300432
[pid=4573] ppid=4570 vsize=2534396 CPUtime=342.24 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 486098 0 0 0 34159 65 0 0 20 0 1 0 15654434 2595221504 601302 33554432000 4194304 5970956 140736573664144 140736573661208 5052085 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 633599 601302 834 434 0 626963 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2534396

[startup+402.3 s]
/proc/loadavg: 2.01 1.53 0.76 3/188 4730
/proc/meminfo: memFree=28280252/32770624 swapFree=6240/1300504
[pid=4573] ppid=4570 vsize=2534924 CPUtime=402.23 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 508185 0 0 0 40157 66 0 0 20 0 1 0 15654434 2595762176 601442 33554432000 4194304 5970956 140736573664144 140736573661208 5070400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 633731 601442 834 434 0 627095 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2534924

[startup+462.3 s]
/proc/loadavg: 2.00 1.62 0.84 3/188 4731
/proc/meminfo: memFree=28278568/32770624 swapFree=6240/1300548
[pid=4573] ppid=4570 vsize=2535716 CPUtime=462.23 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 521687 0 0 0 46156 67 0 0 20 0 1 0 15654434 2596573184 601650 33554432000 4194304 5970956 140736573664144 140736573661208 4908988 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 633929 601650 834 434 0 627293 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 2535716

[startup+522.3 s]
/proc/loadavg: 2.07 1.70 0.92 3/187 4732
/proc/meminfo: memFree=28278608/32770624 swapFree=6240/1300576
[pid=4573] ppid=4570 vsize=2536376 CPUtime=522.22 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 530006 0 0 0 52155 67 0 0 20 0 1 0 15654434 2597249024 601803 33554432000 4194304 5970956 140736573664144 140736573661208 4964366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 634094 601803 834 434 0 627458 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 2536376

[startup+582.3 s]
/proc/loadavg: 2.11 1.77 0.99 3/187 4733
/proc/meminfo: memFree=28278024/32770624 swapFree=6240/1300616
[pid=4573] ppid=4570 vsize=2537300 CPUtime=582.21 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 548607 0 0 0 58153 68 0 0 20 0 1 0 15654434 2598195200 602025 33554432000 4194304 5970956 140736573664144 140736573661208 5069728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 634325 602025 834 434 0 627689 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 2537300


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


[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.64 3/187 4764
/proc/meminfo: memFree=28271968/32770624 swapFree=6240/1301216
[pid=4573] ppid=4570 vsize=2539808 CPUtime=1542.15 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 599018 0 0 0 154143 72 0 0 20 0 1 0 15654434 2600763392 603263 33554432000 4194304 5970956 140736573664144 140736573661208 5069728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 634952 603263 834 434 0 628316 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 2539808

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/187 4765
/proc/meminfo: memFree=28273464/32770624 swapFree=6240/1301252
[pid=4573] ppid=4570 vsize=2539808 CPUtime=1602.14 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 599616 0 0 0 160142 72 0 0 20 0 1 0 15654434 2600763392 603273 33554432000 4194304 5970956 140736573664144 140736573661208 4961427 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 634952 603273 834 434 0 628316 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 2539808

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.69 3/187 4766
/proc/meminfo: memFree=28273960/32770624 swapFree=6240/1301288
[pid=4573] ppid=4570 vsize=2539808 CPUtime=1662.14 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 600505 0 0 0 166142 72 0 0 20 0 1 0 15654434 2600763392 603275 33554432000 4194304 5970956 140736573664144 140736573661208 4964912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 634952 603275 834 434 0 628316 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 2539808

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/187 4768
/proc/meminfo: memFree=28273100/32770624 swapFree=6240/1301320
[pid=4573] ppid=4570 vsize=2540468 CPUtime=1722.13 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 602050 0 0 0 172141 72 0 0 20 0 1 0 15654434 2601439232 603414 33554432000 4194304 5970956 140736573664144 140736573661208 4967793 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635117 603414 834 434 0 628481 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 2540468

[startup+1782.3 s]
/proc/loadavg: 2.05 2.00 1.73 3/187 4769
/proc/meminfo: memFree=28272976/32770624 swapFree=6240/1301360
[pid=4573] ppid=4570 vsize=2540468 CPUtime=1782.13 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 603155 0 0 0 178141 72 0 0 20 0 1 0 15654434 2601439232 603428 33554432000 4194304 5970956 140736573664144 140736573661480 5069728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635117 603428 834 434 0 628481 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 2540468

[startup+1842.3 s]
/proc/loadavg: 2.02 2.00 1.75 3/187 4770
/proc/meminfo: memFree=28273388/32770624 swapFree=6240/1301388
[pid=4573] ppid=4570 vsize=2540468 CPUtime=1842.12 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 603826 0 0 0 184140 72 0 0 20 0 1 0 15654434 2601439232 603428 33554432000 4194304 5970956 140736573664144 140736573661480 5052121 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635117 603428 834 434 0 628481 0
Current children cumulated CPU time (s) 1842.12
Current children cumulated vsize (KiB) 2540468

[startup+1902.3 s]
/proc/loadavg: 2.01 2.00 1.76 3/188 4773
/proc/meminfo: memFree=28272752/32770624 swapFree=6240/1301440
[pid=4573] ppid=4570 vsize=2540732 CPUtime=1902.11 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 605828 0 0 0 190139 72 0 0 20 0 1 0 15654434 2601709568 603482 33554432000 4194304 5970956 140736573664144 140736573661208 4964524 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635183 603482 834 434 0 628547 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 2540732

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/188 4774
/proc/meminfo: memFree=28272620/32770624 swapFree=6240/1301480
[pid=4573] ppid=4570 vsize=2540732 CPUtime=1962.11 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 606892 0 0 0 196139 72 0 0 20 0 1 0 15654434 2601709568 603488 33554432000 4194304 5970956 140736573664144 140736573661208 5070400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635183 603488 834 434 0 628547 0
Current children cumulated CPU time (s) 1962.11
Current children cumulated vsize (KiB) 2540732

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/188 4782
/proc/meminfo: memFree=28272124/32770624 swapFree=6240/1301516
[pid=4573] ppid=4570 vsize=2540732 CPUtime=2022.1 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 608190 0 0 0 202138 72 0 0 20 0 1 0 15654434 2601709568 603488 33554432000 4194304 5970956 140736573664144 140736573661208 5052093 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635183 603488 834 434 0 628547 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 2540732

[startup+2082.3 s]
/proc/loadavg: 2.04 2.01 1.81 3/188 4783
/proc/meminfo: memFree=28272840/32770624 swapFree=6240/1301552
[pid=4573] ppid=4570 vsize=2540732 CPUtime=2082.1 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 609166 0 0 0 208138 72 0 0 20 0 1 0 15654434 2601709568 603488 33554432000 4194304 5970956 140736573664144 140736573661208 4964406 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635183 603488 834 434 0 628547 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 2540732

[startup+2142.3 s]
/proc/loadavg: 2.13 2.05 1.83 3/188 4784
/proc/meminfo: memFree=28272280/32770624 swapFree=6240/1301588
[pid=4573] ppid=4570 vsize=2540996 CPUtime=2142.09 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 611019 0 0 0 214137 72 0 0 20 0 1 0 15654434 2601979904 603561 33554432000 4194304 5970956 140736573664144 140736573661208 4964366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635249 603561 834 434 0 628613 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 2540996

[startup+2202.31 s]
/proc/loadavg: 2.08 2.06 1.85 3/187 4785
/proc/meminfo: memFree=28272168/32770624 swapFree=6240/1301628
[pid=4573] ppid=4570 vsize=2540996 CPUtime=2202.1 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 612388 0 0 0 220137 73 0 0 20 0 1 0 15654434 2601979904 603566 33554432000 4194304 5970956 140736573664144 140736573661208 5052095 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635249 603566 834 434 0 628613 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 2540996

[startup+2262.3 s]
/proc/loadavg: 2.12 2.08 1.87 3/187 4786
/proc/meminfo: memFree=28272216/32770624 swapFree=6240/1301656
[pid=4573] ppid=4570 vsize=2540996 CPUtime=2262.09 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 613454 0 0 0 226136 73 0 0 20 0 1 0 15654434 2601979904 603567 33554432000 4194304 5970956 140736573664144 140736573661208 4964389 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635249 603567 834 434 0 628613 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 2540996

[startup+2322.3 s]
/proc/loadavg: 2.04 2.06 1.88 3/187 4787
/proc/meminfo: memFree=28272216/32770624 swapFree=6240/1301688
[pid=4573] ppid=4570 vsize=2540996 CPUtime=2322.08 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 614455 0 0 0 232135 73 0 0 20 0 1 0 15654434 2601979904 603570 33554432000 4194304 5970956 140736573664144 140736573661208 4961271 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635249 603570 834 434 0 628613 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 2540996

[startup+2382.3 s]
/proc/loadavg: 2.02 2.05 1.88 3/187 4788
/proc/meminfo: memFree=28271160/32770624 swapFree=6240/1301732
[pid=4573] ppid=4570 vsize=2541260 CPUtime=2382.08 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 616440 0 0 0 238135 73 0 0 20 0 1 0 15654434 2602250240 603627 33554432000 4194304 5970956 140736573664144 140736573661208 5070976 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635315 603627 834 434 0 628679 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 2541260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.01 2.05 1.89 3/187 4788
/proc/meminfo: memFree=28271284/32770624 swapFree=6240/1301740
[pid=4573] ppid=4570 vsize=2541260 CPUtime=2400.08 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 616733 0 0 0 239935 73 0 0 20 0 1 0 15654434 2602250240 603627 33554432000 4194304 5970956 140736573664144 140736573661208 5069728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635315 603627 834 434 0 628679 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 2541260

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

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

[startup+2400.31 s]
/proc/loadavg: 2.01 2.05 1.89 3/187 4788
/proc/meminfo: memFree=28271284/32770624 swapFree=6240/1301740
[pid=4573] ppid=4570 vsize=2541260 CPUtime=2400.08 cores=0,2,4,6
/proc/4573/stat : 4573 (cosoco) R 4570 4573 4382 0 -1 4202496 616733 0 0 0 239935 73 0 0 20 0 1 0 15654434 2602250240 603627 33554432000 4194304 5970956 140736573664144 140736573661208 5069728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 17952768 140736573666492 140736573666627 140736573666627 140736573669326 0
/proc/4573/statm: 635315 603627 834 434 0 628679 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 2541260

Child status: 1
Real time (s): 2400.32
CPU time (s): 2400.1
CPU user time (s): 2399.36
CPU system time (s): 0.740946
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 2541260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.36
system time used= 0.740946
maximum resident set size= 2414556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 616756
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= 67
involuntary context switches= 123020

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99112 second user time and 8.93767 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-21 09:56:21
IDJOB=4239746
IDBENCH=115551
IDSOLVER=2621
FILE ID=node130/4239746-1500623781
RUNJOBID= node130-1500623778-4413
PBS_JOBID= 20623003
Free space on /tmp= 61964 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Scheduling/Scheduling-xcsp2-os-gp/gp10-05-1070_X2.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239746-1500623781/watcher-4239746-1500623781 -o /tmp/evaluation-result-4239746-1500623781/solver-4239746-1500623781 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4413 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4239746-1500623781.xml

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

MD5SUM BENCH= 23007d5514affe077dd6f6cf857721a4
RANDOM SEED=1921624324

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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		: 1733.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.18
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		: 1867.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.18
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.18
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:        30702276 kB
MemAvailable:   32016548 kB
Buffers:          155520 kB
Cached:          1438196 kB
SwapCached:            0 kB
Active:           333712 kB
Inactive:        1310464 kB
Active(anon):      53900 kB
Inactive(anon):     8800 kB
Active(file):     279812 kB
Inactive(file):  1301664 kB
Unevictable:        6240 kB
Mlocked:            6240 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5020 kB
Writeback:             0 kB
AnonPages:         57296 kB
Mapped:            31948 kB
Shmem:              8852 kB
Slab:             121656 kB
SReclaimable:      97260 kB
SUnreclaim:        24396 kB
KernelStack:        3200 kB
PageTables:         4788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61960 MiB
End job on node130 at 2017-07-21 10:36:22