Trace number 4242958

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSuperSolutions/SuperSolutions-Queens-s1/
SuperQueens-02.xml
MD5SUM80353dd8c937a5bb459a24b290639269
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 variables200
Number of constraints14950
Number of domains1
Minimum domain size100
Maximum domain size100
Distribution of domain sizes[{"size":100,"count":200}]
Minimum variable degree100
Maximum variable degree199
Distribution of variable degrees[{"degree":100,"count":100},{"degree":199,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":14950}]
Number of extensional constraints0
Number of intensional constraints14950
Distribution of constraint types[{"type":"intension","count":14950}]
Optimization problemNO
Type of objective

Solver Data 

16.78/16.84	c intension x[0] != x[1]  using generic constraint 
16.78/16.84	c intension x[2] != x[3]  using generic constraint 
16.78/16.84	c intension x[4] != x[5]  using generic constraint 
16.78/16.84	c intension x[6] != x[7]  using generic constraint 
16.78/16.84	c intension x[8] != x[9]  using generic constraint 
16.78/16.84	c intension x[10] != x[11]  using generic constraint 
16.78/16.84	c intension x[12] != x[13]  using generic constraint 
16.78/16.85	c intension x[14] != x[15]  using generic constraint 
16.78/16.85	c intension x[16] != x[17]  using generic constraint 
16.78/16.85	c intension x[18] != x[19]  using generic constraint 
16.78/16.85	c intension x[20] != x[21]  using generic constraint 
16.78/16.85	c intension x[22] != x[23]  using generic constraint 
16.78/16.85	c intension x[24] != x[25]  using generic constraint 
16.78/16.85	c intension x[26] != x[27]  using generic constraint 
16.78/16.85	c intension x[28] != x[29]  using generic constraint 
16.78/16.85	c intension x[30] != x[31]  using generic constraint 
16.78/16.85	c intension x[32] != x[33]  using generic constraint 
16.78/16.85	c intension x[34] != x[35]  using generic constraint 
16.78/16.86	c intension x[36] != x[37]  using generic constraint 
16.78/16.86	c intension x[38] != x[39]  using generic constraint 
16.78/16.86	c intension x[40] != x[41]  using generic constraint 
16.78/16.86	c intension x[42] != x[43]  using generic constraint 
16.78/16.86	c intension x[44] != x[45]  using generic constraint 
16.78/16.86	c intension x[46] != x[47]  using generic constraint 
16.78/16.86	c intension x[48] != x[49]  using generic constraint 
16.78/16.86	c intension x[50] != x[51]  using generic constraint 
16.78/16.86	c intension x[52] != x[53]  using generic constraint 
16.78/16.86	c intension x[54] != x[55]  using generic constraint 
16.78/16.87	c intension x[56] != x[57]  using generic constraint 
16.78/16.87	c intension x[58] != x[59]  using generic constraint 
16.78/16.87	c intension x[60] != x[61]  using generic constraint 
16.78/16.87	c intension x[62] != x[63]  using generic constraint 
16.78/16.87	c intension x[64] != x[65]  using generic constraint 
16.78/16.87	c intension x[66] != x[67]  using generic constraint 
16.78/16.87	c intension x[68] != x[69]  using generic constraint 
16.78/16.87	c intension x[70] != x[71]  using generic constraint 
16.78/16.87	c intension x[72] != x[73]  using generic constraint 
16.78/16.87	c intension x[74] != x[75]  using generic constraint 
16.78/16.88	c intension x[76] != x[77]  using generic constraint 
16.78/16.88	c intension x[78] != x[79]  using generic constraint 
16.78/16.88	c intension x[80] != x[81]  using generic constraint 
16.78/16.88	c intension x[82] != x[83]  using generic constraint 
16.78/16.88	c intension x[84] != x[85]  using generic constraint 
16.78/16.88	c intension x[86] != x[87]  using generic constraint 
16.78/16.88	c intension x[88] != x[89]  using generic constraint 
16.78/16.88	c intension x[90] != x[91]  using generic constraint 
16.78/16.88	c intension x[92] != x[93]  using generic constraint 
16.78/16.88	c intension x[94] != x[95]  using generic constraint 
16.78/16.89	c intension x[96] != x[97]  using generic constraint 
16.78/16.89	c intension x[98] != x[99]  using generic constraint 
16.78/16.89	c intension x[100] != x[101]  using generic constraint 
16.78/16.89	c intension x[102] != x[103]  using generic constraint 
16.78/16.89	c intension x[104] != x[105]  using generic constraint 
16.78/16.89	c intension x[106] != x[107]  using generic constraint 
16.78/16.89	c intension x[108] != x[109]  using generic constraint 
16.78/16.89	c intension x[110] != x[111]  using generic constraint 
16.78/16.89	c intension x[112] != x[113]  using generic constraint 
16.78/16.89	c intension x[114] != x[115]  using generic constraint 
16.78/16.90	c intension x[116] != x[117]  using generic constraint 
16.88/16.90	c intension x[118] != x[119]  using generic constraint 
16.88/16.90	c intension x[120] != x[121]  using generic constraint 
16.88/16.90	c intension x[122] != x[123]  using generic constraint 
16.88/16.90	c intension x[124] != x[125]  using generic constraint 
16.88/16.90	c intension x[126] != x[127]  using generic constraint 
16.88/16.90	c intension x[128] != x[129]  using generic constraint 
16.88/16.90	c intension x[130] != x[131]  using generic constraint 
16.88/16.90	c intension x[132] != x[133]  using generic constraint 
16.88/16.90	c intension x[134] != x[135]  using generic constraint 
16.88/16.91	c intension x[136] != x[137]  using generic constraint 
16.88/16.91	c intension x[138] != x[139]  using generic constraint 
16.88/16.91	c intension x[140] != x[141]  using generic constraint 
16.88/16.91	c intension x[142] != x[143]  using generic constraint 
16.88/16.91	c intension x[144] != x[145]  using generic constraint 
16.88/16.91	c intension x[146] != x[147]  using generic constraint 
16.88/16.91	c intension x[148] != x[149]  using generic constraint 
16.88/16.91	c intension x[150] != x[151]  using generic constraint 
16.88/16.91	c intension x[152] != x[153]  using generic constraint 
16.88/16.91	c intension x[154] != x[155]  using generic constraint 
16.88/16.92	c intension x[156] != x[157]  using generic constraint 
16.88/16.92	c intension x[158] != x[159]  using generic constraint 
16.88/16.92	c intension x[160] != x[161]  using generic constraint 
16.88/16.92	c intension x[162] != x[163]  using generic constraint 
16.88/16.92	c intension x[164] != x[165]  using generic constraint 
16.88/16.92	c intension x[166] != x[167]  using generic constraint 
16.88/16.92	c intension x[168] != x[169]  using generic constraint 
16.88/16.92	c intension x[170] != x[171]  using generic constraint 
16.88/16.92	c intension x[172] != x[173]  using generic constraint 
16.88/16.92	c intension x[174] != x[175]  using generic constraint 
16.88/16.92	c intension x[176] != x[177]  using generic constraint 
16.88/16.93	c intension x[178] != x[179]  using generic constraint 
16.88/16.93	c intension x[180] != x[181]  using generic constraint 
16.88/16.93	c intension x[182] != x[183]  using generic constraint 
16.88/16.93	c intension x[184] != x[185]  using generic constraint 
16.88/16.93	c intension x[186] != x[187]  using generic constraint 
16.88/16.93	c intension x[188] != x[189]  using generic constraint 
16.88/16.93	c intension x[190] != x[191]  using generic constraint 
16.88/16.93	c intension x[192] != x[193]  using generic constraint 
16.88/16.93	c intension x[194] != x[195]  using generic constraint 
16.88/16.93	c intension x[196] != x[197]  using generic constraint 
16.88/16.94	c intension x[198] != x[199]  using generic constraint 
16.98/17.03	c SAT : Variables: 20000 -- Clauses: 990200
16.98/17.03	c root propagations     : 0           
16.98/17.03	c restarts enabled, print stats at every restarts
16.98/17.03	c
16.98/17.03	c
16.98/17.03	c
16.98/17.03	c This is cosoco 1.0 --  
16.98/17.03	c
16.98/17.03	c ========================================[ Problem Statistics ]===========================================
16.98/17.03	c |                                                                                                       
16.98/17.03	c |  Parse time        :        16.96 s 
16.98/17.03	c |
16.98/17.03	c |               Variables: 200
16.98/17.03	c |            Domain Sizes: 100..100
16.98/17.03	c |
16.98/17.03	c |             Constraints: 14950
16.98/17.03	c |                   Arity: 2..2  -- Binary: 14950
16.98/17.03	c | 
16.98/17.03	c |                   Types: 
16.98/17.03	c |                          (X != Y): 100
16.98/17.03	c |                          Intension: 14850
16.98/17.03	c |                          
16.98/17.03	c =========================================================================================================
16.98/17.03	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
22.98/23.01	c 10             113            1080205        20764          0              4              90   94   82   
29.68/29.71	c 20             221            2171576        40288          0              7              88   91   81   
36.37/36.45	c 30             355            3302598        59138          0              10             114   117   104
42.87/42.97	c 40             478            4420607        78828          0              13             102   106   94 
49.26/49.35	c 50             586            5493475        99558          0              17             88   90   81   
55.35/55.48	c 60             691            6497664        117950         0              20             76   93   81   
61.56/61.62	c 70             804            7532632        137825         0              25             78   93   78   
67.64/67.73	c 80             908            8548450        157618         0              29             85   89   79   
73.74/73.89	c 90             1017           9562557        176972         0              37             74   91   75   
79.93/80.00	c 100            1125           10591896       198305         0              38             85   91   79   
86.14/86.24	c 101            1223           11584753       214738         0              39             98   98   49   
92.23/92.37	c 110            1324           12549622       232165         0              44             82   90   78   
98.53/98.66	c 120            1436           13615236       251518         0              46             87   91   80   
104.62/104.76	c 130            1536           14624256       269834         0              47             84   87   78   
110.82/110.90	c 140            1636           15650475       289245         0              51             80   82   73   
116.90/117.07	c 150            1739           16681089       307936         0              55             83   88   77   
123.31/123.43	c 160            1859           17785773       329423         0              58             82   90   79   
129.30/129.46	c 170            1949           18760626       348927         0              63             73   77   68   
135.50/135.62	c 180            2051           19796168       369495         0              68             82   84   75   
141.59/141.78	c 190            2156           20846552       391915         0              73             78   81   72   
147.89/148.03	c 200            2281           21933554       413976         0              74             91   94   84   
154.18/154.31	c 210            2390           22971035       435159         0              79             82   88   77   
160.18/160.33	c 211            2472           23916212       451368         0              80             82   82   41   
166.28/166.41	c 220            2565           24900196       470756         0              85             75   81   70   
172.37/172.52	c 230            2665           25937851       490591         0              88             79   81   72   
178.76/178.90	c 240            2770           26995498       510447         0              93             79   82   73   
184.96/185.15	c 250            2896           28120868       531986         0              95             79   86   76   
191.26/191.42	c 260            3012           29224857       554119         0              98             87   91   80   
197.45/197.62	c 270            3125           30271838       573592         0              103            92   95   84   
203.54/203.74	c 280            3240           31334617       595286         0              104            84   93   81   
209.95/210.13	c 290            3371           32464010       616816         0              107            89   93   82   
216.13/216.35	c 300            3481           33542911       635920         0              113            84   88   79   
222.33/222.58	c 310            3589           34625137       655684         0              115            86   88   79   
228.52/228.78	c 320            3699           35672997       675753         0              122            71   90   78   
234.82/235.01	c 330            3802           36729418       696471         0              125            73   78   68   
240.92/241.13	c 332            3886           37707934       712804         0              127            82   83   55   
247.12/247.32	c 340            3982           38735584       732811         0              132            77   83   69   
253.31/253.52	c 350            4082           39790497       753672         0              136            76   79   70   
259.51/259.74	c 360            4198           40863138       774491         0              138            83   89   77   
265.60/265.81	c 370            4289           41846534       792416         0              139            77   79   70   
271.70/271.98	c 380            4399           42912886       811938         0              143            90   92   82   
277.89/278.15	c 390            4507           43977673       831662         0              145            85   89   79   
283.99/284.28	c 400            4602           44986408       850775         0              146            79   81   72   
290.29/290.51	c 410            4712           46065294       870747         0              148            89   91   81   
296.38/296.63	c 420            4817           47092928       890185         0              152            80   86   75   
302.77/303.01	c 430            4925           48175328       911595         0              154            83   86   76   
309.06/309.34	c 440            5031           49249187       932386         0              160            83   86   77   
315.16/315.46	c 450            5144           50301808       951842         0              163            86   90   79   
321.46/321.74	c 460            5247           51367725       972832         0              168            81   84   74   
327.56/327.85	c 465            5344           52361313       991151         0              172            81   87   70   
333.75/334.09	c 470            5447           53419222       1011652        0              176            89   91   74   
339.95/340.24	c 480            5546           54444547       1032953        0              182            78   81   72   
346.14/346.50	c 490            5659           55511155       1054711        0              185            75   85   71   
352.44/352.78	c 500            5776           56612098       1076827        0              190            89   92   82   
358.63/358.96	c 510            5869           57627196       1098007        0              193            72   79   67   
364.94/365.25	c 520            5970           58667655       1119564        0              198            75   78   69   
371.03/371.34	c 530            6063           59666566       1138132        0              203            75   77   69   
377.13/377.46	c 540            6163           60699599       1157607        0              206            80   82   73   
383.31/383.62	c 550            6260           61727981       1177209        0              208            80   81   73   
389.41/389.79	c 560            6377           62798180       1196921        0              213            93   96   86   
395.81/396.11	c 570            6482           63858496       1216364        0              214            85   87   78   
401.90/402.21	c 580            6584           64889104       1235217        0              219            81   84   75   
407.99/408.37	c 590            6691           65963772       1255466        0              223            85   87   77   
414.29/414.62	c 600            6806           67062733       1276700        0              226            91   95   84   
420.58/420.90	c 610            6915           68159081       1296727        0              231            86   87   78   
426.59/426.95	c 611            7005           69142510       1313346        0              232            90   90   45   
432.67/433.06	c 620            7111           70178315       1332294        0              235            81   88   74   
438.77/439.14	c 630            7210           71204312       1351054        0              241            82   84   75   
444.86/445.29	c 640            7319           72259505       1370722        0              243            79   84   73   
451.06/451.42	c 650            7423           73294890       1390682        0              245            76   80   71   
457.15/457.52	c 660            7525           74344505       1410870        0              250            83   88   77   
463.25/463.66	c 670            7633           75387814       1430460        0              258            82   94   81   
469.36/469.79	c 680            7739           76433106       1449654        0              259            84   88   77   
475.55/476.00	c 690            7848           77508158       1469198        0              265            84   88   78   
481.84/482.25	c 700            7962           78576287       1489078        0              267            86   89   79   
488.23/488.67	c 710            8080           79681441       1510234        0              269            88   92   81   
494.42/494.81	c 720            8186           80731327       1531890        0              272            79   86   74   
500.51/500.94	c 730            8286           81762037       1552979        0              277            77   82   72   
506.72/507.17	c 740            8417           82885963       1574979        0              279            85   95   83   
512.90/513.32	c 750            8521           83930897       1596427        0              285            72   81   71   
518.80/519.27	c 760            8610           84919761       1615130        0              288            72   74   66   
524.89/525.34	c 770            8706           85962335       1636415        0              291            73   76   67   
530.88/531.35	c 771            8799           86966468       1653051        0              292            93   93   46   
537.08/537.53	c 780            8918           88068064       1673223        0              294            91   96   83   
542.98/543.48	c 790            9016           89090666       1691654        0              296            79   81   72   
548.97/549.49	c 800            9121           90148846       1712060        0              298            78   82   72   
555.07/555.59	c 810            9221           91157714       1730499        0              301            80   83   74   
561.26/561.76	c 820            9325           92208908       1749928        0              305            80   83   74   
567.16/567.70	c 830            9423           93221869       1770810        0              310            78   81   72   
573.25/573.72	c 840            9544           94312999       1791422        0              314            93   96   85   
579.25/579.76	c 850            9647           95372617       1810662        0              316            84   87   77   
585.23/585.77	c 860            9764           96435370       1831412        0              318            88   93   81   
591.23/591.77	c 870            9867           97483050       1850570        0              319            86   88   78   
597.32/597.80	c 880            9975           98543826       1869558        0              320            88   92   81   
603.32/603.83	c 890            10086          99620333       1888980        0              324            88   93   82   
609.21/609.78	c 900            10192          100647220      1908888        0              326            80   83   74   
615.31/615.82	c 910            10287          101678296      1928269        0              329            74   78   68   
621.40/621.90	c 920            10408          102783099      1949659        0              334            89   93   83   
627.40/627.92	c 930            10522          103861015      1969539        0              338            87   91   81   
633.49/634.00	c 940            10630          104929879      1989107        0              341            84   88   78   
639.39/639.92	c 947            10724          105940710      2007673        0              345            80   83   70   
645.39/645.90	c 950            10808          106918049      2024446        0              347            80   82   60   
651.28/651.81	c 960            10903          107914338      2042777        0              350            75   77   68   
657.28/657.83	c 970            11016          108965963      2062328        0              355            84   93   80   
663.27/663.87	c 980            11126          110048202      2082089        0              358            87   90   80   
669.18/669.75	c 990            11219          111038587      2101134        0              360            76   80   70   
675.07/675.66	c 1000           11313          112042729      2120916        0              362            75   80   70   
680.97/681.57	c 1010           11412          113072646      2140497        0              365            78   81   72   
686.87/687.50	c 1020           11509          114096786      2159601        0              370            74   78   69   
692.86/693.43	c 1030           11610          115140325      2178821        0              373            81   83   74   
698.76/699.31	c 1040           11719          116181041      2198138        0              374            79   85   75   
704.85/705.40	c 1050           11824          117265678      2218153        0              376            79   84   73   
710.75/711.33	c 1060           11925          118298135      2237479        0              379            80   83   74   
716.65/717.26	c 1070           12036          119354196      2257858        0              382            85   90   79   
722.54/723.19	c 1080           12147          120399055      2277435        0              385            86   91   79   
728.63/729.28	c 1090           12265          121468858      2298051        0              389            96   99   88   
734.73/735.31	c 1100           12375          122538197      2317592        0              395            87   91   81   
740.63/741.27	c 1110           12477          123586626      2337420        0              400            81   86   75   
746.62/747.20	c 1120           12579          124635017      2356236        0              403            83   85   76   
752.52/753.15	c 1130           12684          125675260      2375742        0              406            83   86   76   
758.42/759.07	c 1140           12787          126721484      2395057        0              411            82   85   76   
764.31/764.96	c 1141           12880          127721062      2411827        0              412            93   93   46   
770.20/770.85	c 1150           12982          128757596      2430864        0              416            83   86   76   
776.20/776.81	c 1160           13085          129825384      2450692        0              420            83   85   76   
782.20/782.81	c 1170           13198          130898025      2470544        0              423            86   92   80   
788.20/788.88	c 1180           13311          132010779      2491315        0              425            88   90   81   
794.19/794.80	c 1190           13421          133054811      2511544        0              426            85   90   79   
800.29/800.94	c 1200           13532          134149487      2531790        0              429            88   90   80   
806.28/806.97	c 1210           13650          135233538      2551907        0              432            87   92   81   
812.38/813.09	c 1220           13763          136307059      2572137        0              436            91   94   84   
818.47/819.17	c 1230           13881          137414296      2591638        0              438            91   94   84   
824.67/825.36	c 1240           14019          138535251      2613219        0              443            82   94   81   
830.66/831.39	c 1250           14131          139626123      2633144        0              445            87   91   81   
836.76/837.44	c 1260           14237          140698136      2653759        0              446            82   85   76   
842.85/843.57	c 1270           14365          141816437      2674941        0              449            80   96   81   
848.85/849.58	c 1280           14481          142904917      2694410        0              453            92   95   85   
855.05/855.72	c 1290           14593          143994603      2716205        0              455            79   82   73   
860.94/861.70	c 1300           14697          145032315      2736378        0              457            76   82   71   
867.04/867.75	c 1310           14808          146098106      2759037        0              460            78   84   73   
873.13/873.89	c 1320           14922          147183909      2778366        0              463            94   96   86   
879.13/879.86	c 1330           15037          148233046      2798293        0              466            79   93   80   
885.22/885.99	c 1340           15159          149310098      2818890        0              468            98   100   89  
891.12/891.83	c 1350           15247          150280673      2838892        0              472            71   72   65   
896.82/897.59	c 1352           15326          151216116      2855136        0              474            77   78   51   
902.61/903.38	c 1360           15414          152181606      2874048        0              478            72   76   66   
908.71/909.43	c 1370           15523          153253651      2895489        0              479            82   87   76   
914.70/915.49	c 1380           15633          154322582      2916172        0              481            82   87   77   
920.90/921.69	c 1390           15755          155407732      2935612        0              484            98   101   90  
927.09/927.85	c 1400           15872          156490234      2956788        0              487            82   90   77   
932.89/933.64	c 1410           15961          157450810      2975400        0              491            73   75   67   
938.89/939.64	c 1420           16070          158501578      2995818        0              494            78   83   73   
944.88/945.66	c 1430           16168          159515615      3015216        0              497            81   84   74   
950.68/951.48	c 1440           16262          160500945      3033249        0              502            75   77   69   
956.47/957.28	c 1450           16355          161481617      3052560        0              507            76   79   69   
962.57/963.32	c 1460           16470          162568903      3072881        0              510            92   96   85   
968.56/969.39	c 1470           16586          163658361      3093185        0              514            96   98   88   
974.66/975.42	c 1480           16693          164729588      3112098        0              519            88   91   81   
980.65/981.46	c 1490           16806          165817232      3132726        0              523            87   92   81   
986.95/987.72	c 1500           16941          167001364      3156066        0              527            86   98   85   
992.95/993.77	c 1510           17057          168094063      3178277        0              530            80   90   77   
999.04/999.86	c 1520           17183          169218198      3199289        0              533            89   97   83   
1005.24/1006.01	c 1530           17313          170331684      3221498        0              536            87   93   82   
1011.13/1011.92	c 1540           17407          171335954      3243260        0              538            70   73   64   
1017.13/1017.91	c 1550           17512          172380642      3262684        0              540            81   85   75   
1023.12/1023.92	c 1560           17629          173456816      3281973        0              545            83   96   82   
1029.12/1029.93	c 1570           17752          174541312      3302703        0              548            88   94   83   
1034.91/1035.77	c 1580           17845          175529505      3322245        0              551            72   77   67   
1040.71/1041.51	c 1585           17928          176472525      3339035        0              554            74   76   62   
1046.51/1047.31	c 1590           18020          177439603      3357059        0              555            75   80   64   
1052.50/1053.30	c 1600           18130          178485344      3375646        0              558            87   90   81   
1058.30/1059.12	c 1610           18230          179487891      3394487        0              559            81   85   74   
1064.49/1065.33	c 1620           18358          180620209      3415806        0              561            84   93   80   
1070.49/1071.36	c 1630           18481          181717074      3436727        0              564            86   98   85   
1076.58/1077.47	c 1640           18602          182843025      3459089        0              567            84   88   78   
1082.58/1083.46	c 1650           18701          183870731      3478059        0              570            78   80   71   
1088.58/1089.41	c 1660           18804          184914763      3499242        0              572            78   84   75   
1094.57/1095.43	c 1670           18901          185944472      3518100        0              573            82   85   75   
1100.38/1101.24	c 1680           19015          186953022      3537175        0              575            83   87   77   
1106.36/1107.21	c 1690           19108          187961257      3555725        0              578            75   78   69   
1112.47/1113.32	c 1700           19227          189093045      3577601        0              579            90   93   82   
1118.65/1119.54	c 1710           19349          190205826      3597633        0              583            95   101   89  
1124.75/1125.61	c 1720           19449          191244324      3616762        0              588            80   83   74   
1130.75/1131.61	c 1730           19564          192301846      3635503        0              592            94   98   86   
1136.65/1137.52	c 1740           19670          193362484      3655152        0              594            82   85   76   
1142.64/1143.58	c 1750           19786          194464826      3676117        0              597            86   90   81   
1148.74/1149.63	c 1760           19904          195551361      3695649        0              601            95   97   87   
1154.83/1155.71	c 1770           20026          196666857      3716297        0              605            89   97   83   
1160.92/1161.86	c 1780           20144          197758212      3735541        0              610            93   98   86   
1167.02/1167.98	c 1790           20261          198878442      3755724        0              614            91   94   84   
1173.02/1173.98	c 1800           20373          199928249      3776578        0              618            81   85   74   
1179.21/1180.16	c 1810           20496          201043651      3797461        0              621            94   99   87   
1185.31/1186.22	c 1820           20612          202124529      3817538        0              627            87   95   82   
1191.40/1192.39	c 1830           20730          203227090      3838309        0              629            90   94   83   
1197.40/1198.37	c 1840           20840          204282828      3857298        0              633            82   93   81   
1203.29/1204.22	c 1841           20924          205243984      3873472        0              634            84   84   42   
1209.20/1210.14	c 1850           21034          206277788      3894261        0              638            79   86   74   
1215.09/1216.02	c 1860           21130          207280004      3916005        0              640            72   76   67   
1221.08/1222.05	c 1870           21242          208341426      3937235        0              644            84   88   77   
1227.28/1228.23	c 1880           21369          209430925      3959538        0              646            80   87   75   
1233.47/1234.46	c 1890           21497          210570410      3981576        0              649            92   97   86   
1239.47/1240.47	c 1900           21606          211623249      4003069        0              651            82   91   78   
1245.37/1246.39	c 1910           21705          212631743      4022331        0              653            75   80   70   
1251.36/1252.33	c 1920           21806          213691105      4042746        0              656            77   79   71   
1257.46/1258.41	c 1930           21923          214779887      4062820        0              657            89   96   83   
1263.66/1264.69	c 1940           22070          215935716      4086033        0              660            94   102   89  
1269.66/1270.62	c 1950           22175          216987750      4105530        0              664            80   84   74   
1275.65/1276.62	c 1960           22300          218060576      4127372        0              666            88   93   81   
1281.85/1282.82	c 1970           22422          219170951      4147506        0              669            99   102   91  
1287.64/1288.67	c 1980           22523          220167502      4166370        0              671            73   78   68   
1293.64/1294.63	c 1990           22629          221200915      4187586        0              674            79   85   75   
1299.83/1300.80	c 2000           22756          222318424      4208244        0              676            98   100   90  
1305.94/1306.93	c 2010           22874          223434008      4228766        0              680            93   97   86   
1312.03/1313.03	c 2020           23001          224564187      4249746        0              683            91   98   86   
1318.03/1319.03	c 2030           23121          225633745      4269022        0              688            83   100   89  
1324.02/1325.00	c 2040           23250          226696586      4288919        0              690            85   99   82   
1329.91/1330.91	c 2050           23358          227727145      4309012        0              694            76   90   75   
1335.71/1336.78	c 2060           23449          228729221      4329280        0              697            74   78   68   
1341.80/1342.81	c 2070           23559          229787541      4348875        0              701            85   94   80   
1347.80/1348.88	c 2080           23681          230887045      4368835        0              704            89   96   84   
1353.80/1354.87	c 2090           23797          231956713      4387815        0              705            95   98   87   
1359.59/1360.69	c 2100           23890          232959683      4406557        0              711            73   75   67   
1365.79/1366.88	c 2110           24019          234060376      4426387        0              714            100   103   92 
1371.68/1372.76	c 2120           24116          235064477      4446163        0              720            76   78   69   
1377.48/1378.56	c 2122           24204          236023295      4462456        0              721            86   87   57   
1383.67/1384.76	c 2130           24322          237131874      4482287        0              723            91   96   83   
1389.77/1390.89	c 2140           24460          238256650      4503316        0              725            93   96   85   
1395.87/1396.90	c 2150           24576          239330917      4523529        0              730            85   90   79   
1402.06/1403.15	c 2160           24694          240449927      4544757        0              735            88   92   81   
1408.16/1409.25	c 2170           24822          241517779      4564101        0              738            99   103   92  
1414.05/1415.12	c 2180           24915          242524792      4583892        0              741            71   72   65   
1420.05/1421.12	c 2190           25025          243574052      4604777        0              745            76   81   71   
1426.14/1427.20	c 2200           25140          244652141      4624045        0              751            88   94   82   
1432.04/1433.16	c 2210           25263          245715280      4643308        0              754            89   96   84   
1437.84/1438.95	c 2220           25351          246683014      4661942        0              758            73   75   67   
1443.83/1444.92	c 2230           25461          247735877      4681886        0              761            81   84   75   
1449.83/1450.93	c 2240           25578          248805870      4700953        0              766            86   94   82   
1455.92/1457.03	c 2250           25704          249904560      4720682        0              768            89   95   84   
1461.93/1463.01	c 2260           25806          250925984      4739553        0              770            80   84   74   
1467.91/1469.05	c 2270           25912          251982756      4758804        0              773            90   91   82   
1473.71/1474.89	c 2280           26006          252981039      4777917        0              777            75   77   68   
1479.90/1481.07	c 2290           26113          254064854      4798407        0              779            82   87   76   
1485.90/1487.08	c 2300           26236          255160697      4819610        0              782            86   91   80   
1491.80/1492.97	c 2310           26334          256188191      4839166        0              787            81   84   75   
1497.79/1498.99	c 2320           26454          257285806      4859753        0              791            83   90   79   
1503.69/1504.85	c 2330           26549          258286687      4879267        0              794            78   81   72   
1509.78/1510.93	c 2340           26671          259388397      4899879        0              796            89   92   82   
1515.79/1516.94	c 2350           26777          260458362      4919001        0              800            88   90   80   
1521.67/1522.85	c 2360           26872          261481320      4938132        0              808            76   80   70   
1527.67/1528.85	c 2370           27000          262587249      4959675        0              810            85   93   80   
1533.67/1534.83	c 2380           27122          263645626      4980397        0              814            84   93   79   
1539.76/1540.91	c 2390           27243          264733629      4999829        0              816            91   97   85   
1545.76/1546.96	c 2400           27372          265794410      5019314        0              820            87   103   85  
1551.95/1553.10	c 2410           27493          266911882      5040464        0              824            91   95   84   
1557.95/1559.11	c 2420           27609          267995763      5061272        0              825            88   92   81   
1564.04/1565.28	c 2430           27744          269122889      5083778        0              828            82   94   80   
1570.04/1571.29	c 2431           27839          270116489      5100057        0              829            95   95   47   
1576.24/1577.40	c 2440           27956          271222910      5119890        0              832            92   97   85   
1582.43/1583.62	c 2450           28087          272347765      5140951        0              838            100   104   92 
1588.43/1589.68	c 2460           28220          273418263      5161846        0              839            87   94   83   
1594.62/1595.80	c 2470           28325          274476196      5180583        0              841            88   91   81   
1600.62/1601.84	c 2480           28457          275546383      5203616        0              846            77   93   75   
1606.81/1608.02	c 2490           28590          276660316      5225602        0              849            96   102   90  
1612.81/1614.06	c 2500           28695          277703839      5244452        0              853            85   90   79   
1618.91/1620.12	c 2510           28809          278782286      5266487        0              858            77   85   72   
1624.90/1626.19	c 2520           28935          279873911      5287594        0              859            91   99   85   
1631.20/1632.41	c 2530           29065          280993008      5308855        0              862            97   103   91  
1637.09/1638.38	c 2540           29188          282054037      5328590        0              869            90   100   86  
1643.19/1644.49	c 2550           29309          283159312      5349827        0              874            90   94   83   
1649.18/1650.45	c 2560           29416          284193017      5370905        0              878            81   88   76   
1655.18/1656.41	c 2570           29510          285180755      5389927        0              881            74   77   68   
1661.18/1662.44	c 2580           29643          286286110      5410086        0              884            89   96   85   
1667.37/1668.62	c 2590           29765          287371740      5430171        0              886            98   102   91  
1673.47/1674.79	c 2600           29890          288496441      5452760        0              889            87   94   82   
1679.67/1680.99	c 2610           30015          289582832      5472452        0              892            95   100   88  
1685.96/1687.25	c 2620           30145          290698922      5493940        0              893            93   99   88   
1692.05/1693.34	c 2630           30252          291761897      5512725        0              896            89   93   82   
1697.95/1699.21	c 2640           30364          292792568      5532023        0              900            90   93   83   
1703.95/1705.25	c 2650           30484          293889524      5552420        0              903            87   93   81   
1710.04/1711.39	c 2660           30608          294964588      5573699        0              907            83   97   82   
1716.14/1717.45	c 2670           30721          296013522      5593595        0              908            89   94   82   
1722.13/1723.47	c 2680           30823          297054308      5614987        0              912            77   81   71   
1728.13/1729.48	c 2690           30939          298117481      5634854        0              917            88   93   82   
1734.22/1735.58	c 2700           31067          299211759      5655516        0              919            88   94   83   
1740.22/1741.55	c 2710           31191          300263833      5675222        0              921            90   98   84   
1746.32/1747.63	c 2720           31323          301375951      5696642        0              924            89   99   87   
1752.41/1753.72	c 2730           31447          302496790      5718095        0              928            86   95   83   
1758.31/1759.66	c 2740           31544          303527369      5738397        0              933            81   83   74   
1764.40/1765.73	c 2750           31661          304625861      5759496        0              936            93   96   86   
1770.50/1771.81	c 2760           31811          305736410      5780196        0              939            81   102   85  
1776.69/1778.01	c 2770           31941          306859283      5800328        0              942            99   103   92  
1782.49/1783.83	c 2771           32031          307834353      5816490        0              943            90   90   45   
1788.49/1789.81	c 2780           32147          308885456      5836248        0              945            93   98   85   
1794.68/1796.03	c 2790           32279          310003742      5857308        0              947            98   103   91  
1800.78/1802.14	c 2800           32396          311090207      5879060        0              949            85   90   79   
1806.87/1808.28	c 2810           32517          312199049      5899432        0              952            89   93   83   
1812.97/1814.36	c 2820           32643          313302831      5921657        0              954            89   98   84   
1819.06/1820.43	c 2830           32746          314378628      5943482        0              957            76   82   72   
1825.16/1826.58	c 2840           32868          315477625      5966441        0              961            77   85   73   
1831.26/1832.65	c 2850           32975          316515614      5988809        0              964            79   83   73   
1837.05/1838.47	c 2860           33071          317493451      6007731        0              968            72   76   66   
1843.24/1844.60	c 2870           33199          318611240      6028242        0              971            94   97   86   
1849.34/1850.70	c 2880           33318          319697630      6050371        0              975            80   90   78   
1855.14/1856.55	c 2890           33416          320695993      6069801        0              977            76   82   71   
1861.33/1862.78	c 2900           33546          321836498      6094062        0              979            85   94   80   
1867.43/1868.88	c 2910           33671          322911230      6116168        0              981            77   94   80   
1873.52/1874.91	c 2920           33795          323940392      6136488        0              985            74   96   76   
1879.73/1881.11	c 2930           33919          325057470      6158875        0              990            82   91   78   
1885.81/1887.22	c 2940           34046          326159845      6179197        0              993            97   103   90  
1891.82/1893.24	c 2950           34177          327243097      6200392        0              997            94   105   90  
1898.00/1899.47	c 2960           34301          328376699      6220945        0              999            96   98   88   
1904.20/1905.67	c 2970           34449          329520899      6243890        0              1001           85   101   84  
1910.30/1911.74	c 2980           34587          330629344      6264711        0              1006           86   100   85  
1916.49/1917.93	c 2990           34723          331736124      6285095        0              1007           99   102   91  
1922.70/1924.11	c 3000           34850          332829000      6304966        0              1012           98   104   92  
1928.49/1929.98	c 3010           34942          333807893      6325444        0              1014           69   73   64   
1934.39/1935.87	c 3020           35036          334808195      6344806        0              1017           73   76   67   
1940.38/1941.89	c 3030           35159          335857308      6366403        0              1021           79   88   76   
1946.38/1947.86	c 3040           35255          336840584      6387183        0              1026           76   78   70   
1952.48/1953.91	c 3050           35358          337894311      6408156        0              1028           77   80   71   
1958.37/1959.89	c 3060           35460          338925682      6430349        0              1031           70   75   66   
1964.47/1965.92	c 3070           35589          339995469      6452931        0              1037           69   91   73   
1970.36/1971.86	c 3080           35703          341055784      6472400        0              1039           81   87   75   
1976.26/1977.74	c 3090           35803          342055796      6492197        0              1041           75   79   69   
1982.35/1983.81	c 3100           35927          343099077      6512896        0              1043           77   89   75   
1988.35/1989.87	c 3110           36039          344175166      6533070        0              1046           86   89   79   
1994.55/1996.04	c 3120           36154          345276415      6552574        0              1047           93   95   86   
2000.55/2002.09	c 3130           36274          346367049      6573628        0              1050           91   96   85   
2006.74/2008.25	c 3140           36386          347454373      6592885        0              1054           93   96   86   
2012.53/2014.06	c 3142           36473          348422505      6609159        0              1055           84   86   56   
2018.73/2020.22	c 3150           36584          349514396      6629433        0              1058           84   89   77   
2024.83/2026.33	c 3160           36709          350640292      6649688        0              1061           92   98   86   
2030.82/2032.39	c 3170           36819          351714725      6669751        0              1064           87   89   80   
2036.92/2038.45	c 3180           36930          352783536      6689619        0              1069           88   93   81   
2042.91/2044.48	c 3190           37047          353851734      6708347        0              1074           92   98   86   
2049.10/2050.62	c 3200           37169          354938363      6728107        0              1078           97   101   90  
2055.10/2056.61	c 3210           37282          356014422      6748355        0              1080           85   90   78   
2061.30/2062.86	c 3220           37406          357145856      6768963        0              1083           92   99   86   
2067.39/2068.95	c 3230           37526          358250874      6789085        0              1086           92   96   84   
2073.49/2075.06	c 3240           37662          359369335      6811028        0              1089           89   99   84   
2079.69/2081.23	c 3250           37774          360444465      6832956        0              1092           78   86   74   
2085.68/2087.26	c 3260           37889          361501959      6853148        0              1095           89   95   82   
2091.67/2093.24	c 3270           37988          362503079      6872959        0              1100           73   78   69   
2097.57/2099.11	c 3280           38091          363512741      6891559        0              1102           76   81   71   
2103.47/2105.02	c 3290           38201          364546354      6910897        0              1104           77   84   73   
2109.37/2110.97	c 3300           38296          365540151      6929881        0              1107           73   76   68   
2115.46/2117.07	c 3310           38420          366601572      6949013        0              1111           82   101   86  
2121.56/2123.14	c 3320           38535          367691766      6968921        0              1114           93   96   85   
2127.65/2129.23	c 3330           38668          368809402      6989649        0              1116           88   95   83   
2133.56/2135.20	c 3340           38782          369855999      7008951        0              1122           86   98   84   
2139.74/2141.33	c 3350           38905          370956710      7028988        0              1126           92   99   86   
2145.84/2147.40	c 3360           39024          372052196      7048541        0              1129           94   98   86   
2151.84/2153.47	c 3370           39146          373134442      7068014        0              1133           90   97   85   
2158.03/2159.68	c 3380           39265          374230544      7087658        0              1137           94   101   88  
2164.13/2165.73	c 3390           39403          375330073      7108995        0              1141           80   95   82   
2170.22/2171.89	c 3400           39557          376474251      7132887        0              1146           85   96   81   
2176.53/2178.15	c 3410           39684          377600497      7153391        0              1149           95   101   88  
2182.52/2184.12	c 3420           39794          378666542      7173057        0              1153           90   92   82   
2188.52/2190.18	c 3430           39917          379754598      7192846        0              1155           93   98   87   
2194.61/2196.28	c 3440           40036          380861689      7212761        0              1157           94   98   86   
2200.50/2202.19	c 3450           40143          381910306      7232450        0              1160           87   89   80   
2206.60/2208.22	c 3460           40263          383000019      7252700        0              1163           95   99   87   
2212.60/2214.22	c 3470           40414          384068880      7273345        0              1166           92   102   89  
2218.59/2220.27	c 3480           40526          385160353      7293229        0              1168           90   95   84   
2224.59/2226.28	c 3490           40645          386225427      7312259        0              1170           96   100   89  
2230.69/2232.38	c 3500           40762          387324327      7332329        0              1174           91   96   85   
2236.78/2238.48	c 3510           40881          388414530      7352638        0              1176           85   89   79   
2242.88/2244.50	c 3520           40993          389488878      7371886        0              1177           89   93   82   
2248.98/2250.68	c 3530           41107          390586065      7392313        0              1178           87   90   79   
2255.07/2256.71	c 3540           41226          391664188      7413368        0              1182           87   95   82   
2260.97/2262.60	c 3550           41331          392689481      7432809        0              1184           81   86   75   
2266.86/2268.56	c 3551           41424          393692077      7450034        0              1185           93   93   46   
2273.06/2274.80	c 3560           41546          394804198      7469782        0              1189           95   102   88  
2279.36/2281.00	c 3570           41658          395898333      7490094        0              1191           88   92   81   
2285.36/2287.09	c 3580           41779          396983148      7510681        0              1194           88   95   82   
2291.55/2293.27	c 3590           41901          398097284      7530123        0              1198           92   98   85   
2297.54/2299.23	c 3600           42039          399165150      7551736        0              1200           89   95   84   
2303.64/2305.38	c 3610           42156          400239796      7570792        0              1201           96   99   89   
2309.64/2311.31	c 3620           42276          401275797      7591395        0              1202           82   91   78   
2315.73/2317.49	c 3630           42410          402386718      7612842        0              1203           91   99   85   
2321.93/2323.70	c 3640           42533          403490176      7633744        0              1206           94   99   87   
2328.03/2329.79	c 3650           42642          404540155      7654212        0              1211           79   85   74   
2334.12/2335.86	c 3660           42765          405616485      7674997        0              1214           89   99   85   
2340.32/2342.05	c 3670           42906          406716318      7694804        0              1216           97   104   91  
2346.61/2348.31	c 3680           43030          407832691      7715683        0              1221           91   98   85   
2352.52/2354.29	c 3690           43137          408872849      7735895        0              1225           86   91   79   
2358.61/2360.38	c 3700           43246          409946931      7756008        0              1229           81   87   76   
2364.61/2366.39	c 3710           43344          410985991      7777080        0              1234           75   78   70   
2371.01/2372.77	c 3720           43496          412173435      7802976        0              1236           84   100   81  
2377.30/2379.00	c 3730           43627          413315670      7826867        0              1239           78   90   75   
2383.30/2385.04	c 3740           43766          414420252      7848326        0              1241           91   98   85   
2389.30/2391.01	c 3750           43883          415461010      7869200        0              1247           76   95   78   
2395.39/2397.18	c 3760           44038          416576619      7891193        0              1252           90   101   87

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

pid=12449
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: 1.74 1.93 2.02 2/242 12452
/proc/meminfo: memFree=31094328/32770624 swapFree=5756/205448
[pid=12452] ppid=12449 vsize=27256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 1030 0 0 0 1 0 0 0 20 0 1 0 1836459 27910144 832 33554432000 4194304 5970956 140720777182864 140720777178152 139956500042391 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 6814 832 702 434 0 178 0

[startup+0.100178 s]
/proc/loadavg: 1.74 1.93 2.02 2/242 12452
/proc/meminfo: memFree=31094328/32770624 swapFree=5756/205448
[pid=12452] ppid=12449 vsize=27824 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 1149 0 0 0 9 0 0 0 20 0 1 0 1836459 28491776 964 33554432000 4194304 5970956 140720777182864 140720777179464 139956490103781 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 6956 964 710 434 0 320 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27824

[startup+0.200381 s]
/proc/loadavg: 1.74 1.93 2.02 2/242 12452
/proc/meminfo: memFree=31094328/32770624 swapFree=5756/205448
[pid=12452] ppid=12449 vsize=28548 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 1333 0 0 0 19 0 0 0 20 0 1 0 1836459 29233152 1162 33554432000 4194304 5970956 140720777182864 140720777179464 5533876 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 7137 1162 710 434 0 501 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28548

[startup+0.300332 s]
/proc/loadavg: 1.74 1.93 2.02 2/242 12452
/proc/meminfo: memFree=31094328/32770624 swapFree=5756/205448
[pid=12452] ppid=12449 vsize=29532 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 1607 0 0 0 29 0 0 0 20 0 1 0 1836459 30240768 1360 33554432000 4194304 5970956 140720777182864 140720777179464 5674140 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 7383 1360 710 434 0 747 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29532

[startup+0.700294 s]
/proc/loadavg: 1.74 1.93 2.02 2/242 12452
/proc/meminfo: memFree=31094328/32770624 swapFree=5756/205448
[pid=12452] ppid=12449 vsize=31908 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 2300 0 0 0 69 0 0 0 20 0 1 0 1836459 32673792 2086 33554432000 4194304 5970956 140720777182864 140720777174472 139956500046128 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 7977 2086 782 434 0 1341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31908

[startup+1.50028 s]
/proc/loadavg: 1.74 1.93 2.02 3/243 12453
/proc/meminfo: memFree=31086344/32770624 swapFree=5756/205540
[pid=12452] ppid=12449 vsize=36528 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 3462 0 0 0 149 0 0 0 20 0 1 0 1836459 37404672 3208 33554432000 4194304 5970956 140720777182864 140720777174472 139956499745124 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 9132 3208 782 434 0 2496 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36528

[startup+3.10029 s]
/proc/loadavg: 1.74 1.93 2.02 3/243 12453
/proc/meminfo: memFree=31079276/32770624 swapFree=5756/205540
[pid=12452] ppid=12449 vsize=45900 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 5939 0 0 0 308 1 0 0 20 0 1 0 1836459 47001600 5561 33554432000 4194304 5970956 140720777182864 140720777174248 139956490851070 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 11475 5561 782 434 0 4839 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45900

[startup+6.30029 s]
/proc/loadavg: 1.76 1.94 2.02 3/243 12453
/proc/meminfo: memFree=31060144/32770624 swapFree=5756/205508
[pid=12452] ppid=12449 vsize=64512 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 10819 0 0 0 627 2 0 0 20 0 1 0 1836459 66060288 10209 33554432000 4194304 5970956 140720777182864 140720777174472 5188399 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 16128 10209 782 434 0 9492 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64512

[startup+12.7003 s]
/proc/loadavg: 1.78 1.94 2.02 3/243 12453
/proc/meminfo: memFree=31021568/32770624 swapFree=5756/205512
[pid=12452] ppid=12449 vsize=101604 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 20462 0 0 0 1265 3 0 0 20 0 1 0 1836459 104042496 19495 33554432000 4194304 5970956 140720777182864 140720777174472 139956500046137 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 25401 19495 782 434 0 18765 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 101604

[startup+25.5004 s]
/proc/loadavg: 1.83 1.94 2.02 3/243 12453
/proc/meminfo: memFree=30858312/32770624 swapFree=5756/205520
[pid=12452] ppid=12449 vsize=264668 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 125786 0 0 0 2538 10 0 0 20 0 1 0 1836459 271020032 59446 33554432000 4194304 5970956 140720777182864 140720777179928 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66167 59446 831 434 0 59531 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 264668

[startup+51.1004 s]
/proc/loadavg: 1.95 1.96 2.02 3/243 12453
/proc/meminfo: memFree=30858272/32770624 swapFree=5756/205552
[pid=12452] ppid=12449 vsize=264932 CPUtime=51.06 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 175205 0 0 0 5094 12 0 0 20 0 1 0 1836459 271290368 59492 33554432000 4194304 5970956 140720777182864 140720777180200 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66233 59492 831 434 0 59597 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 264932

[startup+102.3 s]
/proc/loadavg: 1.98 1.96 2.02 3/243 12454
/proc/meminfo: memFree=30858068/32770624 swapFree=5756/205632
[pid=12452] ppid=12449 vsize=265328 CPUtime=102.23 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 225371 0 0 0 10208 15 0 0 20 0 1 0 1836459 271695872 59607 33554432000 4194304 5970956 140720777182864 140720777180200 4908988 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66332 59607 831 434 0 59696 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 265328

[startup+162.3 s]
/proc/loadavg: 2.10 2.00 2.03 3/243 12455
/proc/meminfo: memFree=30858072/32770624 swapFree=5756/205728
[pid=12452] ppid=12449 vsize=265460 CPUtime=162.18 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 275778 0 0 0 16201 17 0 0 20 0 1 0 1836459 271831040 59642 33554432000 4194304 5970956 140720777182864 140720777180200 5069835 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66365 59642 831 434 0 59729 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 265460

[startup+222.308 s]
/proc/loadavg: 2.15 2.03 2.04 3/243 12456
/proc/meminfo: memFree=30857600/32770624 swapFree=5756/205828
[pid=12452] ppid=12449 vsize=265680 CPUtime=222.14 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 326238 0 0 0 22195 19 0 0 20 0 1 0 1836459 272056320 59676 33554432000 4194304 5970956 140720777182864 140720777180200 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66420 59676 831 434 0 59784 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 265680

[startup+282.3 s]
/proc/loadavg: 2.15 2.06 2.05 3/243 12457
/proc/meminfo: memFree=30857852/32770624 swapFree=5756/205936
[pid=12452] ppid=12449 vsize=265680 CPUtime=282.09 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 376402 0 0 0 28187 22 0 0 20 0 1 0 1836459 272056320 59676 33554432000 4194304 5970956 140720777182864 140720777180200 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66420 59676 831 434 0 59784 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 265680

[startup+342.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/244 12466
/proc/meminfo: memFree=30856624/32770624 swapFree=5756/206032
[pid=12452] ppid=12449 vsize=265680 CPUtime=342.05 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 426622 0 0 0 34181 24 0 0 20 0 1 0 1836459 272056320 59683 33554432000 4194304 5970956 140720777182864 140720777180200 4908963 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66420 59683 831 434 0 59784 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 265680

[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/244 12467
/proc/meminfo: memFree=30856416/32770624 swapFree=5756/206124
[pid=12452] ppid=12449 vsize=265812 CPUtime=402 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 476598 0 0 0 40174 26 0 0 20 0 1 0 1836459 272191488 59694 33554432000 4194304 5970956 140720777182864 140720777180200 5070904 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66453 59694 831 434 0 59817 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 265812

[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/244 12468
/proc/meminfo: memFree=30856364/32770624 swapFree=5756/206224
[pid=12452] ppid=12449 vsize=265812 CPUtime=461.95 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 526466 0 0 0 46167 28 0 0 20 0 1 0 1836459 272191488 59703 33554432000 4194304 5970956 140720777182864 140720777180200 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66453 59703 831 434 0 59817 0
Current children cumulated CPU time (s) 461.95
Current children cumulated vsize (KiB) 265812

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/244 12469
/proc/meminfo: memFree=30853480/32770624 swapFree=5756/206320
[pid=12452] ppid=12449 vsize=265812 CPUtime=521.89 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 577115 0 0 0 52159 30 0 0 20 0 1 0 1836459 272191488 59708 33554432000 4194304 5970956 140720777182864 140720777180200 5070923 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66453 59708 831 434 0 59817 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 265812

[startup+582.3 s]
/proc/loadavg: 2.12 2.06 2.05 3/244 12470
/proc/meminfo: memFree=30853072/32770624 swapFree=5756/206432
[pid=12452] ppid=12449 vsize=265944 CPUtime=581.84 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 607126 0 0 0 58152 32 0 0 20 0 1 0 1836459 272326656 59747 33554432000 4194304 5970956 140720777182864 140720777180200 5070304 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66486 59747 831 434 0 59850 0
Current children cumulated CPU time (s) 581.84
Current children cumulated vsize (KiB) 265944


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12494
/proc/meminfo: memFree=30852364/32770624 swapFree=5756/207916
[pid=12452] ppid=12449 vsize=266076 CPUtime=1481.2 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 635919 0 0 0 148086 34 0 0 20 0 1 0 1836459 272461824 59872 33554432000 4194304 5970956 140720777182864 140720777180200 4909030 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66519 59872 831 434 0 59883 0
Current children cumulated CPU time (s) 1481.2
Current children cumulated vsize (KiB) 266076

[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 12502
/proc/meminfo: memFree=30851732/32770624 swapFree=5756/208016
[pid=12452] ppid=12449 vsize=266076 CPUtime=1541.17 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 637350 0 0 0 154083 34 0 0 20 0 1 0 1836459 272461824 59876 33554432000 4194304 5970956 140720777182864 140720777180200 4908985 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66519 59876 831 434 0 59883 0
Current children cumulated CPU time (s) 1541.17
Current children cumulated vsize (KiB) 266076

[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/243 12525
/proc/meminfo: memFree=30851020/32770624 swapFree=5756/208116
[pid=12452] ppid=12449 vsize=266076 CPUtime=1601.12 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 638767 0 0 0 160078 34 0 0 20 0 1 0 1836459 272461824 59876 33554432000 4194304 5970956 140720777182864 140720777180200 5069712 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66519 59876 831 434 0 59883 0
Current children cumulated CPU time (s) 1601.12
Current children cumulated vsize (KiB) 266076

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 12526
/proc/meminfo: memFree=30850844/32770624 swapFree=5756/208216
[pid=12452] ppid=12449 vsize=266076 CPUtime=1661.08 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 640230 0 0 0 166074 34 0 0 20 0 1 0 1836459 272461824 59876 33554432000 4194304 5970956 140720777182864 140720777180200 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66519 59876 831 434 0 59883 0
Current children cumulated CPU time (s) 1661.08
Current children cumulated vsize (KiB) 266076

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 12527
/proc/meminfo: memFree=30851012/32770624 swapFree=5756/208324
[pid=12452] ppid=12449 vsize=266076 CPUtime=1721.03 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 641591 0 0 0 172069 34 0 0 20 0 1 0 1836459 272461824 59876 33554432000 4194304 5970956 140720777182864 140720777180200 5070304 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66519 59876 831 434 0 59883 0
Current children cumulated CPU time (s) 1721.03
Current children cumulated vsize (KiB) 266076

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 12528
/proc/meminfo: memFree=30851636/32770624 swapFree=5756/208428
[pid=12452] ppid=12449 vsize=266076 CPUtime=1780.99 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 643075 0 0 0 178065 34 0 0 20 0 1 0 1836459 272461824 59878 33554432000 4194304 5970956 140720777182864 140720777180200 5052095 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66519 59878 831 434 0 59883 0
Current children cumulated CPU time (s) 1780.99
Current children cumulated vsize (KiB) 266076

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 12529
/proc/meminfo: memFree=30852024/32770624 swapFree=5756/208532
[pid=12452] ppid=12449 vsize=266076 CPUtime=1840.95 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 644471 0 0 0 184061 34 0 0 20 0 1 0 1836459 272461824 59878 33554432000 4194304 5970956 140720777182864 140720777180200 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66519 59878 831 434 0 59883 0
Current children cumulated CPU time (s) 1840.95
Current children cumulated vsize (KiB) 266076

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12530
/proc/meminfo: memFree=30852032/32770624 swapFree=5756/208632
[pid=12452] ppid=12449 vsize=266208 CPUtime=1900.9 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 645871 0 0 0 190056 34 0 0 20 0 1 0 1836459 272596992 59879 33554432000 4194304 5970956 140720777182864 140720777180200 5052080 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66552 59879 831 434 0 59916 0
Current children cumulated CPU time (s) 1900.9
Current children cumulated vsize (KiB) 266208

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12531
/proc/meminfo: memFree=30852124/32770624 swapFree=5756/208724
[pid=12452] ppid=12449 vsize=266208 CPUtime=1960.87 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 647328 0 0 0 196052 35 0 0 20 0 1 0 1836459 272596992 59881 33554432000 4194304 5970956 140720777182864 140720777180200 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66552 59881 831 434 0 59916 0
Current children cumulated CPU time (s) 1960.87
Current children cumulated vsize (KiB) 266208

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12532
/proc/meminfo: memFree=30852448/32770624 swapFree=5756/208824
[pid=12452] ppid=12449 vsize=266208 CPUtime=2020.83 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 648916 0 0 0 202048 35 0 0 20 0 1 0 1836459 272596992 59882 33554432000 4194304 5970956 140720777182864 140720777180200 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66552 59882 831 434 0 59916 0
Current children cumulated CPU time (s) 2020.83
Current children cumulated vsize (KiB) 266208

[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 12533
/proc/meminfo: memFree=30851532/32770624 swapFree=5756/208888
[pid=12452] ppid=12449 vsize=266208 CPUtime=2080.79 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 650305 0 0 0 208044 35 0 0 20 0 1 0 1836459 272596992 59885 33554432000 4194304 5970956 140720777182864 140720777180200 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66552 59885 831 434 0 59916 0
Current children cumulated CPU time (s) 2080.79
Current children cumulated vsize (KiB) 266208

[startup+2142.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/243 12606
/proc/meminfo: memFree=30373860/32770624 swapFree=5756/209008
[pid=12452] ppid=12449 vsize=266208 CPUtime=2140.74 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 651828 0 0 0 214039 35 0 0 20 0 1 0 1836459 272596992 59886 33554432000 4194304 5970956 140720777182864 140720777180200 4964406 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66552 59886 831 434 0 59916 0
Current children cumulated CPU time (s) 2140.74
Current children cumulated vsize (KiB) 266208

[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 12607
/proc/meminfo: memFree=30373368/32770624 swapFree=5756/209104
[pid=12452] ppid=12449 vsize=266208 CPUtime=2200.71 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 653252 0 0 0 220036 35 0 0 20 0 1 0 1836459 272596992 59886 33554432000 4194304 5970956 140720777182864 140720777180200 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66552 59886 831 434 0 59916 0
Current children cumulated CPU time (s) 2200.71
Current children cumulated vsize (KiB) 266208

[startup+2262.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 12608
/proc/meminfo: memFree=30373516/32770624 swapFree=5756/209204
[pid=12452] ppid=12449 vsize=266208 CPUtime=2260.67 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 654652 0 0 0 226032 35 0 0 20 0 1 0 1836459 272596992 59889 33554432000 4194304 5970956 140720777182864 140720777180200 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66552 59889 831 434 0 59916 0
Current children cumulated CPU time (s) 2260.67
Current children cumulated vsize (KiB) 266208

[startup+2322.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 12609
/proc/meminfo: memFree=30373808/32770624 swapFree=5756/209304
[pid=12452] ppid=12449 vsize=266208 CPUtime=2320.63 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 656051 0 0 0 232028 35 0 0 20 0 1 0 1836459 272596992 59891 33554432000 4194304 5970956 140720777182864 140720777180200 5070898 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66552 59891 831 434 0 59916 0
Current children cumulated CPU time (s) 2320.63
Current children cumulated vsize (KiB) 266208

[startup+2382.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/243 12610
/proc/meminfo: memFree=30374400/32770624 swapFree=5756/209400
[pid=12452] ppid=12449 vsize=266208 CPUtime=2380.6 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 657505 0 0 0 238024 36 0 0 20 0 1 0 1836459 272596992 59892 33554432000 4194304 5970956 140720777182864 140720777180200 4908985 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66552 59892 831 434 0 59916 0
Current children cumulated CPU time (s) 2380.6
Current children cumulated vsize (KiB) 266208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.8 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 12611
/proc/meminfo: memFree=30374184/32770624 swapFree=5756/209440
[pid=12452] ppid=12449 vsize=266208 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/12452/stat : 12452 (cosoco) R 12449 12452 9829 0 -1 4202496 658637 0 0 0 239973 36 0 0 20 0 1 0 1836459 272596992 59892 33554432000 4194304 5970956 140720777182864 140720777180200 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 27582464 140720777184444 140720777184579 140720777184579 140720777187278 0
/proc/12452/statm: 66552 59892 831 434 0 59916 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 266208

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

Child status: 1
Real time (s): 2401.8
CPU time (s): 2400.1
CPU user time (s): 2399.73
CPU system time (s): 0.363745
CPU usage (%): 99.929
Max. virtual memory (cumulated for all children) (KiB): 266208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.73
system time used= 0.363745
maximum resident set size= 239608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 658658
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= 61
involuntary context switches= 122198

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.12978 second user time and 11.7362 second system time

The end

Launcher Data 

Begin job on node146 at 2017-07-21 21:35:11
IDJOB=4242958
IDBENCH=138396
IDSOLVER=2621
FILE ID=node146/4242958-1500665711
RUNJOBID= node146-1500648174-9860
PBS_JOBID= 20623275
Free space on /tmp= 61708 MiB

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

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

MD5SUM BENCH= 80353dd8c937a5bb459a24b290639269
RANDOM SEED=2139273826

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 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.96
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		: 2000.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.96
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		: 1867.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.96
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		: 1867.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.96
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		: 1867.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.96
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		: 2668.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		: 2533.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.96
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		: 1600.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.96
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		: 1733.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.96
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:        31094088 kB
MemAvailable:   31188036 kB
Buffers:           45004 kB
Cached:           357780 kB
SwapCached:            0 kB
Active:          1087184 kB
Inactive:         214304 kB
Active(anon):     901160 kB
Inactive(anon):     8856 kB
Active(file):     186024 kB
Inactive(file):   205448 kB
Unevictable:        5756 kB
Mlocked:            5788 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3240 kB
Writeback:             0 kB
AnonPages:        903408 kB
Mapped:            31688 kB
Shmem:              8852 kB
Slab:              68260 kB
SReclaimable:      36624 kB
SUnreclaim:        31636 kB
KernelStack:        4224 kB
PageTables:         6404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1183320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    503808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61788 MiB
End job on node146 at 2017-07-21 22:15:13