Trace number 4242105

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.03 2401

General information on the benchmark

NameMagicSquare/MagicSquare-mdd-s1/
MagicSquare-15-mdd.xml
MD5SUMeb9d91ed4b70703bb0e2b52375e1b8aa
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints33
Number of domains1
Minimum domain size225
Maximum domain size225
Distribution of domain sizes[{"size":225,"count":225}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":196},{"degree":4,"count":28},{"degree":5,"count":1}]
Minimum constraint arity15
Maximum constraint arity225
Distribution of constraint arities[{"arity":15,"count":32},{"arity":225,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":32},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

40.99/41.05	c SAT : Variables: 50625 -- Clauses: 5670225
41.79/41.84	c root propagations     : 0           
41.79/41.84	c restarts enabled, print stats at every restarts
41.79/41.84	c
41.79/41.84	c
41.79/41.84	c
41.79/41.84	c This is cosoco 1.0 --  
41.79/41.84	c
41.79/41.84	c ========================================[ Problem Statistics ]===========================================
41.79/41.84	c |                                                                                                       
41.79/41.84	c |  Parse time        :        40.76 s 
41.79/41.84	c |
41.79/41.84	c |               Variables: 225
41.79/41.84	c |            Domain Sizes: 225..225
41.79/41.84	c |
41.79/41.84	c |             Constraints: 33
41.79/41.84	c |                   Arity: 15..225
41.79/41.84	c | 
41.79/41.84	c |                   Types: 
41.79/41.84	c |                          All Different: 1
41.79/41.84	c |                          MDD: 32
41.79/41.84	c |                          
41.79/41.84	c =========================================================================================================
41.79/41.84	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
47.08/47.18	c 10             19             403            10698          0              10             9   10   8     
52.08/52.12	c 20             37             740            20906          0              20             8   9   7      
56.97/57.06	c 30             55             1077           31114          0              30             8   9   7      
61.98/62.02	c 40             73             1414           41322          0              40             8   9   7      
66.88/66.97	c 50             91             1751           51530          0              50             8   9   7      
71.87/71.91	c 60             109            2088           61738          0              60             8   9   7      
76.98/77.05	c 70             127            2438           71946          0              70             8   9   7      
81.97/82.06	c 80             145            2783           82154          0              80             8   9   7      
86.76/86.86	c 90             163            3120           92362          0              90             8   9   7      
91.46/91.55	c 100            181            3457           102570         0              100            8   9   7      
95.35/95.41	c 101            189            3696           105730         0              101            8   8   4      
99.85/99.96	c 110            206            4026           115914         0              110            8   9   7      
104.45/104.54	c 120            224            4363           126122         0              120            8   9   7      
108.95/109.06	c 130            242            4700           136330         0              130            8   9   7      
113.44/113.58	c 140            260            5037           146538         0              140            8   9   7      
117.94/118.09	c 150            278            5374           156746         0              150            8   9   7      
122.73/122.83	c 160            296            5724           166954         0              160            8   9   7      
127.33/127.48	c 170            314            6069           177162         0              170            8   9   7      
131.83/131.99	c 180            332            6406           187370         0              180            8   9   7      
136.44/136.51	c 190            350            6743           197578         0              190            8   9   7      
140.93/141.02	c 200            368            7080           207786         0              200            8   9   7      
146.02/146.17	c 210            388            7474           215039         0              208            9   10   8     
150.22/150.36	c 211            397            7746           218403         0              209            9   9   4      
155.13/155.28	c 220            415            8109           228995         0              218            9   10   8     
160.12/160.23	c 230            434            8479           239570         0              228            9   10   8     
165.02/165.19	c 240            453            8849           250104         0              238            9   10   8     
170.01/170.14	c 250            472            9219           260597         0              248            9   10   8     
175.11/175.27	c 260            491            9602           271049         0              258            9   10   8     
179.81/179.97	c 270            509            9952           281257         0              268            8   9   7      
184.91/185.09	c 280            528            10335          291914         0              278            9   10   8     
190.01/190.15	c 290            547            10713          302530         0              288            9   10   8     
194.90/195.09	c 300            566            11083          313105         0              298            9   10   8     
199.90/200.04	c 310            585            11453          323639         0              308            9   10   8     
204.80/204.99	c 320            604            11823          334132         0              318            9   10   8     
209.80/209.94	c 330            623            12193          344584         0              328            9   10   8     
213.60/213.74	c 332            632            12443          348671         0              330            8   8   5      
218.50/218.62	c 340            649            12799          359277         0              338            9   10   8     
223.39/223.57	c 350            668            13169          369893         0              348            9   10   8     
228.39/228.51	c 360            687            13539          380468         0              358            9   10   8     
233.29/233.45	c 370            706            13909          391002         0              368            9   10   8     
238.39/238.58	c 380            725            14292          401495         0              378            9   10   8     
243.49/243.64	c 390            744            14670          411947         0              388            9   10   8     
247.98/248.12	c 400            762            15007          422155         0              398            8   9   7      
252.99/253.18	c 410            781            15385          432812         0              408            9   10   8     
257.98/258.12	c 420            800            15755          443428         0              418            9   10   8     
263.08/263.26	c 430            819            16138          454003         0              428            9   10   8     
268.18/268.30	c 440            838            16516          464537         0              438            9   10   8     
273.07/273.24	c 450            857            16886          475030         0              448            9   10   8     
277.97/278.19	c 460            876            17256          485482         0              458            9   10   8     
281.87/282.03	c 465            888            17523          492308         0              463            8   8   6      
286.17/286.35	c 470            901            17823          499506         0              468            9   9   7      
291.07/291.29	c 480            920            18193          510122         0              478            9   10   8     
296.06/296.24	c 490            939            18563          520697         0              488            9   10   8     
301.16/301.38	c 500            958            18946          531231         0              498            9   10   8     
306.26/306.44	c 510            977            19324          541724         0              508            9   10   8     
311.16/311.39	c 520            996            19694          552176         0              518            9   10   8     
315.86/316.01	c 530            1014           20039          562384         0              528            8   9   7      
320.75/320.96	c 540            1033           20409          573041         0              538            9   10   8     
325.65/325.89	c 550            1052           20779          583657         0              548            9   10   8     
330.65/330.82	c 560            1071           21149          594232         0              558            9   10   8     
335.55/335.77	c 570            1090           21519          604766         0              568            9   10   8     
340.55/340.71	c 580            1109           21889          615259         0              578            9   10   8     
345.44/345.66	c 590            1128           22259          625711         0              588            9   10   8     
349.94/350.15	c 600            1146           22596          635919         0              598            8   9   7      
354.94/355.10	c 610            1165           22966          646576         0              608            9   10   8     
359.14/359.31	c 611            1174           23240          649941         0              609            9   9   4      
364.14/364.39	c 620            1192           23616          660492         0              618            9   10   8     
369.23/369.44	c 630            1211           23994          671026         0              628            9   10   8     
374.13/374.37	c 640            1230           24364          681519         0              638            9   10   8     
379.13/379.31	c 650            1249           24734          691971         0              648            9   10   8     
383.53/383.78	c 660            1267           25071          702179         0              658            8   9   7      
388.53/388.71	c 670            1286           25441          712836         0              668            9   10   8     
393.42/393.64	c 680            1305           25811          723452         0              678            9   10   8     
398.32/398.59	c 690            1324           26181          734027         0              688            9   10   8     
403.32/403.54	c 700            1343           26551          744561         0              698            9   10   8     
408.42/408.67	c 710            1362           26934          755054         0              708            9   10   8     
413.52/413.72	c 720            1381           27312          765506         0              718            9   10   8     
418.11/418.32	c 730            1399           27657          775714         0              728            8   9   7      
423.11/423.37	c 740            1418           28035          786371         0              738            9   10   8     
428.11/428.30	c 750            1437           28405          796987         0              748            9   10   8     
433.01/433.25	c 760            1456           28775          807562         0              758            9   10   8     
437.91/438.18	c 770            1475           29145          818096         0              768            9   10   8     
442.11/442.36	c 771            1484           29417          821464         0              769            9   9   4      
447.00/447.28	c 780            1502           29780          831892         0              778            9   10   8     
451.50/451.77	c 790            1520           30117          842100         0              788            8   9   7      
456.50/456.71	c 800            1539           30487          852757         0              798            9   10   8     
461.40/461.66	c 810            1558           30857          863373         0              808            9   10   8     
466.50/466.79	c 820            1577           31240          873948         0              818            9   10   8     
471.80/472.02	c 830            1596           31631          884482         0              828            9   10   8     
476.79/477.07	c 840            1615           32009          894975         0              838            9   10   8     
481.79/482.01	c 850            1634           32379          905427         0              848            9   10   8     
486.29/486.51	c 860            1652           32716          915635         0              858            8   9   7      
491.19/491.46	c 870            1671           33086          926292         0              868            9   10   8     
496.08/496.39	c 880            1690           33456          936908         0              878            9   10   8     
501.08/501.33	c 890            1709           33826          947483         0              888            9   10   8     
505.98/506.28	c 900            1728           34196          958017         0              898            9   10   8     
510.98/511.23	c 910            1747           34566          968510         0              908            9   10   8     
515.88/516.19	c 920            1766           34936          978962         0              918            9   10   8     
520.57/520.80	c 930            1784           35281          989170         0              928            8   9   7      
525.47/525.74	c 940            1803           35651          999827         0              938            9   10   8     
530.47/530.78	c 947            1819           36013          1010359        0              945            9   10   8     
534.77/535.04	c 950            1830           36299          1015628        0              948            9   9   6      
539.67/539.98	c 960            1849           36669          1026162        0              958            9   10   8     
544.66/544.92	c 970            1868           37039          1036655        0              968            9   10   8     
549.56/549.87	c 980            1887           37409          1047107        0              978            9   10   8     
554.06/554.36	c 990            1905           37746          1057315        0              988            8   9   7      
559.06/559.30	c 1000           1924           38116          1067972        0              998            9   10   8     
563.96/564.26	c 1010           1943           38486          1078588        0              1008           9   10   8     
569.06/569.39	c 1020           1962           38869          1089163        0              1018           9   10   8     
574.35/574.61	c 1030           1981           39260          1099697        0              1028           9   10   8     
579.35/579.65	c 1040           2000           39638          1110190        0              1038           9   10   8     
584.25/584.59	c 1050           2019           40008          1120642        0              1048           9   10   8     
588.75/589.08	c 1060           2037           40345          1130850        0              1058           8   9   7      
593.75/594.03	c 1070           2056           40715          1141507        0              1068           9   10   8     
598.64/598.95	c 1080           2075           41085          1152123        0              1078           9   10   8     
603.54/603.89	c 1090           2094           41455          1162698        0              1088           9   10   8     
608.54/608.83	c 1100           2113           41825          1173232        0              1098           9   10   8     
613.44/613.78	c 1110           2132           42195          1183725        0              1108           9   10   8     
618.44/618.73	c 1120           2151           42565          1194177        0              1118           9   10   8     
623.03/623.34	c 1130           2169           42910          1204385        0              1128           8   9   7      
627.94/628.28	c 1140           2188           43280          1215042        0              1138           9   10   8     
632.13/632.49	c 1141           2197           43554          1218407        0              1139           9   9   4      
637.03/637.39	c 1150           2215           43917          1228958        0              1148           9   10   8     
642.03/642.34	c 1160           2234           44287          1239492        0              1158           9   10   8     
646.92/647.28	c 1170           2253           44657          1249985        0              1168           9   10   8     
651.92/652.22	c 1180           2272           45027          1260437        0              1178           9   10   8     
656.43/656.71	c 1190           2290           45364          1270645        0              1188           8   9   7      
661.32/661.65	c 1200           2309           45734          1281302        0              1198           9   10   8     
666.22/666.60	c 1210           2328           46104          1291918        0              1208           9   10   8     
671.22/671.54	c 1220           2347           46474          1302493        0              1218           9   10   8     
676.32/676.66	c 1230           2366           46857          1313027        0              1228           9   10   8     
681.51/681.89	c 1240           2385           47248          1323520        0              1238           9   10   8     
686.61/686.93	c 1250           2404           47626          1333972        0              1248           9   10   8     
691.11/691.42	c 1260           2422           47963          1344180        0              1258           8   9   7      
696.11/696.47	c 1270           2441           48341          1354837        0              1268           9   10   8     
701.10/701.41	c 1280           2460           48711          1365453        0              1278           9   10   8     
706.01/706.36	c 1290           2479           49081          1376028        0              1288           9   10   8     
711.00/711.30	c 1300           2498           49451          1386562        0              1298           9   10   8     
715.90/716.24	c 1310           2517           49821          1397055        0              1308           9   10   8     
720.79/721.19	c 1320           2536           50191          1407507        0              1318           9   10   8     
725.29/725.68	c 1330           2554           50528          1417715        0              1328           8   9   7      
730.29/730.63	c 1340           2573           50898          1428372        0              1338           9   10   8     
735.39/735.77	c 1350           2592           51281          1438988        0              1348           9   10   8     
739.59/739.99	c 1352           2602           51560          1443309        0              1350           9   9   6      
744.68/745.06	c 1360           2619           51929          1453792        0              1358           9   10   8     
749.78/750.11	c 1370           2638           52307          1464285        0              1368           9   10   8     
754.68/755.05	c 1380           2657           52677          1474737        0              1378           9   10   8     
759.18/759.55	c 1390           2675           53014          1484945        0              1388           8   9   7      
764.18/764.51	c 1400           2694           53384          1495602        0              1398           9   10   8     
769.08/769.45	c 1410           2713           53754          1506218        0              1408           9   10   8     
773.97/774.38	c 1420           2732           54124          1516793        0              1418           9   10   8     
779.17/779.51	c 1430           2751           54507          1527327        0              1428           9   10   8     
784.17/784.56	c 1440           2770           54885          1537820        0              1438           9   10   8     
789.17/789.51	c 1450           2789           55255          1548272        0              1448           9   10   8     
793.67/794.00	c 1460           2807           55592          1558480        0              1458           8   9   7      
798.57/798.95	c 1470           2826           55962          1569137        0              1468           9   10   8     
803.67/804.07	c 1480           2845           56345          1579753        0              1478           9   10   8     
808.77/809.12	c 1490           2864           56723          1590328        0              1488           9   10   8     
813.67/814.06	c 1500           2883           57093          1600862        0              1498           9   10   8     
818.66/819.02	c 1510           2902           57463          1611355        0              1508           9   10   8     
823.57/823.96	c 1520           2921           57833          1621807        0              1518           9   10   8     
828.07/828.45	c 1530           2939           58170          1632015        0              1528           8   9   7      
832.96/833.38	c 1540           2958           58540          1642672        0              1538           9   10   8     
838.06/838.50	c 1550           2977           58923          1653288        0              1548           9   10   8     
843.15/843.53	c 1560           2996           59301          1663863        0              1558           9   10   8     
848.05/848.47	c 1570           3015           59671          1674397        0              1568           9   10   8     
853.05/853.42	c 1580           3034           60041          1684890        0              1578           9   10   8     
857.45/857.88	c 1585           3047           60351          1691953        0              1583           9   9   7      
861.35/861.71	c 1590           3059           60618          1698779        0              1588           8   8   6      
866.45/866.83	c 1600           3078           61001          1709436        0              1598           9   10   8     
871.44/871.87	c 1610           3097           61379          1720052        0              1608           9   10   8     
876.35/876.80	c 1620           3116           61749          1730627        0              1618           9   10   8     
881.34/881.75	c 1630           3135           62119          1741161        0              1628           9   10   8     
886.24/886.70	c 1640           3154           62489          1751654        0              1638           9   10   8     
891.43/891.82	c 1650           3173           62872          1762106        0              1648           9   10   8     
895.93/896.31	c 1660           3191           63209          1772314        0              1658           8   9   7      
900.83/901.26	c 1670           3210           63579          1782971        0              1668           9   10   8     
905.83/906.20	c 1680           3229           63949          1793587        0              1678           9   10   8     
910.72/911.14	c 1690           3248           64319          1804162        0              1688           9   10   8     
915.62/916.08	c 1700           3267           64689          1814696        0              1698           9   10   8     
920.82/921.21	c 1710           3286           65072          1825189        0              1708           9   10   8     
925.83/926.26	c 1720           3305           65450          1835641        0              1718           9   10   8     
930.52/930.95	c 1730           3323           65800          1845849        0              1728           8   9   7      
935.72/936.18	c 1740           3342           66191          1856506        0              1738           9   10   8     
940.81/941.21	c 1750           3361           66569          1867122        0              1748           9   10   8     
945.72/946.15	c 1760           3380           66939          1877697        0              1758           9   10   8     
950.61/951.09	c 1770           3399           67309          1888231        0              1768           9   10   8     
955.62/956.03	c 1780           3418           67679          1898724        0              1778           9   10   8     
960.51/960.98	c 1790           3437           68049          1909176        0              1788           9   10   8     
965.00/965.46	c 1800           3455           68386          1919384        0              1798           8   9   7      
970.00/970.41	c 1810           3474           68756          1930041        0              1808           9   10   8     
974.90/975.36	c 1820           3493           69126          1940657        0              1818           9   10   8     
979.90/980.31	c 1830           3512           69496          1951232        0              1828           9   10   8     
985.00/985.44	c 1840           3531           69879          1961766        0              1838           9   10   8     
989.19/989.66	c 1841           3540           70153          1965134        0              1839           9   9   4      
994.10/994.57	c 1850           3558           70516          1975562        0              1848           9   10   8     
998.59/999.06	c 1860           3576           70853          1985770        0              1858           8   9   7      
1003.59/1004.00	c 1870           3595           71223          1996427        0              1868           9   10   8     
1008.49/1008.94	c 1880           3614           71593          2007043        0              1878           9   10   8     
1013.38/1013.88	c 1890           3633           71963          2017618        0              1888           9   10   8     
1018.38/1018.83	c 1900           3652           72333          2028152        0              1898           9   10   8     
1023.28/1023.79	c 1910           3671           72703          2038645        0              1908           9   10   8     
1028.48/1028.92	c 1920           3690           73086          2049097        0              1918           9   10   8     
1032.98/1033.42	c 1930           3708           73423          2059305        0              1928           8   9   7      
1037.87/1038.38	c 1940           3727           73793          2069962        0              1938           9   10   8     
1043.07/1043.52	c 1950           3746           74176          2080578        0              1948           9   10   8     
1048.07/1048.57	c 1960           3765           74554          2091153        0              1958           9   10   8     
1053.07/1053.53	c 1970           3784           74924          2101687        0              1968           9   10   8     
1057.97/1058.50	c 1980           3803           75294          2112180        0              1978           9   10   8     
1062.96/1063.45	c 1990           3822           75664          2122632        0              1988           9   10   8     
1067.67/1068.15	c 2000           3840           76014          2132840        0              1998           8   9   7      
1072.76/1073.28	c 2010           3859           76397          2143497        0              2008           9   10   8     
1077.86/1078.33	c 2020           3878           76775          2154113        0              2018           9   10   8     
1082.76/1083.28	c 2030           3897           77145          2164688        0              2028           9   10   8     
1087.75/1088.24	c 2040           3916           77515          2175222        0              2038           9   10   8     
1092.75/1093.22	c 2050           3935           77885          2185715        0              2048           9   10   8     
1097.85/1098.36	c 2060           3954           78268          2196167        0              2058           9   10   8     
1102.35/1102.85	c 2070           3972           78605          2206375        0              2068           8   9   7      
1107.35/1107.80	c 2080           3991           78975          2217032        0              2078           9   10   8     
1112.24/1112.75	c 2090           4010           79345          2227648        0              2088           9   10   8     
1117.15/1117.70	c 2100           4029           79715          2238223        0              2098           9   10   8     
1122.14/1122.65	c 2110           4048           80085          2248757        0              2108           9   10   8     
1127.24/1127.78	c 2120           4067           80468          2259250        0              2118           9   10   8     
1131.44/1132.00	c 2122           4077           80747          2263553        0              2120           9   9   6      
1136.13/1136.63	c 2130           4093           81083          2273710        0              2128           8   9   7      
1141.23/1141.75	c 2140           4112           81466          2284367        0              2138           9   10   8     
1146.23/1146.79	c 2150           4131           81844          2294983        0              2148           9   10   8     
1151.23/1151.72	c 2160           4150           82214          2305558        0              2158           9   10   8     
1156.13/1156.67	c 2170           4169           82584          2316092        0              2168           9   10   8     
1161.13/1161.62	c 2180           4188           82954          2326585        0              2178           9   10   8     
1166.02/1166.57	c 2190           4207           83324          2337037        0              2188           9   10   8     
1170.62/1171.19	c 2200           4225           83669          2347245        0              2198           8   9   7      
1175.62/1176.13	c 2210           4244           84039          2357902        0              2208           9   10   8     
1180.52/1181.08	c 2220           4263           84409          2368518        0              2218           9   10   8     
1185.51/1186.02	c 2230           4282           84779          2379093        0              2228           9   10   8     
1190.41/1190.96	c 2240           4301           85149          2389627        0              2238           9   10   8     
1195.51/1196.08	c 2250           4320           85532          2400120        0              2248           9   10   8     
1200.61/1201.13	c 2260           4339           85910          2410572        0              2258           9   10   8     
1205.11/1205.62	c 2270           4357           86247          2420780        0              2268           8   9   7      
1210.10/1210.67	c 2280           4376           86625          2431437        0              2278           9   10   8     
1215.11/1215.61	c 2290           4395           86995          2442053        0              2288           9   10   8     
1220.20/1220.74	c 2300           4414           87378          2452628        0              2298           9   10   8     
1225.20/1225.78	c 2310           4433           87756          2463162        0              2308           9   10   8     
1230.19/1230.72	c 2320           4452           88126          2473655        0              2318           9   10   8     
1235.09/1235.68	c 2330           4471           88496          2484107        0              2328           9   10   8     
1239.59/1240.16	c 2340           4489           88833          2494315        0              2338           8   9   7      
1244.59/1245.10	c 2350           4508           89203          2504972        0              2348           9   10   8     
1249.49/1250.04	c 2360           4527           89573          2515588        0              2358           9   10   8     
1254.38/1254.98	c 2370           4546           89943          2526163        0              2368           9   10   8     
1259.58/1260.11	c 2380           4565           90326          2536697        0              2378           9   10   8     
1264.59/1265.16	c 2390           4584           90704          2547190        0              2388           9   10   8     
1269.58/1270.11	c 2400           4603           91074          2557642        0              2398           9   10   8     
1274.18/1274.73	c 2410           4621           91419          2567850        0              2408           8   9   7      
1279.07/1279.67	c 2420           4640           91789          2578507        0              2418           9   10   8     
1284.07/1284.62	c 2430           4659           92159          2589123        0              2428           9   10   8     
1288.17/1288.79	c 2431           4668           92431          2592489        0              2429           9   9   4      
1293.08/1293.70	c 2440           4686           92794          2602999        0              2438           9   10   8     
1298.07/1298.65	c 2450           4705           93164          2613492        0              2448           9   10   8     
1303.07/1303.60	c 2460           4724           93534          2623944        0              2458           9   10   8     
1307.56/1308.11	c 2470           4742           93871          2634152        0              2468           8   9   7      
1312.46/1313.06	c 2480           4761           94241          2644809        0              2478           9   10   8     
1317.56/1318.19	c 2490           4780           94624          2655425        0              2488           9   10   8     
1322.86/1323.42	c 2500           4799           95015          2666000        0              2498           9   10   8     
1327.85/1328.47	c 2510           4818           95393          2676534        0              2508           9   10   8     
1332.85/1333.42	c 2520           4837           95763          2687027        0              2518           9   10   8     
1337.75/1338.37	c 2530           4856           96133          2697479        0              2528           9   10   8     
1342.25/1342.86	c 2540           4874           96470          2707687        0              2538           8   9   7      
1347.25/1347.80	c 2550           4893           96840          2718344        0              2548           9   10   8     
1352.14/1352.74	c 2560           4912           97210          2728960        0              2558           9   10   8     
1357.04/1357.68	c 2570           4931           97580          2739535        0              2568           9   10   8     
1362.04/1362.63	c 2580           4950           97950          2750069        0              2578           9   10   8     
1366.94/1367.59	c 2590           4969           98320          2760562        0              2588           9   10   8     
1372.14/1372.72	c 2600           4988           98703          2771014        0              2598           9   10   8     
1376.74/1377.33	c 2610           5006           99048          2781222        0              2608           8   9   7      
1381.63/1382.27	c 2620           5025           99418          2791879        0              2618           9   10   8     
1386.64/1387.21	c 2630           5044           99788          2802495        0              2628           9   10   8     
1391.53/1392.15	c 2640           5063           100158         2813070        0              2638           9   10   8     
1396.43/1397.09	c 2650           5082           100528         2823604        0              2648           9   10   8     
1401.42/1402.03	c 2660           5101           100898         2834097        0              2658           9   10   8     
1406.33/1406.98	c 2670           5120           101268         2844549        0              2668           9   10   8     
1411.02/1411.68	c 2680           5138           101618         2854757        0              2678           8   9   7      
1416.22/1416.81	c 2690           5157           102001         2865414        0              2688           9   10   8     
1421.22/1421.85	c 2700           5176           102379         2876030        0              2698           9   10   8     
1426.31/1426.97	c 2710           5195           102762         2886605        0              2708           9   10   8     
1431.41/1432.03	c 2720           5214           103140         2897139        0              2718           9   10   8     
1436.31/1436.97	c 2730           5233           103510         2907632        0              2728           9   10   8     
1441.31/1441.93	c 2740           5252           103880         2918084        0              2738           9   10   8     
1445.81/1446.42	c 2750           5270           104217         2928292        0              2748           8   9   7      
1450.70/1451.36	c 2760           5289           104587         2938949        0              2758           9   10   8     
1455.70/1456.31	c 2770           5308           104957         2949565        0              2768           9   10   8     
1459.80/1460.49	c 2771           5317           105229         2952931        0              2769           9   9   4      
1464.80/1465.42	c 2780           5335           105592         2963441        0              2778           9   10   8     
1469.90/1470.56	c 2790           5354           105975         2973934        0              2788           9   10   8     
1474.99/1475.61	c 2800           5373           106353         2984386        0              2798           9   10   8     
1479.59/1480.23	c 2810           5391           106698         2994594        0              2808           8   9   7      
1484.59/1485.27	c 2820           5410           107076         3005251        0              2818           9   10   8     
1489.59/1490.21	c 2830           5429           107446         3015867        0              2828           9   10   8     
1494.49/1495.15	c 2840           5448           107816         3026442        0              2838           9   10   8     
1499.38/1500.08	c 2850           5467           108186         3036976        0              2848           9   10   8     
1504.38/1505.03	c 2860           5486           108556         3047469        0              2858           9   10   8     
1509.28/1509.97	c 2870           5505           108926         3057921        0              2868           9   10   8     
1513.78/1514.47	c 2880           5523           109263         3068129        0              2878           8   9   7      
1518.78/1519.42	c 2890           5542           109633         3078786        0              2888           9   10   8     
1523.67/1524.38	c 2900           5561           110003         3089402        0              2898           9   10   8     
1528.87/1529.51	c 2910           5580           110386         3099977        0              2908           9   10   8     
1534.07/1534.75	c 2920           5599           110777         3110511        0              2918           9   10   8     
1539.07/1539.79	c 2930           5618           111155         3121004        0              2928           9   10   8     
1544.07/1544.75	c 2940           5637           111525         3131456        0              2938           9   10   8     
1548.56/1549.24	c 2950           5655           111862         3141664        0              2948           8   9   7      
1553.46/1554.18	c 2960           5674           112232         3152321        0              2958           9   10   8     
1558.46/1559.12	c 2970           5693           112602         3162937        0              2968           9   10   8     
1563.36/1564.06	c 2980           5712           112972         3173512        0              2978           9   10   8     
1568.36/1569.02	c 2990           5731           113342         3184046        0              2988           9   10   8     
1573.25/1573.97	c 3000           5750           113712         3194539        0              2998           9   10   8     
1578.25/1578.93	c 3010           5769           114082         3204991        0              3008           9   10   8     
1582.85/1583.55	c 3020           5787           114427         3215199        0              3018           8   9   7      
1587.75/1588.49	c 3030           5806           114797         3225856        0              3028           9   10   8     
1592.95/1593.63	c 3040           5825           115180         3236472        0              3038           9   10   8     
1597.94/1598.65	c 3050           5844           115558         3247047        0              3048           9   10   8     
1602.84/1603.59	c 3060           5863           115928         3257581        0              3058           9   10   8     
1607.84/1608.54	c 3070           5882           116298         3268074        0              3068           9   10   8     
1612.74/1613.49	c 3080           5901           116668         3278526        0              3078           9   10   8     
1617.24/1617.98	c 3090           5919           117005         3288734        0              3088           8   9   7      
1622.23/1622.94	c 3100           5938           117375         3299391        0              3098           9   10   8     
1627.13/1627.88	c 3110           5957           117745         3310007        0              3108           9   10   8     
1632.33/1633.01	c 3120           5976           118128         3320582        0              3118           9   10   8     
1637.34/1638.07	c 3130           5995           118506         3331116        0              3128           9   10   8     
1642.33/1643.00	c 3140           6014           118876         3341609        0              3138           9   10   8     
1646.52/1647.29	c 3142           6024           119159         3345912        0              3140           9   9   6      
1651.02/1651.72	c 3150           6040           119482         3356069        0              3148           8   9   7      
1656.03/1656.76	c 3160           6059           119860         3366726        0              3158           9   10   8     
1660.92/1661.69	c 3170           6078           120230         3377342        0              3168           9   10   8     
1665.92/1666.63	c 3180           6097           120600         3387917        0              3178           9   10   8     
1670.81/1671.57	c 3190           6116           120970         3398451        0              3188           9   10   8     
1675.82/1676.51	c 3200           6135           121340         3408944        0              3198           9   10   8     
1680.71/1681.46	c 3210           6154           121710         3419396        0              3208           9   10   8     
1685.21/1685.96	c 3220           6172           122047         3429604        0              3218           8   9   7      
1690.21/1690.91	c 3230           6191           122417         3440261        0              3228           9   10   8     
1695.30/1696.04	c 3240           6210           122800         3450877        0              3238           9   10   8     
1700.40/1701.10	c 3250           6229           123178         3461452        0              3248           9   10   8     
1705.51/1706.21	c 3260           6248           123561         3471986        0              3258           9   10   8     
1710.50/1711.26	c 3270           6267           123939         3482479        0              3268           9   10   8     
1715.49/1716.20	c 3280           6286           124309         3492931        0              3278           9   10   8     
1719.89/1720.69	c 3290           6304           124646         3503139        0              3288           8   9   7      
1724.89/1725.64	c 3300           6323           125016         3513796        0              3298           9   10   8     
1729.79/1730.58	c 3310           6342           125386         3524412        0              3308           9   10   8     
1734.79/1735.53	c 3320           6361           125756         3534987        0              3318           9   10   8     
1739.69/1740.48	c 3330           6380           126126         3545521        0              3328           9   10   8     
1744.68/1745.44	c 3340           6399           126496         3556014        0              3338           9   10   8     
1749.78/1750.58	c 3350           6418           126879         3566466        0              3348           9   10   8     
1754.28/1755.08	c 3360           6436           127216         3576674        0              3358           8   9   7      
1759.28/1760.04	c 3370           6455           127586         3587331        0              3368           9   10   8     
1764.37/1765.17	c 3380           6474           127969         3597947        0              3378           9   10   8     
1769.47/1770.22	c 3390           6493           128347         3608522        0              3388           9   10   8     
1774.37/1775.18	c 3400           6512           128717         3619056        0              3398           9   10   8     
1779.37/1780.14	c 3410           6531           129087         3629549        0              3408           9   10   8     
1784.37/1785.10	c 3420           6550           129457         3640001        0              3418           9   10   8     
1788.97/1789.80	c 3430           6568           129807         3650209        0              3428           8   9   7      
1794.16/1794.93	c 3440           6587           130190         3660866        0              3438           9   10   8     
1799.16/1799.98	c 3450           6606           130568         3671482        0              3448           9   10   8     
1804.16/1804.92	c 3460           6625           130938         3682057        0              3458           9   10   8     
1809.06/1809.87	c 3470           6644           131308         3692591        0              3468           9   10   8     
1814.05/1814.83	c 3480           6663           131678         3703084        0              3478           9   10   8     
1819.15/1819.95	c 3490           6682           132061         3713536        0              3488           9   10   8     
1823.65/1824.44	c 3500           6700           132398         3723744        0              3498           8   9   7      
1828.55/1829.39	c 3510           6719           132768         3734401        0              3508           9   10   8     
1833.55/1834.33	c 3520           6738           133138         3745017        0              3518           9   10   8     
1838.45/1839.29	c 3530           6757           133508         3755592        0              3528           9   10   8     
1843.44/1844.24	c 3540           6776           133878         3766126        0              3538           9   10   8     
1848.54/1849.37	c 3550           6795           134261         3776619        0              3548           9   10   8     
1852.74/1853.56	c 3551           6804           134533         3779988        0              3549           9   9   4      
1857.43/1858.23	c 3560           6821           134876         3790172        0              3558           8   9   7      
1862.53/1863.35	c 3570           6840           135259         3800829        0              3568           9   10   8     
1867.53/1868.38	c 3580           6859           135637         3811445        0              3578           9   10   8     
1872.54/1873.31	c 3590           6878           136007         3822020        0              3588           9   10   8     
1877.43/1878.26	c 3600           6897           136377         3832554        0              3598           9   10   8     
1882.43/1883.21	c 3610           6916           136747         3843047        0              3608           9   10   8     
1887.32/1888.16	c 3620           6935           137117         3853499        0              3618           9   10   8     
1891.92/1892.77	c 3630           6953           137462         3863707        0              3628           8   9   7      
1896.92/1897.71	c 3640           6972           137832         3874364        0              3638           9   10   8     
1901.82/1902.66	c 3650           6991           138202         3884980        0              3648           9   10   8     
1906.81/1907.61	c 3660           7010           138572         3895555        0              3658           9   10   8     
1911.71/1912.54	c 3670           7029           138942         3906089        0              3668           9   10   8     
1916.81/1917.67	c 3680           7048           139325         3916582        0              3678           9   10   8     
1921.91/1922.71	c 3690           7067           139703         3927034        0              3688           9   10   8     
1926.31/1927.20	c 3700           7085           140040         3937242        0              3698           8   9   7      
1931.40/1932.24	c 3710           7104           140418         3947899        0              3708           9   10   8     
1936.31/1937.18	c 3720           7123           140788         3958515        0              3718           9   10   8     
1941.50/1942.31	c 3730           7142           141171         3969090        0              3728           9   10   8     
1946.50/1947.36	c 3740           7161           141549         3979624        0              3738           9   10   8     
1951.50/1952.30	c 3750           7180           141919         3990117        0              3748           9   10   8     
1956.39/1957.26	c 3760           7199           142289         4000569        0              3758           9   10   8     
1960.89/1961.75	c 3770           7217           142626         4010777        0              3768           8   9   7      
1965.79/1966.69	c 3780           7236           142996         4021434        0              3778           9   10   8     
1970.79/1971.63	c 3790           7255           143366         4032050        0              3788           9   10   8     
1975.69/1976.59	c 3800           7274           143736         4042625        0              3798           9   10   8     
1980.88/1981.71	c 3810           7293           144119         4053159        0              3808           9   10   8     
1985.89/1986.77	c 3820           7312           144497         4063652        0              3818           9   10   8     
1990.88/1991.72	c 3830           7331           144867         4074104        0              3828           9   10   8     
1995.48/1996.34	c 3840           7349           145212         4084312        0              3838           8   9   7      
2000.38/2001.28	c 3850           7368           145582         4094969        0              3848           9   10   8     
2005.37/2006.23	c 3860           7387           145952         4105585        0              3858           9   10   8     
2010.27/2011.17	c 3870           7406           146322         4116160        0              3868           9   10   8     
2015.27/2016.12	c 3880           7425           146692         4126694        0              3878           9   10   8     
2020.17/2021.07	c 3890           7444           147062         4137187        0              3888           9   10   8     
2025.16/2026.02	c 3900           7463           147432         4147639        0              3898           9   10   8     
2029.66/2030.52	c 3910           7481           147769         4157847        0              3908           8   9   7      
2034.56/2035.47	c 3920           7500           148139         4168504        0              3918           9   10   8     
2039.67/2040.60	c 3930           7519           148522         4179120        0              3928           9   10   8     
2044.96/2045.82	c 3940           7538           148913         4189695        0              3938           9   10   8     
2049.95/2050.88	c 3950           7557           149291         4200229        0              3948           9   10   8     
2054.95/2055.82	c 3960           7576           149661         4210722        0              3958           9   10   8     
2059.85/2060.78	c 3970           7595           150031         4221174        0              3968           9   10   8     
2064.35/2065.27	c 3980           7613           150368         4231382        0              3978           8   9   7      
2069.35/2070.21	c 3990           7632           150738         4242039        0              3988           9   10   8     
2074.24/2075.15	c 4000           7651           151108         4252655        0              3998           9   10   8     
2078.44/2079.33	c 4001           7660           151380         4256021        0              3999           9   9   4      
2083.34/2084.26	c 4010           7678           151743         4266531        0              4008           9   10   8     
2088.34/2089.21	c 4020           7697           152113         4277024        0              4018           9   10   8     
2093.44/2094.35	c 4030           7716           152496         4287476        0              4028           9   10   8     
2098.04/2098.96	c 4040           7734           152841         4297684        0              4038           8   9   7      
2103.03/2103.90	c 4050           7753           153211         4308341        0              4048           9   10   8     
2107.94/2108.85	c 4060           7772           153581         4318957        0              4058           9   10   8     
2112.83/2113.78	c 4070           7791           153951         4329532        0              4068           9   10   8     
2117.83/2118.72	c 4080           7810           154321         4340066        0              4078           9   10   8     
2122.72/2123.67	c 4090           7829           154691         4350559        0              4088           9   10   8     
2127.73/2128.61	c 4100           7848           155061         4361011        0              4098           9   10   8     
2132.42/2133.32	c 4110           7866           155411         4371219        0              4108           8   9   7      
2137.53/2138.44	c 4120           7885           155794         4381876        0              4118           9   10   8     
2142.52/2143.49	c 4130           7904           156172         4392492        0              4128           9   10   8     
2147.71/2148.61	c 4140           7923           156555         4403067        0              4138           9   10   8     
2152.71/2153.67	c 4150           7942           156933         4413601        0              4148           9   10   8     
2157.71/2158.61	c 4160           7961           157303         4424094        0              4158           9   10   8     
2162.61/2163.57	c 4170           7980           157673         4434546        0              4168           9   10   8     
2167.11/2168.05	c 4180           7998           158010         4444754        0              4178           8   9   7      
2172.10/2173.00	c 4190           8017           158380         4455411        0              4188           9   10   8     
2177.00/2177.94	c 4200           8036           158750         4466027        0              4198           9   10   8     
2181.90/2182.89	c 4210           8055           159120         4476602        0              4208           9   10   8     
2186.90/2187.85	c 4220           8074           159490         4487136        0              4218           9   10   8     
2192.00/2192.98	c 4230           8093           159873         4497629        0              4228           9   10   8     
2197.09/2198.03	c 4240           8112           160251         4508081        0              4238           9   10   8     
2201.69/2202.64	c 4250           8130           160596         4518289        0              4248           8   9   7      
2206.69/2207.67	c 4260           8149           160974         4528946        0              4258           9   10   8     
2211.69/2212.62	c 4270           8168           161344         4539562        0              4268           9   10   8     
2216.59/2217.56	c 4280           8187           161714         4550137        0              4278           9   10   8     
2221.48/2222.49	c 4290           8206           162084         4560671        0              4288           9   10   8     
2226.48/2227.44	c 4300           8225           162454         4571164        0              4298           9   10   8     
2231.38/2232.38	c 4310           8244           162824         4581616        0              4308           9   10   8     
2235.88/2236.89	c 4320           8262           163161         4591824        0              4318           8   9   7      
2240.88/2241.84	c 4330           8281           163531         4602481        0              4328           9   10   8     
2245.77/2246.79	c 4340           8300           163901         4613097        0              4338           9   10   8     
2250.97/2251.93	c 4350           8319           164284         4623672        0              4348           9   10   8     
2256.17/2257.16	c 4360           8338           164675         4634206        0              4358           9   10   8     
2261.27/2262.21	c 4370           8357           165053         4644699        0              4368           9   10   8     
2266.17/2267.16	c 4380           8376           165423         4655151        0              4378           9   10   8     
2270.67/2271.65	c 4390           8394           165760         4665359        0              4388           8   9   7      
2275.56/2276.59	c 4400           8413           166130         4676016        0              4398           9   10   8     
2280.57/2281.53	c 4410           8432           166500         4686632        0              4408           9   10   8     
2285.46/2286.48	c 4420           8451           166870         4697207        0              4418           9   10   8     
2290.46/2291.43	c 4430           8470           167240         4707741        0              4428           9   10   8     
2295.35/2296.39	c 4440           8489           167610         4718234        0              4438           9   10   8     
2300.36/2301.35	c 4450           8508           167980         4728686        0              4448           9   10   8     
2304.95/2305.97	c 4460           8526           168325         4738894        0              4458           8   9   7      
2309.95/2310.91	c 4470           8545           168695         4749551        0              4468           9   10   8     
2315.05/2316.04	c 4480           8564           169078         4760167        0              4478           9   10   8     
2320.05/2321.07	c 4490           8583           169456         4770742        0              4488           9   10   8     
2324.35/2325.31	c 4493           8594           169742         4775998        0              4491           9   9   6      
2329.25/2330.20	c 4500           8610           170093         4786407        0              4498           9   10   8     
2334.15/2335.15	c 4510           8629           170463         4796859        0              4508           9   10   8     
2338.64/2339.64	c 4520           8647           170800         4807067        0              4518           8   9   7      
2343.54/2344.59	c 4530           8666           171170         4817724        0              4528           9   10   8     
2348.54/2349.54	c 4540           8685           171540         4828340        0              4538           9   10   8     
2353.64/2354.66	c 4550           8704           171923         4838915        0              4548           9   10   8     
2358.74/2359.71	c 4560           8723           172301         4849449        0              4558           9   10   8     
2363.63/2364.65	c 4570           8742           172671         4859942        0              4568           9   10   8     
2368.63/2369.61	c 4580           8761           173041         4870394        0              4578           9   10   8     
2373.03/2374.10	c 4590           8779           173378         4880602        0              4588           8   9   7      
2378.03/2379.04	c 4600           8798           173748         4891259        0              4598           9   10   8     
2383.13/2384.16	c 4610           8817           174131         4901875        0              4608           9   10   8     
2388.23/2389.21	c 4620           8836           174509         4912450        0              4618           9   10   8     
2393.12/2394.16	c 4630           8855           174879         4922984        0              4628           9   10   8     
2398.13/2399.11	c 4640           8874           175249         4933477        0              4638           9   10   8

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.02 2.02 3/242 10549
/proc/meminfo: memFree=31731264/32770624 swapFree=5780/195780
[pid=10549] ppid=10546 vsize=27652 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 1122 0 0 0 0 0 0 0 20 0 1 0 803412 28315648 898 33554432000 4194304 5970956 140737455793536 140737455790184 140616272829957 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 6913 898 702 434 0 277 0

[startup+0.100181 s]
/proc/loadavg: 2.02 2.02 2.02 3/242 10549
/proc/meminfo: memFree=31731264/32770624 swapFree=5780/195780
[pid=10549] ppid=10546 vsize=28756 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 1646 0 0 0 9 0 0 0 20 0 1 0 803412 29446144 1179 33554432000 4194304 5970956 140737455793536 140737455790136 140616272829957 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 7189 1179 715 434 0 553 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28756

[startup+0.200417 s]
/proc/loadavg: 2.02 2.02 2.02 3/242 10549
/proc/meminfo: memFree=31731264/32770624 swapFree=5780/195780
[pid=10549] ppid=10546 vsize=32212 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 2348 0 0 0 19 0 0 0 20 0 1 0 803412 32985088 2089 33554432000 4194304 5970956 140737455793536 140737455790136 5378266 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 8053 2089 715 434 0 1417 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32212

[startup+0.300377 s]
/proc/loadavg: 2.02 2.02 2.02 3/242 10549
/proc/meminfo: memFree=31731264/32770624 swapFree=5780/195780
[pid=10549] ppid=10546 vsize=32212 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 2348 0 0 0 29 0 0 0 20 0 1 0 803412 32985088 2089 33554432000 4194304 5970956 140737455793536 140737455790136 5670396 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 8053 2089 715 434 0 1417 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32212

[startup+0.700316 s]
/proc/loadavg: 2.02 2.02 2.02 3/242 10549
/proc/meminfo: memFree=31731264/32770624 swapFree=5780/195780
[pid=10549] ppid=10546 vsize=46036 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 3512 0 0 0 68 0 0 0 20 0 1 0 803412 47140864 3883 33554432000 4194304 5970956 140737455793536 140737455790136 5672960 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 11509 3883 715 434 0 4873 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 46036

[startup+1.50028 s]
/proc/loadavg: 2.02 2.02 2.02 3/243 10550
/proc/meminfo: memFree=31699552/32770624 swapFree=5780/195416
[pid=10549] ppid=10546 vsize=64468 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 4041 0 0 0 148 1 0 0 20 0 1 0 803412 66015232 7468 33554432000 4194304 5970956 140737455793536 140737455790136 5369030 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 16117 7468 715 434 0 9481 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64468

[startup+3.10032 s]
/proc/loadavg: 2.02 2.02 2.02 4/239 10562
/proc/meminfo: memFree=31868596/32770624 swapFree=5780/195468
[pid=10549] ppid=10546 vsize=101332 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 4982 0 0 0 307 2 0 0 20 0 1 0 803412 103763968 14637 33554432000 4194304 5970956 140737455793536 140737455790136 140616263330816 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 25333 14637 715 434 0 18697 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 101332

[startup+6.30029 s]
/proc/loadavg: 1.93 2.00 2.01 3/243 10682
/proc/meminfo: memFree=31809424/32770624 swapFree=5780/194280
[pid=10549] ppid=10546 vsize=175060 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 5972 0 0 0 624 5 0 0 20 0 1 0 803412 179261440 28462 33554432000 4194304 5970956 140737455793536 140737455790136 5674874 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 43765 28462 715 434 0 37129 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175060

[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 2.01 3/243 10682
/proc/meminfo: memFree=31532672/32770624 swapFree=5780/194292
[pid=10549] ppid=10546 vsize=644772 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 13443 0 0 0 1252 17 0 0 20 0 1 0 803412 660246528 93984 33554432000 4194304 5970956 140737455793536 140737455788088 140616263813027 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 161193 93984 719 434 0 154557 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 644772

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.01 3/243 10682
/proc/meminfo: memFree=31477844/32770624 swapFree=5780/194308
[pid=10549] ppid=10546 vsize=703080 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 28240 0 0 0 2529 19 0 0 20 0 1 0 803412 719953920 107673 33554432000 4194304 5970956 140737455793536 140737455788088 140616263818660 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 175770 107673 727 434 0 169134 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 703080

[startup+51.1004 s]
/proc/loadavg: 1.97 2.00 2.01 3/243 10682
/proc/meminfo: memFree=31387852/32770624 swapFree=5780/194340
[pid=10549] ppid=10546 vsize=710508 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 69649 0 0 0 5080 28 0 0 20 0 1 0 803412 727560192 130398 33554432000 4194304 5970956 140737455793536 140737455790872 4918467 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130398 781 434 0 170991 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 710508

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.01 3/243 10683
/proc/meminfo: memFree=31387540/32770624 swapFree=5780/194416
[pid=10549] ppid=10546 vsize=710508 CPUtime=102.25 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 92619 0 0 0 10195 30 0 0 20 0 1 0 803412 727560192 130416 33554432000 4194304 5970956 140737455793536 140737455790872 4918467 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130416 784 434 0 170991 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 710508

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/243 10684
/proc/meminfo: memFree=31386952/32770624 swapFree=5780/194516
[pid=10549] ppid=10546 vsize=710508 CPUtime=162.22 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 102181 0 0 0 16192 30 0 0 20 0 1 0 803412 727560192 130416 33554432000 4194304 5970956 140737455793536 140737455790872 4918555 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130416 784 434 0 170991 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 710508

[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.01 3/243 10685
/proc/meminfo: memFree=31386380/32770624 swapFree=5780/194588
[pid=10549] ppid=10546 vsize=710508 CPUtime=222.2 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 103309 0 0 0 22190 30 0 0 20 0 1 0 803412 727560192 130608 33554432000 4194304 5970956 140737455793536 140737455790872 4918293 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130608 784 434 0 170991 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 710508

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/243 10686
/proc/meminfo: memFree=31386248/32770624 swapFree=5780/194656
[pid=10549] ppid=10546 vsize=710508 CPUtime=282.17 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 103744 0 0 0 28187 30 0 0 20 0 1 0 803412 727560192 130608 33554432000 4194304 5970956 140737455793536 140737455790872 4918467 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130608 784 434 0 170991 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 710508

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/243 10687
/proc/meminfo: memFree=31386124/32770624 swapFree=5780/194736
[pid=10549] ppid=10546 vsize=710508 CPUtime=342.14 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 104179 0 0 0 34184 30 0 0 20 0 1 0 803412 727560192 130608 33554432000 4194304 5970956 140737455793536 140737455790872 4918629 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130608 784 434 0 170991 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 710508

[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.02 3/243 10688
/proc/meminfo: memFree=31385100/32770624 swapFree=5780/194808
[pid=10549] ppid=10546 vsize=710508 CPUtime=402.12 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 104616 0 0 0 40182 30 0 0 20 0 1 0 803412 727560192 130608 33554432000 4194304 5970956 140737455793536 140737455790872 4918509 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130608 784 434 0 170991 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 710508

[startup+462.3 s]
/proc/loadavg: 2.12 2.04 2.03 3/243 10696
/proc/meminfo: memFree=31384672/32770624 swapFree=5780/194900
[pid=10549] ppid=10546 vsize=710508 CPUtime=462.1 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 105058 0 0 0 46180 30 0 0 20 0 1 0 803412 727560192 130608 33554432000 4194304 5970956 140737455793536 140737455790872 4918536 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130608 784 434 0 170991 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 710508

[startup+522.3 s]
/proc/loadavg: 2.08 2.05 2.04 3/243 10697
/proc/meminfo: memFree=31385032/32770624 swapFree=5780/194964
[pid=10549] ppid=10546 vsize=710508 CPUtime=522.07 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 105497 0 0 0 52177 30 0 0 20 0 1 0 803412 727560192 130608 33554432000 4194304 5970956 140737455793536 140737455790872 4918293 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130608 784 434 0 170991 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 710508

[startup+582.3 s]
/proc/loadavg: 2.06 2.05 2.04 3/243 10698
/proc/meminfo: memFree=31384884/32770624 swapFree=5780/195048
[pid=10549] ppid=10546 vsize=710508 CPUtime=582.05 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 105937 0 0 0 58175 30 0 0 20 0 1 0 803412 727560192 130608 33554432000 4194304 5970956 140737455793536 140737455790872 4918536 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130608 784 434 0 170991 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 710508


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


[startup+1482.3 s]
/proc/loadavg: 2.05 2.07 2.06 3/243 10879
/proc/meminfo: memFree=31217280/32770624 swapFree=5780/198628
[pid=10549] ppid=10546 vsize=710508 CPUtime=1481.69 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 112550 0 0 0 148138 31 0 0 20 0 1 0 803412 727560192 130608 33554432000 4194304 5970956 140737455793536 140737455790872 4918353 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130608 784 434 0 170991 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 710508

[startup+1542.31 s]
/proc/loadavg: 2.02 2.06 2.06 3/243 10880
/proc/meminfo: memFree=31217376/32770624 swapFree=5780/198708
[pid=10549] ppid=10546 vsize=710508 CPUtime=1541.67 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 112992 0 0 0 154136 31 0 0 20 0 1 0 803412 727560192 130608 33554432000 4194304 5970956 140737455793536 140737455790872 4918489 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130608 784 434 0 170991 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 710508

[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/243 10881
/proc/meminfo: memFree=31218748/32770624 swapFree=5780/198788
[pid=10549] ppid=10546 vsize=710508 CPUtime=1601.64 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 113434 0 0 0 160133 31 0 0 20 0 1 0 803412 727560192 130608 33554432000 4194304 5970956 140737455793536 140737455790872 4918536 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130608 784 434 0 170991 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 710508

[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/243 10889
/proc/meminfo: memFree=31219028/32770624 swapFree=5780/198864
[pid=10549] ppid=10546 vsize=710508 CPUtime=1661.62 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 113877 0 0 0 166131 31 0 0 20 0 1 0 803412 727560192 130608 33554432000 4194304 5970956 140737455793536 140737455790872 4918464 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130608 784 434 0 170991 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 710508

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 10890
/proc/meminfo: memFree=31219304/32770624 swapFree=5780/198932
[pid=10549] ppid=10546 vsize=710508 CPUtime=1721.59 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 114322 0 0 0 172128 31 0 0 20 0 1 0 803412 727560192 130608 33554432000 4194304 5970956 140737455793536 140737455790872 4918734 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130608 784 434 0 170991 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 710508

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 10891
/proc/meminfo: memFree=31219180/32770624 swapFree=5780/198996
[pid=10549] ppid=10546 vsize=710508 CPUtime=1781.57 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 114765 0 0 0 178126 31 0 0 20 0 1 0 803412 727560192 130610 33554432000 4194304 5970956 140737455793536 140737455790872 4918281 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130610 784 434 0 170991 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 710508

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 10892
/proc/meminfo: memFree=31219364/32770624 swapFree=5780/199072
[pid=10549] ppid=10546 vsize=710508 CPUtime=1841.54 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 115215 0 0 0 184123 31 0 0 20 0 1 0 803412 727560192 130613 33554432000 4194304 5970956 140737455793536 140737455790872 4918489 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130613 784 434 0 170991 0
Current children cumulated CPU time (s) 1841.54
Current children cumulated vsize (KiB) 710508

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 10893
/proc/meminfo: memFree=31219488/32770624 swapFree=5780/199144
[pid=10549] ppid=10546 vsize=710508 CPUtime=1901.52 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 115660 0 0 0 190121 31 0 0 20 0 1 0 803412 727560192 130613 33554432000 4194304 5970956 140737455793536 140737455790872 4918555 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130613 784 434 0 170991 0
Current children cumulated CPU time (s) 1901.52
Current children cumulated vsize (KiB) 710508

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10894
/proc/meminfo: memFree=31220008/32770624 swapFree=5780/199224
[pid=10549] ppid=10546 vsize=710508 CPUtime=1961.49 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 116107 0 0 0 196118 31 0 0 20 0 1 0 803412 727560192 130613 33554432000 4194304 5970956 140737455793536 140737455790872 4918293 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130613 784 434 0 170991 0
Current children cumulated CPU time (s) 1961.49
Current children cumulated vsize (KiB) 710508

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10895
/proc/meminfo: memFree=31218952/32770624 swapFree=5780/199288
[pid=10549] ppid=10546 vsize=710508 CPUtime=2021.47 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 116554 0 0 0 202116 31 0 0 20 0 1 0 803412 727560192 130613 33554432000 4194304 5970956 140737455793536 140737455790872 4918293 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130613 784 434 0 170991 0
Current children cumulated CPU time (s) 2021.47
Current children cumulated vsize (KiB) 710508

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10896
/proc/meminfo: memFree=31219324/32770624 swapFree=5780/199356
[pid=10549] ppid=10546 vsize=710508 CPUtime=2081.45 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 117004 0 0 0 208114 31 0 0 20 0 1 0 803412 727560192 130613 33554432000 4194304 5970956 140737455793536 140737455790872 4918558 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130613 784 434 0 170991 0
Current children cumulated CPU time (s) 2081.45
Current children cumulated vsize (KiB) 710508

[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 10897
/proc/meminfo: memFree=31218020/32770624 swapFree=5780/199436
[pid=10549] ppid=10546 vsize=710508 CPUtime=2141.42 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 117456 0 0 0 214111 31 0 0 20 0 1 0 803412 727560192 130616 33554432000 4194304 5970956 140737455793536 140737455790872 4918730 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130616 784 434 0 170991 0
Current children cumulated CPU time (s) 2141.42
Current children cumulated vsize (KiB) 710508

[startup+2202.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 10898
/proc/meminfo: memFree=31218004/32770624 swapFree=5780/199500
[pid=10549] ppid=10546 vsize=710508 CPUtime=2201.4 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 117908 0 0 0 220109 31 0 0 20 0 1 0 803412 727560192 130617 33554432000 4194304 5970956 140737455793536 140737455790872 4918536 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130617 784 434 0 170991 0
Current children cumulated CPU time (s) 2201.4
Current children cumulated vsize (KiB) 710508

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 10906
/proc/meminfo: memFree=31218132/32770624 swapFree=5780/199596
[pid=10549] ppid=10546 vsize=710508 CPUtime=2261.37 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 118360 0 0 0 226106 31 0 0 20 0 1 0 803412 727560192 130618 33554432000 4194304 5970956 140737455793536 140737455790872 4918293 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130618 784 434 0 170991 0
Current children cumulated CPU time (s) 2261.37
Current children cumulated vsize (KiB) 710508

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10907
/proc/meminfo: memFree=31218500/32770624 swapFree=5780/199664
[pid=10549] ppid=10546 vsize=710508 CPUtime=2321.35 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 118815 0 0 0 232103 32 0 0 20 0 1 0 803412 727560192 130619 33554432000 4194304 5970956 140737455793536 140737455790872 4918281 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177627 130619 784 434 0 170991 0
Current children cumulated CPU time (s) 2321.35
Current children cumulated vsize (KiB) 710508

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10908
/proc/meminfo: memFree=31219084/32770624 swapFree=5780/199728
[pid=10549] ppid=10546 vsize=710640 CPUtime=2381.33 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 119270 0 0 0 238101 32 0 0 20 0 1 0 803412 727695360 130620 33554432000 4194304 5970956 140737455793536 140737455790872 4918467 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177660 130620 784 434 0 171024 0
Current children cumulated CPU time (s) 2381.33
Current children cumulated vsize (KiB) 710640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 10908
/proc/meminfo: memFree=31219084/32770624 swapFree=5780/199744
[pid=10549] ppid=10546 vsize=710640 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/10549/stat : 10549 (cosoco) R 10546 10549 9811 0 -1 4202496 119271 0 0 0 239970 32 0 0 20 0 1 0 803412 727695360 130620 33554432000 4194304 5970956 140737455793536 140737455790872 4918629 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 25825280 140737455797436 140737455797571 140737455797571 140737455800270 0
/proc/10549/statm: 177660 130620 784 434 0 171024 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 710640

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

Child status: 1
Real time (s): 2401
CPU time (s): 2400.03
CPU user time (s): 2399.7
CPU system time (s): 0.323871
CPU usage (%): 99.9594
Max. virtual memory (cumulated for all children) (KiB): 764892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.7
system time used= 0.323871
maximum resident set size= 522524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119290
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= 35
involuntary context switches= 120680

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.53022 second user time and 12.1029 second system time

The end

Launcher Data 

Begin job on node145 at 2017-07-21 18:43:03
IDJOB=4242105
IDBENCH=133263
IDSOLVER=2621
FILE ID=node145/4242105-1500655381
RUNJOBID= node145-1500648174-9843
PBS_JOBID= 20623276
Free space on /tmp= 61744 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-15-mdd.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242105-1500655381/watcher-4242105-1500655381 -o /tmp/evaluation-result-4242105-1500655381/solver-4242105-1500655381 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500648174-9843 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242105-1500655381.xml

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

MD5SUM BENCH= eb9d91ed4b70703bb0e2b52375e1b8aa
RANDOM SEED=993501368

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31731272 kB
MemAvailable:   31845632 kB
Buffers:           32520 kB
Cached:           390488 kB
SwapCached:            0 kB
Active:           458112 kB
Inactive:         204500 kB
Active(anon):     241944 kB
Inactive(anon):     8720 kB
Active(file):     216168 kB
Inactive(file):   195780 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             70144 kB
Writeback:         28332 kB
AnonPages:        251320 kB
Mapped:            32032 kB
Shmem:              8852 kB
Slab:              68140 kB
SReclaimable:      36492 kB
SUnreclaim:        31648 kB
KernelStack:        4192 kB
PageTables:         5420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     525448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61740 MiB
End job on node145 at 2017-07-21 19:23:04