Trace number 4291464

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
OscaR - Hybrid 2018-07-02SAT (TO)143 2400.07 2312.16

General information on the benchmark

NameGraphColoring/
GraphColoring-qg-order40_c18.xml
MD5SUMd1aa36ddb66a988b2d6475ffc1d9c375
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark1305.33
Satisfiable
(Un)Satisfiability was proved
Number of variables1600
Number of constraints62400
Number of domains1
Minimum domain size1600
Maximum domain size1600
Distribution of domain sizes[{"size":1600,"count":1600}]
Minimum variable degree79
Maximum variable degree79
Distribution of variable degrees[{"degree":79,"count":1600}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":62400}]
Number of extensional constraints0
Number of intensional constraints62400
Distribution of constraint types[{"type":"intension","count":62400}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-07-02
0.67/0.56	c seed: 476730868
0.67/0.56	c timeout: 2400
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 4
0.67/0.59	c Parsing instance...
24.29/12.34	c Parsing done, starting first complete search...
26.34/13.46	o 1599
28.08/14.68	o 1598
29.43/15.86	o 1597
30.67/16.91	o 1596
31.70/17.92	o 1595
32.79/18.91	o 1594
36.93/20.79	o 1593
37.93/21.75	o 1592
38.93/22.71	o 1591
39.83/23.67	o 1590
40.84/24.63	o 1589
41.74/25.58	o 1588
42.74/26.54	o 1587
43.64/27.49	o 1586
44.64/28.44	o 1585
45.54/29.38	o 1584
46.54/30.30	o 1583
47.45/31.24	o 1582
48.37/32.16	o 1581
49.27/33.08	o 1580
50.17/34.00	o 1579
51.17/34.91	o 1578
52.07/35.83	o 1577
52.98/36.74	o 1576
53.88/37.67	o 1575
54.88/38.60	o 1574
55.78/39.54	o 1573
56.70/40.46	o 1572
57.66/41.39	o 1571
58.66/42.32	o 1570
59.56/43.26	o 1569
60.47/44.18	o 1568
61.50/45.12	o 1567
62.40/46.05	o 1566
63.29/46.99	o 1565
64.34/47.94	o 1564
65.24/48.88	o 1563
66.29/49.83	o 1562
67.92/50.97	o 1561
68.94/51.91	o 1560
69.87/52.87	o 1559
70.90/53.83	o 1558
71.83/54.77	o 1557
72.84/55.72	o 1556
73.74/56.65	o 1555
74.65/57.59	o 1554
75.65/58.51	o 1553
76.55/59.45	o 1552
77.45/60.37	o 1551
78.45/61.30	o 1550
79.36/62.23	o 1549
80.27/63.15	o 1548
81.17/64.08	o 1547
82.07/64.99	o 1546
83.07/65.91	o 1545
83.97/66.81	o 1544
84.87/67.71	o 1543
85.77/68.62	o 1542
86.67/69.52	o 1541
87.57/70.42	o 1540
88.47/71.33	o 1539
89.37/72.22	o 1538
90.28/73.12	o 1537
91.18/74.02	o 1536
92.08/74.92	o 1535
92.98/75.83	o 1534
93.88/76.73	o 1533
94.78/77.64	o 1532
95.68/78.54	o 1531
96.59/79.44	o 1530
97.49/80.34	o 1529
98.81/81.36	o 1528
99.71/82.27	o 1527
100.62/83.19	o 1526
101.52/84.10	o 1525
102.52/85.02	o 1524
103.41/85.95	o 1523
104.31/86.88	o 1522
105.32/87.81	o 1521
106.22/88.74	o 1520
107.12/89.66	o 1519
108.02/90.58	o 1518
109.02/91.51	o 1517
109.93/92.43	o 1516
110.83/93.35	o 1515
111.73/94.27	o 1514
112.64/95.17	o 1513
113.53/96.10	o 1512
114.54/97.02	o 1511
115.43/97.93	o 1510
116.33/98.84	o 1509
117.23/99.75	o 1508
118.13/100.65	o 1507
119.03/101.56	o 1506
119.93/102.45	o 1505
120.84/103.34	o 1504
121.74/104.22	o 1503
122.54/105.10	o 1502
123.44/105.98	o 1501
124.34/106.86	o 1500
125.24/107.75	o 1499
126.14/108.63	o 1498
127.04/109.51	o 1497
128.45/110.53	o 1496
129.36/111.41	o 1495
130.26/112.31	o 1494
131.07/113.19	o 1493
131.97/114.08	o 1492
132.86/114.97	o 1491
133.76/115.85	o 1490
134.66/116.74	o 1489
135.56/117.63	o 1488
136.46/118.54	o 1487
137.36/119.44	o 1486
138.27/120.36	o 1485
139.16/121.27	o 1484
140.08/122.18	o 1483
140.98/123.09	o 1482
141.88/124.01	o 1481
142.88/124.92	o 1480
143.78/125.84	o 1479
144.68/126.76	o 1478
145.58/127.67	o 1477
146.58/128.60	o 1476
147.48/129.51	o 1475
148.38/130.41	o 1474
149.28/131.31	o 1473
150.19/132.21	o 1472
151.10/133.11	o 1471
151.89/134.00	o 1470
152.80/134.90	o 1469
153.70/135.78	o 1468
154.60/136.67	o 1467
155.50/137.55	o 1466
156.40/138.43	o 1465
157.30/139.31	o 1464
158.91/140.39	o 1463
159.81/141.25	o 1462
160.72/142.12	o 1461
161.51/142.98	o 1460
162.41/143.85	o 1459
163.31/144.72	o 1458
164.11/145.58	o 1457
165.01/146.45	o 1456
165.91/147.32	o 1455
166.81/148.20	o 1454
167.62/149.07	o 1453
168.52/149.95	o 1452
169.42/150.82	o 1451
170.22/151.68	o 1450
171.12/152.56	o 1449
172.02/153.44	o 1448
172.92/154.33	o 1447
173.82/155.22	o 1446
174.63/156.10	o 1445
175.52/156.99	o 1444
176.43/157.89	o 1443
177.33/158.79	o 1442
178.23/159.69	o 1441
179.13/160.59	o 1440
180.03/161.49	o 1439
180.93/162.39	o 1438
181.83/163.29	o 1437
182.74/164.18	o 1436
183.63/165.07	o 1435
184.53/165.95	o 1434
185.44/166.83	o 1433
186.34/167.70	o 1432
187.14/168.58	o 1431
188.04/169.46	o 1430
189.85/170.57	o 1429
190.75/171.45	o 1428
191.65/172.34	o 1427
192.55/173.22	o 1426
193.37/174.09	o 1425
194.26/174.96	o 1424
195.16/175.82	o 1423
195.96/176.69	o 1422
196.86/177.55	o 1421
197.76/178.41	o 1420
198.56/179.27	o 1419
199.47/180.12	o 1418
200.26/180.97	o 1417
201.16/181.84	o 1416
202.06/182.70	o 1415
202.86/183.57	o 1414
203.76/184.44	o 1413
204.66/185.30	o 1412
205.47/186.16	o 1411
206.37/187.02	o 1410
207.16/187.89	o 1409
208.06/188.76	o 1408
208.96/189.64	o 1407
209.86/190.52	o 1406
210.66/191.39	o 1405
211.57/192.27	o 1404
212.48/193.15	o 1403
213.38/194.04	o 1402
214.27/194.93	o 1401
215.17/195.82	o 1400
216.07/196.71	o 1399
216.87/197.59	o 1398
217.77/198.47	o 1397
219.78/199.62	o 1396
220.58/200.48	o 1395
221.48/201.35	o 1394
222.38/202.22	o 1393
223.18/203.09	o 1392
224.08/203.96	o 1391
224.98/204.83	o 1390
225.78/205.68	o 1389
226.68/206.54	o 1388
227.58/207.41	o 1387
228.38/208.26	o 1386
229.29/209.11	o 1385
230.08/209.97	o 1384
230.98/210.82	o 1383
231.78/211.66	o 1382
232.68/212.51	o 1381
233.48/213.36	o 1380
234.38/214.20	o 1379
235.19/215.04	o 1378
235.99/215.88	o 1377
236.89/216.71	o 1376
237.69/217.56	o 1375
238.59/218.42	o 1374
239.38/219.27	o 1373
240.29/220.12	o 1372
241.09/220.97	o 1371
241.98/221.80	o 1370
242.78/222.65	o 1369
243.69/223.50	o 1368
244.49/224.36	o 1367
245.39/225.21	o 1366
246.19/226.07	o 1365
247.09/226.94	o 1364
249.25/228.12	o 1363
250.04/228.98	o 1362
250.94/229.84	o 1361
251.84/230.70	o 1360
252.64/231.57	o 1359
253.54/232.43	o 1358
254.34/233.29	o 1357
255.25/234.14	o 1356
256.04/234.99	o 1355
256.95/235.84	o 1354
257.85/236.70	o 1353
258.65/237.56	o 1352
259.55/238.41	o 1351
260.36/239.25	o 1350
261.16/240.10	o 1349
262.06/240.94	o 1348
262.86/241.79	o 1347
263.76/242.63	o 1346
264.56/243.50	o 1345
265.46/244.33	o 1344
266.28/245.16	o 1343
267.07/245.98	o 1342
267.97/246.81	o 1341
268.77/247.62	o 1340
269.57/248.44	o 1339
270.37/249.25	o 1338
271.17/250.07	o 1337
273.94/251.62	c First complete search done, starting ALNS search...
275.84/253.35	o 1336
277.54/254.91	o 1335
277.54/254.95	o 1334
277.54/254.99	o 1333
277.66/255.07	o 1332
280.97/258.11	o 1331
293.16/269.26	o 1330
308.74/284.34	o 1329
308.90/284.42	o 1328
308.90/284.49	o 1327
309.00/284.58	o 1326
310.03/285.52	o 1325
310.03/285.59	o 1324
310.13/285.65	o 1323
311.04/286.58	o 1322
311.14/286.65	o 1321
311.24/286.71	o 1320
311.34/286.80	o 1319
312.24/287.74	o 1318
313.14/288.67	o 1317
313.25/288.75	o 1316
313.35/288.84	o 1315
313.45/288.94	o 1314
314.45/289.90	o 1313
314.45/290.00	o 1312
314.67/290.11	o 1311
316.29/291.71	o 1310
316.40/291.81	o 1309
316.53/291.92	o 1308
317.43/292.89	o 1307
317.54/292.99	o 1306
317.64/293.09	o 1305
320.50/294.52	o 1304
321.40/295.46	o 1303
321.50/295.55	o 1302
321.60/295.65	o 1301
321.70/295.77	o 1300
322.70/296.74	o 1299
322.81/296.85	o 1298
322.91/296.97	o 1297
323.12/297.11	o 1296
324.62/298.60	o 1295
325.53/299.56	o 1294
325.63/299.68	o 1293
325.73/299.79	o 1292
325.93/299.94	o 1291
326.93/300.93	o 1290
327.84/301.89	o 1289
328.85/302.85	o 1288
329.05/303.01	o 1287
329.16/303.18	o 1286
329.35/303.37	o 1285
330.25/304.29	o 1284
330.45/304.48	o 1283
330.65/304.67	o 1282
330.85/304.89	o 1281
331.85/305.81	o 1280
331.96/306.00	o 1279
332.17/306.19	o 1278
332.46/306.42	o 1277
334.27/308.24	o 1276
337.53/310.19	o 1275
339.02/311.68	o 1274
341.98/313.52	o 1273
343.48/315.02	o 1272
344.88/316.46	o 1271
345.08/316.64	o 1270
345.28/316.83	o 1269
345.48/317.06	o 1268
346.49/318.08	o 1267
347.49/319.07	o 1266
347.69/319.25	o 1265
347.89/319.44	o 1264
349.56/320.02	o 1263
350.56/321.09	o 1262
351.56/322.08	o 1261
351.76/322.26	o 1260
351.96/322.45	o 1259
352.16/322.68	o 1258
353.16/323.60	o 1257
353.26/323.79	o 1256
353.46/323.98	o 1255
353.76/324.20	o 1254
354.67/325.13	o 1253
354.86/325.31	o 1252
355.06/325.50	o 1251
355.26/325.72	o 1250
356.26/326.75	o 1249
357.27/327.67	o 1248
358.37/328.61	o 1247
359.77/330.10	o 1246
361.43/330.66	o 1245
361.63/330.87	o 1244
361.94/331.11	o 1243
362.83/332.04	o 1242
363.03/332.24	o 1241
363.23/332.45	o 1240
363.43/332.69	o 1239
365.33/334.43	o 1238
365.53/334.63	o 1237
365.73/334.84	o 1236
365.94/335.08	o 1235
366.94/336.02	o 1234
367.14/336.23	o 1233
367.34/336.43	o 1232
367.54/336.68	o 1231
368.64/337.72	o 1230
371.60/339.68	o 1229
373.20/341.28	o 1228
376.27/343.25	o 1227
377.87/344.85	o 1226
379.37/346.36	o 1225
381.03/346.92	o 1224
381.24/347.13	o 1223
381.43/347.37	o 1222
383.34/349.29	o 1221
383.54/349.49	o 1220
383.84/349.70	o 1219
384.04/349.94	o 1218
385.15/351.03	o 1217
385.35/351.23	o 1216
385.55/351.44	o 1215
385.75/351.68	o 1214
386.85/352.77	o 1213
387.05/352.97	o 1212
387.27/353.18	o 1211
387.56/353.42	o 1210
388.66/354.52	o 1209
390.23/355.08	o 1208
390.43/355.29	o 1207
390.73/355.53	o 1206
391.83/356.62	o 1205
392.03/356.82	o 1204
392.23/357.03	o 1203
392.43/357.27	o 1202
393.43/358.22	o 1201
393.63/358.42	o 1200
393.83/358.63	o 1199
394.03/358.87	o 1198
395.04/359.81	o 1197
395.24/360.02	o 1196
395.44/360.22	o 1195
395.64/360.47	o 1194
396.64/361.41	o 1193
396.84/361.61	o 1192
397.04/361.82	o 1191
398.83/362.46	o 1190
399.83/363.41	o 1189
400.03/363.61	o 1188
400.23/363.82	o 1187
400.44/364.06	o 1186
401.54/365.16	o 1185
401.74/365.36	o 1184
401.94/365.57	o 1183
402.24/365.81	o 1182
403.34/366.91	o 1181
403.55/367.11	o 1180
403.74/367.32	o 1179
403.94/367.56	o 1178
404.94/368.51	o 1177
405.14/368.71	o 1176
405.34/368.92	o 1175
416.50/373.35	o 1174
418.41/375.29	o 1173
418.61/375.50	o 1172
418.91/375.71	o 1171
419.11/375.95	o 1170
420.11/376.90	o 1169
420.32/377.12	o 1168
420.51/377.35	o 1167
420.81/377.61	o 1166
421.91/378.73	o 1165
422.91/379.75	o 1164
423.11/379.97	o 1163
423.41/380.20	o 1162
423.61/380.45	o 1161
443.34/398.27	o 1160
444.34/399.28	o 1159
444.64/399.50	o 1158
444.84/399.73	o 1157
445.04/399.98	o 1156
446.04/400.93	o 1155
446.25/401.16	o 1154
446.44/401.38	o 1153
446.74/401.64	o 1152
447.84/402.77	o 1151
448.04/402.99	o 1150
448.34/403.22	o 1149
448.54/403.48	o 1148
449.64/404.58	o 1147
453.24/406.79	o 1146
455.04/408.52	o 1145
457.98/410.57	o 1144
459.69/412.29	o 1143
462.10/414.07	o 1142
462.39/414.31	o 1141
462.59/414.55	o 1140
462.89/414.83	o 1139
463.99/415.94	o 1138
465.60/417.51	o 1137
467.81/419.46	o 1136
469.71/421.31	o 1135
471.94/423.27	o 1134
473.85/425.12	o 1133
475.86/426.82	o 1132
477.66/428.66	o 1131
480.01/430.62	o 1130
481.81/432.47	o 1129
484.12/434.44	o 1128
486.22/436.51	o 1127
486.42/436.75	o 1126
486.62/437.00	o 1125
486.92/437.28	o 1124
488.12/438.43	o 1123
489.12/439.45	o 1122
490.54/440.59	o 1121
490.84/440.84	o 1120
491.04/441.10	o 1119
491.34/441.38	o 1118
492.54/442.51	o 1117
494.45/444.49	o 1116
496.85/446.58	o 1115
499.26/448.66	o 1114
501.26/450.64	o 1113
502.96/452.35	o 1112
503.25/452.61	o 1111
503.45/452.87	o 1110
503.76/453.16	o 1109
505.18/454.23	o 1108
505.48/454.51	o 1107
505.68/454.79	o 1106
505.99/455.10	o 1105
507.19/456.29	o 1104
508.29/457.32	o 1103
509.29/458.34	o 1102
510.99/460.08	o 1101
511.29/460.36	o 1100
511.59/460.64	o 1099
511.89/460.95	o 1098
513.10/462.14	o 1097
513.79/462.52	o 1096
514.09/462.80	o 1095
514.41/463.11	o 1094
515.31/464.04	o 1093
517.10/465.81	o 1092
522.83/471.56	o 1091
525.45/473.89	o 1090
527.77/476.12	o 1089
530.39/478.46	o 1088
533.11/480.80	o 1087
534.92/482.63	o 1086
535.22/482.92	o 1085
535.52/483.22	o 1084
535.82/483.55	o 1083
537.02/484.75	o 1082
537.32/485.05	o 1081
537.62/485.35	o 1080
537.92/485.68	o 1079
538.92/486.65	o 1078
539.22/486.95	o 1077
539.84/487.32	o 1076
540.14/487.65	o 1075
541.14/488.62	o 1074
541.44/488.92	o 1073
541.74/489.22	o 1072
542.04/489.55	o 1071
543.04/490.52	o 1070
543.34/490.83	o 1069
543.65/491.15	o 1068
544.04/491.50	o 1067
545.24/492.72	o 1066
545.55/493.04	o 1065
545.85/493.35	o 1064
546.25/493.71	o 1063
548.05/495.55	o 1062
548.66/495.95	o 1061
548.96/496.29	o 1060
549.36/496.66	o 1059
550.66/497.91	o 1058
550.96/498.26	o 1057
551.36/498.61	o 1056
551.66/499.00	o 1055
552.96/500.27	o 1054
553.36/500.65	o 1053
553.76/501.03	o 1052
554.16/501.46	o 1051
555.16/502.44	o 1050
557.58/504.60	o 1049
557.88/504.98	o 1048
558.28/505.37	o 1047
558.68/505.78	o 1046
559.68/506.77	o 1045
560.09/507.15	o 1044
560.48/507.54	o 1043
560.88/507.96	o 1042
562.18/509.24	o 1041
564.60/511.45	o 1040
565.00/511.85	o 1039
565.40/512.27	o 1038
565.90/512.71	o 1037
567.70/514.54	o 1036
569.90/516.73	o 1035
570.31/517.14	o 1034
571.01/517.63	o 1033
571.42/518.08	o 1032
572.42/519.07	o 1031
572.82/519.49	o 1030
573.32/519.91	o 1029
573.72/520.36	o 1028
574.72/521.35	o 1027
575.82/522.42	o 1026
576.92/523.53	o 1025
577.32/523.97	o 1024
577.83/524.42	o 1023
578.33/524.90	o 1022
579.33/525.90	o 1021
579.73/526.35	o 1020
580.36/526.88	o 1019
580.95/527.37	o 1018
582.35/528.74	o 1017
582.76/529.19	o 1016
583.25/529.65	o 1015
583.76/530.18	o 1014
584.76/531.17	o 1013
588.77/534.95	o 1012
592.47/538.69	o 1011
596.60/542.52	o 1010
600.61/546.35	o 1009
603.22/548.90	o 1008
603.72/549.41	o 1007
604.22/549.93	o 1006
604.72/550.47	o 1005
606.14/551.89	o 1004
607.24/553.00	o 1003
608.45/554.15	o 1002
608.94/554.66	o 1001
609.77/555.25	o 1000
610.36/555.80	o 999
611.77/557.20	o 998
614.29/559.74	o 997
618.40/563.69	o 996
622.30/567.56	o 995
626.50/571.57	o 994
630.82/575.62	o 993
633.42/578.29	o 992
634.02/578.83	o 991
634.52/579.38	o 990
635.12/579.96	o 989
636.62/581.43	o 988
637.12/581.97	o 987
637.93/582.60	o 986
638.54/583.18	o 985
639.54/584.18	o 984
642.14/586.79	o 983
644.84/589.43	o 982
645.94/590.58	o 981
646.55/591.12	o 980
647.04/591.68	o 979
647.95/592.32	o 978
649.35/593.79	o 977
649.95/594.34	o 976
650.45/594.89	o 975
651.05/595.47	o 974
652.15/596.52	o 973
652.66/597.09	o 972
653.25/597.65	o 971
653.85/598.25	o 970
655.35/599.76	o 969
658.37/602.52	o 968
659.47/603.66	o 967
660.07/604.23	o 966
660.57/604.79	o 965
661.17/605.38	o 964
662.27/606.40	o 963
662.77/606.96	o 962
663.37/607.53	o 961
663.98/608.13	o 960
665.47/609.63	o 959
665.98/610.19	o 958
666.57/610.76	o 957
667.48/611.44	o 956
668.48/612.47	o 955
669.68/613.61	o 954
673.79/617.74	o 953
678.19/621.94	o 952
682.62/626.15	o 951
686.72/630.27	o 950
689.74/633.08	o 949
690.94/634.24	o 948
691.54/634.84	o 947
692.14/635.45	o 946
692.74/636.07	o 945
693.74/637.10	o 944
694.94/638.26	o 943
697.74/641.04	o 942
702.56/645.63	o 941
707.46/650.32	o 940
712.17/655.03	o 939
717.07/659.79	o 938
718.27/660.91	o 937
719.49/662.11	o 936
720.08/662.75	o 935
720.78/663.41	o 934
721.38/664.09	o 933
723.30/665.75	o 932
724.50/666.92	o 931
729.20/671.64	o 930
734.21/676.42	o 929
739.14/681.19	o 928
744.73/686.79	o 927
745.43/687.47	o 926
746.44/688.23	o 925
747.14/688.95	o 924
748.15/690.00	o 923
749.36/691.18	o 922
754.36/696.12	o 921
759.57/701.14	o 920
764.78/706.16	o 919
769.68/711.04	o 918
770.38/711.73	o 917
771.30/712.49	o 916
772.10/713.21	o 915
773.70/714.82	o 914
774.40/715.51	o 913
775.01/716.19	o 912
775.80/716.91	o 911
776.81/717.95	o 910
777.51/718.64	o 909
778.21/719.32	o 908
778.91/720.04	o 907
779.91/721.08	o 906
783.23/724.19	o 905
786.32/727.25	o 904
787.02/727.93	o 903
787.72/728.62	o 902
788.43/729.33	o 901
789.43/730.37	o 900
790.63/731.56	o 899
795.87/736.57	o 898
801.09/741.58	o 897
806.09/746.52	o 896
811.23/751.42	o 895
811.95/752.12	o 894
812.64/752.82	o 893
813.34/753.56	o 892
815.04/755.21	o 891
815.74/755.91	o 890
816.44/756.62	o 889
817.14/757.35	o 888
818.24/758.40	o 887
819.17/759.18	o 886
819.86/759.88	o 885
820.66/760.62	o 884
821.67/761.66	o 883
822.87/762.87	o 882
823.57/763.58	o 881
824.37/764.30	o 880
825.07/765.05	o 879
826.08/766.09	o 878
826.87/766.83	o 877
827.57/767.57	o 876
828.37/768.35	o 875
829.37/769.39	o 874
832.99/772.70	o 873
833.69/773.44	o 872
834.40/774.18	o 871
835.19/774.95	o 870
836.19/775.98	o 869
842.01/781.52	o 868
847.52/787.03	o 867
853.34/792.67	o 866
856.54/795.87	o 865
858.06/797.19	o 864
859.35/798.43	o 863
865.15/804.28	o 862
871.33/810.24	o 861
877.56/816.22	o 860
879.66/818.30	o 859
880.86/819.56	o 858
881.76/820.40	o 857
882.56/821.25	o 856
883.47/822.11	o 855
884.47/823.19	o 854
885.36/824.05	o 853
886.26/824.92	o 852
887.37/825.89	o 851
888.47/826.96	o 850
889.37/827.83	o 849
890.17/828.69	o 848
891.07/829.59	o 847
892.17/830.66	o 846
893.47/831.93	o 845
894.68/833.19	o 844
898.37/836.89	o 843
899.27/837.77	o 842
900.48/838.72	o 841
901.38/839.63	o 840
902.48/840.71	o 839
903.68/842.00	o 838
904.58/842.87	o 837
905.49/843.75	o 836
906.39/844.65	o 835
907.49/845.72	o 834
908.39/846.60	o 833
909.19/847.47	o 832
910.09/848.38	o 831
911.19/849.46	o 830
912.09/850.33	o 829
913.18/851.28	o 828
914.09/852.19	o 827
915.18/853.26	o 826
916.10/854.14	o 825
917.00/855.01	o 824
917.89/855.92	o 823
919.69/857.75	o 822
920.59/858.64	o 821
921.49/859.54	o 820
922.39/860.47	o 819
924.50/862.38	o 818
925.80/863.65	o 817
926.71/864.56	o 816
927.62/865.47	o 815
928.62/866.42	o 814
929.72/867.50	o 813
931.02/868.80	o 812
931.92/869.76	o 811
932.92/870.72	o 810
933.92/871.71	o 809
935.82/873.63	o 808
937.01/874.69	o 807
938.02/875.68	o 806
939.12/876.71	o 805
941.02/878.66	o 804
942.32/879.97	o 803
943.62/881.29	o 802
944.63/882.29	o 801
945.62/883.29	o 800
946.73/884.32	o 799
947.83/885.41	o 798
948.83/886.41	o 797
950.04/887.49	o 796
951.14/888.53	o 795
952.24/889.64	o 794
953.54/890.96	o 793
954.84/892.27	o 792
955.94/893.30	o 791
956.94/894.33	o 790
957.94/895.38	o 789
959.05/896.48	o 788
960.15/897.50	o 787
961.15/898.53	o 786
962.46/899.67	o 785
963.56/900.77	o 784
964.56/901.79	o 783
965.66/902.82	o 782
966.66/903.88	o 781
967.76/904.98	o 780
968.76/906.00	o 779
969.86/907.02	o 778
970.86/908.08	o 777
972.86/910.06	o 776
977.36/914.34	o 775
978.66/915.68	o 774
982.96/919.90	o 773
984.26/921.24	o 772
988.77/925.54	o 771
993.07/929.80	o 770
997.28/934.07	o 769
998.67/935.20	o 768
999.67/936.27	o 767
1000.78/937.36	o 766
1001.88/938.47	o 765
1003.28/939.83	o 764
1004.37/940.92	o 763
1005.48/942.01	o 762
1006.58/943.13	o 761
1008.59/945.18	o 760
1009.98/946.53	o 759
1011.38/947.91	o 758
1012.70/949.09	o 757
1013.90/950.20	o 756
1015.00/951.34	o 755
1016.10/952.46	o 754
1017.20/953.57	o 753
1018.30/954.67	o 752
1019.50/955.82	o 751
1021.50/957.88	o 750
1022.60/958.99	o 749
1024.01/960.16	o 748
1025.10/961.29	o 747
1026.30/962.41	o 746
1027.40/963.50	o 745
1028.50/964.60	o 744
1029.60/965.74	o 743
1030.70/966.85	o 742
1031.81/967.95	o 741
1032.92/969.05	o 740
1034.31/970.25	o 739
1035.42/971.36	o 738
1036.51/972.46	o 737
1037.62/973.56	o 736
1038.72/974.70	o 735
1039.92/975.81	o 734
1041.23/977.17	o 733
1042.32/978.29	o 732
1043.52/979.41	o 731
1044.62/980.56	o 730
1045.72/981.69	o 729
1050.52/986.21	o 728
1051.62/987.33	o 727
1052.72/988.45	o 726
1053.93/989.60	o 725
1055.93/991.68	o 724
1057.33/993.06	o 723
1065.63/1001.13	o 722
1073.93/1009.28	o 721
1077.72/1012.89	o 720
1078.93/1014.03	o 719
1080.03/1015.16	o 718
1081.22/1016.33	o 717
1083.32/1018.44	o 716
1084.43/1019.57	o 715
1085.63/1020.70	o 714
1086.73/1021.87	o 713
1087.83/1023.00	o 712
1089.23/1024.19	o 711
1090.42/1025.33	o 710
1091.62/1026.50	o 709
1092.74/1027.62	o 708
1093.84/1028.76	o 707
1094.95/1029.89	o 706
1096.15/1031.06	o 705
1098.26/1033.16	o 704
1099.65/1034.54	o 703
1101.05/1035.91	o 702
1102.43/1037.11	o 701
1103.52/1038.24	o 700
1104.62/1039.39	o 699
1105.82/1040.52	o 698
1107.12/1041.89	o 697
1108.33/1043.02	o 696
1109.43/1044.15	o 695
1110.63/1045.32	o 694
1111.73/1046.44	o 693
1112.83/1047.57	o 692
1114.21/1048.77	o 691
1115.41/1049.94	o 690
1116.53/1051.07	o 689
1117.73/1052.20	o 688
1118.83/1053.33	o 687
1120.03/1054.50	o 686
1121.13/1055.63	o 685
1122.23/1056.79	o 684
1123.43/1057.94	o 683
1124.92/1059.20	o 682
1126.02/1060.35	o 681
1130.62/1064.92	o 680
1131.74/1066.09	o 679
1132.93/1067.27	o 678
1134.13/1068.47	o 677
1135.33/1069.63	o 676
1143.93/1078.09	o 675
1152.73/1086.65	o 674
1155.82/1089.51	o 673
1157.02/1090.71	o 672
1158.22/1091.90	o 671
1159.43/1093.13	o 670
1160.52/1094.29	o 669
1165.33/1099.02	o 668
1166.93/1100.49	o 667
1168.13/1101.68	o 666
1169.33/1102.88	o 665
1170.53/1104.09	o 664
1171.73/1105.24	o 663
1173.13/1106.66	o 662
1174.54/1108.10	o 661
1175.83/1109.35	o 660
1177.03/1110.59	o 659
1178.33/1111.87	o 658
1179.54/1113.08	o 657
1181.23/1114.51	o 656
1182.42/1115.73	o 655
1183.63/1116.97	o 654
1184.93/1118.23	o 653
1187.13/1120.44	o 652
1188.33/1121.67	o 651
1189.62/1122.91	o 650
1191.12/1124.24	o 649
1192.22/1125.39	o 648
1193.52/1126.62	o 647
1194.72/1127.86	o 646
1196.03/1129.12	o 645
1198.22/1131.34	o 644
1199.43/1132.57	o 643
1200.73/1133.80	o 642
1202.23/1135.14	o 641
1204.23/1137.12	o 640
1205.62/1138.53	o 639
1207.03/1139.97	o 638
1208.33/1141.22	o 637
1209.53/1142.47	o 636
1210.83/1143.73	o 635
1213.84/1146.78	o 634
1215.34/1148.23	o 633
1216.64/1149.52	o 632
1218.12/1150.87	o 631
1219.44/1152.18	o 630
1220.63/1153.33	o 629
1222.03/1154.78	o 628
1223.53/1156.22	o 627
1224.83/1157.52	o 626
1226.13/1158.83	o 625
1227.44/1160.15	o 624
1228.64/1161.31	o 623
1230.23/1162.70	o 622
1231.54/1164.04	o 621
1232.93/1165.40	o 620
1234.03/1166.57	o 619
1235.54/1168.02	o 618
1236.94/1169.48	o 617
1238.44/1170.95	o 616
1239.84/1172.33	o 615
1241.25/1173.71	o 614
1242.85/1175.18	o 613
1244.04/1176.34	o 612
1245.54/1177.82	o 611
1246.94/1179.21	o 610
1248.34/1180.60	o 609
1249.64/1182.01	o 608
1250.85/1183.18	o 607
1252.35/1184.68	o 606
1257.95/1190.09	o 605
1259.35/1191.48	o 604
1260.75/1192.87	o 603
1262.25/1194.30	o 602
1263.35/1195.47	o 601
1264.85/1196.96	o 600
1266.25/1198.37	o 599
1267.94/1199.85	o 598
1269.34/1201.28	o 597
1270.54/1202.47	o 596
1271.94/1203.88	o 595
1273.35/1205.29	o 594
1274.85/1206.73	o 593
1276.05/1207.91	o 592
1277.55/1209.41	o 591
1288.04/1219.54	o 590
1297.94/1229.23	o 589
1299.34/1230.64	o 588
1300.75/1232.05	o 587
1302.14/1233.49	o 586
1303.35/1234.67	o 585
1304.76/1236.08	o 584
1306.16/1237.49	o 583
1307.85/1239.00	o 582
1310.35/1241.40	o 581
1311.75/1242.81	o 580
1313.16/1244.22	o 579
1314.56/1245.66	o 578
1315.76/1246.87	o 577
1321.43/1252.34	o 576
1331.83/1262.53	o 575
1341.64/1272.17	o 574
1343.03/1273.59	o 573
1344.53/1275.02	o 572
1346.21/1276.54	o 571
1348.61/1278.98	o 570
1354.12/1284.49	o 569
1355.62/1285.96	o 568
1357.30/1287.49	o 567
1358.81/1288.98	o 566
1360.02/1290.16	o 565
1361.51/1291.69	o 564
1363.11/1293.21	o 563
1364.51/1294.67	o 562
1366.02/1296.14	o 561
1367.51/1297.63	o 560
1370.21/1300.15	o 559
1371.70/1301.63	o 558
1373.21/1303.12	o 557
1374.70/1304.64	o 556
1377.21/1307.12	o 555
1378.71/1308.64	o 554
1380.48/1310.23	o 553
1381.98/1311.76	o 552
1383.58/1313.30	o 551
1384.78/1314.50	o 550
1386.28/1316.02	o 549
1387.78/1317.55	o 548
1389.40/1319.12	o 547
1390.59/1320.31	o 546
1392.37/1321.90	o 545
1393.88/1323.42	o 544
1395.37/1324.97	o 543
1396.67/1326.20	o 542
1402.66/1332.01	o 541
1404.15/1333.53	o 540
1405.66/1335.06	o 539
1407.16/1336.57	o 538
1408.67/1338.10	o 537
1410.27/1339.63	o 536
1412.78/1342.15	o 535
1414.55/1343.74	o 534
1416.06/1345.28	o 533
1417.66/1346.85	o 532
1418.86/1348.05	o 531
1420.46/1349.61	o 530
1421.97/1351.17	o 529
1423.84/1352.83	o 528
1425.04/1354.03	o 527
1426.64/1355.67	o 526
1430.06/1359.08	o 525
1431.65/1360.64	o 524
1433.16/1362.19	o 523
1434.75/1363.78	o 522
1437.64/1366.40	o 521
1439.14/1367.94	o 520
1440.74/1369.50	o 519
1442.24/1371.07	o 518
1443.84/1372.65	o 517
1445.04/1373.86	o 516
1446.64/1375.44	o 515
1448.24/1377.02	o 514
1450.02/1378.68	o 513
1451.62/1380.28	o 512
1453.32/1381.91	o 511
1455.82/1384.50	o 510
1457.43/1386.09	o 509
1459.29/1387.75	o 508
1460.90/1389.37	o 507
1462.10/1390.58	o 506
1463.71/1392.17	o 505
1465.30/1393.77	o 504
1467.00/1395.40	o 503
1468.20/1396.60	o 502
1469.98/1398.26	o 501
1471.58/1399.85	o 500
1473.18/1401.48	o 499
1475.19/1403.49	o 498
1476.80/1405.08	o 497
1478.39/1406.68	o 496
1480.28/1408.37	o 495
1482.90/1410.96	o 494
1484.50/1412.52	o 493
1486.11/1414.14	o 492
1487.70/1415.76	o 491
1489.40/1417.41	o 490
1490.60/1418.61	o 489
1492.39/1420.29	o 488
1494.08/1421.90	o 487
1495.68/1423.55	o 486
1499.30/1427.15	o 485
1500.89/1428.75	o 484
1502.78/1430.42	o 483
1504.38/1432.03	o 482
1505.98/1433.68	o 481
1507.18/1434.88	o 480
1508.88/1436.50	o 479
1510.49/1438.11	o 478
1512.35/1439.82	o 477
1513.56/1441.03	o 476
1515.16/1442.66	o 475
1516.86/1444.30	o 474
1518.46/1445.97	o 473
1519.67/1447.18	o 472
1521.36/1448.84	o 471
1523.23/1450.56	o 470
1524.93/1452.24	o 469
1526.12/1453.45	o 468
1527.73/1455.10	o 467
1529.43/1456.76	o 466
1531.13/1458.45	o 465
1534.24/1461.55	o 464
1536.11/1463.27	o 463
1537.81/1464.94	o 462
1539.51/1466.65	o 461
1540.71/1467.87	o 460
1542.41/1469.55	o 459
1544.40/1471.30	o 458
1546.10/1473.02	o 457
1547.30/1474.24	o 456
1549.00/1475.92	o 455
1550.70/1477.61	o 454
1552.40/1479.33	o 453
1553.60/1480.59	o 452
1560.18/1486.95	o 451
1561.88/1488.65	o 450
1563.58/1490.35	o 449
1565.56/1492.14	o 448
1568.26/1494.87	o 447
1580.77/1507.11	o 446
1588.55/1514.73	o 445
1590.25/1516.45	o 444
1592.23/1518.23	o 443
1593.93/1519.99	o 442
1595.23/1521.25	o 441
1601.64/1527.65	o 440
1603.63/1529.43	o 439
1605.34/1531.15	o 438
1607.13/1532.90	o 437
1608.34/1534.13	o 436
1610.03/1535.87	o 435
1612.01/1537.66	o 434
1613.82/1539.44	o 433
1615.02/1540.67	o 432
1616.82/1542.40	o 431
1618.53/1544.14	o 430
1620.32/1545.91	o 429
1621.53/1547.14	o 428
1623.49/1548.94	o 427
1625.19/1550.68	o 426
1626.99/1552.46	o 425
1628.19/1553.69	o 424
1630.00/1555.42	o 423
1631.71/1557.16	o 422
1633.67/1558.99	o 421
1634.97/1560.22	o 420
1636.57/1561.88	o 419
1649.17/1574.23	o 418
1656.76/1581.68	o 417
1659.28/1584.11	o 416
1660.87/1585.73	o 415
1662.57/1587.48	o 414
1664.65/1589.30	o 413
1666.36/1591.08	o 412
1667.65/1592.31	o 411
1669.46/1594.11	o 410
1671.26/1595.91	o 409
1673.07/1597.74	o 408
1674.27/1598.98	o 407
1676.24/1600.71	o 406
1683.04/1607.50	o 405
1684.84/1609.35	o 404
1686.94/1611.26	o 403
1688.85/1613.13	o 402
1690.04/1614.38	o 401
1691.94/1616.23	o 400
1693.74/1618.07	o 399
1695.93/1620.01	o 398
1698.82/1622.91	o 397
1702.52/1626.66	o 396
1704.22/1628.31	o 395
1706.03/1630.15	o 394
1707.83/1632.00	o 393
1710.00/1633.93	o 392
1711.21/1635.18	o 391
1713.93/1637.89	o 390
1715.63/1639.55	o 389
1717.33/1641.22	o 388
1719.24/1643.11	o 387
1721.03/1645.00	o 386
1723.03/1646.91	o 385
1724.24/1648.16	o 384
1726.43/1650.12	o 383
1728.32/1652.02	o 382
1730.22/1653.96	o 381
1733.12/1656.87	o 380
1734.82/1658.55	o 379
1736.70/1660.29	o 378
1738.41/1661.97	o 377
1740.11/1663.70	o 376
1747.22/1670.73	o 375
1748.92/1672.47	o 374
1750.90/1674.26	o 373
1764.89/1688.08	o 372
1771.08/1694.05	o 371
1773.08/1696.02	o 370
1774.98/1697.99	o 369
1776.98/1699.99	o 368
1778.38/1701.31	o 367
1785.86/1708.61	o 366
1800.33/1722.79	o 365
1806.03/1728.40	o 364
1808.21/1730.44	o 363
1810.21/1732.43	o 362
1812.21/1734.45	o 361
1815.21/1737.45	o 360
1816.94/1739.16	o 359
1819.21/1741.22	o 358
1821.21/1743.23	o 357
1823.21/1745.27	o 356
1826.31/1748.37	o 355
1841.18/1762.85	o 354
1846.58/1768.21	o 353
1848.85/1770.32	o 352
1850.85/1772.36	o 351
1852.96/1774.44	o 350
1854.26/1775.77	o 349
1861.94/1783.29	o 348
1864.04/1785.34	o 347
1866.14/1787.40	o 346
1868.41/1789.56	o 345
1869.81/1790.90	o 344
1871.51/1792.66	o 343
1873.61/1794.73	o 342
1875.71/1796.80	o 341
1877.81/1798.90	o 340
1879.28/1800.25	o 339
1880.99/1801.98	o 338
1882.79/1803.73	o 337
1884.89/1805.85	o 336
1887.00/1807.98	o 335
1889.21/1810.12	o 334
1890.50/1811.41	o 333
1892.76/1813.58	o 332
1894.96/1815.70	o 331
1897.06/1817.84	o 330
1900.16/1820.98	o 329
1902.55/1823.17	o 328
1904.64/1825.29	o 327
1906.84/1827.46	o 326
1908.14/1828.76	o 325
1909.95/1830.51	o 324
1912.05/1832.64	o 323
1914.43/1834.83	o 322
1916.54/1836.97	o 321
1919.74/1840.13	o 320
1921.83/1842.25	o 319
1924.21/1844.45	o 318
1926.41/1846.61	o 317
1927.71/1847.90	o 316
1929.41/1849.66	o 315
1931.51/1851.79	o 314
1933.89/1853.98	o 313
1936.10/1856.14	o 312
1939.29/1859.38	o 311
1947.37/1867.20	o 310
1949.07/1868.97	o 309
1951.28/1871.11	o 308
1953.37/1873.26	o 307
1955.75/1875.48	o 306
1959.06/1878.72	o 305
1974.61/1893.96	o 304
1979.23/1898.59	o 303
1987.21/1906.39	o 302
1989.02/1908.17	o 301
1991.21/1910.34	o 300
1993.41/1912.51	o 299
1995.80/1914.75	o 298
1997.10/1916.05	o 297
1999.30/1918.20	o 296
2001.40/1920.36	o 295
2003.60/1922.54	o 294
2004.90/1923.88	o 293
2006.70/1925.67	o 292
2009.17/1927.93	o 291
2011.38/1930.13	o 290
2013.57/1932.36	o 289
2016.88/1935.60	o 288
2018.85/1937.44	o 287
2020.65/1939.22	o 286
2022.86/1941.40	o 285
2024.96/1943.59	o 284
2027.16/1945.78	o 283
2028.47/1947.09	o 282
2030.26/1948.88	o 281
2032.35/1950.73	o 280
2034.15/1952.57	o 279
2036.05/1954.40	o 278
2044.33/1962.53	o 277
2046.13/1964.33	o 276
2047.95/1966.14	o 275
2050.24/1968.40	o 274
2052.45/1970.66	o 273
2054.84/1973.00	o 272
2058.22/1976.28	o 271
2060.52/1978.53	o 270
2062.72/1980.77	o 269
2065.31/1983.12	o 268
2068.61/1986.42	o 267
2070.41/1988.23	o 266
2072.62/1990.49	o 265
2074.92/1992.74	o 264
2077.40/1995.08	o 263
2078.80/1996.40	o 262
2081.00/1998.66	o 261
2083.30/2000.92	o 260
2085.78/2003.28	o 259
2087.18/2004.60	o 258
2089.38/2006.87	o 257
2091.69/2009.13	o 256
2093.98/2011.43	o 255
2097.47/2014.79	o 254
2099.78/2017.07	o 253
2102.07/2019.37	o 252
2104.47/2021.70	o 251
2105.78/2023.09	o 250
2107.96/2025.03	o 249
2116.16/2033.28	o 248
2118.76/2035.64	o 247
2121.06/2037.93	o 246
2123.36/2040.26	o 245
2124.76/2041.64	o 244
2133.24/2049.95	o 243
2135.05/2051.77	o 242
2137.46/2054.12	o 241
2140.03/2056.52	o 240
2142.33/2058.87	o 239
2143.73/2060.20	o 238
2146.03/2062.53	o 237
2148.61/2064.93	o 236
2150.91/2067.29	o 235
2152.31/2068.62	o 234
2154.12/2070.46	o 233
2156.42/2072.79	o 232
2158.83/2075.13	o 231
2161.39/2077.54	o 230
2162.69/2078.87	o 229
2165.09/2081.21	o 228
2167.39/2083.54	o 227
2169.97/2085.97	o 226
2171.37/2087.30	o 225
2173.67/2089.63	o 224
2175.97/2091.97	o 223
2178.37/2094.34	o 222
2179.67/2095.68	o 221
2182.25/2098.08	o 220
2184.65/2100.45	o 219
2187.05/2102.85	o 218
2188.36/2104.19	o 217
2191.03/2106.63	o 216
2193.33/2109.00	o 215
2195.83/2111.40	o 214
2197.13/2112.74	o 213
2198.94/2114.59	o 212
2201.34/2117.01	o 211
2203.91/2119.38	o 210
2206.31/2121.77	o 209
2207.72/2123.11	o 208
2210.01/2125.48	o 207
2212.68/2127.91	o 206
2215.08/2130.31	o 205
2218.48/2133.72	o 204
2220.79/2136.09	o 203
2223.46/2138.52	o 202
2225.86/2140.92	o 201
2229.36/2144.40	o 200
2246.61/2161.32	o 199
2249.51/2164.23	o 198
2252.20/2166.71	o 197
2254.60/2169.14	o 196
2257.10/2171.61	o 195
2260.51/2175.09	o 194
2263.18/2177.60	o 193
2265.68/2180.05	o 192
2268.18/2182.54	o 191
2271.86/2186.10	o 190
2274.36/2188.58	o 189
2276.87/2191.10	o 188
2279.46/2193.64	o 187
2280.87/2195.01	o 186
2283.55/2197.57	o 185
2286.05/2200.06	o 184
2288.55/2202.59	o 183
2292.34/2206.19	o 182
2294.84/2208.68	o 181
2297.35/2211.17	o 180
2299.94/2213.70	o 179
2301.35/2215.12	o 178
2319.41/2232.84	o 177
2321.51/2234.96	o 176
2323.69/2236.92	o 175
2325.59/2238.81	o 174
2328.09/2241.32	o 173
2330.59/2243.83	o 172
2333.09/2246.35	o 171
2334.49/2247.71	o 170
2336.57/2249.67	o 169
2339.08/2252.18	o 168
2341.58/2254.69	o 167
2344.19/2257.22	o 166
2345.49/2258.58	o 165
2348.28/2261.17	o 164
2350.76/2263.69	o 163
2353.37/2266.25	o 162
2354.77/2267.62	o 161
2357.55/2270.21	o 160
2360.05/2272.75	o 159
2362.65/2275.33	o 158
2364.05/2276.70	o 157
2365.95/2278.62	o 156
2367.85/2280.54	o 155
2370.64/2283.14	o 154
2373.13/2285.68	o 153
2375.73/2288.23	o 152
2377.13/2289.61	o 151
2379.91/2292.23	o 150
2382.42/2294.78	o 149
2385.02/2297.36	o 148
2388.62/2300.96	o 147
2390.52/2302.87	o 146
2392.70/2304.85	o 145
2395.30/2307.41	o 144
2397.80/2309.97	o 143
2400.01/2312.11	s SATISFIABLE
2400.01/2312.11	v <instantiation>
2400.01/2312.11	v 	<list>
2400.01/2312.11	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599]
2400.01/2312.11	v 	</list>
2400.01/2312.11	v 	<values>
2400.01/2312.11	v 		110 135 107 123 133 143 112 137 125 131 140 109 128 114 111 134 130 120 105 104 127 122 117 129 121 115 136 139 118 124 126 106 119 132 116 103 138 141 113 142 138 113 142 141 131 124 119 109 108 118 106 120 104 143 134 139 115 102 140 110 136 103 125 133 117 132 112 128 129 121 130 123 135 114 127 116 137 111 122 126 125 106 118 139 115 107 122 132 113 101 121 127 130 142 126 123 104 111 120 124 110 114 116 137 141 136 138 131 128 119 134 108 140 105 135 117 112 133 102 129 123 114 119 106 129 127 103 120 115 141 128 116 121 122 124 117 132 105 112 130 107 140 133 108 139 135 125 110 113 134 143 138 136 118 101 142 126 109 137 111 134 115 138 107 121 133 132 100 124 143 123 106 142 126 127 104 141 108 116 129 135 117 113 105 125 122 131 118 137 130 114 103 112 140 119 111 128 136 139 109 122 142 123 116 136 120 121 127 134 105 132 143 110 129 130 131 119 133 118 140 137 113 115 112 103 111 107 109 125 102 124 139 141 126 128 114 135 117 108 138 130 117 122 131 114 142 127 125 135 123 133 102 109 136 137 121 107 119 108 116 132 141 129 118 120 113 126 112 138 111 139 124 134 128 104 105 106 103 115 110 121 102 132 105 116 122 139 126 129 113 130 117 108 137 131 136 123 134 138 115 119 128 124 120 107 109 111 133 110 114 135 104 125 142 112 141 127 140 101 143 119 112 113 136 108 141 135 111 126 137 116 129 106 127 105 107 140 123 139 138 115 131 121 104 114 125 133 132 124 118 128 102 142 143 109 134 130 122 117 120 113 136 112 135 138 103 120 143 128 117 110 134 127 119 109 114 133 124 123 101 108 137 105 106 115 142 141 125 121 122 132 129 130 107 131 118 140 104 126 139 129 119 125 124 107 130 138 102 118 103 131 112 136 135 115 137 128 141 104 113 134 143 123 109 111 106 142 105 120 110 122 132 126 127 140 121 133 114 116 108 143 101 111 125 130 136 114 115 133 107 104 137 134 110 128 112 113 122 121 119 139 105 135 138 126 116 124 103 140 127 106 141 129 109 108 132 117 131 123 118 133 110 130 122 118 121 116 131 140 126 134 125 105 141 139 108 127 143 109 142 138 135 132 128 113 114 104 107 117 101 123 111 137 124 115 119 136 120 112 106 117 121 116 111 128 126 110 113 112 119 120 142 122 115 123 135 118 129 106 109 114 124 137 143 140 108 127 130 133 104 141 134 132 138 125 136 131 139 105 103 116 126 128 130 109 123 129 107 103 124 143 122 112 138 136 132 117 140 115 114 131 111 134 119 118 127 135 104 105 137 142 125 108 139 106 120 141 110 121 133 111 132 131 129 123 113 134 116 102 127 139 138 114 124 119 109 126 135 117 120 140 106 122 121 112 130 128 141 142 107 110 137 115 133 136 104 125 143 118 105 124 128 135 140 119 109 130 123 122 125 111 105 137 120 142 106 136 117 127 103 118 108 141 107 134 143 121 116 131 138 112 113 139 115 110 133 129 126 132 114 115 116 141 103 106 104 126 133 120 135 107 136 124 118 121 105 138 125 119 139 113 134 130 142 110 131 137 140 108 109 129 128 143 117 132 112 114 123 127 122 127 143 129 120 135 117 128 122 131 139 125 121 111 133 132 130 106 109 103 118 141 112 102 123 137 110 134 115 114 142 108 136 113 104 126 138 119 116 140 107 142 123 105 104 141 131 117 130 109 112 119 114 129 116 107 115 111 138 113 137 143 121 103 122 128 134 118 135 126 133 136 140 124 108 139 106 120 132 110 127 103 134 106 138 112 108 137 101 110 116 117 132 140 139 120 111 121 118 124 123 126 104 143 125 130 129 122 119 136 115 105 131 133 141 142 135 107 127 109 128 128 138 121 115 140 139 105 119 117 122 129 118 141 132 103 133 143 136 126 102 125 127 120 124 106 137 113 142 116 108 111 135 107 123 114 130 110 112 134 131 132 131 136 113 127 115 142 114 137 130 112 133 117 134 135 103 139 116 143 111 124 126 119 140 129 141 101 138 123 128 118 110 104 125 121 122 109 108 120 102 104 127 140 108 110 134 124 105 101 114 109 135 133 131 118 142 125 107 129 117 122 138 112 136 132 102 115 106 141 120 121 126 128 111 123 139 113 137 143 130 108 103 109 128 137 129 115 141 136 132 142 131 125 105 116 113 114 112 122 134 106 107 138 117 104 120 143 126 135 123 140 127 110 130 118 124 139 121 133 119 118 111 117 102 122 105 140 128 142 109 113 110 126 121 141 116 129 114 132 135 133 125 136 127 124 119 139 108 134 106 104 120 138 112 137 131 123 130 103 115 107 140 114 110 111 106 141 118 139 121 124 115 135 117 143 126 101 137 130 136 112 132 127 113 109 128 108 129 122 131 138 133 103 116 120 102 134 119 125 123 140 130 115 137 143 114 108 139 116 133 135 124 132 107 113 120 109 110 125 122 128 102 142 126 101 103 117 121 127 129 119 112 105 131 138 123 118 134 111 141 135 118 139 132 125 112 133 136 143 104 127 140 119 106 108 124 134 113 142 131 129 109 107 116 123 121 120 111 130 103 115 114 117 102 141 126 122 105 138 137 126 124 134 112 113 128 131 108 141 120 105 123 118 125 138 127 122 130 133 121 104 115 140 110 135 139 106 117 143 132 137 116 109 119 103 129 111 107 136 101 114 109 137 121 104 125 106 117 123 136 115 130 131 112 122 138 142 128 110 133 120 118 111 141 116 126 119 143 132 139 102 105 127 103 134 113 124 129 135 140 105 122 143 142 117 116 136 135 107 138 103 128 113 108 114 119 120 127 141 132 111 123 139 131 133 118 110 134 109 126 125 115 121 137 130 140 104 124 129 112 112 129 104 133 142 102 125 140 114 128 137 113 139 111 106 110 135 121 107 141 109 130 126 132 131 123 116 127 103 117 120 118 122 136 124 115 105 138 119 134 109 120 126 114 132 135 113 129 127 106 118 119 103 123 117 122 112 104 137 143 121 110 108 111 142 138 140 124 139 141 131 107 116 134 133 128 115 125 130 136 120 141 127 118 103 119 109 134 111 140 138 107 143 130 110 125 124 131 135 126 123 116 101 139 136 112 129 113 115 105 133 117 114 121 102 137 108 128 106 132 139 133 102 127 105 111 107 138 132 129 141 103 123 113 104 140 137 126 128 112 116 136 110 134 143 124 114 120 119 125 117 130 106 135 122 108 142 118 131 121 106 125 108 134 139 137 101 112 121 102 114 126 115 109 133 143 131 103 136 128 142 129 118 135 138 117 123 122 104 140 127 119 120 110 111 107 116 113 141 124 141 137 120 143 134 110 118 121 130 142 126 111 138 140 125 128 116 139 114 108 117 133 131 115 119 104 105 136 112 135 107 109 123 122 129 127 132 106 124 113 137 108 133 126 124 138 104 110 119 134 136 139 107 101 102 141 105 115 131 127 103 120 128 130 122 140 132 123 111 112 116 143 118 129 113 125 121 135 114 117 131 139 103 119 126 118 123 124 138 110 108 141 116 128 140 129 102 132 134 125 105 142 104 114 127 133 130 137 106 136 113 122 111 120 117 109 143 115 107 135 
2400.01/2312.11	v 	</values>
2400.01/2312.11	v </instantiation>

Verifier Data 

OK	143

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (8752 MiB free)
  memory of node 1: 16384 MiB (10423 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291464-1532235973/watcher-4291464-1532235973 -o /tmp/evaluation-result-4291464-1532235973/solver-4291464-1532235973 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532226532-31075 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 476730868 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291464-1532235973.xml 

running on 4 cores: 0,2,4,6

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=482, runsolver pid=479
Current StackSize limit: 8192 KiB


[startup+0.100444 s]*
/proc/loadavg: 1.65 1.51 1.44 3/215 498
/proc/meminfo: memFree=19619404/32770624 swapFree=67108860/67108860
[pid=482] ppid=479 vsize=14082740 memory=30436 CPUtime=0.1 cores=0,2,4,6
/proc/482/stat : 482 (java) S 479 482 31044 0 -1 1077944320 6541 0 0 0 9 1 0 0 20 0 15 0 41160532 14420725760 7609 33554432000 4194304 4196468 140722101795760 140722101778304 140221253103351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
/proc/482/statm: 3520685 7609 3135 1 0 3482761 0
[pid=482/tid=484] ppid=479 vsize=14082740 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/482/task/484/stat : 484 (java) R 479 482 31044 0 -1 4202560 4803 0 0 0 8 1 0 0 20 0 15 0 41160532 14420725760 7887 33554432000 4194304 4196468 140722101795760 140221257291392 140221237183838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=485] ppid=479 vsize=14082740 memory=4294967636 CPUtime=0 cores=0,2,4,6
/proc/482/task/485/stat : 485 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160533 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220848602000 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=486] ppid=479 vsize=14082740 memory=288370653308262016 CPUtime=0 cores=0,2,4,6
/proc/482/task/486/stat : 486 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160533 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220847549200 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=487] ppid=479 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/487/stat : 487 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160533 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220846496912 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=489] ppid=479 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/482/task/489/stat : 489 (java) S 479 482 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41160533 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220845444112 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=490] ppid=479 vsize=14082740 memory=140277156550272 CPUtime=0 cores=0,2,4,6
/proc/482/task/490/stat : 490 (java) S 479 482 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41160535 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220166248560 140221253114498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=491] ppid=479 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/482/task/491/stat : 491 (java) S 479 482 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41160535 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220165194528 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=492] ppid=479 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/492/stat : 492 (java) S 479 482 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41160535 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220164142192 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=493] ppid=479 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/493/stat : 493 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220163090512 140221253121947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=494] ppid=479 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/494/stat : 494 (java) S 479 482 31044 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 41160538 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220162038384 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=495] ppid=479 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/482/task/495/stat : 495 (java) S 479 482 31044 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 41160538 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220160985584 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=496] ppid=479 vsize=14082740 memory=140277156550272 CPUtime=0.01 cores=0,2,4,6
/proc/482/task/496/stat : 496 (java) S 479 482 31044 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 41160538 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220159933296 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=497] ppid=479 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/482/task/497/stat : 497 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220158880736 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=498] ppid=479 vsize=14082740 memory=140277156550272 CPUtime=0 cores=0,2,4,6
/proc/482/task/498/stat : 498 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160538 14420725760 7887 33554432000 4194304 4196468 140722101795760 140220157827504 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30436 KiB

[startup+0.211203 s]*
/proc/loadavg: 1.65 1.51 1.44 5/215 498
/proc/meminfo: memFree=19603776/32770624 swapFree=67108860/67108860
[pid=482] ppid=479 vsize=14082740 memory=47304 CPUtime=0.28 cores=0,2,4,6
/proc/482/stat : 482 (java) S 479 482 31044 0 -1 1077944320 10411 0 0 0 26 2 0 0 20 0 15 0 41160532 14420725760 11826 33554432000 4194304 4196468 140722101795760 140722101778304 140221253103351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
/proc/482/statm: 3520685 11826 3369 1 0 3482761 0
[pid=482/tid=484] ppid=479 vsize=14082740 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/482/task/484/stat : 484 (java) R 479 482 31044 0 -1 4202560 8112 0 0 0 18 1 0 0 20 0 15 0 41160532 14420725760 11826 33554432000 4194304 4196468 140722101795760 140221257329760 140221245340478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=485] ppid=479 vsize=14082740 memory=4294967636 CPUtime=0 cores=0,2,4,6
/proc/482/task/485/stat : 485 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160533 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220848602000 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=486] ppid=479 vsize=14082740 memory=288370653308262016 CPUtime=0 cores=0,2,4,6
/proc/482/task/486/stat : 486 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160533 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220847549200 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=487] ppid=479 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/487/stat : 487 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160533 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220846496912 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=489] ppid=479 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/482/task/489/stat : 489 (java) S 479 482 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41160533 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220845444112 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=490] ppid=479 vsize=14082740 memory=140277156550272 CPUtime=0 cores=0,2,4,6
/proc/482/task/490/stat : 490 (java) S 479 482 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41160535 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220166248560 140221253114498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=491] ppid=479 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/482/task/491/stat : 491 (java) S 479 482 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41160535 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220165194528 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=492] ppid=479 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/492/stat : 492 (java) S 479 482 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41160535 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220164142192 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=493] ppid=479 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/493/stat : 493 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220163090512 140221253121947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=494] ppid=479 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/482/task/494/stat : 494 (java) S 479 482 31044 0 -1 1077944384 475 0 0 0 1 0 0 0 20 0 15 0 41160538 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220162038384 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=495] ppid=479 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/482/task/495/stat : 495 (java) R 479 482 31044 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 41160538 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220160985584 140221253114498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=496] ppid=479 vsize=14082740 memory=140277156550272 CPUtime=0.05 cores=0,2,4,6
/proc/482/task/496/stat : 496 (java) R 479 482 31044 0 -1 4202560 383 0 0 0 5 0 0 0 20 0 15 0 41160538 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220159933296 140221231706048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=497] ppid=479 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/482/task/497/stat : 497 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220158880736 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=498] ppid=479 vsize=14082740 memory=140277156550272 CPUtime=0 cores=0,2,4,6
/proc/482/task/498/stat : 498 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160538 14420725760 11826 33554432000 4194304 4196468 140722101795760 140220157827504 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47304 KiB

[startup+0.310599 s]*
/proc/loadavg: 1.65 1.51 1.44 3/215 498
/proc/meminfo: memFree=19600364/32770624 swapFree=67108860/67108860
[pid=482] ppid=479 vsize=14082740 memory=51100 CPUtime=0.43 cores=0,2,4,6
/proc/482/stat : 482 (java) S 479 482 31044 0 -1 1077944320 10893 0 0 0 40 3 0 0 20 0 15 0 41160532 14420725760 12775 33554432000 4194304 4196468 140722101795760 140722101778304 140221253103351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
/proc/482/statm: 3520685 12775 3411 1 0 3482761 0
[pid=482/tid=484] ppid=479 vsize=14082740 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/482/task/484/stat : 484 (java) R 479 482 31044 0 -1 4202560 8446 0 0 0 28 1 0 0 20 0 15 0 41160532 14420725760 12775 33554432000 4194304 4196468 140722101795760 140221257265088 140221237183838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=485] ppid=479 vsize=14082740 memory=4294977945 CPUtime=0 cores=0,2,4,6
/proc/482/task/485/stat : 485 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160533 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220848602000 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=486] ppid=479 vsize=14082740 memory=288370653308262016 CPUtime=0 cores=0,2,4,6
/proc/482/task/486/stat : 486 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160533 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220847549200 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=487] ppid=479 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/487/stat : 487 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160533 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220846496912 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=489] ppid=479 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/482/task/489/stat : 489 (java) S 479 482 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41160533 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220845444112 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=490] ppid=479 vsize=14082740 memory=140277156550272 CPUtime=0 cores=0,2,4,6
/proc/482/task/490/stat : 490 (java) S 479 482 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41160535 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220166248560 140221253114498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=491] ppid=479 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/482/task/491/stat : 491 (java) S 479 482 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41160535 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220165194528 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=492] ppid=479 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/492/stat : 492 (java) S 479 482 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41160535 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220164142192 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=493] ppid=479 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/493/stat : 493 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220163090512 140221253121947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=494] ppid=479 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/482/task/494/stat : 494 (java) S 479 482 31044 0 -1 1077944384 550 0 0 0 2 0 0 0 20 0 15 0 41160538 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220162038384 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=495] ppid=479 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/482/task/495/stat : 495 (java) S 479 482 31044 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 15 0 41160538 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220160985584 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=496] ppid=479 vsize=14082740 memory=140277156550272 CPUtime=0.08 cores=0,2,4,6
/proc/482/task/496/stat : 496 (java) R 479 482 31044 0 -1 4202560 428 0 0 0 8 0 0 0 20 0 15 0 41160538 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220159933296 140221253117255 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=497] ppid=479 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/482/task/497/stat : 497 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220158880736 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=498] ppid=479 vsize=14082740 memory=140277156550272 CPUtime=0 cores=0,2,4,6
/proc/482/task/498/stat : 498 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160538 14420725760 12775 33554432000 4194304 4196468 140722101795760 140220157827504 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 51100 KiB

[startup+0.701472 s]
/proc/loadavg: 1.65 1.51 1.44 3/215 498
/proc/meminfo: memFree=19578772/32770624 swapFree=67108860/67108860
[pid=482] ppid=479 vsize=14084808 memory=88992 CPUtime=0.99 cores=0,2,4,6
/proc/482/stat : 482 (java) S 479 482 31044 0 -1 1077944320 17685 0 0 0 94 5 0 0 20 0 15 0 41160532 14422843392 22248 33554432000 4194304 4196468 140722101795760 140722101778304 140221253103351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
/proc/482/statm: 3521202 22248 3498 1 0 3483273 0
[pid=482/tid=484] ppid=479 vsize=14084808 memory=142381588551977 CPUtime=0.67 cores=0,2,4,6
/proc/482/task/484/stat : 484 (java) R 479 482 31044 0 -1 4202560 14734 0 0 0 63 4 0 0 20 0 15 0 41160532 14422843392 22248 33554432000 4194304 4196468 140722101795760 140221257322592 140221238472151 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=485] ppid=479 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/485/stat : 485 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160533 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220848602000 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=486] ppid=479 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/486/stat : 486 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160533 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220847549200 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=487] ppid=479 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/487/stat : 487 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160533 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220846496912 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=489] ppid=479 vsize=14084808 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/482/task/489/stat : 489 (java) S 479 482 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41160533 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220845444112 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=490] ppid=479 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/490/stat : 490 (java) S 479 482 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41160535 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220166248560 140221253114498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=491] ppid=479 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/491/stat : 491 (java) S 479 482 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41160535 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220165194528 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=492] ppid=479 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/492/stat : 492 (java) S 479 482 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41160535 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220164142192 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=493] ppid=479 vsize=14084808 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/482/task/493/stat : 493 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220163090512 140221253121947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=494] ppid=479 vsize=14084808 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/482/task/494/stat : 494 (java) S 479 482 31044 0 -1 1077944384 699 0 0 0 6 0 0 0 20 0 15 0 41160538 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220162038384 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=495] ppid=479 vsize=14084808 memory=280554108879088 CPUtime=0.07 cores=0,2,4,6
/proc/482/task/495/stat : 495 (java) S 479 482 31044 0 -1 1077944384 292 0 0 0 7 0 0 0 20 0 15 0 41160538 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220160985584 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=496] ppid=479 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/482/task/496/stat : 496 (java) S 479 482 31044 0 -1 1077944384 579 0 0 0 15 0 0 0 20 0 15 0 41160538 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220159933296 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=497] ppid=479 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/497/stat : 497 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220158880736 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=498] ppid=479 vsize=14084808 memory=5412 CPUtime=0 cores=0,2,4,6
/proc/482/task/498/stat : 498 (java) S 479 482 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41160538 14422843392 22248 33554432000 4194304 4196468 140722101795760 140220157827504 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88992 KiB

[startup+1.50075 s]
/proc/loadavg: 1.65 1.51 1.44 5/215 498
/proc/meminfo: memFree=19509612/32770624 swapFree=67108860/67108860
[pid=482] ppid=479 vsize=14086856 memory=256744 CPUtime=3.37 cores=0,2,4,6
/proc/482/stat : 482 (java) S 479 482 31044 0 -1 1077944320 23497 0 0 0 326 11 0 0 20 0 15 0 41160532 14424940544 64186 33554432000 4194304 4196468 140722101795760 140722101778304 140221253103351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
/proc/482/statm: 3521714 64186 3563 1 0 3483785 0
[pid=482/tid=484] ppid=479 vsize=14086856 memory=280554109285032 CPUtime=1.41 cores=0,2,4,6
/proc/482/task/484/stat : 484 (java) R 479 482 31044 0 -1 4202560 15387 0 0 0 135 6 0 0 20 0 15 0 41160532 14424940544 64186 33554432000 4194304 4196468 140722101795760 140221257337288 140220894060932 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=485] ppid=479 vsize=14086856 memory=280554109207168 CPUtime=0.03 cores=0,2,4,6
/proc/482/task/485/stat : 485 (java) S 479 482 31044 0 -1 1077944384 48 0 0 0 3 0 0 0 20 0 15 0 41160533 14424940544 64186 33554432000 4194304 4196468 140722101795760 140220848602000 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=486] ppid=479 vsize=14086856 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/482/task/486/stat : 486 (java) S 479 482 31044 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 41160533 14424940544 64186 33554432000 4194304 4196468 140722101795760 140220847549200 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=487] ppid=479 vsize=14086856 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/482/task/487/stat : 487 (java) S 479 482 31044 0 -1 1077944384 179 0 0 0 4 0 0 0 20 0 15 0 41160533 14424940544 64186 33554432000 4194304 4196468 140722101795760 140220846496912 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=489] ppid=479 vsize=14086856 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/482/task/489/stat : 489 (java) S 479 482 31044 0 -1 1077944384 295 0 0 0 3 0 0 0 20 0 15 0 41160533 14424940544 64186 33554432000 4194304 4196468 140722101795760 140220845444112 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=490] ppid=479 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/482/task/490/stat : 490 (java) S 479 482 31044 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 41160535 14424940544 64186 33554432000 4194304 4196468 140722101795760 140220166248560 140221253114498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0

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

/proc/482/task/484/stat : 484 (java) R 479 482 31044 0 -1 4202560 717549 0 0 0 217352 103 0 0 20 0 15 0 41160532 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140221257332416 140220898019556 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=485] ppid=479 vsize=14093000 memory=6487804 CPUtime=24.77 cores=0,2,4,6
/proc/482/task/485/stat : 485 (java) S 479 482 31044 0 -1 1077944384 100804 0 0 0 2361 116 0 0 20 0 15 0 41160533 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220848602000 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=486] ppid=479 vsize=14093000 memory=6487804 CPUtime=24.66 cores=0,2,4,6
/proc/482/task/486/stat : 486 (java) S 479 482 31044 0 -1 1077944384 98590 0 0 0 2342 124 0 0 20 0 15 0 41160533 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220847549200 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=487] ppid=479 vsize=14093000 memory=6487804 CPUtime=24.65 cores=0,2,4,6
/proc/482/task/487/stat : 487 (java) S 479 482 31044 0 -1 1077944384 90622 0 0 0 2355 110 0 0 20 0 15 0 41160533 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220846496912 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=489] ppid=479 vsize=14093000 memory=6487804 CPUtime=24.68 cores=0,2,4,6
/proc/482/task/489/stat : 489 (java) S 479 482 31044 0 -1 1077944384 97120 0 0 0 2356 112 0 0 20 0 15 0 41160533 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220845444112 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=490] ppid=479 vsize=14093000 memory=1232 CPUtime=2.32 cores=0,2,4,6
/proc/482/task/490/stat : 490 (java) S 479 482 31044 0 -1 1077944384 14164 0 0 0 228 4 0 0 20 0 15 0 41160535 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220166248560 140221253114498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=491] ppid=479 vsize=14093000 memory=6483708 CPUtime=0 cores=0,2,4,6
/proc/482/task/491/stat : 491 (java) S 479 482 31044 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 41160535 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220165194592 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=492] ppid=479 vsize=14093000 memory=7955726820406817122 CPUtime=0 cores=0,2,4,6
/proc/482/task/492/stat : 492 (java) S 479 482 31044 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 41160535 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220164142208 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=493] ppid=479 vsize=14093000 memory=6947385649911455296 CPUtime=0 cores=0,2,4,6
/proc/482/task/493/stat : 493 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220163090512 140221253121947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=494] ppid=479 vsize=14093000 memory=5412 CPUtime=4.73 cores=0,2,4,6
/proc/482/task/494/stat : 494 (java) S 479 482 31044 0 -1 1077944384 23081 0 0 0 469 4 0 0 20 0 15 0 41160538 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220162038384 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=495] ppid=479 vsize=14093000 memory=6487804 CPUtime=5.05 cores=0,2,4,6
/proc/482/task/495/stat : 495 (java) S 479 482 31044 0 -1 1077944384 23892 0 0 0 502 3 0 0 20 0 15 0 41160538 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220160985584 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=496] ppid=479 vsize=14093000 memory=6487804 CPUtime=1.52 cores=0,2,4,6
/proc/482/task/496/stat : 496 (java) S 479 482 31044 0 -1 1077944384 43755 0 0 0 148 4 0 0 20 0 15 0 41160538 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220159933296 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=497] ppid=479 vsize=14093000 memory=6487804 CPUtime=0 cores=0,2,4,6
/proc/482/task/497/stat : 497 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220158880736 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=498] ppid=479 vsize=14093000 memory=1408 CPUtime=1.31 cores=0,2,4,6
/proc/482/task/498/stat : 498 (java) S 479 482 31044 0 -1 1077944384 1330 0 0 0 64 67 0 0 20 0 15 0 41160538 14431232000 1621951 33554432000 4194304 4196468 140722101795760 140220157827504 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
Current children cumulated CPU time: 2288.35 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 6487804 KiB

[startup+2262.3 s]
/proc/loadavg: 1.68 1.62 1.60 3/216 578
/proc/meminfo: memFree=13340144/32770624 swapFree=67108860/67108860
[pid=482] ppid=479 vsize=14093000 memory=6488972 CPUtime=2349.47 cores=0,2,4,6
/proc/482/stat : 482 (java) S 479 482 31044 0 -1 1077944320 1228266 0 0 0 234313 634 0 0 20 0 15 0 41160532 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140722101778304 140221253103351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
/proc/482/statm: 3523250 1622243 3627 1 0 3485321 0
[pid=482/tid=484] ppid=479 vsize=14093000 memory=6488972 CPUtime=2234.19 cores=0,2,4,6
/proc/482/task/484/stat : 484 (java) R 479 482 31044 0 -1 4202560 724454 0 0 0 223315 104 0 0 20 0 15 0 41160532 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140221257340896 140220898262180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=485] ppid=479 vsize=14093000 memory=6486924 CPUtime=25.13 cores=0,2,4,6
/proc/482/task/485/stat : 485 (java) S 479 482 31044 0 -1 1077944384 102260 0 0 0 2397 116 0 0 20 0 15 0 41160533 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220848602000 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=486] ppid=479 vsize=14093000 memory=6488972 CPUtime=25.01 cores=0,2,4,6
/proc/482/task/486/stat : 486 (java) S 479 482 31044 0 -1 1077944384 100972 0 0 0 2377 124 0 0 20 0 15 0 41160533 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220847549200 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=487] ppid=479 vsize=14093000 memory=371068 CPUtime=25.01 cores=0,2,4,6
/proc/482/task/487/stat : 487 (java) S 479 482 31044 0 -1 1077944384 92677 0 0 0 2391 110 0 0 20 0 15 0 41160533 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220846496912 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=489] ppid=479 vsize=14093000 memory=6488972 CPUtime=25.04 cores=0,2,4,6
/proc/482/task/489/stat : 489 (java) S 479 482 31044 0 -1 1077944384 100023 0 0 0 2392 112 0 0 20 0 15 0 41160533 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220845444112 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=490] ppid=479 vsize=14093000 memory=6488972 CPUtime=2.32 cores=0,2,4,6
/proc/482/task/490/stat : 490 (java) S 479 482 31044 0 -1 1077944384 14300 0 0 0 228 4 0 0 20 0 15 0 41160535 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220166248560 140221253114498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=491] ppid=479 vsize=14093000 memory=6488972 CPUtime=0 cores=0,2,4,6
/proc/482/task/491/stat : 491 (java) S 479 482 31044 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 41160535 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220165194592 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=492] ppid=479 vsize=14093000 memory=6487804 CPUtime=0 cores=0,2,4,6
/proc/482/task/492/stat : 492 (java) S 479 482 31044 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 41160535 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220164142208 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=493] ppid=479 vsize=14093000 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/482/task/493/stat : 493 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220163090512 140221253121947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=494] ppid=479 vsize=14093000 memory=6488972 CPUtime=4.73 cores=0,2,4,6
/proc/482/task/494/stat : 494 (java) S 479 482 31044 0 -1 1077944384 23086 0 0 0 469 4 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220162038384 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=495] ppid=479 vsize=14093000 memory=6488972 CPUtime=5.05 cores=0,2,4,6
/proc/482/task/495/stat : 495 (java) S 479 482 31044 0 -1 1077944384 23896 0 0 0 502 3 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220160985584 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=496] ppid=479 vsize=14093000 memory=6488972 CPUtime=1.52 cores=0,2,4,6
/proc/482/task/496/stat : 496 (java) S 479 482 31044 0 -1 1077944384 43761 0 0 0 148 4 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220159933296 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=497] ppid=479 vsize=14093000 memory=6488972 CPUtime=0 cores=0,2,4,6
/proc/482/task/497/stat : 497 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220158880736 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=498] ppid=479 vsize=14093000 memory=6488972 CPUtime=1.35 cores=0,2,4,6
/proc/482/task/498/stat : 498 (java) S 479 482 31044 0 -1 1077944384 1358 0 0 0 66 69 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220157827504 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
Current children cumulated CPU time: 2349.47 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 6488972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2312.11 s]
/proc/loadavg: 1.50 1.57 1.59 3/216 579
/proc/meminfo: memFree=13349868/32770624 swapFree=67108860/67108860
[pid=482] ppid=479 vsize=14093000 memory=6488972 CPUtime=2400.01 cores=0,2,4,6
/proc/482/stat : 482 (java) S 479 482 31044 0 -1 1077944320 1235922 0 0 0 239365 636 0 0 20 0 15 0 41160532 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140722101778304 140221253103351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
/proc/482/statm: 3523250 1622243 3627 1 0 3485321 0
[pid=482/tid=484] ppid=479 vsize=14093000 memory=367396 CPUtime=2283.74 cores=0,2,4,6
/proc/482/task/484/stat : 484 (java) R 479 482 31044 0 -1 4202560 728934 0 0 0 228270 104 0 0 20 0 15 0 41160532 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140221257332416 140220898262180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=485] ppid=479 vsize=14093000 memory=6488972 CPUtime=25.37 cores=0,2,4,6
/proc/482/task/485/stat : 485 (java) S 479 482 31044 0 -1 1077944384 102523 0 0 0 2421 116 0 0 20 0 15 0 41160533 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220848602000 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=486] ppid=479 vsize=14093000 memory=6488972 CPUtime=25.25 cores=0,2,4,6
/proc/482/task/486/stat : 486 (java) S 479 482 31044 0 -1 1077944384 101240 0 0 0 2401 124 0 0 20 0 15 0 41160533 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220847549200 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=487] ppid=479 vsize=14093000 memory=6488972 CPUtime=25.25 cores=0,2,4,6
/proc/482/task/487/stat : 487 (java) S 479 482 31044 0 -1 1077944384 93789 0 0 0 2415 110 0 0 20 0 15 0 41160533 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220846496912 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=489] ppid=479 vsize=14093000 memory=6488972 CPUtime=25.28 cores=0,2,4,6
/proc/482/task/489/stat : 489 (java) S 479 482 31044 0 -1 1077944384 101084 0 0 0 2416 112 0 0 20 0 15 0 41160533 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220845444112 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=490] ppid=479 vsize=14093000 memory=6488972 CPUtime=2.33 cores=0,2,4,6
/proc/482/task/490/stat : 490 (java) S 479 482 31044 0 -1 1077944384 14307 0 0 0 229 4 0 0 20 0 15 0 41160535 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220166248560 140221253114498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=491] ppid=479 vsize=14093000 memory=6488972 CPUtime=0 cores=0,2,4,6
/proc/482/task/491/stat : 491 (java) S 479 482 31044 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 41160535 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220165194592 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=492] ppid=479 vsize=14093000 memory=6488972 CPUtime=0 cores=0,2,4,6
/proc/482/task/492/stat : 492 (java) S 479 482 31044 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 41160535 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220164142208 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=493] ppid=479 vsize=14093000 memory=6488972 CPUtime=0 cores=0,2,4,6
/proc/482/task/493/stat : 493 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220163090512 140221253121947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=494] ppid=479 vsize=14093000 memory=6488972 CPUtime=4.73 cores=0,2,4,6
/proc/482/task/494/stat : 494 (java) S 479 482 31044 0 -1 1077944384 23086 0 0 0 469 4 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220162038384 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=495] ppid=479 vsize=14093000 memory=6488972 CPUtime=5.05 cores=0,2,4,6
/proc/482/task/495/stat : 495 (java) S 479 482 31044 0 -1 1077944384 23896 0 0 0 502 3 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220160985584 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=496] ppid=479 vsize=14093000 memory=6488972 CPUtime=1.52 cores=0,2,4,6
/proc/482/task/496/stat : 496 (java) S 479 482 31044 0 -1 1077944384 44224 0 0 0 148 4 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220159933296 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=497] ppid=479 vsize=14093000 memory=6488972 CPUtime=0 cores=0,2,4,6
/proc/482/task/497/stat : 497 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220158880736 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=498] ppid=479 vsize=14093000 memory=3272 CPUtime=1.38 cores=0,2,4,6
/proc/482/task/498/stat : 498 (java) S 479 482 31044 0 -1 1077944384 1360 0 0 0 68 70 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220157827504 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 6488972 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2312.16 s]
# the end of solver process 482 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2393.68 s, system=6.39477 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2312.11 s]
/proc/loadavg: 1.50 1.57 1.59 3/216 579
/proc/meminfo: memFree=13349868/32770624 swapFree=67108860/67108860
[pid=482] ppid=479 vsize=14093000 memory=6488972 CPUtime=2400.01 cores=0,2,4,6
/proc/482/stat : 482 (java) S 479 482 31044 0 -1 1077944320 1235922 0 0 0 239365 636 0 0 20 0 15 0 41160532 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140722101778304 140221253103351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
/proc/482/statm: 3523250 1622243 3627 1 0 3485321 0
[pid=482/tid=484] ppid=479 vsize=14093000 memory=367396 CPUtime=2283.74 cores=0,2,4,6
/proc/482/task/484/stat : 484 (java) R 479 482 31044 0 -1 4202560 728934 0 0 0 228270 104 0 0 20 0 15 0 41160532 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140221257332416 140220898262180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=485] ppid=479 vsize=14093000 memory=6488972 CPUtime=25.37 cores=0,2,4,6
/proc/482/task/485/stat : 485 (java) S 479 482 31044 0 -1 1077944384 102523 0 0 0 2421 116 0 0 20 0 15 0 41160533 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220848602000 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=486] ppid=479 vsize=14093000 memory=6488972 CPUtime=25.25 cores=0,2,4,6
/proc/482/task/486/stat : 486 (java) S 479 482 31044 0 -1 1077944384 101240 0 0 0 2401 124 0 0 20 0 15 0 41160533 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220847549200 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=487] ppid=479 vsize=14093000 memory=6488972 CPUtime=25.25 cores=0,2,4,6
/proc/482/task/487/stat : 487 (java) S 479 482 31044 0 -1 1077944384 93789 0 0 0 2415 110 0 0 20 0 15 0 41160533 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220846496912 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=489] ppid=479 vsize=14093000 memory=6488972 CPUtime=25.28 cores=0,2,4,6
/proc/482/task/489/stat : 489 (java) S 479 482 31044 0 -1 1077944384 101084 0 0 0 2416 112 0 0 20 0 15 0 41160533 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220845444112 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=490] ppid=479 vsize=14093000 memory=6488972 CPUtime=2.33 cores=0,2,4,6
/proc/482/task/490/stat : 490 (java) S 479 482 31044 0 -1 1077944384 14307 0 0 0 229 4 0 0 20 0 15 0 41160535 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220166248560 140221253114498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=491] ppid=479 vsize=14093000 memory=6488972 CPUtime=0 cores=0,2,4,6
/proc/482/task/491/stat : 491 (java) S 479 482 31044 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 41160535 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220165194592 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=492] ppid=479 vsize=14093000 memory=6488972 CPUtime=0 cores=0,2,4,6
/proc/482/task/492/stat : 492 (java) S 479 482 31044 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 41160535 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220164142208 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=493] ppid=479 vsize=14093000 memory=6488972 CPUtime=0 cores=0,2,4,6
/proc/482/task/493/stat : 493 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220163090512 140221253121947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=494] ppid=479 vsize=14093000 memory=6488972 CPUtime=4.73 cores=0,2,4,6
/proc/482/task/494/stat : 494 (java) S 479 482 31044 0 -1 1077944384 23086 0 0 0 469 4 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220162038384 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=495] ppid=479 vsize=14093000 memory=6488972 CPUtime=5.05 cores=0,2,4,6
/proc/482/task/495/stat : 495 (java) S 479 482 31044 0 -1 1077944384 23896 0 0 0 502 3 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220160985584 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=496] ppid=479 vsize=14093000 memory=6488972 CPUtime=1.52 cores=0,2,4,6
/proc/482/task/496/stat : 496 (java) S 479 482 31044 0 -1 1077944384 44224 0 0 0 148 4 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220159933296 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=497] ppid=479 vsize=14093000 memory=6488972 CPUtime=0 cores=0,2,4,6
/proc/482/task/497/stat : 497 (java) S 479 482 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220158880736 140221253113557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
[pid=482/tid=498] ppid=479 vsize=14093000 memory=3272 CPUtime=1.38 cores=0,2,4,6
/proc/482/task/498/stat : 498 (java) S 479 482 31044 0 -1 1077944384 1360 0 0 0 68 70 0 0 20 0 15 0 41160538 14431232000 1622243 33554432000 4194304 4196468 140722101795760 140220157827504 140221253114498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 6942720 140722101802069 140722101802249 140722101802249 140722101805007 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 6488972 KiB

Child status: 143
Real time (s): 2312.16
CPU time (s): 2400.07
CPU user time (s): 2393.68
CPU system time (s): 6.39477
CPU usage (%): 103.802
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 6488972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.68
system time used= 6.39478
maximum resident set size= 6489256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1237164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60496
involuntary context switches= 4405


# summary of solver processes directly reported to runsolver:
#   pid: 482
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2393.68
#   total CPU system time (s): 6.39477

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4649 second user time and 22.4782 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-22 07:06:13
IDJOB=4291464
IDBENCH=141136
IDSOLVER=2746
FILE ID=node107/4291464-1532235973
RUNJOBID= node107-1532226532-31075
PBS_JOBID= 21018954
Free space on /tmp= 55128 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order40_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291464-1532235973/watcher-4291464-1532235973 -o /tmp/evaluation-result-4291464-1532235973/solver-4291464-1532235973 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532226532-31075 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 476730868 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291464-1532235973.xml

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

MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375
RANDOM SEED=476730868

node107.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.40
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.40
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.40
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.40
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:        19636896 kB
MemAvailable:   31392128 kB
Buffers:          233596 kB
Cached:         11673000 kB
SwapCached:            0 kB
Active:          2098364 kB
Inactive:       10409220 kB
Active(anon):     604556 kB
Inactive(anon):    16860 kB
Active(file):    1493808 kB
Inactive(file): 10392360 kB
Unevictable:        7152 kB
Mlocked:            7152 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             37484 kB
Writeback:             0 kB
AnonPages:        627112 kB
Mapped:            48980 kB
Shmem:             17036 kB
Slab:             324672 kB
SReclaimable:     297524 kB
SUnreclaim:        27148 kB
KernelStack:        3792 kB
PageTables:         6068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1571512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    489472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 55092 MiB
End job on node107 at 2018-07-22 07:44:46