Trace number 4242659

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 NameAnswerobjective functionCPU timeWall clock time
R1: Mistral-2.0 2017-06-28SAT (TO)574 2400.05 2401.5

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-15.xml
MD5SUM97b5a288822c02a27c7c951fc8651369
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark524
Best CPU time to get the best result obtained on this benchmark2520.1201
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints151
Number of domains2
Minimum domain size63
Maximum domain size150
Distribution of domain sizes[{"size":63,"count":150},{"size":150,"count":150}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":150},{"degree":3,"count":150}]
Minimum constraint arity3
Maximum constraint arity150
Distribution of constraint arities[{"arity":3,"count":150},{"arity":150,"count":1}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c Mistral-2017-06-28
1.10/1.14	o 2083
1.10/1.14	o 2023
1.10/1.14	o 2022
1.10/1.15	o 2021
1.58/1.65	o 2020
1.58/1.65	o 2016
2.59/2.68	o 2003
2.59/2.68	o 1981
2.59/2.68	o 1978
2.59/2.69	o 1953
2.59/2.69	o 1950
3.09/3.15	o 1947
3.09/3.15	o 1946
3.09/3.16	o 1936
3.09/3.16	o 1931
3.09/3.16	o 1929
3.09/3.16	o 1925
3.59/3.65	o 1909
3.59/3.65	o 1908
4.08/4.12	o 1906
4.08/4.12	o 1902
4.08/4.12	o 1893
4.08/4.12	o 1890
4.08/4.12	o 1885
4.08/4.13	o 1882
4.08/4.13	o 1853
4.08/4.13	o 1850
4.08/4.13	o 1846
4.08/4.13	o 1843
4.59/4.63	o 1835
4.59/4.63	o 1825
4.59/4.63	o 1816
4.59/4.63	o 1774
4.59/4.63	o 1772
4.59/4.63	o 1765
4.59/4.63	o 1736
4.59/4.63	o 1724
5.59/5.62	o 1722
6.09/6.10	o 1717
6.09/6.10	o 1714
6.09/6.10	o 1700
6.09/6.10	o 1695
6.09/6.10	o 1694
6.09/6.11	o 1692
6.09/6.11	o 1690
6.09/6.12	o 1688
6.09/6.12	o 1686
6.09/6.12	o 1682
6.49/6.60	o 1680
6.49/6.60	o 1677
6.49/6.60	o 1675
6.60/6.61	o 1650
6.60/6.61	o 1641
7.49/7.52	o 1637
8.58/8.61	o 1635
9.08/9.11	o 1629
9.58/9.60	o 1628
9.58/9.60	o 1627
9.58/9.60	o 1626
9.99/10.09	o 1623
9.99/10.09	o 1622
9.99/10.09	o 1618
10.48/10.58	o 1617
10.48/10.58	o 1616
10.48/10.58	o 1615
10.48/10.58	o 1610
10.48/10.58	o 1609
10.48/10.59	o 1606
10.99/11.05	o 1593
10.99/11.06	o 1586
11.48/11.52	o 1572
11.48/11.54	o 1571
11.48/11.54	o 1564
12.49/12.50	o 1562
12.88/12.99	o 1557
13.38/13.49	o 1550
14.88/14.90	o 1549
14.88/14.90	o 1526
14.88/14.90	o 1524
14.88/14.90	o 1523
14.88/14.91	o 1516
14.88/14.91	o 1513
15.28/15.37	o 1509
15.28/15.37	o 1507
15.28/15.37	o 1503
15.28/15.37	o 1499
15.28/15.38	o 1497
15.28/15.38	o 1495
15.28/15.39	o 1492
15.78/15.86	o 1484
15.78/15.86	o 1481
15.78/15.89	o 1479
16.38/16.43	o 1457
17.07/17.18	o 1456
17.07/17.18	o 1455
17.07/17.18	o 1449
17.07/17.19	o 1437
17.07/17.19	o 1436
17.07/17.19	o 1429
17.07/17.19	o 1426
17.59/17.63	o 1422
17.59/17.63	o 1421
17.98/18.09	o 1412
17.98/18.09	o 1411
17.98/18.09	o 1410
19.38/19.42	o 1406
19.38/19.42	o 1402
19.38/19.42	o 1400
19.89/19.91	o 1398
19.89/19.91	o 1397
19.89/19.92	o 1394
22.28/22.30	o 1393
22.28/22.31	o 1366
22.68/22.79	o 1362
22.78/22.80	o 1361
23.19/23.26	o 1360
23.19/23.26	o 1354
23.28/23.30	o 1351
23.78/23.81	o 1350
24.29/24.36	o 1349
24.29/24.36	o 1347
24.78/24.85	o 1341
24.78/24.86	o 1327
26.18/26.28	o 1322
26.18/26.28	o 1319
26.68/26.74	o 1312
26.68/26.75	o 1311
27.67/27.79	o 1307
27.67/27.79	o 1294
28.17/28.20	o 1289
28.58/28.68	o 1286
28.58/28.68	o 1278
28.58/28.68	o 1277
28.58/28.68	o 1274
29.07/29.18	o 1271
29.07/29.18	o 1269
29.07/29.18	o 1259
30.07/30.12	o 1253
30.07/30.12	o 1248
30.57/30.63	o 1244
30.57/30.63	o 1238
30.57/30.63	o 1235
31.67/31.71	o 1233
31.67/31.71	o 1225
32.37/32.49	o 1194
33.27/33.30	o 1193
33.67/33.75	o 1175
33.67/33.76	o 1173
34.18/34.23	o 1164
34.18/34.24	o 1163
34.18/34.25	o 1161
36.07/36.15	o 1155
36.07/36.19	o 1154
36.67/36.71	o 1147
36.67/36.71	o 1145
37.07/37.18	o 1141
38.07/38.10	o 1135
38.07/38.10	o 1133
38.96/39.04	o 1132
38.96/39.04	o 1131
39.46/39.55	o 1130
39.46/39.55	o 1129
39.46/39.58	o 1127
39.46/39.58	o 1124
39.46/39.58	o 1123
39.96/40.08	o 1122
41.06/41.14	o 1121
41.06/41.14	o 1113
41.96/42.05	o 1109
43.46/43.52	o 1108
43.86/44.00	o 1107
43.86/44.00	o 1105
43.86/44.00	o 1104
43.97/44.00	o 1103
43.97/44.00	o 1102
43.97/44.00	o 1101
43.97/44.01	o 1100
46.27/46.34	o 1099
46.76/46.83	o 1098
46.76/46.83	o 1097
46.76/46.83	o 1095
47.85/47.97	o 1094
48.55/48.62	o 1091
50.85/50.91	o 1086
51.35/51.40	o 1084
53.65/53.75	o 1080
53.65/53.75	o 1078
54.65/54.71	o 1076
56.64/56.76	o 1071
56.64/56.77	o 1069
60.45/60.56	o 1065
62.34/62.48	o 1053
62.34/62.48	o 1052
63.04/63.16	o 1049
63.04/63.16	o 1047
63.04/63.16	o 1045
63.14/63.21	o 1041
63.14/63.21	o 1038
63.14/63.21	o 1037
63.14/63.22	o 1036
63.64/63.71	o 1034
63.64/63.72	o 1032
66.14/66.21	o 1031
67.54/67.62	o 1029
67.93/68.09	o 1018
68.43/68.55	o 1017
68.43/68.55	o 1015
68.43/68.56	o 1012
68.43/68.57	o 1010
69.83/69.98	o 1006
72.13/72.29	o 1004
72.23/72.30	o 1003
72.23/72.30	o 1002
72.64/72.79	o 1001
74.63/74.75	o 1000
74.63/74.76	o 997
77.03/77.14	o 995
77.03/77.14	o 991
77.53/77.60	o 985
77.53/77.60	o 983
78.83/78.98	o 980
79.83/79.99	o 979
79.93/80.02	o 978
80.03/80.14	o 975
80.53/80.64	o 974
80.63/80.70	o 973
81.72/81.81	o 967
81.72/81.82	o 963
82.12/82.26	o 961
82.12/82.26	o 960
82.12/82.27	o 959
84.52/84.63	o 958
84.52/84.64	o 957
85.83/85.99	o 954
86.83/86.97	o 953
86.83/86.97	o 952
87.32/87.43	o 951
88.32/88.48	o 947
88.32/88.49	o 946
88.32/88.49	o 945
91.61/91.76	o 944
92.51/92.63	o 941
92.51/92.63	o 934
93.91/94.00	o 932
94.31/94.47	o 925
95.51/95.70	o 919
95.51/95.70	o 917
95.51/95.70	o 916
97.41/97.52	o 909
99.60/99.76	o 895
101.12/101.21	o 892
101.12/101.22	o 890
103.81/103.95	o 887
105.21/105.39	o 883
105.21/105.39	o 874
107.11/107.24	o 873
111.40/111.52	o 870
113.00/113.15	o 868
114.41/114.53	o 867
116.20/116.33	o 864
116.20/116.35	o 860
117.10/117.23	o 859
129.69/129.85	o 855
129.69/129.87	o 853
129.69/129.87	o 847
130.18/130.33	o 846
133.88/134.10	o 844
133.98/134.10	o 843
136.17/136.34	o 841
139.47/139.63	o 840
140.78/140.97	o 839
141.67/141.88	o 838
141.67/141.88	o 835
142.57/142.76	o 830
144.77/144.99	o 826
144.77/144.99	o 822
146.47/146.66	o 819
147.37/147.52	o 817
147.77/147.94	o 812
149.57/149.76	o 811
152.87/153.07	o 810
155.07/155.23	o 808
155.07/155.23	o 807
155.07/155.23	o 806
155.07/155.24	o 804
159.16/159.38	o 803
160.26/160.49	o 802
160.76/160.91	o 801
161.16/161.34	o 795
161.16/161.34	o 790
161.16/161.34	o 781
162.46/162.65	o 780
163.26/163.48	o 779
163.77/163.97	o 778
163.77/163.97	o 777
164.76/164.90	o 776
165.16/165.32	o 771
166.96/167.16	o 770
170.15/170.33	o 767
171.85/172.08	o 763
171.85/172.08	o 762
174.86/175.07	o 761
184.24/184.49	o 760
188.34/188.55	o 758
189.44/189.69	o 757
189.44/189.69	o 753
189.44/189.69	o 750
190.34/190.59	o 749
190.34/190.59	o 747
195.03/195.24	o 745
195.83/196.09	o 740
195.93/196.10	o 738
195.93/196.10	o 734
196.74/196.95	o 732
196.74/196.95	o 731
197.23/197.40	o 729
197.23/197.40	o 728
209.92/210.14	o 726
218.31/218.53	o 725
219.41/219.68	o 724
222.01/222.23	o 721
224.10/224.39	o 720
224.60/224.82	o 719
228.89/229.16	o 718
233.79/234.06	o 715
234.20/234.46	o 714
234.20/234.46	o 713
236.29/236.51	o 712
238.68/238.96	o 710
240.69/240.94	o 709
240.69/240.94	o 707
240.69/240.94	o 706
256.18/256.49	o 705
256.58/256.89	o 703
259.07/259.39	o 702
271.37/271.64	o 701
273.87/274.16	o 699
273.87/274.17	o 691
274.37/274.65	o 688
274.87/275.16	o 686
276.06/276.39	o 679
280.37/280.64	o 678
284.06/284.34	o 675
284.06/284.34	o 674
284.06/284.34	o 670
286.16/286.49	o 666
286.26/286.50	o 664
288.86/289.18	o 663
296.55/296.80	o 660
298.96/299.26	o 659
300.75/301.05	o 657
308.34/308.66	o 656
308.34/308.70	o 650
311.05/311.37	o 648
314.14/314.42	o 647
317.44/317.76	o 646
317.44/317.76	o 645
317.44/317.76	o 642
321.34/321.64	o 638
324.24/324.59	o 635
330.13/330.44	o 632
331.43/331.75	o 631
334.33/334.69	o 629
334.43/334.71	o 628
422.28/422.65	o 627
422.28/422.65	o 624
466.45/466.82	o 622
599.18/599.67	o 620
599.18/599.67	o 619
673.72/674.23	o 618
710.50/711.08	o 615
721.49/722.04	o 614
721.49/722.04	o 613
747.18/747.79	o 612
1083.08/1083.82	o 610
1097.77/1098.57	o 607
1098.28/1099.02	o 605
1125.25/1126.02	o 603
1128.25/1129.09	o 601
1420.49/1421.42	o 600
1428.48/1429.40	o 599
1432.88/1433.82	o 598
1445.27/1446.23	o 597
1472.16/1473.13	o 595
1503.04/1504.00	o 594
1509.34/1510.36	o 593
1513.74/1514.76	o 592
1564.31/1565.38	o 591
1568.20/1569.24	o 590
1568.20/1569.24	o 589
1576.50/1577.51	o 588
1643.65/1644.77	o 584
1653.05/1654.19	o 583
1666.34/1667.44	o 581
1666.34/1667.44	o 579
1732.60/1733.76	o 578
1755.48/1756.68	o 574
2400.03/2401.50	s SATISFIABLE
2400.03/2401.50	v <instantiation type="solution">
2400.03/2401.50	v   <list> c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] </list>
2400.03/2401.50	v   <values> 2 0 6 1 10 11 7 3 17 25 29 35 52 46 58 67 73 77 87 88 80 69 51 47 48 33 26 39 42 43 56 64 68 63 55 36 30 15 9 14 8 5 4 13 12 32 34 31 50 45 38 28 22 21 16 20 24 27 49 53 59 96 105 112 118 124 132 125 126 114 109 100 97 98 121 133 122 113 110 108 107 101 82 81 83 90 89 74 72 70 71 54 60 62 65 76 86 91 94 95 99 92 102 103 104 115 116 123 128 136 143 135 134 149 148 145 142 127 120 119 130 141 146 140 139 138 131 147 144 137 129 117 111 106 93 84 85 79 75 78 66 61 57 44 41 40 37 23 19 18 1 6 6 5 2 4 1 4 4 1 2 5 5 6 4 5 1 4 3 4 5 8 1 1 4 4 4 1 1 4 3 6 2 5 6 4 5 4 3 2 2 1 4 2 8 1 1 6 3 2 4 5 2 2 2 6 2 6 6 2 14 2 5 7 1 2 3 3 4 3 2 1 6 10 4 9 3 8 1 1 2 6 4 16 6 1 5 1 1 9 16 3 1 6 4 4 2 2 3 1 4 3 3 2 5 3 2 3 3 1 10 2 5 4 6 2 4 1 1 4 3 3 4 3 4 5 5 2 1 3 3 3 2 9 6 7 2 2 3 5 2 6 4 2 4 2 5 1 4 6 </values>
2400.03/2401.50	v </instantiation>

Verifier Data 

OK	574

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-4242659-1500657984/watcher-4242659-1500657984 -o /tmp/evaluation-result-4242659-1500657984/solver-4242659-1500657984 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500648172-9859 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1447555516 HOME/instance-4242659-1500657984.xml 

pid=11117
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11120
/proc/meminfo: memFree=32023748/32770624 swapFree=5960/189392
[pid=11120] ppid=11117 vsize=29248 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 1118 0 0 0 0 0 0 0 20 0 1 0 1063284 29949952 934 33554432000 4194304 7402444 140731337975488 140731337972536 5888607 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 7312 934 646 784 0 326 0

[startup+0.100149 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11120
/proc/meminfo: memFree=32023748/32770624 swapFree=5960/189392
[pid=11120] ppid=11117 vsize=30068 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 1360 0 0 0 9 0 0 0 20 0 1 0 1063284 30789632 1124 33554432000 4194304 7402444 140731337975488 140731337968728 5885934 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 7517 1124 650 784 0 531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30068

[startup+0.200295 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11120
/proc/meminfo: memFree=32023748/32770624 swapFree=5960/189392
[pid=11120] ppid=11117 vsize=65056 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 10158 0 0 0 18 1 0 0 20 0 1 0 1063284 66617344 9816 33554432000 4194304 7402444 140731337975488 140731337966984 4483593 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 16264 9816 664 784 0 9278 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 65056

[startup+0.300334 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11120
/proc/meminfo: memFree=32023748/32770624 swapFree=5960/189392
[pid=11120] ppid=11117 vsize=136560 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 28029 0 0 0 25 4 0 0 20 0 1 0 1063284 139837440 27702 33554432000 4194304 7402444 140731337975488 140731337966824 140243374345189 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 34140 27702 664 784 0 27154 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 136560

[startup+0.700271 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11120
/proc/meminfo: memFree=32023748/32770624 swapFree=5960/189392
[pid=11120] ppid=11117 vsize=379276 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 88794 0 0 0 57 12 0 0 20 0 1 0 1063284 388378624 88508 33554432000 4194304 7402444 140731337975488 140731337970488 140243374345189 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 94819 88508 703 784 0 87833 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 379276

[startup+1.5003 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11121
/proc/meminfo: memFree=31594400/32770624 swapFree=5960/189392
[pid=11120] ppid=11117 vsize=458660 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 101028 0 0 0 135 14 0 0 20 0 1 0 1063284 469667840 108314 33554432000 4194304 7402444 140731337975488 140731337970024 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 114665 108314 710 784 0 107679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 458660

[startup+3.10031 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11121
/proc/meminfo: memFree=31560904/32770624 swapFree=5960/189392
[pid=11120] ppid=11117 vsize=490736 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 188406 0 0 0 290 19 0 0 20 0 1 0 1063284 502513664 116392 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 122684 116392 710 784 0 115698 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 490736

[startup+6.3003 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11121
/proc/meminfo: memFree=31546768/32770624 swapFree=5960/189392
[pid=11120] ppid=11117 vsize=503672 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 331203 0 0 0 602 27 0 0 20 0 1 0 1063284 515760128 119609 33554432000 4194304 7402444 140731337975488 140731337970504 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 125918 119609 710 784 0 118932 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 503672

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11121
/proc/meminfo: memFree=31540768/32770624 swapFree=5960/189392
[pid=11120] ppid=11117 vsize=508292 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 443261 0 0 0 1236 32 0 0 20 0 1 0 1063284 520491008 120758 33554432000 4194304 7402444 140731337975488 140731337970504 4484665 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127073 120758 710 784 0 120087 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 508292

[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11121
/proc/meminfo: memFree=31539824/32770624 swapFree=5960/189876
[pid=11120] ppid=11117 vsize=509480 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 528334 0 0 0 2513 35 0 0 20 0 1 0 1063284 521707520 121019 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127370 121019 710 784 0 120384 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 509480

[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11121
/proc/meminfo: memFree=31539440/32770624 swapFree=5960/189900
[pid=11120] ppid=11117 vsize=509480 CPUtime=51.05 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 665477 0 0 0 5064 41 0 0 20 0 1 0 1063284 521707520 121081 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127370 121081 710 784 0 120384 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 509480

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11123
/proc/meminfo: memFree=31540052/32770624 swapFree=5960/189972
[pid=11120] ppid=11117 vsize=509612 CPUtime=102.22 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 757934 0 0 0 10176 46 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 509612

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 11124
/proc/meminfo: memFree=31540024/32770624 swapFree=5960/190064
[pid=11120] ppid=11117 vsize=509612 CPUtime=162.16 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 805292 0 0 0 16168 48 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 509612

[startup+222.308 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 11133
/proc/meminfo: memFree=31538996/32770624 swapFree=5960/190172
[pid=11120] ppid=11117 vsize=509612 CPUtime=222.11 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 819118 0 0 0 22163 48 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 509612

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11134
/proc/meminfo: memFree=31539296/32770624 swapFree=5960/190232
[pid=11120] ppid=11117 vsize=509612 CPUtime=282.06 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 820165 0 0 0 28157 49 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 509612

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11135
/proc/meminfo: memFree=31539556/32770624 swapFree=5960/190312
[pid=11120] ppid=11117 vsize=509612 CPUtime=342.02 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 821180 0 0 0 34153 49 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 509612

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11136
/proc/meminfo: memFree=31539524/32770624 swapFree=5960/190356
[pid=11120] ppid=11117 vsize=509612 CPUtime=401.99 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 822197 0 0 0 40150 49 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4712981 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 509612

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11137
/proc/meminfo: memFree=31539796/32770624 swapFree=5960/190404
[pid=11120] ppid=11117 vsize=509612 CPUtime=461.95 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 823224 0 0 0 46146 49 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 461.95
Current children cumulated vsize (KiB) 509612

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11138
/proc/meminfo: memFree=31539536/32770624 swapFree=5960/190432
[pid=11120] ppid=11117 vsize=509612 CPUtime=521.92 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 824251 0 0 0 52143 49 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484665 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 509612

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11139
/proc/meminfo: memFree=31539800/32770624 swapFree=5960/190480
[pid=11120] ppid=11117 vsize=509612 CPUtime=581.88 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 825263 0 0 0 58139 49 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 509612


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


[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11171
/proc/meminfo: memFree=31537352/32770624 swapFree=5960/190988
[pid=11120] ppid=11117 vsize=509612 CPUtime=1541.32 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 841568 0 0 0 154082 50 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 1541.32
Current children cumulated vsize (KiB) 509612

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11172
/proc/meminfo: memFree=31537592/32770624 swapFree=5960/191036
[pid=11120] ppid=11117 vsize=509612 CPUtime=1601.28 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 842594 0 0 0 160078 50 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 1601.28
Current children cumulated vsize (KiB) 509612

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 11173
/proc/meminfo: memFree=31537364/32770624 swapFree=5960/191072
[pid=11120] ppid=11117 vsize=509612 CPUtime=1661.24 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 843620 0 0 0 166074 50 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 5754032 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 1661.24
Current children cumulated vsize (KiB) 509612

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11175
/proc/meminfo: memFree=31537972/32770624 swapFree=5960/191128
[pid=11120] ppid=11117 vsize=509612 CPUtime=1721.2 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 844644 0 0 0 172070 50 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484665 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 1721.2
Current children cumulated vsize (KiB) 509612

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11176
/proc/meminfo: memFree=31538372/32770624 swapFree=5960/191184
[pid=11120] ppid=11117 vsize=509612 CPUtime=1781.17 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 845675 0 0 0 178067 50 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 1781.17
Current children cumulated vsize (KiB) 509612

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11177
/proc/meminfo: memFree=31537212/32770624 swapFree=5960/191220
[pid=11120] ppid=11117 vsize=509612 CPUtime=1841.14 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 846687 0 0 0 184063 51 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 1841.14
Current children cumulated vsize (KiB) 509612

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11179
/proc/meminfo: memFree=31537420/32770624 swapFree=5960/191260
[pid=11120] ppid=11117 vsize=509612 CPUtime=1901.1 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 847699 0 0 0 190059 51 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 1901.1
Current children cumulated vsize (KiB) 509612

[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11180
/proc/meminfo: memFree=31537360/32770624 swapFree=5960/191292
[pid=11120] ppid=11117 vsize=509612 CPUtime=1961.07 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 848711 0 0 0 196056 51 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4712981 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 1961.07
Current children cumulated vsize (KiB) 509612

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11189
/proc/meminfo: memFree=31536660/32770624 swapFree=5960/191340
[pid=11120] ppid=11117 vsize=509612 CPUtime=2021.04 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 849213 0 0 0 202053 51 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484562 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 2021.04
Current children cumulated vsize (KiB) 509612

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11212
/proc/meminfo: memFree=31536044/32770624 swapFree=5960/191376
[pid=11120] ppid=11117 vsize=509612 CPUtime=2081.01 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 849557 0 0 0 208050 51 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 2081.01
Current children cumulated vsize (KiB) 509612

[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 11213
/proc/meminfo: memFree=31537352/32770624 swapFree=5960/191428
[pid=11120] ppid=11117 vsize=509612 CPUtime=2140.97 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 851075 0 0 0 214046 51 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4712981 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 2140.97
Current children cumulated vsize (KiB) 509612

[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 11214
/proc/meminfo: memFree=31536444/32770624 swapFree=5960/191452
[pid=11120] ppid=11117 vsize=509612 CPUtime=2200.94 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 852087 0 0 0 220043 51 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 2200.94
Current children cumulated vsize (KiB) 509612

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11288
/proc/meminfo: memFree=31304204/32770624 swapFree=5960/191444
[pid=11120] ppid=11117 vsize=509612 CPUtime=2260.9 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 853099 0 0 0 226039 51 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 2260.9
Current children cumulated vsize (KiB) 509612

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11289
/proc/meminfo: memFree=31303468/32770624 swapFree=5960/191496
[pid=11120] ppid=11117 vsize=509612 CPUtime=2320.87 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 854112 0 0 0 232036 51 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 2320.87
Current children cumulated vsize (KiB) 509612

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11290
/proc/meminfo: memFree=31303672/32770624 swapFree=5960/191544
[pid=11120] ppid=11117 vsize=509612 CPUtime=2380.84 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 855122 0 0 0 238033 51 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 4484798 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 2380.84
Current children cumulated vsize (KiB) 509612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11290
/proc/meminfo: memFree=31303744/32770624 swapFree=5960/191548
[pid=11120] ppid=11117 vsize=509612 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 855124 0 0 0 239952 51 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 5818318 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 509612

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

[startup+2401.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11290
/proc/meminfo: memFree=31303744/32770624 swapFree=5960/191548
[pid=11120] ppid=11117 vsize=509612 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/11120/stat : 11120 (MistralXCSP) R 11117 11120 9826 0 -1 4202496 855124 0 0 0 239952 51 0 0 20 0 1 0 1063284 521842688 121087 33554432000 4194304 7402444 140731337975488 140731337970504 5818318 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 13103104 140731337983144 140731337983294 140731337983294 140731337985993 0
/proc/11120/statm: 127403 121087 710 784 0 120417 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 509612

Child status: 0
Real time (s): 2401.5
CPU time (s): 2400.05
CPU user time (s): 2399.53
CPU system time (s): 0.5197
CPU usage (%): 99.9395
Max. virtual memory (cumulated for all children) (KiB): 509612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.53
system time used= 0.5197
maximum resident set size= 484380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 855170
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= 108
involuntary context switches= 120688

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.7518 second user time and 12.5975 second system time

The end

Launcher Data 

Begin job on node149 at 2017-07-21 19:26:24
IDJOB=4242659
IDBENCH=135794
IDSOLVER=2622
FILE ID=node149/4242659-1500657984
RUNJOBID= node149-1500648172-9859
PBS_JOBID= 20623272
Free space on /tmp= 62020 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-15.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242659-1500657984/watcher-4242659-1500657984 -o /tmp/evaluation-result-4242659-1500657984/solver-4242659-1500657984 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500648172-9859 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1447555516 HOME/instance-4242659-1500657984.xml

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

MD5SUM BENCH= 97b5a288822c02a27c7c951fc8651369
RANDOM SEED=1447555516

node149.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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.56
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		: 2668.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.56
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		: 1600.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.56
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:        32024136 kB
MemAvailable:   32022132 kB
Buffers:           31416 kB
Cached:           277332 kB
SwapCached:            0 kB
Active:           174200 kB
Inactive:         198076 kB
Active(anon):      66832 kB
Inactive(anon):     8684 kB
Active(file):     107368 kB
Inactive(file):   189392 kB
Unevictable:        5960 kB
Mlocked:            5960 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5808 kB
Writeback:             0 kB
AnonPages:         87196 kB
Mapped:            30464 kB
Shmem:              8848 kB
Slab:              65420 kB
SReclaimable:      34144 kB
SUnreclaim:        31276 kB
KernelStack:        4256 kB
PageTables:         5244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     330972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 62012 MiB
End job on node149 at 2017-07-21 20:06:26