Trace number 4312068

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 - Conflict Ordering with restarts 2018-08-17SAT (TO)1541247 2520.12 2513.32

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay400_c18.xml
MD5SUMb20be86eed1a54c36d145f853cc0c945
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2501073
Best CPU time to get the best result obtained on this benchmark2520.03
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints400
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree40
Distribution of variable degrees[{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}]
Minimum constraint arity12
Maximum constraint arity37
Distribution of constraint arities[{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":400}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.68/0.56	c version: 2018-08-17
0.68/0.56	c seed: 1884243932
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 1
0.68/0.59	c Parsing instance...
3.69/1.95	c Parsing done, starting search...
3.99/2.08	o 1161587
4.81/2.45	o 1171268
4.81/2.45	o 1175107
4.81/2.45	o 1180458
4.81/2.46	o 1184704
4.81/2.46	o 1192506
4.81/2.46	o 1198695
4.81/2.46	o 1202005
4.81/2.46	o 1208787
4.81/2.47	o 1210221
4.81/2.47	o 1220180
4.81/2.47	o 1223181
4.81/2.48	o 1229853
4.81/2.48	o 1230542
4.81/2.48	o 1232213
4.81/2.48	o 1232902
4.81/2.49	o 1238243
4.81/2.49	o 1238932
4.81/2.49	o 1244069
4.81/2.49	o 1252202
4.81/2.50	o 1253382
4.81/2.50	o 1253563
4.81/2.50	o 1253601
5.07/2.51	o 1254554
5.07/2.51	o 1254735
5.07/2.51	o 1256289
5.07/2.51	o 1256470
5.07/2.51	o 1256978
5.07/2.51	o 1257159
5.07/2.52	o 1257650
5.07/2.52	o 1257831
5.07/2.52	o 1258520
5.07/2.52	o 1262311
5.07/2.53	o 1263445
5.07/2.53	o 1263818
5.07/2.53	o 1264496
5.07/2.53	o 1264677
5.07/2.53	o 1265051
5.07/2.53	o 1265740
5.07/2.54	o 1267101
5.07/2.55	o 1271528
5.07/2.55	o 1272916
5.07/2.55	o 1273206
5.07/2.55	o 1274148
5.07/2.55	o 1275509
5.07/2.56	o 1277278
5.07/2.56	o 1278510
5.07/2.56	o 1280986
5.07/2.56	o 1283987
5.07/2.57	o 1285219
5.07/2.58	o 1285593
5.07/2.58	o 1287138
5.07/2.58	o 1287469
5.07/2.58	o 1289014
5.07/2.58	o 1293961
5.07/2.58	o 1295193
5.07/2.59	o 1298327
5.07/2.59	o 1300263
5.07/2.59	o 1303284
5.07/2.59	o 1305220
5.07/2.59	o 1308221
5.07/2.59	o 1308350
5.35/2.60	o 1309582
5.35/2.60	o 1311437
5.35/2.60	o 1313077
5.35/2.60	o 1314438
5.35/2.61	o 1314700
5.35/2.61	o 1319647
5.35/2.61	o 1321287
5.35/2.61	o 1322648
5.35/2.64	o 1323680
5.35/2.64	o 1326683
5.66/2.72	o 1327081
5.66/2.72	o 1327759
5.66/2.72	o 1332716
5.66/2.72	o 1334077
5.66/2.72	o 1334485
5.66/2.72	o 1335846
5.66/2.72	o 1337078
5.66/2.73	o 1338340
5.66/2.73	o 1340276
5.66/2.74	o 1341637
5.66/2.74	o 1341932
5.66/2.74	o 1343771
5.66/2.74	o 1343922
5.66/2.74	o 1344935
5.66/2.74	o 1346774
5.66/2.74	o 1346925
5.66/2.76	o 1347378
5.66/2.76	o 1348923
5.66/2.77	o 1354953
5.66/2.77	o 1359910
5.66/2.77	o 1364857
5.66/2.77	o 1365152
5.66/2.77	o 1366214
5.66/2.77	o 1366991
5.66/2.77	o 1367142
5.66/2.78	o 1367575
5.66/2.78	o 1368352
5.66/2.78	o 1368503
5.96/2.80	o 1369419
5.96/2.80	o 1371258
5.96/2.80	o 1371789
5.96/2.80	o 1371940
5.96/2.80	o 1372490
5.96/2.81	o 1373709
5.96/2.81	o 1374164
5.96/2.81	o 1374941
5.96/2.81	o 1375340
5.96/2.81	o 1375491
5.96/2.83	o 1375602
5.96/2.83	o 1376152
5.96/2.83	o 1380559
5.96/2.83	o 1381109
5.96/2.83	o 1382693
5.96/2.84	o 1382844
5.96/2.84	o 1383243
5.96/2.84	o 1383394
5.96/2.89	o 1383690
5.96/2.89	o 1383841
6.19/2.94	o 1388430
6.19/2.94	o 1388725
6.19/2.94	o 1390564
6.19/2.94	o 1390715
6.19/2.94	o 1391299
6.19/2.94	o 1391925
6.19/2.94	o 1392076
6.19/2.96	o 1392626
6.70/3.43	o 1392638
6.70/3.44	o 1392819
6.70/3.44	o 1394477
6.70/3.44	o 1394658
6.70/3.45	o 1395027
6.70/3.45	o 1395208
6.70/3.46	o 1395239
6.70/3.46	o 1397175
6.70/3.46	o 1399014
6.70/3.46	o 1399195
6.70/3.46	o 1399730
6.70/3.46	o 1399911
6.70/3.46	o 1400176
6.70/3.47	o 1402015
6.70/3.47	o 1402196
6.90/3.67	o 1402332
6.90/3.67	o 1402431
6.90/3.67	o 1403109
6.90/3.68	o 1403972
6.90/3.68	o 1404749
6.90/3.68	o 1406110
6.90/3.69	o 1406660
7.00/3.70	o 1407251
7.00/3.70	o 1408028
7.00/3.70	o 1409389
7.00/3.71	o 1410621
7.00/3.73	o 1410917
7.00/3.73	o 1411144
7.00/3.73	o 1411694
7.00/3.74	o 1412289
7.00/3.74	o 1415290
7.00/3.74	o 1416651
7.11/3.84	o 1416858
7.11/3.85	o 1417442
7.11/3.86	o 1418219
7.33/4.07	o 1419164
7.33/4.07	o 1420396
7.33/4.07	o 1420525
7.33/4.07	o 1421757
7.33/4.07	o 1422307
7.52/4.25	o 1422434
7.52/4.26	o 1422615
7.52/4.26	o 1423211
7.52/4.26	o 1423392
7.52/4.26	o 1424918
7.52/4.26	o 1425099
9.68/6.52	o 1425593
9.68/6.52	o 1425774
9.68/6.53	o 1426143
9.68/6.53	o 1426324
17.24/14.01	o 1426608
17.24/14.02	o 1426789
17.24/14.02	o 1427550
17.24/14.02	o 1427731
17.24/14.02	o 1428782
17.24/14.02	o 1428963
17.24/14.02	o 1429230
17.24/14.02	o 1429411
17.24/14.02	o 1430007
17.24/14.02	o 1430188
89.83/86.55	o 1430272
89.83/86.55	o 1430453
89.83/86.55	o 1430518
89.83/86.55	o 1432044
89.83/86.55	o 1432225
89.83/86.56	o 1432289
89.83/86.56	o 1432470
103.47/100.14	o 1432510
103.47/100.18	o 1433579
103.47/100.18	o 1434268
103.47/100.18	o 1435120
103.47/100.18	o 1435809
103.47/100.18	o 1439208
103.47/100.18	o 1439897
103.56/100.21	o 1439985
103.56/100.21	o 1440674
103.56/100.25	o 1440980
103.56/100.25	o 1441669
103.56/100.25	o 1441757
103.56/100.25	o 1442446
107.97/104.67	o 1442691
147.31/143.91	o 1443545
147.82/144.46	o 1443805
148.12/144.71	o 1444226
148.12/144.71	o 1445317
148.92/145.52	o 1445954
149.12/145.74	o 1446325
149.12/145.75	o 1447495
149.12/145.75	o 1448530
149.12/145.75	o 1450071
149.12/145.75	o 1451583
215.53/212.10	o 1451661
215.53/212.10	o 1452770
215.83/212.38	o 1452914
215.83/212.38	o 1454348
215.83/212.39	o 1454542
247.39/243.87	o 1454934
247.39/243.88	o 1455528
247.39/243.88	o 1456012
247.39/243.88	o 1456446
247.49/243.91	o 1456923
247.49/243.91	o 1457407
247.49/243.91	o 1458485
247.49/243.91	o 1458919
247.49/243.92	o 1459128
257.81/254.22	o 1459129
257.81/254.22	o 1459563
257.81/254.25	o 1459772
271.54/267.98	o 1459930
271.54/267.98	o 1460414
271.54/267.98	o 1460848
271.54/267.99	o 1461057
271.75/268.17	o 1461128
271.75/268.17	o 1462386
271.75/268.18	o 1462463
271.85/268.26	o 1462745
271.85/268.26	o 1463229
271.85/268.26	o 1464452
271.85/268.26	o 1464936
271.85/268.26	o 1465145
279.77/276.16	o 1465426
279.77/276.16	o 1465631
279.77/276.16	o 1466115
284.88/281.21	o 1466241
284.88/281.21	o 1466725
284.88/281.21	o 1466987
284.88/281.21	o 1468245
284.88/281.21	o 1469633
284.88/281.21	o 1470117
284.88/281.21	o 1471340
284.88/281.21	o 1471824
287.89/284.24	o 1472366
287.89/284.24	o 1473624
287.89/284.24	o 1475012
287.89/284.24	o 1476213
287.89/284.24	o 1476573
287.99/284.30	o 1476871
287.99/284.30	o 1478259
287.99/284.30	o 1479517
287.99/284.31	o 1485947
287.99/284.31	o 1487205
287.99/284.31	o 1488593
287.99/284.31	o 1488953
288.09/284.45	o 1490208
288.09/284.45	o 1491466
288.19/284.59	o 1491555
288.19/284.59	o 1492813
288.19/284.60	o 1493173
289.29/285.67	o 1493478
289.29/285.67	o 1493962
292.51/288.86	o 1495271
292.51/288.86	o 1495755
292.51/288.86	o 1496472
292.51/288.86	o 1496956
292.51/288.86	o 1498985
292.51/288.86	o 1499469
293.01/289.39	o 1500573
298.52/294.89	o 1500605
298.62/294.99	o 1501433
298.62/294.99	o 1501525
299.52/295.82	o 1502014
299.52/295.83	o 1502934
299.52/295.83	o 1503118
299.52/295.83	o 1504038
307.24/303.50	o 1504464
307.24/303.50	o 1504611
307.24/303.51	o 1504827
307.24/303.51	o 1505430
307.24/303.51	o 1506318
307.24/303.51	o 1506534
309.65/306.00	o 1506785
309.65/306.00	o 1507894
309.65/306.00	o 1507986
309.65/306.00	o 1508257
309.65/306.01	o 1508349
309.75/306.01	o 1508855
309.75/306.01	o 1509964
309.75/306.01	o 1510056
313.96/310.28	o 1510353
313.96/310.28	o 1510445
313.96/310.28	o 1510537
313.96/310.29	o 1510785
313.96/310.29	o 1510877
313.96/310.29	o 1510968
313.96/310.29	o 1511383
313.96/310.29	o 1512492
313.96/310.29	o 1512584
319.90/316.17	o 1513215
319.90/316.17	o 1513305
319.90/316.17	o 1514739
320.48/316.70	o 1514905
326.09/322.31	o 1515255
326.09/322.31	o 1516773
326.09/322.31	o 1519269
326.09/322.31	o 1520212
326.09/322.31	o 1520703
326.09/322.31	o 1521646
326.09/322.32	o 1522607
326.09/322.32	o 1523808
326.19/322.40	o 1525136
326.19/322.40	o 1526677
326.19/322.40	o 1527632
326.19/322.40	o 1529173
326.19/322.40	o 1530116
326.19/322.40	o 1531220
326.19/322.41	o 1531841
326.19/322.41	o 1531858
326.19/322.41	o 1532181
326.19/322.41	o 1533382
329.60/325.84	o 1533788
329.60/325.84	o 1534989
329.60/325.84	o 1536324
329.60/325.84	o 1536582
329.60/325.84	o 1537525
329.60/325.84	o 1538820
329.60/325.84	o 1540021
330.10/326.38	o 1540867
330.10/326.38	o 1541125
369.77/365.90	o 1541152
369.77/365.91	o 1541247
2520.09/2513.30	s SATISFIABLE
2520.09/2513.30	v <instantiation>
2520.09/2513.30	v 	<list>
2520.09/2513.30	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
2520.09/2513.31	v 	</list>
2520.09/2513.31	v 	<values>
2520.09/2513.31	v 		1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
2520.09/2513.31	v 	</values>
2520.09/2513.31	v </instantiation>

Verifier Data 

OK	1541247

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 (14409 MiB free)
  memory of node 1: 16384 MiB (13418 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312068-1534546027/watcher-4312068-1534546027 -o /tmp/evaluation-result-4312068-1534546027/solver-4312068-1534546027 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534541039-7530 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1884243932 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312068-1534546027.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8078, runsolver pid=8075

[startup+0.100087 s]*
/proc/loadavg: 1.47 1.42 1.44 5/215 8093
/proc/meminfo: memFree=28479676/32770624 swapFree=67108796/67108860
[pid=8078] ppid=8075 vsize=14082736 memory=31416 CPUtime=0.11 cores=0,2,4,6
/proc/8078/stat : 8078 (java) S 8075 8078 7499 0 -1 1077944320 6793 0 0 0 10 1 0 0 20 0 15 0 272165913 14420721664 7854 33554432000 4194304 4196468 140726409631136 140726409613680 139728946147063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
/proc/8078/statm: 3520684 7854 3133 1 0 3482761 0
[pid=8078/tid=8080] ppid=8075 vsize=14082736 memory=-8537802866341803200 CPUtime=0.09 cores=0,2,4,6
/proc/8078/task/8080/stat : 8080 (java) R 8075 8078 7499 0 -1 4202560 4861 0 0 0 8 1 0 0 20 0 15 0 272165914 14420721664 7919 33554432000 4194304 4196468 140726409631136 139728950350088 139728946158998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8081] ppid=8075 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8081/stat : 8081 (java) S 8075 8078 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272165915 14420721664 7919 33554432000 4194304 4196468 140726409631136 139728542427536 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8082] ppid=8075 vsize=14082736 memory=140126319863424 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8082/stat : 8082 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165915 14420721664 7919 33554432000 4194304 4196468 140726409631136 139728541374736 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8083] ppid=8075 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8083/stat : 8083 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165915 14420721664 7919 33554432000 4194304 4196468 140726409631136 139728540322448 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8084] ppid=8075 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8084/stat : 8084 (java) S 8075 8078 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272165915 14420721664 7919 33554432000 4194304 4196468 140726409631136 139728539269648 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8085] ppid=8075 vsize=14082736 memory=140126319863424 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8085/stat : 8085 (java) S 8075 8078 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272165916 14420721664 7919 33554432000 4194304 4196468 140726409631136 139727859051120 139728946158210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8086] ppid=8075 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8086/stat : 8086 (java) S 8075 8078 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272165916 14420721664 7919 33554432000 4194304 4196468 140726409631136 139727857997088 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8087] ppid=8075 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8087/stat : 8087 (java) S 8075 8078 7499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272165917 14420721664 7919 33554432000 4194304 4196468 140726409631136 139727856944752 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8088] ppid=8075 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8088/stat : 8088 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14420721664 7919 33554432000 4194304 4196468 140726409631136 139727855893072 139728946165659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8089] ppid=8075 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8089/stat : 8089 (java) S 8075 8078 7499 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 272165919 14420721664 7919 33554432000 4194304 4196468 140726409631136 139727854839920 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8090] ppid=8075 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8090/stat : 8090 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165919 14420721664 7919 33554432000 4194304 4196468 140726409631136 139727853787120 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8091] ppid=8075 vsize=14082736 memory=140126319863424 CPUtime=0.01 cores=0,2,4,6
/proc/8078/task/8091/stat : 8091 (java) S 8075 8078 7499 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 272165919 14420721664 7919 33554432000 4194304 4196468 140726409631136 139727852734832 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8092] ppid=8075 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8092/stat : 8092 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14420721664 7919 33554432000 4194304 4196468 140726409631136 139727851682272 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8093] ppid=8075 vsize=14082736 memory=140126319863424 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8093/stat : 8093 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165920 14420721664 7919 33554432000 4194304 4196468 140726409631136 139727850630064 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31416 KiB

[startup+0.210474 s]*
/proc/loadavg: 1.47 1.42 1.44 5/215 8093
/proc/meminfo: memFree=28464048/32770624 swapFree=67108796/67108860
[pid=8078] ppid=8075 vsize=14082736 memory=47224 CPUtime=0.3 cores=0,2,4,6
/proc/8078/stat : 8078 (java) S 8075 8078 7499 0 -1 1077944320 10394 0 0 0 27 3 0 0 20 0 15 0 272165913 14420721664 11806 33554432000 4194304 4196468 140726409631136 140726409613680 139728946147063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
/proc/8078/statm: 3520684 11806 3339 1 0 3482761 0
[pid=8078/tid=8080] ppid=8075 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/8078/task/8080/stat : 8080 (java) R 8075 8078 7499 0 -1 4202560 8199 0 0 0 18 2 0 0 20 0 15 0 272165914 14420721664 11806 33554432000 4194304 4196468 140726409631136 139728950370392 139728932278624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8081] ppid=8075 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8081/stat : 8081 (java) S 8075 8078 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272165915 14420721664 11806 33554432000 4194304 4196468 140726409631136 139728542427536 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8082] ppid=8075 vsize=14082736 memory=288370502471575168 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8082/stat : 8082 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165915 14420721664 11806 33554432000 4194304 4196468 140726409631136 139728541374736 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8083] ppid=8075 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8083/stat : 8083 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165915 14420721664 11806 33554432000 4194304 4196468 140726409631136 139728540322448 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8084] ppid=8075 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8084/stat : 8084 (java) S 8075 8078 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272165915 14420721664 11806 33554432000 4194304 4196468 140726409631136 139728539269648 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8085] ppid=8075 vsize=14082736 memory=140126319863424 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8085/stat : 8085 (java) S 8075 8078 7499 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272165916 14420721664 11806 33554432000 4194304 4196468 140726409631136 139727859051120 139728946158210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8086] ppid=8075 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8086/stat : 8086 (java) S 8075 8078 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272165916 14420721664 11806 33554432000 4194304 4196468 140726409631136 139727857997088 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8087] ppid=8075 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8087/stat : 8087 (java) S 8075 8078 7499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272165917 14420721664 11806 33554432000 4194304 4196468 140726409631136 139727856944752 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8088] ppid=8075 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8088/stat : 8088 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14420721664 11806 33554432000 4194304 4196468 140726409631136 139727855893072 139728946165659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8089] ppid=8075 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8078/task/8089/stat : 8089 (java) R 8075 8078 7499 0 -1 4202560 394 0 0 0 2 0 0 0 20 0 15 0 272165919 14420721664 11806 33554432000 4194304 4196468 140726409631136 139727854820936 139728938864215 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8090] ppid=8075 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8090/stat : 8090 (java) R 8075 8078 7499 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 272165919 14420721664 11806 33554432000 4194304 4196468 140726409631136 139727853787120 139728946158210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8091] ppid=8075 vsize=14082736 memory=140126319863424 CPUtime=0.05 cores=0,2,4,6
/proc/8078/task/8091/stat : 8091 (java) R 8075 8078 7499 0 -1 4202560 287 0 0 0 5 0 0 0 20 0 15 0 272165919 14420721664 11806 33554432000 4194304 4196468 140726409631136 139727852734832 139728938384190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8092] ppid=8075 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8092/stat : 8092 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14420721664 11806 33554432000 4194304 4196468 140726409631136 139727851682272 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8093] ppid=8075 vsize=14082736 memory=140126319863424 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8093/stat : 8093 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165920 14420721664 11806 33554432000 4194304 4196468 140726409631136 139727850630064 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47224 KiB

[startup+0.310436 s]*
/proc/loadavg: 1.47 1.42 1.44 3/215 8093
/proc/meminfo: memFree=28460200/32770624 swapFree=67108796/67108860
[pid=8078] ppid=8075 vsize=14082736 memory=50612 CPUtime=0.44 cores=0,2,4,6
/proc/8078/stat : 8078 (java) S 8075 8078 7499 0 -1 1077944320 10820 0 0 0 41 3 0 0 20 0 15 0 272165913 14420721664 12653 33554432000 4194304 4196468 140726409631136 140726409613680 139728946147063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
/proc/8078/statm: 3520684 12653 3387 1 0 3482761 0
[pid=8078/tid=8080] ppid=8075 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/8078/task/8080/stat : 8080 (java) R 8075 8078 7499 0 -1 4202560 8528 0 0 0 27 2 0 0 20 0 15 0 272165914 14420721664 12653 33554432000 4194304 4196468 140726409631136 139728950358576 139728927710592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8081] ppid=8075 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8081/stat : 8081 (java) S 8075 8078 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272165915 14420721664 12653 33554432000 4194304 4196468 140726409631136 139728542427536 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8082] ppid=8075 vsize=14082736 memory=14553861428143768 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8082/stat : 8082 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165915 14420721664 12653 33554432000 4194304 4196468 140726409631136 139728541374736 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8083] ppid=8075 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8083/stat : 8083 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165915 14420721664 12653 33554432000 4194304 4196468 140726409631136 139728540322448 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8084] ppid=8075 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8084/stat : 8084 (java) S 8075 8078 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272165915 14420721664 12653 33554432000 4194304 4196468 140726409631136 139728539269648 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8085] ppid=8075 vsize=14082736 memory=140126319863424 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8085/stat : 8085 (java) S 8075 8078 7499 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272165916 14420721664 12653 33554432000 4194304 4196468 140726409631136 139727859051120 139728946158210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8086] ppid=8075 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8086/stat : 8086 (java) S 8075 8078 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272165916 14420721664 12653 33554432000 4194304 4196468 140726409631136 139727857997088 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8087] ppid=8075 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8087/stat : 8087 (java) S 8075 8078 7499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272165917 14420721664 12653 33554432000 4194304 4196468 140726409631136 139727856944752 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8088] ppid=8075 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8088/stat : 8088 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14420721664 12653 33554432000 4194304 4196468 140726409631136 139727855893072 139728946165659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8089] ppid=8075 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8078/task/8089/stat : 8089 (java) S 8075 8078 7499 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 272165919 14420721664 12653 33554432000 4194304 4196468 140726409631136 139727854839920 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8090] ppid=8075 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8078/task/8090/stat : 8090 (java) S 8075 8078 7499 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 15 0 272165919 14420721664 12653 33554432000 4194304 4196468 140726409631136 139727853787120 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8091] ppid=8075 vsize=14082736 memory=140126319863424 CPUtime=0.08 cores=0,2,4,6
/proc/8078/task/8091/stat : 8091 (java) S 8075 8078 7499 0 -1 1077944384 297 0 0 0 8 0 0 0 20 0 15 0 272165919 14420721664 12653 33554432000 4194304 4196468 140726409631136 139727852734832 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8092] ppid=8075 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8092/stat : 8092 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14420721664 12653 33554432000 4194304 4196468 140726409631136 139727851682272 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8093] ppid=8075 vsize=14082736 memory=140126319863424 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8093/stat : 8093 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165920 14420721664 12653 33554432000 4194304 4196468 140726409631136 139727850630064 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50612 KiB

[startup+0.70071 s]
/proc/loadavg: 1.47 1.42 1.44 3/215 8093
/proc/meminfo: memFree=28436140/32770624 swapFree=67108796/67108860
[pid=8078] ppid=8075 vsize=14084804 memory=88652 CPUtime=0.99 cores=0,2,4,6
/proc/8078/stat : 8078 (java) S 8075 8078 7499 0 -1 1077944320 17571 0 0 0 94 5 0 0 20 0 15 0 272165913 14422839296 22163 33554432000 4194304 4196468 140726409631136 140726409613680 139728946147063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
/proc/8078/statm: 3521201 22163 3496 1 0 3483273 0
[pid=8078/tid=8080] ppid=8075 vsize=14084804 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/8078/task/8080/stat : 8080 (java) R 8075 8078 7499 0 -1 4202560 14953 0 0 0 63 4 0 0 20 0 15 0 272165914 14422839296 22163 33554432000 4194304 4196468 140726409631136 139728950352912 139728946168989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8081] ppid=8075 vsize=14084804 memory=8628 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8081/stat : 8081 (java) S 8075 8078 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272165915 14422839296 22163 33554432000 4194304 4196468 140726409631136 139728542427536 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8082] ppid=8075 vsize=14084804 memory=1080 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8082/stat : 8082 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165915 14422839296 22163 33554432000 4194304 4196468 140726409631136 139728541374736 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8083] ppid=8075 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8083/stat : 8083 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165915 14422839296 22163 33554432000 4194304 4196468 140726409631136 139728540322448 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8084] ppid=8075 vsize=14084804 memory=796 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8084/stat : 8084 (java) S 8075 8078 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272165915 14422839296 22163 33554432000 4194304 4196468 140726409631136 139728539269648 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8085] ppid=8075 vsize=14084804 memory=1592 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8085/stat : 8085 (java) S 8075 8078 7499 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272165916 14422839296 22163 33554432000 4194304 4196468 140726409631136 139727859051120 139728946158210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8086] ppid=8075 vsize=14084804 memory=3780 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8086/stat : 8086 (java) S 8075 8078 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272165916 14422839296 22163 33554432000 4194304 4196468 140726409631136 139727857997088 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8087] ppid=8075 vsize=14084804 memory=3140 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8087/stat : 8087 (java) S 8075 8078 7499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272165917 14422839296 22163 33554432000 4194304 4196468 140726409631136 139727856944752 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8088] ppid=8075 vsize=14084804 memory=7302135314614015845 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8088/stat : 8088 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14422839296 22163 33554432000 4194304 4196468 140726409631136 139727855893072 139728946165659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8089] ppid=8075 vsize=14084804 memory=8099279071866868845 CPUtime=0.07 cores=0,2,4,6
/proc/8078/task/8089/stat : 8089 (java) S 8075 8078 7499 0 -1 1077944384 585 0 0 0 7 0 0 0 20 0 15 0 272165919 14422839296 22163 33554432000 4194304 4196468 140726409631136 139727854839920 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8090] ppid=8075 vsize=14084804 memory=6154282490091891024 CPUtime=0.07 cores=0,2,4,6
/proc/8078/task/8090/stat : 8090 (java) S 8075 8078 7499 0 -1 1077944384 302 0 0 0 7 0 0 0 20 0 15 0 272165919 14422839296 22163 33554432000 4194304 4196468 140726409631136 139727853787120 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8091] ppid=8075 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/8078/task/8091/stat : 8091 (java) R 8075 8078 7499 0 -1 1077944384 348 0 0 0 15 0 0 0 20 0 15 0 272165919 14422839296 22163 33554432000 4194304 4196468 140726409631136 139727852734832 139728946158210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8092] ppid=8075 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8092/stat : 8092 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14422839296 22163 33554432000 4194304 4196468 140726409631136 139727851682272 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8093] ppid=8075 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8093/stat : 8093 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165920 14422839296 22163 33554432000 4194304 4196468 140726409631136 139727850630064 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88652 KiB

[startup+1.50073 s]
/proc/loadavg: 1.47 1.42 1.44 6/215 8093
/proc/meminfo: memFree=28393620/32770624 swapFree=67108796/67108860
[pid=8078] ppid=8075 vsize=14086852 memory=182124 CPUtime=3 cores=0,2,4,6
/proc/8078/stat : 8078 (java) S 8075 8078 7499 0 -1 1077944320 23684 0 0 0 293 7 0 0 20 0 15 0 272165913 14424936448 45531 33554432000 4194304 4196468 140726409631136 140726409613680 139728946147063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
/proc/8078/statm: 3521713 45531 3552 1 0 3483785 0
[pid=8078/tid=8080] ppid=8075 vsize=14086852 memory=8112282956445269571 CPUtime=1.47 cores=0,2,4,6
/proc/8078/task/8080/stat : 8080 (java) R 8075 8078 7499 0 -1 4202560 17018 0 0 0 141 6 0 0 20 0 15 0 272165914 14424936448 45531 33554432000 4194304 4196468 140726409631136 139728950380800 139728588838483 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8081] ppid=8075 vsize=14086852 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8081/stat : 8081 (java) S 8075 8078 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272165915 14424936448 45531 33554432000 4194304 4196468 140726409631136 139728542427536 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8082] ppid=8075 vsize=14086852 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8082/stat : 8082 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165915 14424936448 45531 33554432000 4194304 4196468 140726409631136 139728541374736 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8083] ppid=8075 vsize=14086852 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8083/stat : 8083 (java) S 8075 8078 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272165915 14424936448 45531 33554432000 4194304 4196468 140726409631136 139728540322448 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8084] ppid=8075 vsize=14086852 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8084/stat : 8084 (java) S 8075 8078 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272165915 14424936448 45531 33554432000 4194304 4196468 140726409631136 139728539269648 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8085] ppid=8075 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8085/stat : 8085 (java) S 8075 8078 7499 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 272165916 14424936448 45531 33554432000 4194304 4196468 140726409631136 139727859051120 139728946158210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0

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

/proc/8078/task/8080/stat : 8080 (java) R 8075 8078 7499 0 -1 4202560 31532 0 0 0 243895 11 0 0 20 0 15 0 272165914 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728950385104 139728591610068 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8081] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.13 cores=0,2,4,6
/proc/8078/task/8081/stat : 8081 (java) S 8075 8078 7499 0 -1 1077944384 5173 0 0 0 105 8 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728542427536 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8082] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.11 cores=0,2,4,6
/proc/8078/task/8082/stat : 8082 (java) S 8075 8078 7499 0 -1 1077944384 2788 0 0 0 102 9 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728541374736 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8083] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.12 cores=0,2,4,6
/proc/8078/task/8083/stat : 8083 (java) S 8075 8078 7499 0 -1 1077944384 2339 0 0 0 104 8 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728540322448 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8084] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.11 cores=0,2,4,6
/proc/8078/task/8084/stat : 8084 (java) S 8075 8078 7499 0 -1 1077944384 2154 0 0 0 102 9 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728539269648 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8085] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.18 cores=0,2,4,6
/proc/8078/task/8085/stat : 8085 (java) S 8075 8078 7499 0 -1 1077944384 4348 0 0 0 108 10 0 0 20 0 15 0 272165916 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727859051120 139728946158210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8086] ppid=8075 vsize=14090948 memory=212780 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8086/stat : 8086 (java) S 8075 8078 7499 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272165916 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727857997152 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8087] ppid=8075 vsize=14090948 memory=212780 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8087/stat : 8087 (java) S 8075 8078 7499 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 272165917 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727856944768 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8088] ppid=8075 vsize=14090948 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8088/stat : 8088 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727855893072 139728946165659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8089] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.36 cores=0,2,4,6
/proc/8078/task/8089/stat : 8089 (java) S 8075 8078 7499 0 -1 1077944384 4910 0 0 0 135 1 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727854839920 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8090] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.39 cores=0,2,4,6
/proc/8078/task/8090/stat : 8090 (java) S 8075 8078 7499 0 -1 1077944384 3671 0 0 0 139 0 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727853787120 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8091] ppid=8075 vsize=14090948 memory=212780 CPUtime=0.74 cores=0,2,4,6
/proc/8078/task/8091/stat : 8091 (java) S 8075 8078 7499 0 -1 1077944384 10151 0 0 0 73 1 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727852734832 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8092] ppid=8075 vsize=14090948 memory=212780 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8092/stat : 8092 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727851682272 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8093] ppid=8075 vsize=14090948 memory=1592 CPUtime=0.69 cores=0,2,4,6
/proc/8078/task/8093/stat : 8093 (java) S 8075 8078 7499 0 -1 1077944384 916 0 0 0 29 40 0 0 20 0 15 0 272165920 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727850630064 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
Current children cumulated CPU time: 2448.98 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 212780 KiB

[startup+2502.3 s]
/proc/loadavg: 1.77 1.73 1.61 3/215 8272
/proc/meminfo: memFree=16892672/32770624 swapFree=67108796/67108860
[pid=8078] ppid=8075 vsize=14090948 memory=212780 CPUtime=2509.07 cores=0,2,4,6
/proc/8078/stat : 8078 (java) S 8075 8078 7499 0 -1 1077944320 69708 0 0 0 250834 73 0 0 20 0 15 0 272165913 14429130752 53195 33554432000 4194304 4196468 140726409631136 140726409613680 139728946147063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
/proc/8078/statm: 3522737 53195 3593 1 0 3484809 0
[pid=8078/tid=8080] ppid=8075 vsize=14090948 memory=212780 CPUtime=2498.98 cores=0,2,4,6
/proc/8078/task/8080/stat : 8080 (java) R 8075 8078 7499 0 -1 4202560 31694 0 0 0 249887 11 0 0 20 0 15 0 272165914 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728950385376 139728591609678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8081] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.15 cores=0,2,4,6
/proc/8078/task/8081/stat : 8081 (java) S 8075 8078 7499 0 -1 1077944384 5243 0 0 0 107 8 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728542427536 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8082] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.15 cores=0,2,4,6
/proc/8078/task/8082/stat : 8082 (java) S 8075 8078 7499 0 -1 1077944384 2791 0 0 0 106 9 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728541374736 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8083] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.15 cores=0,2,4,6
/proc/8078/task/8083/stat : 8083 (java) S 8075 8078 7499 0 -1 1077944384 2345 0 0 0 107 8 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728540322448 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8084] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.14 cores=0,2,4,6
/proc/8078/task/8084/stat : 8084 (java) S 8075 8078 7499 0 -1 1077944384 2156 0 0 0 105 9 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728539269648 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8085] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.21 cores=0,2,4,6
/proc/8078/task/8085/stat : 8085 (java) S 8075 8078 7499 0 -1 1077944384 4391 0 0 0 111 10 0 0 20 0 15 0 272165916 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727859051120 139728946158210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8086] ppid=8075 vsize=14090948 memory=212780 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8086/stat : 8086 (java) S 8075 8078 7499 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272165916 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727857997152 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8087] ppid=8075 vsize=14090948 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8087/stat : 8087 (java) S 8075 8078 7499 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 272165917 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727856944768 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8088] ppid=8075 vsize=14090948 memory=6420 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8088/stat : 8088 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727855893072 139728946165659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8089] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.36 cores=0,2,4,6
/proc/8078/task/8089/stat : 8089 (java) S 8075 8078 7499 0 -1 1077944384 4910 0 0 0 135 1 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727854839920 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8090] ppid=8075 vsize=14090948 memory=3632 CPUtime=1.39 cores=0,2,4,6
/proc/8078/task/8090/stat : 8090 (java) S 8075 8078 7499 0 -1 1077944384 3671 0 0 0 139 0 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727853787120 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8091] ppid=8075 vsize=14090948 memory=212780 CPUtime=0.74 cores=0,2,4,6
/proc/8078/task/8091/stat : 8091 (java) S 8075 8078 7499 0 -1 1077944384 10151 0 0 0 73 1 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727852734832 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8092] ppid=8075 vsize=14090948 memory=212780 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8092/stat : 8092 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727851682272 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8093] ppid=8075 vsize=14090948 memory=212780 CPUtime=0.7 cores=0,2,4,6
/proc/8078/task/8093/stat : 8093 (java) S 8075 8078 7499 0 -1 1077944384 932 0 0 0 29 41 0 0 20 0 15 0 272165920 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727850630064 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
Current children cumulated CPU time: 2509.07 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 212780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2513.3 s]
/proc/loadavg: 1.73 1.72 1.61 3/215 8272
/proc/meminfo: memFree=16892796/32770624 swapFree=67108796/67108860
[pid=8078] ppid=8075 vsize=14090948 memory=212780 CPUtime=2520.09 cores=0,2,4,6
/proc/8078/stat : 8078 (java) S 8075 8078 7499 0 -1 1077944320 69716 0 0 0 251935 74 0 0 20 0 15 0 272165913 14429130752 53195 33554432000 4194304 4196468 140726409631136 140726409613680 139728946147063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
/proc/8078/statm: 3522737 53195 3593 1 0 3484809 0
[pid=8078/tid=8080] ppid=8075 vsize=14090948 memory=212780 CPUtime=2509.96 cores=0,2,4,6
/proc/8078/task/8080/stat : 8080 (java) R 8075 8078 7499 0 -1 4202560 31702 0 0 0 250985 11 0 0 20 0 15 0 272165914 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728950385136 139728591610641 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8081] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.16 cores=0,2,4,6
/proc/8078/task/8081/stat : 8081 (java) S 8075 8078 7499 0 -1 1077944384 5243 0 0 0 108 8 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728542427536 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8082] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.15 cores=0,2,4,6
/proc/8078/task/8082/stat : 8082 (java) S 8075 8078 7499 0 -1 1077944384 2791 0 0 0 106 9 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728541374736 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8083] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.16 cores=0,2,4,6
/proc/8078/task/8083/stat : 8083 (java) S 8075 8078 7499 0 -1 1077944384 2345 0 0 0 108 8 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728540322448 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8084] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.15 cores=0,2,4,6
/proc/8078/task/8084/stat : 8084 (java) S 8075 8078 7499 0 -1 1077944384 2156 0 0 0 106 9 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728539269648 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8085] ppid=8075 vsize=14090948 memory=6420 CPUtime=1.22 cores=0,2,4,6
/proc/8078/task/8085/stat : 8085 (java) S 8075 8078 7499 0 -1 1077944384 4391 0 0 0 112 10 0 0 20 0 15 0 272165916 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727859051120 139728946158210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8086] ppid=8075 vsize=14090948 memory=212780 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8086/stat : 8086 (java) S 8075 8078 7499 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272165916 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727857997152 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8087] ppid=8075 vsize=14090948 memory=1500 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8087/stat : 8087 (java) S 8075 8078 7499 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 272165917 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727856944768 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8088] ppid=8075 vsize=14090948 memory=69458211127082 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8088/stat : 8088 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727855893072 139728946165659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8089] ppid=8075 vsize=14090948 memory=932 CPUtime=1.36 cores=0,2,4,6
/proc/8078/task/8089/stat : 8089 (java) S 8075 8078 7499 0 -1 1077944384 4910 0 0 0 135 1 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727854839920 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8090] ppid=8075 vsize=14090948 memory=1728 CPUtime=1.39 cores=0,2,4,6
/proc/8078/task/8090/stat : 8090 (java) S 8075 8078 7499 0 -1 1077944384 3671 0 0 0 139 0 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727853787120 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8091] ppid=8075 vsize=14090948 memory=212780 CPUtime=0.74 cores=0,2,4,6
/proc/8078/task/8091/stat : 8091 (java) S 8075 8078 7499 0 -1 1077944384 10151 0 0 0 73 1 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727852734832 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8092] ppid=8075 vsize=14090948 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8092/stat : 8092 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727851682272 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8093] ppid=8075 vsize=14090948 memory=212780 CPUtime=0.7 cores=0,2,4,6
/proc/8078/task/8093/stat : 8093 (java) S 8075 8078 7499 0 -1 1077944384 932 0 0 0 29 41 0 0 20 0 15 0 272165920 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727850630064 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 212780 KiB

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

[startup+2513.32 s]
# the end of solver process 8078 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.38 s, system=0.745415 s

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

[startup+2513.3 s]
/proc/loadavg: 1.73 1.72 1.61 3/215 8272
/proc/meminfo: memFree=16892796/32770624 swapFree=67108796/67108860
[pid=8078] ppid=8075 vsize=14090948 memory=212780 CPUtime=2520.09 cores=0,2,4,6
/proc/8078/stat : 8078 (java) S 8075 8078 7499 0 -1 1077944320 69716 0 0 0 251935 74 0 0 20 0 15 0 272165913 14429130752 53195 33554432000 4194304 4196468 140726409631136 140726409613680 139728946147063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
/proc/8078/statm: 3522737 53195 3593 1 0 3484809 0
[pid=8078/tid=8080] ppid=8075 vsize=14090948 memory=212780 CPUtime=2509.96 cores=0,2,4,6
/proc/8078/task/8080/stat : 8080 (java) R 8075 8078 7499 0 -1 4202560 31702 0 0 0 250985 11 0 0 20 0 15 0 272165914 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728950385136 139728591610641 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8081] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.16 cores=0,2,4,6
/proc/8078/task/8081/stat : 8081 (java) S 8075 8078 7499 0 -1 1077944384 5243 0 0 0 108 8 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728542427536 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8082] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.15 cores=0,2,4,6
/proc/8078/task/8082/stat : 8082 (java) S 8075 8078 7499 0 -1 1077944384 2791 0 0 0 106 9 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728541374736 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8083] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.16 cores=0,2,4,6
/proc/8078/task/8083/stat : 8083 (java) S 8075 8078 7499 0 -1 1077944384 2345 0 0 0 108 8 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728540322448 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8084] ppid=8075 vsize=14090948 memory=212780 CPUtime=1.15 cores=0,2,4,6
/proc/8078/task/8084/stat : 8084 (java) S 8075 8078 7499 0 -1 1077944384 2156 0 0 0 106 9 0 0 20 0 15 0 272165915 14429130752 53195 33554432000 4194304 4196468 140726409631136 139728539269648 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8085] ppid=8075 vsize=14090948 memory=6420 CPUtime=1.22 cores=0,2,4,6
/proc/8078/task/8085/stat : 8085 (java) S 8075 8078 7499 0 -1 1077944384 4391 0 0 0 112 10 0 0 20 0 15 0 272165916 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727859051120 139728946158210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8086] ppid=8075 vsize=14090948 memory=212780 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8086/stat : 8086 (java) S 8075 8078 7499 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272165916 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727857997152 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8087] ppid=8075 vsize=14090948 memory=1500 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8087/stat : 8087 (java) S 8075 8078 7499 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 272165917 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727856944768 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8088] ppid=8075 vsize=14090948 memory=69458211127082 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8088/stat : 8088 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727855893072 139728946165659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8089] ppid=8075 vsize=14090948 memory=932 CPUtime=1.36 cores=0,2,4,6
/proc/8078/task/8089/stat : 8089 (java) S 8075 8078 7499 0 -1 1077944384 4910 0 0 0 135 1 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727854839920 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8090] ppid=8075 vsize=14090948 memory=1728 CPUtime=1.39 cores=0,2,4,6
/proc/8078/task/8090/stat : 8090 (java) S 8075 8078 7499 0 -1 1077944384 3671 0 0 0 139 0 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727853787120 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8091] ppid=8075 vsize=14090948 memory=212780 CPUtime=0.74 cores=0,2,4,6
/proc/8078/task/8091/stat : 8091 (java) S 8075 8078 7499 0 -1 1077944384 10151 0 0 0 73 1 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727852734832 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8092] ppid=8075 vsize=14090948 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/8078/task/8092/stat : 8092 (java) S 8075 8078 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272165919 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727851682272 139728946157269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
[pid=8078/tid=8093] ppid=8075 vsize=14090948 memory=212780 CPUtime=0.7 cores=0,2,4,6
/proc/8078/task/8093/stat : 8093 (java) S 8075 8078 7499 0 -1 1077944384 932 0 0 0 29 41 0 0 20 0 15 0 272165920 14429130752 53195 33554432000 4194304 4196468 140726409631136 139727850630064 139728946158210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 38051840 140726409638984 140726409639177 140726409639177 140726409641935 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 212780 KiB

Child status: 143
Real time (s): 2513.32
CPU time (s): 2520.12
CPU user time (s): 2519.38
CPU system time (s): 0.745415
CPU usage (%): 100.27
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 259632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.38
system time used= 0.745415
maximum resident set size= 260144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84980
involuntary context switches= 3359


# summary of solver processes directly reported to runsolver:
#   pid: 8078
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2519.38
#   total CPU system time (s): 0.745415

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2252 second user time and 22.9867 second system time

The end

Launcher Data 

Begin job on node138 at 2018-08-18 00:47:07
IDJOB=4312068
IDBENCH=141152
IDSOLVER=2799
FILE ID=node138/4312068-1534546027
RUNJOBID= node138-1534541039-7530
PBS_JOBID= 21038633
Free space on /tmp= 46996 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay400_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312068-1534546027/watcher-4312068-1534546027 -o /tmp/evaluation-result-4312068-1534546027/solver-4312068-1534546027 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534541039-7530 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1884243932 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312068-1534546027.xml

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

MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945
RANDOM SEED=1884243932

node138.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.71
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.71
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.71
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.71
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:        28496668 kB
MemAvailable:   31711912 kB
Buffers:          147532 kB
Cached:          3348516 kB
SwapCached:           12 kB
Active:          2042468 kB
Inactive:        1691788 kB
Active(anon):     199488 kB
Inactive(anon):   107576 kB
Active(file):    1842980 kB
Inactive(file):  1584212 kB
Unevictable:        7260 kB
Mlocked:            7260 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             35756 kB
Writeback:             0 kB
AnonPages:        257968 kB
Mapped:            31048 kB
Shmem:             66124 kB
Slab:             235736 kB
SReclaimable:     207772 kB
SUnreclaim:        27964 kB
KernelStack:        3792 kB
PageTables:         6128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1232512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 46960 MiB
End job on node138 at 2018-08-18 01:29:01