Trace number 4261204

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
Mistral-2.0 2017-07-28SAT (TO)689 2520.01 2519.8999

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.09	c 280717
1.01/1.17	o 1536
1.01/1.17	o 1534
1.01/1.17	o 1533
1.01/1.17	o 1520
1.01/1.18	o 1472
1.01/1.18	o 1467
1.51/1.68	o 1460
2.00/2.16	o 1457
2.00/2.16	o 1455
2.00/2.16	o 1443
2.00/2.16	o 1439
2.00/2.16	o 1423
2.00/2.16	o 1416
2.00/2.17	o 1409
2.50/2.65	o 1407
2.50/2.65	o 1406
2.50/2.66	o 1401
2.50/2.66	o 1398
2.50/2.66	o 1395
2.50/2.67	o 1393
3.00/3.13	o 1372
3.00/3.13	o 1361
3.00/3.13	o 1359
3.00/3.13	o 1358
3.00/3.13	o 1347
3.00/3.14	o 1345
3.50/3.62	o 1325
3.50/3.62	o 1321
3.50/3.62	o 1320
3.50/3.63	o 1319
3.50/3.63	o 1318
3.50/3.63	o 1317
3.50/3.63	o 1313
4.01/4.11	o 1310
4.01/4.12	o 1308
5.41/5.57	o 1303
5.41/5.57	o 1301
6.41/6.52	o 1300
6.41/6.52	o 1299
6.81/6.99	o 1295
7.30/7.47	o 1291
7.30/7.47	o 1289
7.30/7.47	o 1288
7.30/7.47	o 1286
10.80/10.99	o 1278
10.80/10.99	o 1277
10.80/11.00	o 1268
10.80/11.00	o 1267
10.80/11.00	o 1264
10.80/11.00	o 1263
10.80/11.00	o 1258
10.80/11.00	o 1257
10.91/11.00	o 1254
11.30/11.46	o 1248
11.30/11.46	o 1230
11.30/11.46	o 1224
11.30/11.46	o 1221
11.80/11.94	o 1219
11.80/11.94	o 1215
11.80/11.94	o 1214
11.80/11.95	o 1210
11.80/11.96	o 1209
11.80/11.96	o 1207
12.81/12.94	o 1206
12.81/12.94	o 1199
12.81/12.94	o 1180
12.81/12.94	o 1179
12.81/12.94	o 1174
12.81/12.94	o 1160
12.81/12.94	o 1151
12.81/12.94	o 1150
14.11/14.29	o 1147
14.11/14.29	o 1145
14.11/14.29	o 1125
14.61/14.77	o 1120
14.71/14.80	o 1110
14.71/14.80	o 1109
15.11/15.27	o 1108
15.11/15.27	o 1107
16.31/16.40	o 1106
17.52/17.61	o 1102
17.52/17.61	o 1098
17.52/17.61	o 1097
18.41/18.54	o 1096
18.41/18.55	o 1095
18.41/18.55	o 1085
18.91/19.02	o 1084
19.31/19.48	o 1083
19.82/19.95	o 1081
19.82/19.95	o 1079
19.82/19.95	o 1078
19.82/19.95	o 1077
19.82/19.96	o 1076
19.82/19.96	o 1075
19.82/19.97	o 1067
20.31/20.47	o 1066
20.31/20.47	o 1065
20.31/20.47	o 1064
20.31/20.48	o 1060
20.81/20.95	o 1059
20.81/20.95	o 1058
21.30/21.41	o 1057
23.20/23.30	o 1056
23.20/23.30	o 1054
23.20/23.36	o 1052
23.70/23.81	o 1051
23.70/23.82	o 1049
26.00/26.20	o 1047
26.50/26.66	o 1042
26.50/26.69	o 1039
27.51/27.64	o 1038
28.40/28.56	o 1032
28.40/28.56	o 1030
28.90/29.02	o 1029
29.30/29.48	o 1027
29.30/29.49	o 1024
29.80/29.95	o 1021
29.80/29.95	o 1020
29.80/29.95	o 1019
29.80/29.95	o 1018
32.70/32.85	o 1016
32.70/32.85	o 1014
34.50/34.65	o 1013
37.01/37.10	o 1008
38.81/38.90	o 1003
39.31/39.40	o 1002
39.31/39.40	o 1001
40.21/40.35	o 997
40.21/40.35	o 994
40.21/40.37	o 993
41.71/41.82	o 989
41.71/41.82	o 988
41.71/41.83	o 986
42.21/42.31	o 969
42.71/42.80	o 967
42.71/42.81	o 965
42.71/42.81	o 964
43.71/43.80	o 946
43.71/43.80	o 945
44.11/44.26	o 935
44.11/44.26	o 934
44.61/44.72	o 933
45.01/45.19	o 932
46.01/46.14	o 931
46.41/46.59	o 930
46.91/47.07	o 925
46.91/47.07	o 920
46.91/47.07	o 917
48.00/48.17	o 915
48.00/48.17	o 910
48.31/48.43	o 908
49.51/49.63	o 907
50.90/51.04	o 906
50.90/51.04	o 889
52.71/52.89	o 884
52.71/52.89	o 883
53.20/53.34	o 877
53.20/53.34	o 875
55.10/55.20	o 871
56.11/56.20	o 870
58.31/58.42	o 869
58.80/58.92	o 868
61.10/61.28	o 864
61.10/61.28	o 861
61.10/61.29	o 855
63.81/63.98	o 854
63.81/63.99	o 852
63.81/63.99	o 850
63.90/64.02	o 849
64.80/64.94	o 848
66.90/67.10	o 846
67.90/68.00	o 845
67.90/68.00	o 844
67.90/68.00	o 843
67.90/68.00	o 842
67.90/68.01	o 841
70.70/70.84	o 839
70.70/70.85	o 837
70.70/70.85	o 834
74.50/74.66	o 832
74.50/74.67	o 830
74.50/74.67	o 829
74.50/74.67	o 828
81.80/81.92	o 825
81.80/81.94	o 823
82.70/82.83	o 820
82.70/82.84	o 819
97.39/97.58	o 818
106.49/106.66	o 816
108.39/108.53	o 815
110.89/111.04	o 813
111.00/111.18	o 812
111.49/111.60	o 809
113.59/113.74	o 793
113.59/113.74	o 791
115.40/115.56	o 789
116.29/116.46	o 787
117.19/117.36	o 785
120.39/120.57	o 784
121.79/121.91	o 783
122.19/122.39	o 782
124.49/124.65	o 781
124.49/124.65	o 780
126.69/126.85	o 778
128.29/128.41	o 777
140.19/140.34	o 776
140.19/140.34	o 774
141.09/141.20	o 773
141.09/141.21	o 770
141.09/141.21	o 769
142.79/142.94	o 768
142.79/142.94	o 766
143.29/143.43	o 765
144.29/144.41	o 764
145.29/145.43	o 762
150.19/150.30	o 761
154.18/154.37	o 758
154.18/154.37	o 756
154.18/154.37	o 754
154.18/154.37	o 750
165.18/165.36	o 748
165.18/165.36	o 745
169.68/169.83	o 744
186.27/186.40	o 741
228.57/228.76	o 740
234.47/234.62	o 739
265.47/265.65	o 738
272.87/273.04	o 737
275.37/275.59	o 736
277.47/277.66	o 735
287.57/287.77	o 734
290.28/290.43	o 733
296.57/296.76	o 732
297.77/297.93	o 731
304.77/304.92	o 730
377.48/377.61	o 729
395.89/396.03	o 727
446.29/446.40	o 726
475.69/475.81	o 724
482.39/482.58	o 723
487.79/487.94	o 722
509.60/509.77	o 721
678.01/678.11	o 720
1188.86/1188.97	o 719
1188.86/1188.97	o 718
1198.26/1198.39	o 713
1201.66/1201.72	o 712
1952.05/1952.08	o 710
2103.07/2103.07	o 708
2112.17/2112.16	o 707
2116.17/2116.17	o 704
2116.17/2116.17	o 703
2157.67/2157.62	o 702
2243.98/2243.96	o 700
2246.58/2246.51	o 698
2248.18/2248.14	o 695
2251.18/2251.10	o 694
2251.58/2251.51	o 692
2264.78/2264.79	o 691
2287.18/2287.11	o 690
2305.38/2305.39	o 689
2520.00/2519.90	s SATISFIABLE
2520.00/2519.90	v <instantiation type="solution">
2520.00/2519.90	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>
2520.00/2519.90	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>
2520.00/2519.90	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-4261204-1502387804/watcher-4261204-1502387804 -o /tmp/evaluation-result-4261204-1502387804/solver-4261204-1502387804 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20548 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1567365615 HOME/instance-4261204-1502387804.xml 

pid=30495
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 30498
/proc/meminfo: memFree=31346984/32770624 swapFree=0/487304
[pid=30498] ppid=30495 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/30498/stat : 30498 (runsolver) D 30495 30498 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 41001221 24240128 106 18446744073709551615 4194304 4338465 140737286384464 140737286382104 139996479484631 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 10973184 140737286385803 140737286386250 140737286386250 140737286389706 0
/proc/30498/statm: 5918 106 53 36 0 2156 0

[startup+0.100172 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 30498
/proc/meminfo: memFree=31346984/32770624 swapFree=0/487304
[pid=30498] ppid=30495 vsize=29376 CPUtime=0.01 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 1098 0 0 0 1 0 0 0 20 0 1 0 41001221 30081024 934 18446744073709551615 4194304 7396336 140727110303072 140727110300072 5955129 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 7344 934 633 782 0 360 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29376

[startup+0.200296 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 30498
/proc/meminfo: memFree=31346984/32770624 swapFree=0/487304
[pid=30498] ppid=30495 vsize=45956 CPUtime=0.1 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 5369 0 0 0 10 0 0 0 20 0 1 0 41001221 47058944 5015 18446744073709551615 4194304 7396336 140727110303072 140727110300072 140077695126501 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 11489 5015 647 782 0 4505 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 45956

[startup+0.30038 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 30498
/proc/meminfo: memFree=31346984/32770624 swapFree=0/487304
[pid=30498] ppid=30495 vsize=113608 CPUtime=0.2 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 22295 0 0 0 18 2 0 0 20 0 1 0 41001221 116334592 21977 18446744073709551615 4194304 7396336 140727110303072 140727110300072 140077695174560 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 28402 21977 647 782 0 21418 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 113608

[startup+0.700342 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 30498
/proc/meminfo: memFree=31346984/32770624 swapFree=0/487304
[pid=30498] ppid=30495 vsize=373732 CPUtime=0.6 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 87529 0 0 0 50 10 0 0 20 0 1 0 41001221 382701568 87052 18446744073709551615 4194304 7396336 140727110303072 140727110294568 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 93433 87052 687 782 0 86449 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 373732

[startup+1.50033 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 30499
/proc/meminfo: memFree=30942676/32770624 swapFree=0/487540
[pid=30498] ppid=30495 vsize=455304 CPUtime=1.41 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 100191 0 0 0 129 12 0 0 20 0 1 0 41001221 466231296 107518 18446744073709551615 4194304 7396336 140727110303072 140727110294568 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 113826 107518 695 782 0 106842 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 455304

[startup+3.10033 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 30499
/proc/meminfo: memFree=30899152/32770624 swapFree=0/487540
[pid=30498] ppid=30495 vsize=486324 CPUtime=3 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 185688 0 0 0 284 16 0 0 20 0 1 0 41001221 497995776 115237 18446744073709551615 4194304 7396336 140727110303072 140727110294568 5792016 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 121581 115237 695 782 0 114597 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 486324

[startup+6.30034 s]
/proc/loadavg: 1.99 2.01 2.04 4/182 30499
/proc/meminfo: memFree=30875332/32770624 swapFree=0/487548
[pid=30498] ppid=30495 vsize=500580 CPUtime=6.21 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 326746 0 0 0 598 23 0 0 20 0 1 0 41001221 512593920 118816 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 125145 118816 695 782 0 118161 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 500580

[startup+12.7003 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 30500
/proc/meminfo: memFree=30868388/32770624 swapFree=0/487552
[pid=30498] ppid=30495 vsize=505992 CPUtime=12.61 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 438233 0 0 0 1232 29 0 0 20 0 1 0 41001221 518135808 120188 18446744073709551615 4194304 7396336 140727110303072 140727110297608 5792137 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126498 120188 695 782 0 119514 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 505992

[startup+25.5004 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 30500
/proc/meminfo: memFree=30865716/32770624 swapFree=0/487548
[pid=30498] ppid=30495 vsize=507840 CPUtime=25.4 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 523091 0 0 0 2508 32 0 0 20 0 1 0 41001221 520028160 120623 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126960 120623 696 782 0 119976 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 507840

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 30500
/proc/meminfo: memFree=30866120/32770624 swapFree=0/487560
[pid=30498] ppid=30495 vsize=507972 CPUtime=51 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 655364 0 0 0 5062 38 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 507972

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 30502
/proc/meminfo: memFree=30865812/32770624 swapFree=0/487560
[pid=30498] ppid=30495 vsize=507972 CPUtime=102.2 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 747607 0 0 0 10179 41 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 507972

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 30504
/proc/meminfo: memFree=30865000/32770624 swapFree=0/487524
[pid=30498] ppid=30495 vsize=507972 CPUtime=162.18 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 795095 0 0 0 16175 43 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 4253040 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 507972

[startup+222.306 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 30506
/proc/meminfo: memFree=30865392/32770624 swapFree=0/487536
[pid=30498] ppid=30495 vsize=507972 CPUtime=222.18 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 809052 0 0 0 22174 44 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 507972

[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 30508
/proc/meminfo: memFree=30865792/32770624 swapFree=0/487556
[pid=30498] ppid=30495 vsize=507972 CPUtime=282.17 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 809718 0 0 0 28173 44 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 507972

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 30510
/proc/meminfo: memFree=30865744/32770624 swapFree=0/487540
[pid=30498] ppid=30495 vsize=507972 CPUtime=342.18 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 810211 0 0 0 34174 44 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 507972

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30512
/proc/meminfo: memFree=30866116/32770624 swapFree=0/487540
[pid=30498] ppid=30495 vsize=507972 CPUtime=402.18 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 810364 0 0 0 40174 44 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 507972

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 30528
/proc/meminfo: memFree=30861948/32770624 swapFree=0/487568
[pid=30498] ppid=30495 vsize=507972 CPUtime=462.19 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 810852 0 0 0 46175 44 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5791906 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 507972

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 30530
/proc/meminfo: memFree=30861580/32770624 swapFree=0/487608
[pid=30498] ppid=30495 vsize=507972 CPUtime=522.2 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 811000 0 0 0 52176 44 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 4253029 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 507972

[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 30532
/proc/meminfo: memFree=30865224/32770624 swapFree=0/487604
[pid=30498] ppid=30495 vsize=507972 CPUtime=582.2 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 811487 0 0 0 58176 44 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5791942 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 507972


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


[startup+1662.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/184 30623
/proc/meminfo: memFree=30860892/32770624 swapFree=0/487916
[pid=30498] ppid=30495 vsize=507972 CPUtime=1662.31 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 817149 0 0 0 166187 44 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 507972

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/184 30625
/proc/meminfo: memFree=30860784/32770624 swapFree=0/487952
[pid=30498] ppid=30495 vsize=507972 CPUtime=1722.32 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 817292 0 0 0 172188 44 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 507972

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 30627
/proc/meminfo: memFree=30864056/32770624 swapFree=0/487956
[pid=30498] ppid=30495 vsize=507972 CPUtime=1782.32 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 817774 0 0 0 178188 44 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 507972

[startup+1842.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 30629
/proc/meminfo: memFree=30864180/32770624 swapFree=0/487972
[pid=30498] ppid=30495 vsize=507972 CPUtime=1842.33 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 817917 0 0 0 184189 44 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792074 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 507972

[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 30631
/proc/meminfo: memFree=30864696/32770624 swapFree=0/487976
[pid=30498] ppid=30495 vsize=507972 CPUtime=1902.35 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 818399 0 0 0 190190 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 1902.35
Current children cumulated vsize (KiB) 507972

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 30633
/proc/meminfo: memFree=30864448/32770624 swapFree=0/487984
[pid=30498] ppid=30495 vsize=507972 CPUtime=1962.35 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 818558 0 0 0 196190 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 1962.35
Current children cumulated vsize (KiB) 507972

[startup+2022.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 30635
/proc/meminfo: memFree=30864572/32770624 swapFree=0/487992
[pid=30498] ppid=30495 vsize=507972 CPUtime=2022.36 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 818862 0 0 0 202191 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 4406471 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 2022.36
Current children cumulated vsize (KiB) 507972

[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 30637
/proc/meminfo: memFree=30864572/32770624 swapFree=0/488000
[pid=30498] ppid=30495 vsize=507972 CPUtime=2082.37 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 819092 0 0 0 208192 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 4406792 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 507972

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 30702
/proc/meminfo: memFree=30621080/32770624 swapFree=0/488040
[pid=30498] ppid=30495 vsize=507972 CPUtime=2142.37 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 819681 0 0 0 214192 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 2142.37
Current children cumulated vsize (KiB) 507972

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 30704
/proc/meminfo: memFree=30620956/32770624 swapFree=0/488044
[pid=30498] ppid=30495 vsize=507972 CPUtime=2202.38 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 819829 0 0 0 220193 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 2202.38
Current children cumulated vsize (KiB) 507972

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 30720
/proc/meminfo: memFree=30617544/32770624 swapFree=0/488068
[pid=30498] ppid=30495 vsize=507972 CPUtime=2262.38 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 820322 0 0 0 226193 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 2262.38
Current children cumulated vsize (KiB) 507972

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 30722
/proc/meminfo: memFree=30616676/32770624 swapFree=0/488080
[pid=30498] ppid=30495 vsize=507972 CPUtime=2322.39 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 820470 0 0 0 232194 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 2322.39
Current children cumulated vsize (KiB) 507972

[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 30724
/proc/meminfo: memFree=30619088/32770624 swapFree=0/488088
[pid=30498] ppid=30495 vsize=507972 CPUtime=2382.39 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 820952 0 0 0 238194 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 2382.39
Current children cumulated vsize (KiB) 507972

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 30726
/proc/meminfo: memFree=30617424/32770624 swapFree=0/488096
[pid=30498] ppid=30495 vsize=507972 CPUtime=2442.4 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 821095 0 0 0 244195 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 2442.4
Current children cumulated vsize (KiB) 507972

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30728
/proc/meminfo: memFree=30617824/32770624 swapFree=0/488100
[pid=30498] ppid=30495 vsize=507972 CPUtime=2502.4 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 821577 0 0 0 250195 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 2502.4
Current children cumulated vsize (KiB) 507972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30728
/proc/meminfo: memFree=30617668/32770624 swapFree=0/488104
[pid=30498] ppid=30495 vsize=507972 CPUtime=2520 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 821577 0 0 0 251955 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792016 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 2520
Current children cumulated vsize (KiB) 507972

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

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30728
/proc/meminfo: memFree=30617668/32770624 swapFree=0/488104
[pid=30498] ppid=30495 vsize=507972 CPUtime=2520 cores=1,3,5,7
/proc/30498/stat : 30498 (MistralXCSP) R 30495 30498 4057 0 -1 4202496 821577 0 0 0 251955 45 0 0 20 0 1 0 41001221 520163328 120689 18446744073709551615 4194304 7396336 140727110303072 140727110298088 5792016 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 40230912 140727110304179 140727110304329 140727110304329 140727110307785 0
/proc/30498/statm: 126993 120689 696 782 0 120009 0
Current children cumulated CPU time (s) 2520
Current children cumulated vsize (KiB) 507972

Child status: 0
Real time (s): 2519.9
CPU time (s): 2520.01
CPU user time (s): 2519.56
CPU system time (s): 0.456048
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 507972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.56
system time used= 0.456048
maximum resident set size= 482784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 821625
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= 128
involuntary context switches= 677

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.32188 second user time and 13.5062 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-10 19:42:40
IDJOB=4261204
IDBENCH=135805
IDSOLVER=2649
FILE ID=node125/4261204-1502387804
RUNJOBID= node125-1502331121-20548
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-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-4261204-1502387804/watcher-4261204-1502387804 -o /tmp/evaluation-result-4261204-1502387804/solver-4261204-1502387804 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20548 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1567365615 HOME/instance-4261204-1502387804.xml

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

MD5SUM BENCH= b2c04361dada2322dcbf50e86c385888
RANDOM SEED=1567365615

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31347356 kB
MemAvailable:   32002328 kB
Buffers:          231956 kB
Cached:           715056 kB
SwapCached:            0 kB
Active:           491920 kB
Inactive:         512212 kB
Active(anon):      57168 kB
Inactive(anon):    24908 kB
Active(file):     434752 kB
Inactive(file):   487304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5892 kB
Writeback:           176 kB
AnonPages:         56500 kB
Mapped:            41112 kB
Shmem:             25252 kB
Slab:             122524 kB
SReclaimable:      97500 kB
SUnreclaim:        25024 kB
KernelStack:        3216 kB
PageTables:         4812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     319396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62020 MiB
End job on node125 at 2017-08-10 20:24:40