Trace number 4299028

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
slowpoke 2018-04-29SAT (TO)80533724 2520.14 2499.54

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-01-0200_c18.xml
MD5SUM0e8e562de5d18dab033d3d20f1b4790d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35891368
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables3236
Number of constraints2053
Number of domains39
Minimum domain size1
Maximum domain size95
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":1142},{"size":11,"count":945},{"size":12,"count":1},{"size":21,"count":9},{"size":23,"count":22},{"size":25,"count":1},{"size":29,"count":34},{"size":33,"count":35},{"size":34,"count":18},{"size":35,"count":32},{"size":39,"count":8},{"size":40,"count":9},{"size":41,"count":15},{"size":49,"count":1},{"size":50,"count":19},{"size":51,"count":16},{"size":53,"count":5},{"size":55,"count":32},{"size":57,"count":10},{"size":58,"count":7},{"size":60,"count":9},{"size":64,"count":76},{"size":69,"count":85},{"size":74,"count":50},{"size":81,"count":87},{"size":91,"count":84},{"size":93,"count":31},{"size":95,"count":450}]
Minimum variable degree2
Maximum variable degree946
Distribution of variable degrees[{"degree":2,"count":2836},{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":17},{"degree":6,"count":21},{"degree":7,"count":31},{"degree":8,"count":26},{"degree":9,"count":50},{"degree":10,"count":45},{"degree":11,"count":47},{"degree":12,"count":52},{"degree":13,"count":72},{"degree":14,"count":34},{"degree":946,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":163},{"arity":3,"count":945},{"arity":6,"count":945}]
Number of extensional constraints2053
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2053}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: 2520
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
33.44/20.36	o 98253098
33.44/20.37	o 98253097
33.44/20.37	o 98253096
33.44/20.37	o 98253094
33.44/20.39	o 98253091
33.60/20.40	o 98253089
33.77/20.50	o 98253087
33.77/20.53	o 98253085
37.01/23.61	o 98253084
37.01/23.62	o 98253083
37.01/23.63	o 98253081
37.01/23.63	o 98253074
37.24/23.80	o 98253073
37.24/23.82	o 98253072
37.24/23.83	o 98253069
40.50/27.07	o 98253068
40.50/27.08	o 98253066
44.05/30.60	o 98253064
44.16/30.67	o 98253062
44.16/30.67	o 98253056
44.28/30.70	o 98253055
51.79/38.18	o 98253054
51.79/38.19	o 98253053
58.79/45.19	o 98253052
368.92/351.25	o 98253051
368.92/351.25	o 98253050
368.92/351.26	o 98253049
368.92/351.28	o 98253047
369.02/351.39	o 98253045
372.55/354.82	o 98253044
372.55/354.83	o 98253036
372.55/354.89	o 98253032
372.66/354.95	o 98253029
376.07/358.33	o 98253024
376.07/358.34	o 98253021
376.07/358.35	o 98253017
376.07/358.35	o 98253014
376.07/358.37	o 98253003
376.07/358.39	o 98252998
376.17/358.43	o 98252994
376.17/358.46	o 98252993
379.68/361.86	o 98252992
379.68/361.86	o 98252990
379.68/361.86	o 98252989
379.68/361.86	o 98252987
379.68/361.87	o 98252986
379.68/361.87	o 98252984
379.68/361.87	o 98252983
379.78/361.92	o 98252979
379.78/361.93	o 98252975
379.78/361.99	o 98252972
379.88/362.00	o 98252971
383.20/365.32	o 98252970
383.20/365.32	o 98252969
383.20/365.32	o 98252968
383.20/365.37	o 98252965
383.20/365.37	o 98252964
1030.00/1011.45	o 80666420
1030.00/1011.45	o 80666415
1030.00/1011.45	o 80666414
1030.00/1011.45	o 80666402
1030.00/1011.45	o 80666401
1030.00/1011.46	o 80666400
1030.00/1011.46	o 80666391
1030.00/1011.46	o 80666387
1030.00/1011.47	o 80666386
1030.00/1011.47	o 80666381
1030.00/1011.48	o 80666380
1030.10/1011.50	o 80666379
1030.10/1011.50	o 80666378
1030.10/1011.52	o 80666377
1030.10/1011.55	o 80666376
1030.20/1011.60	o 80666374
1033.30/1014.79	o 80666370
1033.30/1014.79	o 80666369
1033.30/1014.80	o 80666368
1033.40/1014.80	o 80666365
1033.40/1014.83	o 80666358
1033.40/1014.86	o 80666357
1033.40/1014.87	o 80666356
1033.50/1014.91	o 80666350
1033.50/1014.97	o 80666341
1033.50/1014.97	o 80666339
1033.50/1014.97	o 80666338
1036.70/1018.19	o 80666336
1036.81/1018.27	o 80666335
1036.91/1018.39	o 80666312
1040.11/1021.59	o 80666311
1040.11/1021.59	o 80666309
1040.11/1021.60	o 80666308
1040.21/1021.61	o 80666307
1040.21/1021.62	o 80666304
1040.21/1021.66	o 80666300
1051.19/1032.50	o 80666297
1054.29/1035.67	o 80666295
1090.12/1071.46	o 80628491
1090.12/1071.46	o 80628484
1090.12/1071.46	o 80628482
1090.12/1071.46	o 80628481
1090.22/1071.51	o 80628478
1090.22/1071.52	o 80628476
1090.22/1071.54	o 80628471
1090.22/1071.54	o 80628468
1090.42/1071.78	o 80628464
1090.42/1071.78	o 80628463
1090.42/1071.78	o 80628461
1090.42/1071.79	o 80628460
1093.82/1075.18	o 80628458
1093.82/1075.19	o 80628451
1097.12/1078.47	o 80628449
1097.32/1078.60	o 80628439
1196.34/1177.51	o 80609582
1196.34/1177.51	o 80609577
1196.34/1177.53	o 80609575
1196.34/1177.55	o 80609565
1196.34/1177.59	o 80609562
1199.74/1180.99	o 80609560
1199.74/1181.00	o 80609559
1199.84/1181.00	o 80609557
1199.84/1181.00	o 80609556
1199.84/1181.06	o 80609553
1199.94/1181.14	o 80609552
1439.57/1420.46	o 80609511
1439.57/1420.47	o 80609488
1439.57/1420.49	o 80609486
1439.67/1420.50	o 80609485
1439.67/1420.53	o 80609484
1439.67/1420.54	o 80609483
1439.67/1420.55	o 80609482
1442.97/1423.81	o 80609480
1442.97/1423.81	o 80609476
1442.97/1423.82	o 80609471
1442.97/1423.82	o 80609470
1442.97/1423.82	o 80609469
1442.97/1423.86	o 80609468
1446.55/1427.36	o 80609466
1446.55/1427.36	o 80609465
1446.55/1427.38	o 80609464
1446.64/1427.49	o 80609463
1449.95/1430.73	o 80609462
1449.95/1430.73	o 80609458
1450.15/1430.92	o 80609454
1450.25/1431.02	o 80609452
1453.45/1434.30	o 80609451
1453.75/1434.56	o 80609450
1453.85/1434.66	o 80609446
1457.05/1437.85	o 80609441
1468.86/1449.69	o 80599995
1468.86/1449.69	o 80599994
1468.86/1449.69	o 80599993
1468.86/1449.69	o 80599992
1468.86/1449.70	o 80599991
1468.96/1449.70	o 80599990
1468.96/1449.71	o 80599989
1468.96/1449.72	o 80599982
1468.96/1449.75	o 80599981
1469.06/1449.81	o 80599980
1472.36/1453.19	o 80599977
1472.36/1453.19	o 80599972
1472.36/1453.19	o 80599971
1472.47/1453.21	o 80599969
1472.47/1453.21	o 80599966
1472.47/1453.21	o 80599965
1472.47/1453.21	o 80599964
1472.47/1453.23	o 80599963
1472.47/1453.24	o 80599959
1472.47/1453.26	o 80599957
1472.47/1453.28	o 80599950
1472.57/1453.33	o 80599948
1472.57/1453.33	o 80599947
1472.57/1453.39	o 80599945
1475.86/1456.60	o 80599942
1475.86/1456.69	o 80599939
1475.96/1456.72	o 80599937
1479.47/1460.27	o 80599936
1479.57/1460.40	o 80599935
1479.66/1460.50	o 80599933
1596.91/1577.50	o 80590508
1596.91/1577.50	o 80590507
1596.91/1577.51	o 80590505
1596.91/1577.51	o 80590504
1597.02/1577.61	o 80590500
1597.02/1577.61	o 80590499
1597.02/1577.69	o 80590498
1597.12/1577.72	o 80590496
1600.42/1581.02	o 80590495
1600.42/1581.06	o 80590494
1600.52/1581.11	o 80590492
1600.63/1581.21	o 80590490
1603.82/1584.46	o 80581034
1603.82/1584.46	o 80581030
1603.82/1584.47	o 80581028
1603.82/1584.47	o 80581027
1603.82/1584.47	o 80581025
1603.92/1584.55	o 80581024
1603.92/1584.55	o 80581023
1604.02/1584.63	o 80581021
1607.42/1588.07	o 80581020
1607.42/1588.07	o 80581014
1607.42/1588.08	o 80581013
1608.09/1588.60	o 80581010
1611.29/1591.89	o 80581009
1611.39/1591.96	o 80581008
1611.49/1592.09	o 80581007
1611.49/1592.09	o 80581003
1615.49/1596.08	o 80581001
1615.70/1596.28	o 80581000
1619.29/1599.86	o 80580999
1623.40/1603.94	o 80580998
1623.50/1604.03	o 80580997
1676.93/1657.44	o 80571582
1676.93/1657.44	o 80571581
1676.93/1657.44	o 80571573
1676.93/1657.45	o 80571572
1676.93/1657.45	o 80571566
1677.03/1657.52	o 80571565
1677.30/1657.74	o 80571561
1677.30/1657.78	o 80571556
1677.30/1657.78	o 80571554
1677.30/1657.78	o 80571552
1677.40/1657.84	o 80571551
1680.81/1661.25	o 80571550
1680.81/1661.25	o 80571548
1680.81/1661.26	o 80571547
1680.92/1661.31	o 80571539
1681.01/1661.41	o 80571538
1681.11/1661.55	o 80571537
1688.31/1668.79	o 80571536
1688.31/1668.79	o 80571535
1695.92/1676.33	o 80571533
1696.01/1676.41	o 80571532
1881.50/1861.78	o 80562167
1881.50/1861.78	o 80562161
1881.50/1861.79	o 80562152
1881.60/1861.82	o 80562148
1881.60/1861.83	o 80562147
1881.70/1861.94	o 80562145
1885.01/1865.23	o 80562141
1885.01/1865.23	o 80562140
1932.79/1912.96	o 80562139
1936.10/1916.22	o 80562132
1936.20/1916.35	o 80562131
1984.42/1964.50	o 80562128
1984.42/1964.52	o 80562126
1988.23/1968.37	o 80562125
1988.23/1968.37	o 80562117
1988.23/1968.38	o 80562115
1991.93/1972.03	o 80562114
2070.84/2050.85	o 80552652
2070.84/2050.86	o 80552651
2070.84/2050.86	o 80552647
2070.84/2050.86	o 80552646
2070.95/2050.92	o 80552645
2070.95/2050.92	o 80552644
2078.55/2058.56	o 80552641
2085.46/2065.42	o 80552640
2085.46/2065.42	o 80552639
2085.56/2065.56	o 80552634
2088.86/2068.90	o 80552633
2088.86/2068.90	o 80552628
2088.96/2068.92	o 80552627
2089.06/2069.08	o 80552622
2255.78/2235.58	o 80543290
2255.78/2235.58	o 80543289
2255.78/2235.58	o 80543283
2255.78/2235.58	o 80543278
2255.78/2235.59	o 80543271
2255.78/2235.59	o 80543266
2255.88/2235.60	o 80543265
2255.88/2235.60	o 80543261
2255.88/2235.60	o 80543260
2255.88/2235.62	o 80543257
2255.88/2235.63	o 80543255
2259.28/2239.09	o 80543254
2259.28/2239.09	o 80543253
2259.28/2239.09	o 80543251
2259.39/2239.18	o 80543250
2259.50/2239.26	o 80543249
2266.50/2246.22	o 80543244
2266.50/2246.22	o 80543243
2266.50/2246.23	o 80543242
2266.50/2246.28	o 80543238
2269.89/2249.68	o 80543237
2269.89/2249.69	o 80543236
2269.89/2249.69	o 80543235
2269.89/2249.69	o 80543234
2269.99/2249.79	o 80543233
2270.09/2249.84	o 80543232
2270.19/2249.91	o 80543231
2270.19/2249.99	o 80543230
2273.50/2253.27	o 80543229
2400.07/2379.60	o 80533799
2400.07/2379.60	o 80533798
2400.07/2379.60	o 80533797
2400.07/2379.60	o 80533792
2400.07/2379.61	o 80533790
2400.07/2379.63	o 80533783
2400.07/2379.63	o 80533782
2400.17/2379.72	o 80533780
2400.17/2379.72	o 80533776
2400.17/2379.74	o 80533775
2403.47/2383.03	o 80533771
2403.47/2383.04	o 80533770
2403.47/2383.04	o 80533768
2403.47/2383.05	o 80533764
2403.47/2383.07	o 80533763
2403.47/2383.08	o 80533760
2403.57/2383.10	o 80533754
2403.57/2383.17	o 80533743
2403.68/2383.26	o 80533741
2488.47/2467.94	o 80533740
2488.47/2467.95	o 80533739
2488.47/2467.97	o 80533738
2488.47/2467.97	o 80533736
2488.47/2467.99	o 80533735
2499.28/2478.76	o 80533734
2499.28/2478.76	o 80533733
2499.28/2478.76	o 80533732
2502.58/2482.03	o 80533728
2502.68/2482.15	o 80533727
2502.89/2482.33	o 80533725
2513.68/2493.19	o 80533724
2520.09/2499.50	s SATISFIABLE
2520.09/2499.51	v <instantiation>
2520.09/2499.51	v 	<list>
2520.09/2499.51	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] 
2520.09/2499.51	v 	</list>
2520.09/2499.51	v 	<values>
2520.09/2499.51	v 		2600 2444 2584 2572 2344 2508 2456 2532 2480 2280 2320 2576 2436 2332 2492 2512 2616 2544 2320 2640 2640 2500 2292 2552 2628 2472 2644 2640 2616 2292 2628 2560 2612 2360 2460 2504 2596 2540 2464 2444 2616 2280 2492 2440 2464 2364 2524 2444 2472 2524 2492 2624 2336 2456 2312 2384 2428 2512 2456 2328 2520 2344 2404 2512 2432 2504 2488 2356 2600 2360 2656 2388 2636 2528 2284 2584 2320 2600 2616 2320 2288 2352 2280 2416 2544 2576 2548 2588 2484 2588 2332 2436 2572 2532 2508 2532 2464 2496 2584 2656 2656 2624 2572 2492 2528 2416 2564 2508 2320 2280 2456 2280 2336 2652 2344 2536 2428 2616 2396 2652 2468 2552 2396 2280 2280 2356 2428 2368 2280 2468 2600 2656 2416 2424 2320 2528 2560 2280 2632 2608 2396 2616 2476 2324 2460 2548 2328 2596 2416 2320 2404 2604 2500 2408 2536 2428 2592 2384 2532 2616 2452 2496 2564 2388 2656 2640 2488 2420 2656 2424 2284 2584 2372 2400 2360 2336 2488 2400 2376 2376 2648 2384 2624 2320 2636 2600 2456 2320 2612 2368 2416 2324 2320 2616 2404 2612 2376 2468 2332 2532 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 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 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 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 9 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 0 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 6 3 1 0 0 0 1 0 0 0 8 0 1 6 0 0 0 0 1 0 0 0 0 6 0 0 0 0 3 0 0 1 1 1 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 4 3 0 8 0 8 0 0 0 7 0 0 0 1 0 0 0 0 7 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 8 0 8 0 0 0 0 0 0 8 0 7 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 7 0 6 0 0 1 0 0 0 1 0 0 3 0 0 8 0 1 5 0 8 5 0 0 0 0 0 1 0 1 1 0 5 0 0 3 0 0 0 7 0 0 1 8 0 0 0 1 5 0 0 6 2 0 0 1 0 0 0 0 5 2 1 0 0 0 6 0 0 0 0 1 0 0 1 0 2 4 1 0 8 8 0 1 0 0 1 0 0 5 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 6 0 0 0 0 8 0 0 1 0 0 8 0 0 0 0 1 0 0 0 8 0 1 0 0 0 0 0 0 0 0 4 5 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 8 0 0 0 4 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 6 8 0 0 1 0 1 0 0 0 0 3 4 0 0 5 3 0 6 3 0 0 0 0 0 0 0 8 3 1 0 0 0 0 0 1 7 5 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 8 0 0 1 0 0 0 0 0 2 0 0 7 0 1 0 1 7 8 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 8 0 0 0 1 1 0 8 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 5 0 1 0 0 3 0 0 1 0 8 2 0 0 8 0 1 0 0 1 1 1 1 1 0 1 0 0 0 0 5 0 0 0 0 1 0 0 0 8 0 0 0 0 0 6 0 0 1 0 0 5 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 1 0 0 4 0 0 0 0 1 1 1 1 0 1 0 0 0 0 5 1 6 0 1 0 0 6 0 0 0 8 0 1 0 6 1 0 0 1 0 1 5 5 1 1 0 0 0 0 4 0 0 0 2 0 1 6 0 0 3 0 0 1 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 8 1 0 0 1 0 0 6 0 0 1 0 1 0 0 0 0 0 0 0 0 5 5 0 0 0 0 0 4 0 0 0 0 0 8 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 5 0 0 0 1 5 1 0 4 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 0 8 0 5 0 0 0 0 0 0 8 3 6 4 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 4 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4 0 2 4 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 1 0 0 0 0 0 0 1 1 8 0 5 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 8 8 8 0 0 0 6 0 0 0 0 1 5 0 0 0 0 5 8 0 0 0 6 0 0 1 0 0 0 0 0 0 0 0 0 1 44 96 144 28 64 320 180 232 76 56 28 48 172 68 40 28 180 196 52 88 240 108 168 132 264 180 228 68 280 188 216 284 16 40 44 12 68 164 284 272 112 112 240 188 52 80 296 60 40 72 112 228 88 56 140 184 44 96 16 32 96 252 60 28 64 92 108 136 208 112 156 76 48 196 84 64 4 56 108 104 160 52 136 44 376 304 224 320 240 16 280 336 56 64 216 132 264 220 60 24 180 88 152 292 240 108 76 68 36 20 152 28 148 116 64 36 284 308 228 28 20 52 124 320 136 292 84 52 148 212 108 212 124 212 72 92 172 172 120 40 48 84 80 112 16 188 36 96 160 96 272 40 40 8 148 264 80 48 224 320 172 64 112 40 116 108 136 48 116 16 208 224 16 220 356 304 152 308 360 304 244 320 56 320 28 144 4 84 32 64 44 220 48 176 180 268 324 124 12 364 344 164 12 72 232 48 272 136 76 176 72 136 228 164 136 300 44 16 224 168 156 124 48 40 116 184 144 56 204 12 112 308 364 192 156 228 276 56 64 16 148 244 8 16 28 108 280 296 152 336 200 216 296 92 112 296 172 272 44 52 124 80 196 92 116 80 212 284 304 308 208 252 96 68 116 156 144 200 76 236 52 148 140 184 44 44 12 196 152 4 44 292 80 44 72 56 24 64 76 140 128 72 140 28 188 20 8 16 108 148 76 128 184 172 4 160 12 316 276 180 96 220 124 44 72 124 44 52 168 72 64 8 184 144 60 72 24 148 144 124 84 28 200 24 284 84 164 4 336 148 104 92 332 28 48 20 20 148 28 76 168 4 92 160 32 24 104 68 128 8 104 124 188 144 24 40 64 64 28 8 220 76 292 36 20 112 204 48 92 68 104 160 100 172 124 52 32 112 84 136 192 64 96 100 88 132 100 84 72 240 148 172 8 44 212 140 168 36 188 96 88 72 344 344 88 248 304 248 176 236 172 32 72 88 100 128 144 92 28 44 28 136 68 200 200 172 324 216 236 344 32 116 236 104 112 88 300 220 48 116 44 208 160 44 60 108 16 88 20 20 232 140 232 108 176 112 136 120 196 32 40 220 156 204 68 68 44 72 320 24 136 92 240 60 104 144 128 104 92 184 308 64 256 60 40 280 112 28 44 180 104 60 56 132 244 28 152 24 136 136 128 108 140 184 184 164 56 24 220 88 24 148 88 96 84 60 72 144 68 112 72 68 232 40 244 20 136 72 184 320 8 200 224 24 36 76 124 240 136 64 76 72 124 148 312 124 280 212 64 68 76 176 276 252 128 36 24 100 32 140 112 88 268 44 372 100 332 48 224 64 256 76 96 244 280 0 84 56 32 212 200 276 264 220 148 12 188 40 180 308 244 328 312 236 20 72 44 196 20 180 136 336 360 156 112 12 20 132 112 120 224 144 168 92 80 28 8 200 48 244 180 60 48 140 160 124 36 308 52 172 52 4 228 204 132 56 168 116 64 52 172 164 132 132 120 44 52 164 252 64 8 200 156 216 156 196 64 100 156 96 156 72 188 196 252 156 188 212 128 228 24 68 116 200 120 132 88 160 216 40 264 68 48 208 96 372 284 200 164 260 40 288 96 344 256 344 80 28 292 60 176 236 28 212 212 36 172 120 192 88 8 88 148 80 136 200 40 96 4 76 164 228 244 148 228 52 228 184 108 296 88 100 264 272 316 112 96 40 60 160 20 28 120 136 320 136 88 92 52 32 268 68 52 184 72 272 44 40 24 136 224 108 188 296 240 72 204 116 68 260 188 52 116 232 40 328 132 144 136 272 84 224 56 164 96 76 100 228 268 48 360 96 96 280 128 36 248 260 168 68 28 196 108 104 228 352 196 148 40 332 40 100 176 64 56 232 108 64 272 296 44 148 232 104 160 88 312 336 64 72 164 236 108 96 80 52 124 172 228 68 272 16 80 76 32 216 280 232 296 156 156 64 60 300 4 120 68 228 56 328 60 16 96 336 48 200 212 92 184 204 116 228 284 116 72 148 116 80 44 216 228 8 124 232 296 44 204 52 80 8 124 192 76 32 36 212 216 184 308 168 204 88 136 52 336 192 248 260 252 216 280 200 248 156 56 228 60 232 132 76 148 208 280 36 64 
2520.09/2499.51	v 	</values>
2520.09/2499.51	v </instantiation>

Verifier Data 

OK	80533724

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299028-1532798476/watcher-4299028-1532798476 -o /tmp/evaluation-result-4299028-1532798476/solver-4299028-1532798476 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532775768-15807 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299028-1532798476.xml --timelimit 2520 

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=18465, runsolver pid=18462

[startup+0.100058 s]*
/proc/loadavg: 5.89 3.13 2.21 7/220 18480
/proc/meminfo: memFree=14660620/32770624 swapFree=67108860/67108860
[pid=18465] ppid=18462 vsize=10661056 memory=27816 CPUtime=0.13 cores=0,2,4,6
/proc/18465/stat : 18465 (java) S 18462 18465 15776 0 -1 1077944320 5292 0 0 0 11 2 0 0 20 0 15 0 97410782 10916921344 6954 33554432000 4194304 4196468 140729013520096 140729013502640 139716750802679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
/proc/18465/statm: 2665264 6954 2840 1 0 2627263 0
[pid=18465/tid=18467] ppid=18462 vsize=10661056 memory=-7254949987974015097 CPUtime=0.09 cores=0,2,4,6
/proc/18465/task/18467/stat : 18467 (java) R 18462 18465 15776 0 -1 4202560 3161 0 0 0 8 1 0 0 20 0 15 0 97410782 10916921344 6954 33554432000 4194304 4196468 140729013520096 139716755032464 139716743039806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18468] ppid=18462 vsize=10661056 memory=5793855120692361657 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18468/stat : 18468 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410783 10916921344 6954 33554432000 4194304 4196468 140729013520096 139716703423504 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18469] ppid=18462 vsize=10661056 memory=139869682468480 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18469/stat : 18469 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410783 10916921344 6954 33554432000 4194304 4196468 140729013520096 139716702370960 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18470] ppid=18462 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18470/stat : 18470 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410783 10916921344 6954 33554432000 4194304 4196468 140729013520096 139716701317904 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18471] ppid=18462 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18471/stat : 18471 (java) S 18462 18465 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97410783 10916921344 6954 33554432000 4194304 4196468 140729013520096 139716700265360 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18472] ppid=18462 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18472/stat : 18472 (java) S 18462 18465 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97410785 10916921344 6954 33554432000 4194304 4196468 140729013520096 139715786057968 139716750813826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18473] ppid=18462 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18473/stat : 18473 (java) S 18462 18465 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97410785 10916921344 6954 33554432000 4194304 4196468 140729013520096 139715785004192 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18474] ppid=18462 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18474/stat : 18474 (java) S 18462 18465 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97410785 10916921344 6954 33554432000 4194304 4196468 140729013520096 139715783951088 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18475] ppid=18462 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18475/stat : 18475 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916921344 6954 33554432000 4194304 4196468 140729013520096 139715782899664 139716750821275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18476] ppid=18462 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18476/stat : 18476 (java) S 18462 18465 15776 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 97410788 10916921344 6954 33554432000 4194304 4196468 140729013520096 139715781847792 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18477] ppid=18462 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18477/stat : 18477 (java) S 18462 18465 15776 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 15 0 97410788 10916921344 6954 33554432000 4194304 4196468 140729013520096 139715780795248 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18478] ppid=18462 vsize=10661056 memory=139869682468480 CPUtime=0.02 cores=0,2,4,6
/proc/18465/task/18478/stat : 18478 (java) R 18462 18465 15776 0 -1 4202560 334 0 0 0 2 0 0 0 20 0 15 0 97410788 10916921344 6954 33554432000 4194304 4196468 140729013520096 139715779742192 139716750824026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18479] ppid=18462 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18479/stat : 18479 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916921344 6954 33554432000 4194304 4196468 140729013520096 139715778689888 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18480] ppid=18462 vsize=10661056 memory=139869682468480 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18480/stat : 18480 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410788 10916921344 6954 33554432000 4194304 4196468 140729013520096 139715777636912 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27816 KiB

[startup+0.213406 s]*
/proc/loadavg: 5.89 3.13 2.21 6/220 18480
/proc/meminfo: memFree=14649152/32770624 swapFree=67108860/67108860
[pid=18465] ppid=18462 vsize=10661056 memory=40536 CPUtime=0.35 cores=0,2,4,6
/proc/18465/stat : 18465 (java) S 18462 18465 15776 0 -1 1077944320 8265 0 0 0 32 3 0 0 20 0 15 0 97410782 10916921344 10134 33554432000 4194304 4196468 140729013520096 140729013502640 139716750802679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
/proc/18465/statm: 2665264 10134 3019 1 0 2627263 0
[pid=18465/tid=18467] ppid=18462 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/18465/task/18467/stat : 18467 (java) R 18462 18465 15776 0 -1 4202560 5135 0 0 0 18 2 0 0 20 0 15 0 97410782 10916921344 10134 33554432000 4194304 4196468 140729013520096 139716755030976 139716750824605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18468] ppid=18462 vsize=10661056 memory=4211973595887259018 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18468/stat : 18468 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410783 10916921344 10134 33554432000 4194304 4196468 140729013520096 139716703423504 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18469] ppid=18462 vsize=10661056 memory=139869682468480 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18469/stat : 18469 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410783 10916921344 10134 33554432000 4194304 4196468 140729013520096 139716702370960 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18470] ppid=18462 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18470/stat : 18470 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410783 10916921344 10134 33554432000 4194304 4196468 140729013520096 139716701317904 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18471] ppid=18462 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18471/stat : 18471 (java) S 18462 18465 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97410783 10916921344 10134 33554432000 4194304 4196468 140729013520096 139716700265360 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18472] ppid=18462 vsize=10661056 memory=139869682468480 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18472/stat : 18472 (java) S 18462 18465 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97410785 10916921344 10134 33554432000 4194304 4196468 140729013520096 139715786057968 139716750813826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18473] ppid=18462 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18473/stat : 18473 (java) S 18462 18465 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97410785 10916921344 10134 33554432000 4194304 4196468 140729013520096 139715785004192 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18474] ppid=18462 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18474/stat : 18474 (java) S 18462 18465 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97410785 10916921344 10134 33554432000 4194304 4196468 140729013520096 139715783951088 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18475] ppid=18462 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18475/stat : 18475 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916921344 10134 33554432000 4194304 4196468 140729013520096 139715782899664 139716750821275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18476] ppid=18462 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18465/task/18476/stat : 18476 (java) R 18462 18465 15776 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 15 0 97410788 10916921344 10134 33554432000 4194304 4196468 140729013520096 139715781847792 139716750813826 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18477] ppid=18462 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/18465/task/18477/stat : 18477 (java) R 18462 18465 15776 0 -1 4202560 523 0 0 0 2 0 0 0 20 0 15 0 97410788 10916921344 10134 33554432000 4194304 4196468 140729013520096 139715780786576 139716728143088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18478] ppid=18462 vsize=10661056 memory=139869682468480 CPUtime=0.08 cores=0,2,4,6
/proc/18465/task/18478/stat : 18478 (java) R 18462 18465 15776 0 -1 4202560 917 0 0 0 8 0 0 0 20 0 15 0 97410788 10916921344 10134 33554432000 4194304 4196468 140729013520096 139715779739128 139716729764419 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18479] ppid=18462 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18479/stat : 18479 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916921344 10134 33554432000 4194304 4196468 140729013520096 139715778689888 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18480] ppid=18462 vsize=10661056 memory=139869682468480 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18480/stat : 18480 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410788 10916921344 10134 33554432000 4194304 4196468 140729013520096 139715777636912 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40536 KiB

[startup+0.310678 s]*
/proc/loadavg: 5.89 3.13 2.21 7/220 18480
/proc/meminfo: memFree=14611352/32770624 swapFree=67108860/67108860
[pid=18465] ppid=18462 vsize=10661056 memory=85208 CPUtime=0.59 cores=0,2,4,6
/proc/18465/stat : 18465 (java) S 18462 18465 15776 0 -1 1077944320 9113 0 0 0 54 5 0 0 20 0 15 0 97410782 10916921344 21302 33554432000 4194304 4196468 140729013520096 140729013502640 139716750802679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
/proc/18465/statm: 2665264 21302 3049 1 0 2627263 0
[pid=18465/tid=18467] ppid=18462 vsize=10661056 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/18465/task/18467/stat : 18467 (java) R 18462 18465 15776 0 -1 4202560 5162 0 0 0 26 4 0 0 20 0 15 0 97410782 10916921344 21814 33554432000 4194304 4196468 140729013520096 139716755033984 139716750824605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18468] ppid=18462 vsize=10661056 memory=4211973595887259018 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18468/stat : 18468 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410783 10916921344 21814 33554432000 4194304 4196468 140729013520096 139716703423504 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18469] ppid=18462 vsize=10661056 memory=279739251997056 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18469/stat : 18469 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410783 10916921344 21814 33554432000 4194304 4196468 140729013520096 139716702370960 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18470] ppid=18462 vsize=10661056 memory=279739139084800 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18470/stat : 18470 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410783 10916921344 21814 33554432000 4194304 4196468 140729013520096 139716701317904 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18471] ppid=18462 vsize=10661056 memory=139869569528591 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18471/stat : 18471 (java) S 18462 18465 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97410783 10916921344 21814 33554432000 4194304 4196468 140729013520096 139716700265360 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18472] ppid=18462 vsize=10661056 memory=279739252006272 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18472/stat : 18472 (java) S 18462 18465 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97410785 10916921344 21814 33554432000 4194304 4196468 140729013520096 139715786057968 139716750813826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18473] ppid=18462 vsize=10661056 memory=139869569533199 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18473/stat : 18473 (java) S 18462 18465 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97410785 10916921344 21814 33554432000 4194304 4196468 140729013520096 139715785004192 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18474] ppid=18462 vsize=10661056 memory=139869569551312 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18474/stat : 18474 (java) S 18462 18465 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97410785 10916921344 21814 33554432000 4194304 4196468 140729013520096 139715783951088 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18475] ppid=18462 vsize=10661056 memory=139869569555905 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18475/stat : 18475 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916921344 21814 33554432000 4194304 4196468 140729013520096 139715782899664 139716750821275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18476] ppid=18462 vsize=10661056 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/18465/task/18476/stat : 18476 (java) R 18462 18465 15776 0 -1 4202560 695 0 0 0 6 0 0 0 20 0 15 0 97410788 10916921344 21814 33554432000 4194304 4196468 140729013520096 139715781833592 139716732323570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18477] ppid=18462 vsize=10661056 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/18465/task/18477/stat : 18477 (java) R 18462 18465 15776 0 -1 4202560 945 0 0 0 9 0 0 0 20 0 15 0 97410788 10916921344 21814 33554432000 4194304 4196468 140729013520096 139715780786648 139716735194660 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18478] ppid=18462 vsize=10661056 memory=139869682468480 CPUtime=0.11 cores=0,2,4,6
/proc/18465/task/18478/stat : 18478 (java) S 18462 18465 15776 0 -1 1077944384 945 0 0 0 11 0 0 0 20 0 15 0 97410788 10916921344 21814 33554432000 4194304 4196468 140729013520096 139715779742192 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18479] ppid=18462 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18479/stat : 18479 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916921344 21814 33554432000 4194304 4196468 140729013520096 139715778689888 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18480] ppid=18462 vsize=10661056 memory=139869682496296 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18480/stat : 18480 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410788 10916921344 21814 33554432000 4194304 4196468 140729013520096 139715777636912 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 85208 KiB

[startup+0.704497 s]
/proc/loadavg: 5.89 3.13 2.21 8/220 18480
/proc/meminfo: memFree=14391616/32770624 swapFree=67108860/67108860
[pid=18465] ppid=18462 vsize=10661132 memory=300744 CPUtime=1.65 cores=0,2,4,6
/proc/18465/stat : 18465 (java) S 18462 18465 15776 0 -1 1077944320 12624 0 0 0 146 19 0 0 20 0 15 0 97410782 10916999168 75186 33554432000 4194304 4196468 140729013520096 140729013502640 139716750802679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
/proc/18465/statm: 2665283 75186 3107 1 0 2627263 0
[pid=18465/tid=18467] ppid=18462 vsize=10661132 memory=56 CPUtime=0.62 cores=0,2,4,6
/proc/18465/task/18467/stat : 18467 (java) R 18462 18465 15776 0 -1 4202560 5475 0 0 0 56 6 0 0 20 0 15 0 97410782 10916999168 75186 33554432000 4194304 4196468 140729013520096 139716755041104 139716750814614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18468] ppid=18462 vsize=10661132 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18465/task/18468/stat : 18468 (java) S 18462 18465 15776 0 -1 1077944384 55 0 0 0 1 2 0 0 20 0 15 0 97410783 10916999168 75186 33554432000 4194304 4196468 140729013520096 139716703423504 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18469] ppid=18462 vsize=10661132 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18465/task/18469/stat : 18469 (java) S 18462 18465 15776 0 -1 1077944384 33 0 0 0 0 1 0 0 20 0 15 0 97410783 10916999168 75186 33554432000 4194304 4196468 140729013520096 139716702370960 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18470] ppid=18462 vsize=10661132 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/18465/task/18470/stat : 18470 (java) S 18462 18465 15776 0 -1 1077944384 56 0 0 0 1 3 0 0 20 0 15 0 97410783 10916999168 75186 33554432000 4194304 4196468 140729013520096 139716701317904 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18471] ppid=18462 vsize=10661132 memory=8320808402719684661 CPUtime=0.05 cores=0,2,4,6
/proc/18465/task/18471/stat : 18471 (java) S 18462 18465 15776 0 -1 1077944384 66 0 0 0 2 3 0 0 20 0 15 0 97410783 10916999168 75186 33554432000 4194304 4196468 140729013520096 139716700265360 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18472] ppid=18462 vsize=10661132 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18472/stat : 18472 (java) S 18462 18465 15776 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 97410785 10916999168 75186 33554432000 4194304 4196468 140729013520096 139715786057968 139716750813826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18473] ppid=18462 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18473/stat : 18473 (java) S 18462 18465 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97410785 10916999168 75186 33554432000 4194304 4196468 140729013520096 139715785004192 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18474] ppid=18462 vsize=10661132 memory=8452 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18474/stat : 18474 (java) S 18462 18465 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97410785 10916999168 75186 33554432000 4194304 4196468 140729013520096 139715783951088 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18475] ppid=18462 vsize=10661132 memory=5776 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18475/stat : 18475 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916999168 75186 33554432000 4194304 4196468 140729013520096 139715782899664 139716750821275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18476] ppid=18462 vsize=10661132 memory=1200 CPUtime=0.27 cores=0,2,4,6
/proc/18465/task/18476/stat : 18476 (java) R 18462 18465 15776 0 -1 4202560 1563 0 0 0 27 0 0 0 20 0 15 0 97410788 10916999168 75186 33554432000 4194304 4196468 140729013520096 139715781837056 139716730519815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18477] ppid=18462 vsize=10661132 memory=12136 CPUtime=0.38 cores=0,2,4,6
/proc/18465/task/18477/stat : 18477 (java) R 18462 18465 15776 0 -1 1077944384 2812 0 0 0 38 0 0 0 20 0 15 0 97410788 10916999168 75186 33554432000 4194304 4196468 140729013520096 139715780795248 139716750813826 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18478] ppid=18462 vsize=10661132 memory=1008 CPUtime=0.18 cores=0,2,4,6
/proc/18465/task/18478/stat : 18478 (java) R 18462 18465 15776 0 -1 4202560 1123 0 0 0 18 0 0 0 20 0 15 0 97410788 10916999168 75186 33554432000 4194304 4196468 140729013520096 139715779742320 139716743899515 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18479] ppid=18462 vsize=10661132 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18479/stat : 18479 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916999168 75186 33554432000 4194304 4196468 140729013520096 139715778689888 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18480] ppid=18462 vsize=10661132 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18480/stat : 18480 (java) S 18462 18465 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97410788 10916999168 75186 33554432000 4194304 4196468 140729013520096 139715777636912 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 300744 KiB

[startup+1.5008 s]
/proc/loadavg: 5.89 3.13 2.21 8/220 18480
/proc/meminfo: memFree=14273032/32770624 swapFree=67108860/67108860
[pid=18465] ppid=18462 vsize=10661132 memory=556004 CPUtime=3.36 cores=0,2,4,6
/proc/18465/stat : 18465 (java) S 18462 18465 15776 0 -1 1077944320 14415 0 0 0 297 39 0 0 20 0 15 0 97410782 10916999168 139001 33554432000 4194304 4196468 140729013520096 140729013502640 139716750802679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
/proc/18465/statm: 2665283 139001 3128 1 0 2627263 0
[pid=18465/tid=18467] ppid=18462 vsize=10661132 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/18465/task/18467/stat : 18467 (java) R 18462 18465 15776 0 -1 4202560 5594 0 0 0 125 9 0 0 20 0 15 0 97410782 10916999168 139001 33554432000 4194304 4196468 140729013520096 139716755040128 139716379790036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18468] ppid=18462 vsize=10661132 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/18465/task/18468/stat : 18468 (java) S 18462 18465 15776 0 -1 1077944384 212 0 0 0 5 6 0 0 20 0 15 0 97410783 10916999168 139001 33554432000 4194304 4196468 140729013520096 139716703423504 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18469] ppid=18462 vsize=10661132 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18465/task/18469/stat : 18469 (java) S 18462 18465 15776 0 -1 1077944384 94 0 0 0 3 5 0 0 20 0 15 0 97410783 10916999168 139001 33554432000 4194304 4196468 140729013520096 139716702370960 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18470] ppid=18462 vsize=10661132 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18465/task/18470/stat : 18470 (java) S 18462 18465 15776 0 -1 1077944384 282 0 0 0 5 7 0 0 20 0 15 0 97410783 10916999168 139001 33554432000 4194304 4196468 140729013520096 139716701317904 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18471] ppid=18462 vsize=10661132 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18465/task/18471/stat : 18471 (java) S 18462 18465 15776 0 -1 1077944384 281 0 0 0 5 7 0 0 20 0 15 0 97410783 10916999168 139001 33554432000 4194304 4196468 140729013520096 139716700265360 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18472] ppid=18462 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18472/stat : 18472 (java) S 18462 18465 15776 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 97410785 10916999168 139001 33554432000 4194304 4196468 140729013520096 139715786057968 139716750813826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0

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

/proc/18465/task/18467/stat : 18467 (java) R 18462 18465 15776 0 -1 4202560 169049 0 0 0 237591 94 0 0 20 0 15 0 97410782 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139716755043600 139716382936667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18468] ppid=18462 vsize=10661132 memory=4630632 CPUtime=5.01 cores=0,2,4,6
/proc/18465/task/18468/stat : 18468 (java) S 18462 18465 15776 0 -1 1077944384 23353 0 0 0 423 78 0 0 20 0 15 0 97410783 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139716703423504 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18469] ppid=18462 vsize=10661132 memory=4630632 CPUtime=4.99 cores=0,2,4,6
/proc/18465/task/18469/stat : 18469 (java) S 18462 18465 15776 0 -1 1077944384 20867 0 0 0 418 81 0 0 20 0 15 0 97410783 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139716702370960 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18470] ppid=18462 vsize=10661132 memory=4630632 CPUtime=4.97 cores=0,2,4,6
/proc/18465/task/18470/stat : 18470 (java) S 18462 18465 15776 0 -1 1077944384 21131 0 0 0 424 73 0 0 20 0 15 0 97410783 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139716701317904 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18471] ppid=18462 vsize=10661132 memory=4701424 CPUtime=5.01 cores=0,2,4,6
/proc/18465/task/18471/stat : 18471 (java) S 18462 18465 15776 0 -1 1077944384 22213 0 0 0 420 81 0 0 20 0 15 0 97410783 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139716700265360 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18472] ppid=18462 vsize=10661132 memory=4701424 CPUtime=0.29 cores=0,2,4,6
/proc/18465/task/18472/stat : 18472 (java) S 18462 18465 15776 0 -1 1077944384 18323 0 0 0 24 5 0 0 20 0 15 0 97410785 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715786057968 139716750813826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18473] ppid=18462 vsize=10661132 memory=4630632 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18473/stat : 18473 (java) S 18462 18465 15776 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 97410785 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715785004256 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18474] ppid=18462 vsize=10661132 memory=4630632 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18474/stat : 18474 (java) S 18462 18465 15776 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 97410785 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715783951088 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18475] ppid=18462 vsize=10661132 memory=7288 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18475/stat : 18475 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715782899664 139716750821275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18476] ppid=18462 vsize=10661132 memory=0 CPUtime=1.91 cores=0,2,4,6
/proc/18465/task/18476/stat : 18476 (java) S 18462 18465 15776 0 -1 1077944384 10446 0 0 0 189 2 0 0 20 0 15 0 97410788 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715781847792 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18477] ppid=18462 vsize=10661132 memory=4639924115538006630 CPUtime=1.58 cores=0,2,4,6
/proc/18465/task/18477/stat : 18477 (java) S 18462 18465 15776 0 -1 1077944384 9306 0 0 0 156 2 0 0 20 0 15 0 97410788 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715780795248 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18478] ppid=18462 vsize=10661132 memory=4630632 CPUtime=0.63 cores=0,2,4,6
/proc/18465/task/18478/stat : 18478 (java) S 18462 18465 15776 0 -1 1077944384 9665 0 0 0 61 2 0 0 20 0 15 0 97410788 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715779742192 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18479] ppid=18462 vsize=10661132 memory=4630632 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18479/stat : 18479 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715778689888 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18480] ppid=18462 vsize=10661132 memory=28260 CPUtime=1.46 cores=0,2,4,6
/proc/18465/task/18480/stat : 18480 (java) S 18462 18465 15776 0 -1 1077944384 2533 0 0 0 73 73 0 0 20 0 15 0 97410788 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715777636912 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
Current children cumulated CPU time: 2402.79 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 4630632 KiB

[startup+2442.31 s]
/proc/loadavg: 1.98 2.07 2.36 3/219 18886
/proc/meminfo: memFree=14842200/32770624 swapFree=67108860/67108860
[pid=18465] ppid=18462 vsize=10661132 memory=4630632 CPUtime=2462.81 cores=0,2,4,6
/proc/18465/stat : 18465 (java) S 18462 18465 15776 0 -1 1077944320 311522 0 0 0 245802 479 0 0 20 0 15 0 97410782 10916999168 1157658 33554432000 4194304 4196468 140729013520096 140729013502640 139716750802679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
/proc/18465/statm: 2665283 1157658 3202 1 0 2627263 0
[pid=18465/tid=18467] ppid=18462 vsize=10661132 memory=4630632 CPUtime=2436.84 cores=0,2,4,6
/proc/18465/task/18467/stat : 18467 (java) R 18462 18465 15776 0 -1 4202560 172157 0 0 0 243589 95 0 0 20 0 15 0 97410782 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139716755043600 139716376994986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18468] ppid=18462 vsize=10661132 memory=4630632 CPUtime=5.01 cores=0,2,4,6
/proc/18465/task/18468/stat : 18468 (java) S 18462 18465 15776 0 -1 1077944384 23353 0 0 0 423 78 0 0 20 0 15 0 97410783 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139716703423504 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18469] ppid=18462 vsize=10661132 memory=4630632 CPUtime=4.99 cores=0,2,4,6
/proc/18465/task/18469/stat : 18469 (java) S 18462 18465 15776 0 -1 1077944384 20867 0 0 0 418 81 0 0 20 0 15 0 97410783 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139716702370960 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18470] ppid=18462 vsize=10661132 memory=4630632 CPUtime=4.97 cores=0,2,4,6
/proc/18465/task/18470/stat : 18470 (java) S 18462 18465 15776 0 -1 1077944384 21131 0 0 0 424 73 0 0 20 0 15 0 97410783 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139716701317904 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18471] ppid=18462 vsize=10661132 memory=4630632 CPUtime=5.01 cores=0,2,4,6
/proc/18465/task/18471/stat : 18471 (java) S 18462 18465 15776 0 -1 1077944384 22213 0 0 0 420 81 0 0 20 0 15 0 97410783 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139716700265360 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18472] ppid=18462 vsize=10661132 memory=4630632 CPUtime=0.29 cores=0,2,4,6
/proc/18465/task/18472/stat : 18472 (java) S 18462 18465 15776 0 -1 1077944384 18328 0 0 0 24 5 0 0 20 0 15 0 97410785 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715786057968 139716750813826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18473] ppid=18462 vsize=10661132 memory=4630632 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18473/stat : 18473 (java) S 18462 18465 15776 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 97410785 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715785004256 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18474] ppid=18462 vsize=10661132 memory=4630632 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18474/stat : 18474 (java) S 18462 18465 15776 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 97410785 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715783951088 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18475] ppid=18462 vsize=10661132 memory=245830 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18475/stat : 18475 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715782899664 139716750821275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18476] ppid=18462 vsize=10661132 memory=243233 CPUtime=1.91 cores=0,2,4,6
/proc/18465/task/18476/stat : 18476 (java) S 18462 18465 15776 0 -1 1077944384 10453 0 0 0 189 2 0 0 20 0 15 0 97410788 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715781847792 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18477] ppid=18462 vsize=10661132 memory=1716 CPUtime=1.58 cores=0,2,4,6
/proc/18465/task/18477/stat : 18477 (java) S 18462 18465 15776 0 -1 1077944384 9309 0 0 0 156 2 0 0 20 0 15 0 97410788 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715780795248 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18478] ppid=18462 vsize=10661132 memory=4630632 CPUtime=0.63 cores=0,2,4,6
/proc/18465/task/18478/stat : 18478 (java) S 18462 18465 15776 0 -1 1077944384 9669 0 0 0 61 2 0 0 20 0 15 0 97410788 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715779742192 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18479] ppid=18462 vsize=10661132 memory=4630632 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18479/stat : 18479 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715778689888 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18480] ppid=18462 vsize=10661132 memory=4630632 CPUtime=1.5 cores=0,2,4,6
/proc/18465/task/18480/stat : 18480 (java) S 18462 18465 15776 0 -1 1077944384 2571 0 0 0 75 75 0 0 20 0 15 0 97410788 10916999168 1157658 33554432000 4194304 4196468 140729013520096 139715777636912 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
Current children cumulated CPU time: 2462.81 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 4630632 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2499.5 s]
/proc/loadavg: 1.99 2.05 2.33 3/219 18887
/proc/meminfo: memFree=14942568/32770624 swapFree=67108860/67108860
[pid=18465] ppid=18462 vsize=10661132 memory=4530084 CPUtime=2520.09 cores=0,2,4,6
/proc/18465/stat : 18465 (java) S 18462 18465 15776 0 -1 1077944320 318417 0 0 0 251527 482 0 0 20 0 15 0 97410782 10916999168 1132521 33554432000 4194304 4196468 140729013520096 140729013502640 139716750802679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
/proc/18465/statm: 2665283 1132521 3202 1 0 2627263 0
[pid=18465/tid=18467] ppid=18462 vsize=10661132 memory=4530084 CPUtime=2494 cores=0,2,4,6
/proc/18465/task/18467/stat : 18467 (java) R 18462 18465 15776 0 -1 4202560 175205 0 0 0 249303 97 0 0 20 0 15 0 97410782 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139716755043600 139716382926671 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18468] ppid=18462 vsize=10661132 memory=4530084 CPUtime=5.02 cores=0,2,4,6
/proc/18465/task/18468/stat : 18468 (java) S 18462 18465 15776 0 -1 1077944384 24285 0 0 0 424 78 0 0 20 0 15 0 97410783 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139716703423504 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18469] ppid=18462 vsize=10661132 memory=4530084 CPUtime=5.01 cores=0,2,4,6
/proc/18465/task/18469/stat : 18469 (java) S 18462 18465 15776 0 -1 1077944384 21710 0 0 0 420 81 0 0 20 0 15 0 97410783 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139716702370960 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18470] ppid=18462 vsize=10661132 memory=4530084 CPUtime=4.99 cores=0,2,4,6
/proc/18465/task/18470/stat : 18470 (java) S 18462 18465 15776 0 -1 1077944384 21866 0 0 0 426 73 0 0 20 0 15 0 97410783 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139716701317904 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18471] ppid=18462 vsize=10661132 memory=4530084 CPUtime=5.03 cores=0,2,4,6
/proc/18465/task/18471/stat : 18471 (java) S 18462 18465 15776 0 -1 1077944384 22795 0 0 0 422 81 0 0 20 0 15 0 97410783 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139716700265360 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18472] ppid=18462 vsize=10661132 memory=4530084 CPUtime=0.29 cores=0,2,4,6
/proc/18465/task/18472/stat : 18472 (java) S 18462 18465 15776 0 -1 1077944384 18589 0 0 0 24 5 0 0 20 0 15 0 97410785 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715786057968 139716750813826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18473] ppid=18462 vsize=10661132 memory=4530084 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18473/stat : 18473 (java) S 18462 18465 15776 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 97410785 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715785004256 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18474] ppid=18462 vsize=10661132 memory=4530084 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18474/stat : 18474 (java) S 18462 18465 15776 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 97410785 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715783951088 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18475] ppid=18462 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18475/stat : 18475 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715782899664 139716750821275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18476] ppid=18462 vsize=10661132 memory=303430244793319739 CPUtime=1.91 cores=0,2,4,6
/proc/18465/task/18476/stat : 18476 (java) S 18462 18465 15776 0 -1 1077944384 10461 0 0 0 189 2 0 0 20 0 15 0 97410788 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715781847792 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18477] ppid=18462 vsize=10661132 memory=4530084 CPUtime=1.58 cores=0,2,4,6
/proc/18465/task/18477/stat : 18477 (java) S 18462 18465 15776 0 -1 1077944384 9312 0 0 0 156 2 0 0 20 0 15 0 97410788 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715780795248 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18478] ppid=18462 vsize=10661132 memory=5787216060782762340 CPUtime=0.63 cores=0,2,4,6
/proc/18465/task/18478/stat : 18478 (java) S 18462 18465 15776 0 -1 1077944384 10124 0 0 0 61 2 0 0 20 0 15 0 97410788 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715779742192 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18479] ppid=18462 vsize=10661132 memory=4530084 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18479/stat : 18479 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715778689888 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18480] ppid=18462 vsize=10661132 memory=4530084 CPUtime=1.53 cores=0,2,4,6
/proc/18465/task/18480/stat : 18480 (java) S 18462 18465 15776 0 -1 1077944384 2599 0 0 0 77 76 0 0 20 0 15 0 97410788 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715777636912 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 4530084 KiB

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

[startup+2499.54 s]
# the end of solver process 18465 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.3 s, system=4.84171 s

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

[startup+2499.5 s]
/proc/loadavg: 1.99 2.05 2.33 3/219 18887
/proc/meminfo: memFree=14942568/32770624 swapFree=67108860/67108860
[pid=18465] ppid=18462 vsize=10661132 memory=4530084 CPUtime=2520.09 cores=0,2,4,6
/proc/18465/stat : 18465 (java) S 18462 18465 15776 0 -1 1077944320 318417 0 0 0 251527 482 0 0 20 0 15 0 97410782 10916999168 1132521 33554432000 4194304 4196468 140729013520096 140729013502640 139716750802679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
/proc/18465/statm: 2665283 1132521 3202 1 0 2627263 0
[pid=18465/tid=18467] ppid=18462 vsize=10661132 memory=4530084 CPUtime=2494 cores=0,2,4,6
/proc/18465/task/18467/stat : 18467 (java) R 18462 18465 15776 0 -1 4202560 175205 0 0 0 249303 97 0 0 20 0 15 0 97410782 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139716755043600 139716382926671 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18468] ppid=18462 vsize=10661132 memory=4530084 CPUtime=5.02 cores=0,2,4,6
/proc/18465/task/18468/stat : 18468 (java) S 18462 18465 15776 0 -1 1077944384 24285 0 0 0 424 78 0 0 20 0 15 0 97410783 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139716703423504 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18469] ppid=18462 vsize=10661132 memory=4530084 CPUtime=5.01 cores=0,2,4,6
/proc/18465/task/18469/stat : 18469 (java) S 18462 18465 15776 0 -1 1077944384 21710 0 0 0 420 81 0 0 20 0 15 0 97410783 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139716702370960 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18470] ppid=18462 vsize=10661132 memory=4530084 CPUtime=4.99 cores=0,2,4,6
/proc/18465/task/18470/stat : 18470 (java) S 18462 18465 15776 0 -1 1077944384 21866 0 0 0 426 73 0 0 20 0 15 0 97410783 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139716701317904 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18471] ppid=18462 vsize=10661132 memory=4530084 CPUtime=5.03 cores=0,2,4,6
/proc/18465/task/18471/stat : 18471 (java) S 18462 18465 15776 0 -1 1077944384 22795 0 0 0 422 81 0 0 20 0 15 0 97410783 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139716700265360 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18472] ppid=18462 vsize=10661132 memory=4530084 CPUtime=0.29 cores=0,2,4,6
/proc/18465/task/18472/stat : 18472 (java) S 18462 18465 15776 0 -1 1077944384 18589 0 0 0 24 5 0 0 20 0 15 0 97410785 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715786057968 139716750813826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18473] ppid=18462 vsize=10661132 memory=4530084 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18473/stat : 18473 (java) S 18462 18465 15776 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 97410785 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715785004256 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18474] ppid=18462 vsize=10661132 memory=4530084 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18474/stat : 18474 (java) S 18462 18465 15776 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 97410785 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715783951088 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18475] ppid=18462 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18475/stat : 18475 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715782899664 139716750821275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18476] ppid=18462 vsize=10661132 memory=303430244793319739 CPUtime=1.91 cores=0,2,4,6
/proc/18465/task/18476/stat : 18476 (java) S 18462 18465 15776 0 -1 1077944384 10461 0 0 0 189 2 0 0 20 0 15 0 97410788 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715781847792 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18477] ppid=18462 vsize=10661132 memory=4530084 CPUtime=1.58 cores=0,2,4,6
/proc/18465/task/18477/stat : 18477 (java) S 18462 18465 15776 0 -1 1077944384 9312 0 0 0 156 2 0 0 20 0 15 0 97410788 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715780795248 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18478] ppid=18462 vsize=10661132 memory=5787216060782762340 CPUtime=0.63 cores=0,2,4,6
/proc/18465/task/18478/stat : 18478 (java) S 18462 18465 15776 0 -1 1077944384 10124 0 0 0 61 2 0 0 20 0 15 0 97410788 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715779742192 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18479] ppid=18462 vsize=10661132 memory=4530084 CPUtime=0 cores=0,2,4,6
/proc/18465/task/18479/stat : 18479 (java) S 18462 18465 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97410788 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715778689888 139716750812885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
[pid=18465/tid=18480] ppid=18462 vsize=10661132 memory=4530084 CPUtime=1.53 cores=0,2,4,6
/proc/18465/task/18480/stat : 18480 (java) S 18462 18465 15776 0 -1 1077944384 2599 0 0 0 77 76 0 0 20 0 15 0 97410788 10916999168 1132521 33554432000 4194304 4196468 140729013520096 139715777636912 139716750813826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23674880 140729013527708 140729013527817 140729013527817 140729013530575 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 4530084 KiB

Child status: 143
Real time (s): 2499.54
CPU time (s): 2520.14
CPU user time (s): 2515.3
CPU system time (s): 4.84171
CPU usage (%): 100.824
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 5220144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.3
system time used= 4.84171
maximum resident set size= 5221104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57775
involuntary context switches= 2629


# summary of solver processes directly reported to runsolver:
#   pid: 18465
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2515.3
#   total CPU system time (s): 4.84171

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2127 second user time and 24.7699 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-28 19:21:16
IDJOB=4299028
IDBENCH=141285
IDSOLVER=2765
FILE ID=node132/4299028-1532798476
RUNJOBID= node132-1532775768-15807
PBS_JOBID= 21022466
Free space on /tmp= 51372 MiB

SOLVER NAME= slowpoke 2018-04-29
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-01-0200_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299028-1532798476/watcher-4299028-1532798476 -o /tmp/evaluation-result-4299028-1532798476/solver-4299028-1532798476 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532775768-15807 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4299028-1532798476.xml --timelimit 2520

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

MD5SUM BENCH= 0e8e562de5d18dab033d3d20f1b4790d
RANDOM SEED=1316523005

node132.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.65
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.65
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.65
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.65
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:        14676160 kB
MemAvailable:   23626456 kB
Buffers:          208292 kB
Cached:          8931960 kB
SwapCached:            0 kB
Active:         11575516 kB
Inactive:        5908032 kB
Active(anon):    8293540 kB
Inactive(anon):    77832 kB
Active(file):    3281976 kB
Inactive(file):  5830200 kB
Unevictable:        6992 kB
Mlocked:            6992 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            103720 kB
Writeback:             0 kB
AnonPages:       8350540 kB
Mapped:            55124 kB
Shmem:             25248 kB
Slab:             294580 kB
SReclaimable:     266580 kB
SUnreclaim:        28000 kB
KernelStack:        3584 kB
PageTables:        21492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8652292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7792640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 51940 MiB
End job on node132 at 2018-07-28 20:02:56