Trace number 4242662

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)689 2400.06 2401

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-14.xml
MD5SUMb2c04361dada2322dcbf50e86c385888
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark531
Best CPU time to get the best result obtained on this benchmark2400.12
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints151
Number of domains2
Minimum domain size64
Maximum domain size150
Distribution of domain sizes[{"size":64,"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.10	o 1536
1.10/1.10	o 1534
1.10/1.10	o 1533
1.10/1.11	o 1520
1.10/1.11	o 1472
1.10/1.11	o 1467
1.59/1.62	o 1460
2.09/2.11	o 1457
2.09/2.11	o 1455
2.09/2.12	o 1443
2.09/2.12	o 1439
2.09/2.12	o 1423
2.09/2.12	o 1416
2.09/2.12	o 1409
2.59/2.61	o 1407
2.59/2.61	o 1406
2.59/2.62	o 1401
2.59/2.62	o 1398
2.59/2.62	o 1395
2.59/2.62	o 1393
2.99/3.09	o 1372
2.99/3.09	o 1361
2.99/3.09	o 1359
2.99/3.09	o 1358
2.99/3.09	o 1347
2.99/3.09	o 1345
3.49/3.59	o 1325
3.49/3.59	o 1321
3.49/3.59	o 1320
3.49/3.59	o 1319
3.49/3.59	o 1318
3.59/3.60	o 1317
3.59/3.60	o 1313
3.99/4.08	o 1310
4.09/4.10	o 1308
5.50/5.56	o 1303
5.50/5.56	o 1301
6.49/6.53	o 1300
6.49/6.53	o 1299
6.99/7.01	o 1295
7.49/7.50	o 1291
7.49/7.50	o 1289
7.49/7.50	o 1288
7.49/7.50	o 1286
10.99/11.05	o 1278
10.99/11.05	o 1277
10.99/11.05	o 1268
10.99/11.06	o 1267
10.99/11.06	o 1264
10.99/11.06	o 1263
10.99/11.06	o 1258
10.99/11.06	o 1257
10.99/11.06	o 1254
11.48/11.52	o 1248
11.48/11.52	o 1230
11.48/11.52	o 1224
11.48/11.52	o 1221
11.98/12.00	o 1219
11.98/12.00	o 1215
11.98/12.01	o 1214
11.98/12.02	o 1210
11.98/12.02	o 1209
11.98/12.02	o 1207
12.98/13.01	o 1206
12.98/13.01	o 1199
12.98/13.01	o 1180
12.98/13.01	o 1179
12.98/13.01	o 1174
12.98/13.01	o 1160
12.98/13.01	o 1151
12.98/13.02	o 1150
14.29/14.38	o 1147
14.29/14.38	o 1145
14.29/14.38	o 1125
14.78/14.86	o 1120
14.78/14.89	o 1110
14.78/14.89	o 1109
15.28/15.36	o 1108
15.28/15.37	o 1107
16.49/16.53	o 1106
17.69/17.72	o 1102
17.69/17.72	o 1098
17.69/17.72	o 1097
18.57/18.66	o 1096
18.57/18.66	o 1095
18.57/18.66	o 1085
19.07/19.13	o 1084
19.57/19.60	o 1083
19.97/20.07	o 1081
19.97/20.07	o 1079
19.97/20.07	o 1078
19.97/20.07	o 1077
19.97/20.07	o 1076
19.97/20.07	o 1075
19.97/20.09	o 1067
20.47/20.60	o 1066
20.57/20.60	o 1065
20.57/20.60	o 1064
20.57/20.60	o 1060
20.99/21.07	o 1059
20.99/21.07	o 1058
21.48/21.53	o 1057
23.38/23.42	o 1056
23.38/23.42	o 1054
23.38/23.47	o 1052
23.88/23.93	o 1051
23.88/23.93	o 1049
26.28/26.32	o 1047
26.68/26.79	o 1042
26.78/26.82	o 1039
27.77/27.80	o 1038
28.58/28.69	o 1032
28.58/28.69	o 1030
29.07/29.15	o 1029
29.57/29.61	o 1027
29.57/29.61	o 1024
29.97/30.07	o 1021
29.97/30.07	o 1020
29.97/30.07	o 1019
29.97/30.07	o 1018
32.87/32.93	o 1016
32.87/32.93	o 1014
34.67/34.72	o 1013
37.07/37.17	o 1008
38.86/38.98	o 1003
39.36/39.48	o 1002
39.36/39.48	o 1001
40.36/40.43	o 997
40.36/40.43	o 994
40.36/40.44	o 993
41.77/41.90	o 989
41.77/41.90	o 988
41.87/41.91	o 986
42.26/42.39	o 969
42.76/42.88	o 967
42.76/42.88	o 965
42.76/42.88	o 964
43.76/43.87	o 946
43.76/43.87	o 945
44.26/44.33	o 935
44.26/44.33	o 934
44.76/44.80	o 933
45.17/45.26	o 932
46.17/46.22	o 931
46.56/46.67	o 930
47.06/47.17	o 925
47.06/47.17	o 920
47.06/47.17	o 917
48.16/48.26	o 915
48.16/48.26	o 910
48.47/48.51	o 908
49.66/49.70	o 907
51.06/51.11	o 906
51.06/51.11	o 889
52.87/52.95	o 884
52.87/52.95	o 883
53.36/53.40	o 877
53.36/53.40	o 875
55.16/55.26	o 871
56.16/56.27	o 870
58.45/58.50	o 869
58.94/59.01	o 868
61.25/61.36	o 864
61.25/61.36	o 861
61.25/61.36	o 855
63.95/64.05	o 854
63.95/64.05	o 852
63.95/64.06	o 850
63.95/64.08	o 849
64.85/64.97	o 848
67.05/67.13	o 846
67.95/68.04	o 845
67.95/68.04	o 844
67.95/68.04	o 843
67.95/68.04	o 842
67.95/68.05	o 841
70.74/70.88	o 839
70.74/70.88	o 837
70.74/70.88	o 834
74.64/74.70	o 832
74.64/74.70	o 830
74.64/74.70	o 829
74.64/74.70	o 828
81.83/81.95	o 825
81.83/81.96	o 823
82.73/82.86	o 820
82.73/82.86	o 819
97.42/97.56	o 818
106.51/106.62	o 816
108.31/108.49	o 815
110.81/110.98	o 813
111.02/111.12	o 812
111.41/111.54	o 809
113.51/113.67	o 793
113.51/113.67	o 791
115.31/115.49	o 789
116.21/116.39	o 787
117.11/117.29	o 785
120.40/120.50	o 784
121.70/121.83	o 783
122.20/122.31	o 782
124.40/124.57	o 781
124.40/124.57	o 780
126.60/126.76	o 778
128.20/128.32	o 777
140.00/140.15	o 776
140.00/140.15	o 774
140.90/141.01	o 773
140.90/141.02	o 770
140.90/141.02	o 769
142.60/142.73	o 768
142.60/142.73	o 766
143.10/143.22	o 765
144.00/144.20	o 764
145.10/145.22	o 762
149.89/150.09	o 761
153.99/154.15	o 758
153.99/154.15	o 756
153.99/154.15	o 754
153.99/154.15	o 750
164.99/165.13	o 748
164.99/165.13	o 745
169.47/169.60	o 744
185.96/186.15	o 741
228.53/228.74	o 740
234.43/234.62	o 739
265.82/266.08	o 738
273.31/273.58	o 737
275.92/276.16	o 736
278.01/278.26	o 735
288.31/288.53	o 734
291.01/291.23	o 733
297.40/297.64	o 732
298.60/298.82	o 731
305.71/305.92	o 730
379.38/379.67	o 729
398.07/398.35	o 727
449.14/449.43	o 726
478.93/479.26	o 724
485.83/486.13	o 723
491.23/491.58	o 722
513.43/513.73	o 721
684.16/684.53	o 720
1202.38/1202.92	o 719
1202.38/1202.92	o 718
1211.87/1212.47	o 713
1215.27/1215.85	o 712
1976.50/1977.34	o 710
2129.86/2130.78	o 708
2139.05/2140.00	o 707
2143.15/2144.06	o 704
2143.15/2144.06	o 703
2185.13/2186.06	o 702
2272.60/2273.58	o 700
2275.20/2276.16	o 698
2276.90/2277.81	o 695
2279.90/2280.81	o 694
2280.30/2281.23	o 692
2293.70/2294.70	o 691
2316.38/2317.30	o 690
2334.88/2335.85	o 689
2400.05/2401.00	s SATISFIABLE
2400.05/2401.00	v <instantiation type="solution">
2400.05/2401.00	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.05/2401.00	v   <values> 4 0 5 14 17 18 22 19 10 6 12 15 23 29 40 46 45 37 34 44 47 50 61 52 63 74 78 84 90 97 94 101 102 100 87 41 35 30 49 70 72 77 83 88 98 111 120 116 117 112 107 104 86 79 27 28 36 38 89 105 121 130 125 118 122 93 9 11 13 25 96 103 129 138 140 145 147 144 135 132 131 123 126 119 113 114 115 108 127 141 146 148 149 142 143 139 134 124 95 1 2 7 3 8 20 16 24 31 42 85 91 99 110 106 109 128 136 137 133 92 60 51 32 39 43 59 56 58 73 68 71 67 66 62 55 54 57 48 53 65 69 76 82 81 80 75 64 33 26 21 1 5 4 1 1 2 1 3 3 2 1 2 4 4 4 1 4 2 3 3 2 3 4 3 3 1 4 4 3 3 5 5 6 8 18 2 1 6 9 1 1 4 2 4 6 3 5 1 2 1 1 9 2 16 4 3 1 16 8 5 2 3 4 2 11 27 3 1 3 27 7 8 4 4 6 4 1 5 2 1 2 5 3 2 4 1 2 6 10 4 2 9 4 2 10 4 2 11 30 3 3 7 1 4 5 2 2 3 15 2 5 6 2 3 7 3 1 6 23 10 3 7 3 1 6 2 1 4 4 1 3 4 2 2 3 2 3 8 4 1 2 5 1 3 2 3 13 2 2 5 </values>
2400.05/2401.00	v </instantiation>

Verifier Data 

OK	689

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-4242662-1500657989/watcher-4242662-1500657989 -o /tmp/evaluation-result-4242662-1500657989/solver-4242662-1500657989 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500648178-2476 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1161024377 HOME/instance-4242662-1500657989.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.05 2/242 4647
/proc/meminfo: memFree=32027012/32770624 swapFree=5956/212872
[pid=4647] ppid=4644 vsize=29200 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 1091 0 0 0 1 0 0 0 20 0 1 0 1067490 29900800 868 33554432000 4194304 7402444 140723097240480 140723097237528 6143894 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 7300 868 618 784 0 314 0

[startup+0.100116 s]
/proc/loadavg: 2.01 2.01 2.05 2/242 4647
/proc/meminfo: memFree=32027012/32770624 swapFree=5956/212872
[pid=4647] ppid=4644 vsize=30420 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 1464 0 0 0 9 0 0 0 20 0 1 0 1067490 31150080 1138 33554432000 4194304 7402444 140723097240480 140723097233720 140644178308069 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 7605 1138 648 784 0 619 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30420

[startup+0.200311 s]
/proc/loadavg: 2.01 2.01 2.05 2/242 4647
/proc/meminfo: memFree=32027012/32770624 swapFree=5956/212872
[pid=4647] ppid=4644 vsize=83104 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 14683 0 0 0 18 1 0 0 20 0 1 0 1067490 85098496 14337 33554432000 4194304 7402444 140723097240480 140723097231560 140644178356128 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 20776 14337 662 784 0 13790 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83104

[startup+0.30035 s]
/proc/loadavg: 2.01 2.01 2.05 2/242 4647
/proc/meminfo: memFree=32027012/32770624 swapFree=5956/212872
[pid=4647] ppid=4644 vsize=154516 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 32528 0 0 0 26 3 0 0 20 0 1 0 1067490 158224384 32157 33554432000 4194304 7402444 140723097240480 140723097231976 140644178308069 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 38629 32157 662 784 0 31643 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 154516

[startup+0.700296 s]
/proc/loadavg: 2.01 2.01 2.05 2/242 4647
/proc/meminfo: memFree=32027012/32770624 swapFree=5956/212872
[pid=4647] ppid=4644 vsize=381920 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 89466 0 0 0 59 10 0 0 20 0 1 0 1067490 391086080 89131 33554432000 4194304 7402444 140723097240480 140723097235016 4484555 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 95480 89131 703 784 0 88494 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 381920

[startup+1.50037 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 4648
/proc/meminfo: memFree=31603320/32770624 swapFree=5956/213272
[pid=4647] ppid=4644 vsize=455312 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 100726 0 0 0 137 12 0 0 20 0 1 0 1067490 466239488 107521 33554432000 4194304 7402444 140723097240480 140723097235016 4484555 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 113828 107521 710 784 0 106842 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 455312

[startup+3.10035 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 4648
/proc/meminfo: memFree=31578148/32770624 swapFree=5956/213272
[pid=4647] ppid=4644 vsize=486332 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 185022 0 0 0 292 17 0 0 20 0 1 0 1067490 498003968 115259 33554432000 4194304 7402444 140723097240480 140723097235016 4484551 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 121583 115259 710 784 0 114597 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 486332

[startup+6.30036 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 4648
/proc/meminfo: memFree=31554220/32770624 swapFree=5956/213264
[pid=4647] ppid=4644 vsize=500588 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 326727 0 0 0 607 22 0 0 20 0 1 0 1067490 512602112 118832 33554432000 4194304 7402444 140723097240480 140723097235016 4484558 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 125147 118832 710 784 0 118161 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 500588

[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 4648
/proc/meminfo: memFree=31547264/32770624 swapFree=5956/213272
[pid=4647] ppid=4644 vsize=506000 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 435868 0 0 0 1241 27 0 0 20 0 1 0 1067490 518144000 120204 33554432000 4194304 7402444 140723097240480 140723097235016 4484555 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126500 120204 710 784 0 119514 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 506000

[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 4648
/proc/meminfo: memFree=31545520/32770624 swapFree=5956/213288
[pid=4647] ppid=4644 vsize=507848 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 518332 0 0 0 2517 31 0 0 20 0 1 0 1067490 520036352 120638 33554432000 4194304 7402444 140723097240480 140723097235496 4484558 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126962 120638 710 784 0 119976 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 507848

[startup+51.1005 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 4648
/proc/meminfo: memFree=31545588/32770624 swapFree=5956/213320
[pid=4647] ppid=4644 vsize=507980 CPUtime=51.06 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 640731 0 0 0 5070 36 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484763 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 507980

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4650
/proc/meminfo: memFree=31546140/32770624 swapFree=5956/213408
[pid=4647] ppid=4644 vsize=507980 CPUtime=102.22 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 725432 0 0 0 10183 39 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484558 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 507980

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4651
/proc/meminfo: memFree=31545812/32770624 swapFree=5956/213496
[pid=4647] ppid=4644 vsize=507980 CPUtime=162.18 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 764783 0 0 0 16177 41 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 5754000 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 507980

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4660
/proc/meminfo: memFree=31544584/32770624 swapFree=5956/213552
[pid=4647] ppid=4644 vsize=507980 CPUtime=222.14 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 769395 0 0 0 22172 42 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4712981 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 507980

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4661
/proc/meminfo: memFree=31544680/32770624 swapFree=5956/213616
[pid=4647] ppid=4644 vsize=507980 CPUtime=282.11 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 770405 0 0 0 28169 42 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484558 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 507980

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 4662
/proc/meminfo: memFree=31544424/32770624 swapFree=5956/213676
[pid=4647] ppid=4644 vsize=507980 CPUtime=342.09 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 771404 0 0 0 34167 42 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 5754000 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 507980

[startup+402.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/244 4663
/proc/meminfo: memFree=31544644/32770624 swapFree=5956/213720
[pid=4647] ppid=4644 vsize=507980 CPUtime=402.06 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 772405 0 0 0 40164 42 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484614 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 507980

[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/244 4664
/proc/meminfo: memFree=31544148/32770624 swapFree=5956/213760
[pid=4647] ppid=4644 vsize=507980 CPUtime=462.04 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 773406 0 0 0 46162 42 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 5754032 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 507980

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/244 4665
/proc/meminfo: memFree=31544476/32770624 swapFree=5956/213828
[pid=4647] ppid=4644 vsize=507980 CPUtime=522.02 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 774407 0 0 0 52160 42 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 5750759 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 507980

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4666
/proc/meminfo: memFree=31544476/32770624 swapFree=5956/213868
[pid=4647] ppid=4644 vsize=507980 CPUtime=582 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 775400 0 0 0 58158 42 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 5754011 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 507980


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


[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4696
/proc/meminfo: memFree=31543672/32770624 swapFree=5956/214244
[pid=4647] ppid=4644 vsize=507980 CPUtime=1481.67 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 790255 0 0 0 148124 43 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484555 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 507980

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4697
/proc/meminfo: memFree=31543584/32770624 swapFree=5956/214280
[pid=4647] ppid=4644 vsize=507980 CPUtime=1541.66 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 791243 0 0 0 154123 43 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484665 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 507980

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4698
/proc/meminfo: memFree=31543236/32770624 swapFree=5956/214312
[pid=4647] ppid=4644 vsize=507980 CPUtime=1601.63 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 792231 0 0 0 160120 43 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484665 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 507980

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4699
/proc/meminfo: memFree=31543188/32770624 swapFree=5956/214344
[pid=4647] ppid=4644 vsize=507980 CPUtime=1661.61 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 793219 0 0 0 166117 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484555 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 507980

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4701
/proc/meminfo: memFree=31542424/32770624 swapFree=5956/214396
[pid=4647] ppid=4644 vsize=507980 CPUtime=1721.59 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 794207 0 0 0 172115 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484558 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 507980

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4702
/proc/meminfo: memFree=31542640/32770624 swapFree=5956/214428
[pid=4647] ppid=4644 vsize=507980 CPUtime=1781.57 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 795195 0 0 0 178113 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484555 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 507980

[startup+1842.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 4703
/proc/meminfo: memFree=31542800/32770624 swapFree=5956/214464
[pid=4647] ppid=4644 vsize=507980 CPUtime=1841.55 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 796183 0 0 0 184111 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484555 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 1841.55
Current children cumulated vsize (KiB) 507980

[startup+1902.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 4705
/proc/meminfo: memFree=31542660/32770624 swapFree=5956/214504
[pid=4647] ppid=4644 vsize=507980 CPUtime=1901.52 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 797171 0 0 0 190108 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 5754048 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 1901.52
Current children cumulated vsize (KiB) 507980

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4706
/proc/meminfo: memFree=31542884/32770624 swapFree=5956/214540
[pid=4647] ppid=4644 vsize=507980 CPUtime=1961.5 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 798159 0 0 0 196106 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484555 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 1961.5
Current children cumulated vsize (KiB) 507980

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4715
/proc/meminfo: memFree=31542012/32770624 swapFree=5956/214596
[pid=4647] ppid=4644 vsize=507980 CPUtime=2021.48 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 799159 0 0 0 202104 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484558 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 2021.48
Current children cumulated vsize (KiB) 507980

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4738
/proc/meminfo: memFree=31540604/32770624 swapFree=5956/214640
[pid=4647] ppid=4644 vsize=507980 CPUtime=2081.47 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 799402 0 0 0 208103 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484558 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 2081.47
Current children cumulated vsize (KiB) 507980

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4739
/proc/meminfo: memFree=31541592/32770624 swapFree=5956/214680
[pid=4647] ppid=4644 vsize=507980 CPUtime=2141.45 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 801148 0 0 0 214101 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 5754027 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 2141.45
Current children cumulated vsize (KiB) 507980

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4740
/proc/meminfo: memFree=31542288/32770624 swapFree=5956/214724
[pid=4647] ppid=4644 vsize=507980 CPUtime=2201.43 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 802149 0 0 0 220099 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484558 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 2201.43
Current children cumulated vsize (KiB) 507980

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4806
/proc/meminfo: memFree=31037540/32770624 swapFree=5956/214956
[pid=4647] ppid=4644 vsize=507980 CPUtime=2261.4 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 803137 0 0 0 226096 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484555 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 2261.4
Current children cumulated vsize (KiB) 507980

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4807
/proc/meminfo: memFree=30803500/32770624 swapFree=5956/215040
[pid=4647] ppid=4644 vsize=507980 CPUtime=2321.38 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 804140 0 0 0 232094 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484555 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 2321.38
Current children cumulated vsize (KiB) 507980

[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4808
/proc/meminfo: memFree=30585920/32770624 swapFree=5956/215092
[pid=4647] ppid=4644 vsize=507980 CPUtime=2381.35 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 805139 0 0 0 238091 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4484558 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 2381.35
Current children cumulated vsize (KiB) 507980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4809
/proc/meminfo: memFree=30535160/32770624 swapFree=5956/215124
[pid=4647] ppid=4644 vsize=507980 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/4647/stat : 4647 (MistralXCSP) R 4644 4647 2444 0 -1 4202496 805139 0 0 0 239961 44 0 0 20 0 1 0 1067490 520171520 120704 33554432000 4194304 7402444 140723097240480 140723097235496 4465337 0 0 4096 16386 0 0 0 17 10 0 0 0 0 0 9500608 9505824 37429248 140723097248936 140723097249086 140723097249086 140723097251785 0
/proc/4647/statm: 126995 120704 710 784 0 120009 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 507980

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

Child status: 0
Real time (s): 2401
CPU time (s): 2400.06
CPU user time (s): 2399.61
CPU system time (s): 0.451837
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 507980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.61
system time used= 0.451837
maximum resident set size= 482848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 805178
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= 124
involuntary context switches= 120693

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71193 second user time and 13.1474 second system time

The end

Launcher Data 

Begin job on node116 at 2017-07-21 19:26:29
IDJOB=4242662
IDBENCH=135805
IDSOLVER=2622
FILE ID=node116/4242662-1500657989
RUNJOBID= node116-1500648178-2476
PBS_JOBID= 20623302
Free space on /tmp= 62008 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-14.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-4242662-1500657989/watcher-4242662-1500657989 -o /tmp/evaluation-result-4242662-1500657989/solver-4242662-1500657989 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500648178-2476 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1161024377 HOME/instance-4242662-1500657989.xml

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

MD5SUM BENCH= b2c04361dada2322dcbf50e86c385888
RANDOM SEED=1161024377

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.19
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.19
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.19
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		: 2133.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.19
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		: 2000.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.19
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.19
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:        32026748 kB
MemAvailable:   32024456 kB
Buffers:           31504 kB
Cached:           278412 kB
SwapCached:            0 kB
Active:           151152 kB
Inactive:         221556 kB
Active(anon):      65840 kB
Inactive(anon):     8684 kB
Active(file):      85312 kB
Inactive(file):   212872 kB
Unevictable:        5956 kB
Mlocked:            5956 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6064 kB
Writeback:             0 kB
AnonPages:        172144 kB
Mapped:            30564 kB
Shmem:              8840 kB
Slab:              63128 kB
SReclaimable:      30720 kB
SUnreclaim:        32408 kB
KernelStack:        4256 kB
PageTables:         4940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     335284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 61984 MiB
End job on node116 at 2017-07-21 20:06:30