Trace number 4401198

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
Concrete 3.12.2SAT (TO)48 2520.13 2458.76

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-09-350-100.xml
MD5SUM9444e44f99a0ffd374c39bd698e45a3a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark48
Best CPU time to get the best result obtained on this benchmark2520.13
Satisfiable
(Un)Satisfiability was proved
Number of variables3151
Number of constraints46
Number of domains2
Minimum domain size2
Maximum domain size330
Distribution of domain sizes[{"size":2,"count":3150},{"size":330,"count":1}]
Minimum variable degree10
Maximum variable degree37
Distribution of variable degrees[{"degree":10,"count":3150},{"degree":37,"count":1}]
Minimum constraint arity350
Maximum constraint arity3150
Distribution of constraint arities[{"arity":350,"count":9},{"arity":701,"count":36},{"arity":3150,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":45}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.76/0.55	c Concrete v3.12.2.1568631193530 running
59.27/32.20	o 99
60.01/32.50	o 98
60.64/32.99	o 93
60.79/33.03	o 92
60.98/33.20	o 91
62.88/34.66	o 90
63.02/34.71	o 89
63.02/34.76	o 88
63.18/34.82	o 87
63.41/34.92	o 86
63.53/35.01	o 85
477.57/443.29	o 79
477.67/443.32	o 74
477.67/443.35	o 73
477.67/443.38	o 72
477.78/443.40	o 71
477.78/443.43	o 70
477.78/443.46	o 69
477.78/443.49	o 68
477.91/443.51	o 67
477.91/443.54	o 66
477.91/443.57	o 65
477.91/443.60	o 64
478.04/443.62	o 63
478.04/443.64	o 62
478.04/443.68	o 61
478.14/443.72	o 60
478.14/443.76	o 59
478.24/443.81	o 58
478.24/443.84	o 57
478.24/443.87	o 56
478.34/443.90	o 55
478.45/444.10	o 54
478.68/444.25	o 53
479.68/445.25	o 52
481.88/447.40	o 51
483.18/448.73	o 50
483.98/449.50	o 49
484.18/449.75	o 48
2520.05/2458.71	Exception in thread "main" java.util.concurrent.TimeoutException
2520.05/2458.71		at concrete.MAC.mac(MAC.scala:192)
2520.05/2458.71		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.05/2458.71		at scala.util.Try$.apply(Try.scala:212)
2520.05/2458.71		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.05/2458.71		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.05/2458.71		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.05/2458.71		at concrete.MAC.oneRun(MAC.scala:265)
2520.05/2458.71		at concrete.MAC.nextSolution(MAC.scala:284)
2520.05/2458.71		at concrete.MAC.nextSolution(MAC.scala:369)
2520.05/2458.71		at concrete.Solver.hasNext(Solver.scala:160)
2520.05/2458.71		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.05/2458.71		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.05/2458.71		at concrete.Solver.foreach(Solver.scala:67)
2520.05/2458.71		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.05/2458.71		at scala.util.Success.map(Try.scala:264)
2520.05/2458.71		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2458.71		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.05/2458.71		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.05/2458.71		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2458.71		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.05/2458.71		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.05/2458.71		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.05/2458.71		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.05/2458.71		at scala.App.$anonfun$main$1(App.scala:75)
2520.05/2458.71		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.05/2458.71		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.05/2458.71		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.05/2458.71		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.05/2458.71		at scala.App.main(App.scala:75)
2520.05/2458.71		at scala.App.main$(App.scala:73)
2520.05/2458.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.05/2458.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2458.72	v <instantiation
2520.05/2458.72	v         cost = '48'>
2520.05/2458.72	v       <list>
2520.05/2458.72	v         z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[0][325] x[0][326] x[0][327] x[0][328] x[0][329] x[0][330] x[0][331] x[0][332] x[0][333] x[0][334] x[0][335] x[0][336] x[0][337] x[0][338] x[0][339] x[0][340] x[0][341] x[0][342] x[0][343] x[0][344] x[0][345] x[0][346] x[0][347] x[0][348] x[0][349] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[1][325] x[1][326] x[1][327] x[1][328] x[1][329] x[1][330] x[1][331] x[1][332] x[1][333] x[1][334] x[1][335] x[1][336] x[1][337] x[1][338] x[1][339] x[1][340] x[1][341] x[1][342] x[1][343] x[1][344] x[1][345] x[1][346] x[1][347] x[1][348] x[1][349] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[2][120] x[2][121] x[2][122] x[2][123] x[2][124] x[2][125] x[2][126] x[2][127] x[2][128] x[2][129] x[2][130] x[2][131] x[2][132] x[2][133] x[2][134] x[2][135] x[2][136] x[2][137] x[2][138] x[2][139] x[2][140] x[2][141] x[2][142] x[2][143] x[2][144] x[2][145] x[2][146] x[2][147] x[2][148] x[2][149] x[2][150] x[2][151] x[2][152] x[2][153] x[2][154] x[2][155] x[2][156] x[2][157] x[2][158] x[2][159] x[2][160] x[2][161] x[2][162] x[2][163] x[2][164] x[2][165] x[2][166] x[2][167] x[2][168] x[2][169] x[2][170] x[2][171] x[2][172] x[2][173] x[2][174] x[2][175] x[2][176] x[2][177] x[2][178] x[2][179] x[2][180] x[2][181] x[2][182] x[2][183] x[2][184] x[2][185] x[2][186] x[2][187] x[2][188] x[2][189] x[2][190] x[2][191] x[2][192] x[2][193] x[2][194] x[2][195] x[2][196] x[2][197] x[2][198] x[2][199] x[2][200] x[2][201] x[2][202] x[2][203] x[2][204] x[2][205] x[2][206] x[2][207] x[2][208] x[2][209] x[2][210] x[2][211] x[2][212] x[2][213] x[2][214] x[2][215] x[2][216] x[2][217] x[2][218] x[2][219] x[2][220] x[2][221] x[2][222] x[2][223] x[2][224] x[2][225] x[2][226] x[2][227] x[2][228] x[2][229] x[2][230] x[2][231] x[2][232] x[2][233] x[2][234] x[2][235] x[2][236] x[2][237] x[2][238] x[2][239] x[2][240] x[2][241] x[2][242] x[2][243] x[2][244] x[2][245] x[2][246] x[2][247] x[2][248] x[2][249] x[2][250] x[2][251] x[2][252] x[2][253] x[2][254] x[2][255] x[2][256] x[2][257] x[2][258] x[2][259] x[2][260] x[2][261] x[2][262] x[2][263] x[2][264] x[2][265] x[2][266] x[2][267] x[2][268] x[2][269] x[2][270] x[2][271] x[2][272] x[2][273] x[2][274] x[2][275] x[2][276] x[2][277] x[2][278] x[2][279] x[2][280] x[2][281] x[2][282] x[2][283] x[2][284] x[2][285] x[2][286] x[2][287] x[2][288] x[2][289] x[2][290] x[2][291] x[2][292] x[2][293] x[2][294] x[2][295] x[2][296] x[2][297] x[2][298] x[2][299] x[2][300] x[2][301] x[2][302] x[2][303] x[2][304] x[2][305] x[2][306] x[2][307] x[2][308] x[2][309] x[2][310] x[2][311] x[2][312] x[2][313] x[2][314] x[2][315] x[2][316] x[2][317] x[2][318] x[2][319] x[2][320] x[2][321] x[2][322] x[2][323] x[2][324] x[2][325] x[2][326] x[2][327] x[2][328] x[2][329] x[2][330] x[2][331] x[2][332] x[2][333] x[2][334] x[2][335] x[2][336] x[2][337] x[2][338] x[2][339] x[2][340] x[2][341] x[2][342] x[2][343] x[2][344] x[2][345] x[2][346] x[2][347] x[2][348] x[2][349] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[3][120] x[3][121] x[3][122] x[3][123] x[3][124] x[3][125] x[3][126] x[3][127] x[3][128] x[3][129] x[3][130] x[3][131] x[3][132] x[3][133] x[3][134] x[3][135] x[3][136] x[3][137] x[3][138] x[3][139] x[3][140] x[3][141] x[3][142] x[3][143] x[3][144] x[3][145] x[3][146] x[3][147] x[3][148] x[3][149] x[3][150] x[3][151] x[3][152] x[3][153] x[3][154] x[3][155] x[3][156] x[3][157] x[3][158] x[3][159] x[3][160] x[3][161] x[3][162] x[3][163] x[3][164] x[3][165] x[3][166] x[3][167] x[3][168] x[3][169] x[3][170] x[3][171] x[3][172] x[3][173] x[3][174] x[3][175] x[3][176] x[3][177] x[3][178] x[3][179] x[3][180] x[3][181] x[3][182] x[3][183] x[3][184] x[3][185] x[3][186] x[3][187] x[3][188] x[3][189] x[3][190] x[3][191] x[3][192] x[3][193] x[3][194] x[3][195] x[3][196] x[3][197] x[3][198] x[3][199] x[3][200] x[3][201] x[3][202] x[3][203] x[3][204] x[3][205] x[3][206] x[3][207] x[3][208] x[3][209] x[3][210] x[3][211] x[3][212] x[3][213] x[3][214] x[3][215] x[3][216] x[3][217] x[3][218] x[3][219] x[3][220] x[3][221] x[3][222] x[3][223] x[3][224] x[3][225] x[3][226] x[3][227] x[3][228] x[3][229] x[3][230] x[3][231] x[3][232] x[3][233] x[3][234] x[3][235] x[3][236] x[3][237] x[3][238] x[3][239] x[3][240] x[3][241] x[3][242] x[3][243] x[3][244] x[3][245] x[3][246] x[3][247] x[3][248] x[3][249] x[3][250] x[3][251] x[3][252] x[3][253] x[3][254] x[3][255] x[3][256] x[3][257] x[3][258] x[3][259] x[3][260] x[3][261] x[3][262] x[3][263] x[3][264] x[3][265] x[3][266] x[3][267] x[3][268] x[3][269] x[3][270] x[3][271] x[3][272] x[3][273] x[3][274] x[3][275] x[3][276] x[3][277] x[3][278] x[3][279] x[3][280] x[3][281] x[3][282] x[3][283] x[3][284] x[3][285] x[3][286] x[3][287] x[3][288] x[3][289] x[3][290] x[3][291] x[3][292] x[3][293] x[3][294] x[3][295] x[3][296] x[3][297] x[3][298] x[3][299] x[3][300] x[3][301] x[3][302] x[3][303] x[3][304] x[3][305] x[3][306] x[3][307] x[3][308] x[3][309] x[3][310] x[3][311] x[3][312] x[3][313] x[3][314] x[3][315] x[3][316] x[3][317] x[3][318] x[3][319] x[3][320] x[3][321] x[3][322] x[3][323] x[3][324] x[3][325] x[3][326] x[3][327] x[3][328] x[3][329] x[3][330] x[3][331] x[3][332] x[3][333] x[3][334] x[3][335] x[3][336] x[3][337] x[3][338] x[3][339] x[3][340] x[3][341] x[3][342] x[3][343] x[3][344] x[3][345] x[3][346] x[3][347] x[3][348] x[3][349] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[4][120] x[4][121] x[4][122] x[4][123] x[4][124] x[4][125] x[4][126] x[4][127] x[4][128] x[4][129] x[4][130] x[4][131] x[4][132] x[4][133] x[4][134] x[4][135] x[4][136] x[4][137] x[4][138] x[4][139] x[4][140] x[4][141] x[4][142] x[4][143] x[4][144] x[4][145] x[4][146] x[4][147] x[4][148] x[4][149] x[4][150] x[4][151] x[4][152] x[4][153] x[4][154] x[4][155] x[4][156] x[4][157] x[4][158] x[4][159] x[4][160] x[4][161] x[4][162] x[4][163] x[4][164] x[4][165] x[4][166] x[4][167] x[4][168] x[4][169] x[4][170] x[4][171] x[4][172] x[4][173] x[4][174] x[4][175] x[4][176] x[4][177] x[4][178] x[4][179] x[4][180] x[4][181] x[4][182] x[4][183] x[4][184] x[4][185] x[4][186] x[4][187] x[4][188] x[4][189] x[4][190] x[4][191] x[4][192] x[4][193] x[4][194] x[4][195] x[4][196] x[4][197] x[4][198] x[4][199] x[4][200] x[4][201] x[4][202] x[4][203] x[4][204] x[4][205] x[4][206] x[4][207] x[4][208] x[4][209] x[4][210] x[4][211] x[4][212] x[4][213] x[4][214] x[4][215] x[4][216] x[4][217] x[4][218] x[4][219] x[4][220] x[4][221] x[4][222] x[4][223] x[4][224] x[4][225] x[4][226] x[4][227] x[4][228] x[4][229] x[4][230] x[4][231] x[4][232] x[4][233] x[4][234] x[4][235] x[4][236] x[4][237] x[4][238] x[4][239] x[4][240] x[4][241] x[4][242] x[4][243] x[4][244] x[4][245] x[4][246] x[4][247] x[4][248] x[4][249] x[4][250] x[4][251] x[4][252] x[4][253] x[4][254] x[4][255] x[4][256] x[4][257] x[4][258] x[4][259] x[4][260] x[4][261] x[4][262] x[4][263] x[4][264] x[4][265] x[4][266] x[4][267] x[4][268] x[4][269] x[4][270] x[4][271] x[4][272] x[4][273] x[4][274] x[4][275] x[4][276] x[4][277] x[4][278] x[4][279] x[4][280] x[4][281] x[4][282] x[4][283] x[4][284] x[4][285] x[4][286] x[4][287] x[4][288] x[4][289] x[4][290] x[4][291] x[4][292] x[4][293] x[4][294] x[4][295] x[4][296] x[4][297] x[4][298] x[4][299] x[4][300] x[4][301] x[4][302] x[4][303] x[4][304] x[4][305] x[4][306] x[4][307] x[4][308] x[4][309] x[4][310] x[4][311] x[4][312] x[4][313] x[4][314] x[4][315] x[4][316] x[4][317] x[4][318] x[4][319] x[4][320] x[4][321] x[4][322] x[4][323] x[4][324] x[4][325] x[4][326] x[4][327] x[4][328] x[4][329] x[4][330] x[4][331] x[4][332] x[4][333] x[4][334] x[4][335] x[4][336] x[4][337] x[4][338] x[4][339] x[4][340] x[4][341] x[4][342] x[4][343] x[4][344] x[4][345] x[4][346] x[4][347] x[4][348] x[4][349] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[5][120] x[5][121] x[5][122] x[5][123] x[5][124] x[5][125] x[5][126] x[5][127] x[5][128] x[5][129] x[5][130] x[5][131] x[5][132] x[5][133] x[5][134] x[5][135] x[5][136] x[5][137] x[5][138] x[5][139] x[5][140] x[5][141] x[5][142] x[5][143] x[5][144] x[5][145] x[5][146] x[5][147] x[5][148] x[5][149] x[5][150] x[5][151] x[5][152] x[5][153] x[5][154] x[5][155] x[5][156] x[5][157] x[5][158] x[5][159] x[5][160] x[5][161] x[5][162] x[5][163] x[5][164] x[5][165] x[5][166] x[5][167] x[5][168] x[5][169] x[5][170] x[5][171] x[5][172] x[5][173] x[5][174] x[5][175] x[5][176] x[5][177] x[5][178] x[5][179] x[5][180] x[5][181] x[5][182] x[5][183] x[5][184] x[5][185] x[5][186] x[5][187] x[5][188] x[5][189] x[5][190] x[5][191] x[5][192] x[5][193] x[5][194] x[5][195] x[5][196] x[5][197] x[5][198] x[5][199] x[5][200] x[5][201] x[5][202] x[5][203] x[5][204] x[5][205] x[5][206] x[5][207] x[5][208] x[5][209] x[5][210] x[5][211] x[5][212] x[5][213] x[5][214] x[5][215] x[5][216] x[5][217] x[5][218] x[5][219] x[5][220] x[5][221] x[5][222] x[5][223] x[5][224] x[5][225] x[5][226] x[5][227] x[5][228] x[5][229] x[5][230] x[5][231] x[5][232] x[5][233] x[5][234] x[5][235] x[5][236] x[5][237] x[5][238] x[5][239] x[5][240] x[5][241] x[5][242] x[5][243] x[5][244] x[5][245] x[5][246] x[5][247] x[5][248] x[5][249] x[5][250] x[5][251] x[5][252] x[5][253] x[5][254] x[5][255] x[5][256] x[5][257] x[5][258] x[5][259] x[5][260] x[5][261] x[5][262] x[5][263] x[5][264] x[5][265] x[5][266] x[5][267] x[5][268] x[5][269] x[5][270] x[5][271] x[5][272] x[5][273] x[5][274] x[5][275] x[5][276] x[5][277] x[5][278] x[5][279] x[5][280] x[5][281] x[5][282] x[5][283] x[5][284] x[5][285] x[5][286] x[5][287] x[5][288] x[5][289] x[5][290] x[5][291] x[5][292] x[5][293] x[5][294] x[5][295] x[5][296] x[5][297] x[5][298] x[5][299] x[5][300] x[5][301] x[5][302] x[5][303] x[5][304] x[5][305] x[5][306] x[5][307] x[5][308] x[5][309] x[5][310] x[5][311] x[5][312] x[5][313] x[5][314] x[5][315] x[5][316] x[5][317] x[5][318] x[5][319] x[5][320] x[5][321] x[5][322] x[5][323] x[5][324] x[5][325] x[5][326] x[5][327] x[5][328] x[5][329] x[5][330] x[5][331] x[5][332] x[5][333] x[5][334] x[5][335] x[5][336] x[5][337] x[5][338] x[5][339] x[5][340] x[5][341] x[5][342] x[5][343] x[5][344] x[5][345] x[5][346] x[5][347] x[5][348] x[5][349] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[6][120] x[6][121] x[6][122] x[6][123] x[6][124] x[6][125] x[6][126] x[6][127] x[6][128] x[6][129] x[6][130] x[6][131] x[6][132] x[6][133] x[6][134] x[6][135] x[6][136] x[6][137] x[6][138] x[6][139] x[6][140] x[6][141] x[6][142] x[6][143] x[6][144] x[6][145] x[6][146] x[6][147] x[6][148] x[6][149] x[6][150] x[6][151] x[6][152] x[6][153] x[6][154] x[6][155] x[6][156] x[6][157] x[6][158] x[6][159] x[6][160] x[6][161] x[6][162] x[6][163] x[6][164] x[6][165] x[6][166] x[6][167] x[6][168] x[6][169] x[6][170] x[6][171] x[6][172] x[6][173] x[6][174] x[6][175] x[6][176] x[6][177] x[6][178] x[6][179] x[6][180] x[6][181] x[6][182] x[6][183] x[6][184] x[6][185] x[6][186] x[6][187] x[6][188] x[6][189] x[6][190] x[6][191] x[6][192] x[6][193] x[6][194] x[6][195] x[6][196] x[6][197] x[6][198] x[6][199] x[6][200] x[6][201] x[6][202] x[6][203] x[6][204] x[6][205] x[6][206] x[6][207] x[6][208] x[6][209] x[6][210] x[6][211] x[6][212] x[6][213] x[6][214] x[6][215] x[6][216] x[6][217] x[6][218] x[6][219] x[6][220] x[6][221] x[6][222] x[6][223] x[6][224] x[6][225] x[6][226] x[6][227] x[6][228] x[6][229] x[6][230] x[6][231] x[6][232] x[6][233] x[6][234] x[6][235] x[6][236] x[6][237] x[6][238] x[6][239] x[6][240] x[6][241] x[6][242] x[6][243] x[6][244] x[6][245] x[6][246] x[6][247] x[6][248] x[6][249] x[6][250] x[6][251] x[6][252] x[6][253] x[6][254] x[6][255] x[6][256] x[6][257] x[6][258] x[6][259] x[6][260] x[6][261] x[6][262] x[6][263] x[6][264] x[6][265] x[6][266] x[6][267] x[6][268] x[6][269] x[6][270] x[6][271] x[6][272] x[6][273] x[6][274] x[6][275] x[6][276] x[6][277] x[6][278] x[6][279] x[6][280] x[6][281] x[6][282] x[6][283] x[6][284] x[6][285] x[6][286] x[6][287] x[6][288] x[6][289] x[6][290] x[6][291] x[6][292] x[6][293] x[6][294] x[6][295] x[6][296] x[6][297] x[6][298] x[6][299] x[6][300] x[6][301] x[6][302] x[6][303] x[6][304] x[6][305] x[6][306] x[6][307] x[6][308] x[6][309] x[6][310] x[6][311] x[6][312] x[6][313] x[6][314] x[6][315] x[6][316] x[6][317] x[6][318] x[6][319] x[6][320] x[6][321] x[6][322] x[6][323] x[6][324] x[6][325] x[6][326] x[6][327] x[6][328] x[6][329] x[6][330] x[6][331] x[6][332] x[6][333] x[6][334] x[6][335] x[6][336] x[6][337] x[6][338] x[6][339] x[6][340] x[6][341] x[6][342] x[6][343] x[6][344] x[6][345] x[6][346] x[6][347] x[6][348] x[6][349] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[7][120] x[7][121] x[7][122] x[7][123] x[7][124] x[7][125] x[7][126] x[7][127] x[7][128] x[7][129] x[7][130] x[7][131] x[7][132] x[7][133] x[7][134] x[7][135] x[7][136] x[7][137] x[7][138] x[7][139] x[7][140] x[7][141] x[7][142] x[7][143] x[7][144] x[7][145] x[7][146] x[7][147] x[7][148] x[7][149] x[7][150] x[7][151] x[7][152] x[7][153] x[7][154] x[7][155] x[7][156] x[7][157] x[7][158] x[7][159] x[7][160] x[7][161] x[7][162] x[7][163] x[7][164] x[7][165] x[7][166] x[7][167] x[7][168] x[7][169] x[7][170] x[7][171] x[7][172] x[7][173] x[7][174] x[7][175] x[7][176] x[7][177] x[7][178] x[7][179] x[7][180] x[7][181] x[7][182] x[7][183] x[7][184] x[7][185] x[7][186] x[7][187] x[7][188] x[7][189] x[7][190] x[7][191] x[7][192] x[7][193] x[7][194] x[7][195] x[7][196] x[7][197] x[7][198] x[7][199] x[7][200] x[7][201] x[7][202] x[7][203] x[7][204] x[7][205] x[7][206] x[7][207] x[7][208] x[7][209] x[7][210] x[7][211] x[7][212] x[7][213] x[7][214] x[7][215] x[7][216] x[7][217] x[7][218] x[7][219] x[7][220] x[7][221] x[7][222] x[7][223] x[7][224] x[7][225] x[7][226] x[7][227] x[7][228] x[7][229] x[7][230] x[7][231] x[7][232] x[7][233] x[7][234] x[7][235] x[7][236] x[7][237] x[7][238] x[7][239] x[7][240] x[7][241] x[7][242] x[7][243] x[7][244] x[7][245] x[7][246] x[7][247] x[7][248] x[7][249] x[7][250] x[7][251] x[7][252] x[7][253] x[7][254] x[7][255] x[7][256] x[7][257] x[7][258] x[7][259] x[7][260] x[7][261] x[7][262] x[7][263] x[7][264] x[7][265] x[7][266] x[7][267] x[7][268] x[7][269] x[7][270] x[7][271] x[7][272] x[7][273] x[7][274] x[7][275] x[7][276] x[7][277] x[7][278] x[7][279] x[7][280] x[7][281] x[7][282] x[7][283] x[7][284] x[7][285] x[7][286] x[7][287] x[7][288] x[7][289] x[7][290] x[7][291] x[7][292] x[7][293] x[7][294] x[7][295] x[7][296] x[7][297] x[7][298] x[7][299] x[7][300] x[7][301] x[7][302] x[7][303] x[7][304] x[7][305] x[7][306] x[7][307] x[7][308] x[7][309] x[7][310] x[7][311] x[7][312] x[7][313] x[7][314] x[7][315] x[7][316] x[7][317] x[7][318] x[7][319] x[7][320] x[7][321] x[7][322] x[7][323] x[7][324] x[7][325] x[7][326] x[7][327] x[7][328] x[7][329] x[7][330] x[7][331] x[7][332] x[7][333] x[7][334] x[7][335] x[7][336] x[7][337] x[7][338] x[7][339] x[7][340] x[7][341] x[7][342] x[7][343] x[7][344] x[7][345] x[7][346] x[7][347] x[7][348] x[7][349] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[8][120] x[8][121] x[8][122] x[8][123] x[8][124] x[8][125] x[8][126] x[8][127] x[8][128] x[8][129] x[8][130] x[8][131] x[8][132] x[8][133] x[8][134] x[8][135] x[8][136] x[8][137] x[8][138] x[8][139] x[8][140] x[8][141] x[8][142] x[8][143] x[8][144] x[8][145] x[8][146] x[8][147] x[8][148] x[8][149] x[8][150] x[8][151] x[8][152] x[8][153] x[8][154] x[8][155] x[8][156] x[8][157] x[8][158] x[8][159] x[8][160] x[8][161] x[8][162] x[8][163] x[8][164] x[8][165] x[8][166] x[8][167] x[8][168] x[8][169] x[8][170] x[8][171] x[8][172] x[8][173] x[8][174] x[8][175] x[8][176] x[8][177] x[8][178] x[8][179] x[8][180] x[8][181] x[8][182] x[8][183] x[8][184] x[8][185] x[8][186] x[8][187] x[8][188] x[8][189] x[8][190] x[8][191] x[8][192] x[8][193] x[8][194] x[8][195] x[8][196] x[8][197] x[8][198] x[8][199] x[8][200] x[8][201] x[8][202] x[8][203] x[8][204] x[8][205] x[8][206] x[8][207] x[8][208] x[8][209] x[8][210] x[8][211] x[8][212] x[8][213] x[8][214] x[8][215] x[8][216] x[8][217] x[8][218] x[8][219] x[8][220] x[8][221] x[8][222] x[8][223] x[8][224] x[8][225] x[8][226] x[8][227] x[8][228] x[8][229] x[8][230] x[8][231] x[8][232] x[8][233] x[8][234] x[8][235] x[8][236] x[8][237] x[8][238] x[8][239] x[8][240] x[8][241] x[8][242] x[8][243] x[8][244] x[8][245] x[8][246] x[8][247] x[8][248] x[8][249] x[8][250] x[8][251] x[8][252] x[8][253] x[8][254] x[8][255] x[8][256] x[8][257] x[8][258] x[8][259] x[8][260] x[8][261] x[8][262] x[8][263] x[8][264] x[8][265] x[8][266] x[8][267] x[8][268] x[8][269] x[8][270] x[8][271] x[8][272] x[8][273] x[8][274] x[8][275] x[8][276] x[8][277] x[8][278] x[8][279] x[8][280] x[8][281] x[8][282] x[8][283] x[8][284] x[8][285] x[8][286] x[8][287] x[8][288] x[8][289] x[8][290] x[8][291] x[8][292] x[8][293] x[8][294] x[8][295] x[8][296] x[8][297] x[8][298] x[8][299] x[8][300] x[8][301] x[8][302] x[8][303] x[8][304] x[8][305] x[8][306] x[8][307] x[8][308] x[8][309] x[8][310] x[8][311] x[8][312] x[8][313] x[8][314] x[8][315] x[8][316] x[8][317] x[8][318] x[8][319] x[8][320] x[8][321] x[8][322] x[8][323] x[8][324] x[8][325] x[8][326] x[8][327] x[8][328] x[8][329] x[8][330] x[8][331] x[8][332] x[8][333] x[8][334] x[8][335] x[8][336] x[8][337] x[8][338] x[8][339] x[8][340] x[8][341] x[8][342] x[8][343] x[8][344] x[8][345] x[8][346] x[8][347] x[8][348] x[8][349]
2520.05/2458.72	v       </list>
2520.05/2458.72	v       <values>
2520.05/2458.72	v         48 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 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 1 1 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 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 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 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 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 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 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 1 1 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 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0
2520.05/2458.72	v       </values>
2520.05/2458.72	v     </instantiation>
2520.05/2458.72	s SATISFIABLE

Verifier Data 

OK	48

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401198-1568675854/watcher-4401198-1568675854 -o /tmp/evaluation-result-4401198-1568675854/solver-4401198-1568675854 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568673292-1029 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1750650444 HOME/instance-4401198-1568675854.xml 

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

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

solver pid=1923, runsolver pid=1920

[startup+0.100164 s]*
/proc/loadavg: 1.76 1.52 1.52 3/218 1980
/proc/meminfo: memFree=28837816/32770624 swapFree=66998732/67108860
[pid=1923] ppid=1920 vsize=9972712 memory=18596 CPUtime=0.09 cores=0,2,4,6
/proc/1923/stat : 1923 (java) S 1920 1923 998 0 -1 1077944320 4374 13389 0 0 1 1 5 2 20 0 6 0 443850218 10212057088 4649 33554432000 4194304 4196468 140737171004128 140737170986672 140368964714231 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
/proc/1923/statm: 2493178 4649 1933 1 0 2481616 0
[pid=1923/tid=1976] ppid=1920 vsize=9972712 memory=5450916389569530688 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1976/stat : 1976 (java) R 1920 1923 998 0 -1 4202560 2183 13389 0 0 0 0 5 2 20 0 6 0 443850227 10212057088 4649 33554432000 4194304 4196468 140737171004128 140368936550992 140368964736157 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1977] ppid=1920 vsize=9972712 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1977/stat : 1977 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 6 0 443850227 10212057088 4649 33554432000 4194304 4196468 140737171004128 140368968956688 140368964724437 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1978] ppid=1920 vsize=9972712 memory=140617907672704 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1978/stat : 1978 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 6 0 443850227 10212057088 4649 33554432000 4194304 4196468 140737171004128 140368867847056 140368964724437 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1979] ppid=1920 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1979/stat : 1979 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 6 0 443850227 10212057088 4649 33554432000 4194304 4196468 140737171004128 140368866794512 140368964724437 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1980] ppid=1920 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1980/stat : 1980 (java) S 1920 1923 998 0 -1 1077944384 2 13389 0 0 0 0 5 2 20 0 6 0 443850227 10212057088 4649 33554432000 4194304 4196468 140737171004128 140368865741968 140368964724437 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB

[startup+0.210001 s]*
/proc/loadavg: 1.76 1.52 1.52 4/227 1989
/proc/meminfo: memFree=28820104/32770624 swapFree=66998732/67108860
[pid=1923] ppid=1920 vsize=10820020 memory=39256 CPUtime=0.26 cores=0,2,4,6
/proc/1923/stat : 1923 (java) S 1920 1923 998 0 -1 1077944320 7275 13389 0 0 17 2 5 2 20 0 15 0 443850218 11079700480 9814 33554432000 4194304 4196468 140737171004128 140737170986672 140368964714231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
/proc/1923/statm: 2705005 9814 3248 1 0 2667149 0
[pid=1923/tid=1976] ppid=1920 vsize=10820196 memory=5450916389569530688 CPUtime=0.18 cores=0,2,4,6
/proc/1923/task/1976/stat : 1976 (java) R 1920 1923 998 0 -1 4202560 3809 13389 0 0 10 1 5 2 20 0 15 0 443850227 11079880704 9880 33554432000 4194304 4196468 140737171004128 140368936537392 140368887790546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1977] ppid=1920 vsize=10820196 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1977/stat : 1977 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850227 11079880704 9880 33554432000 4194304 4196468 140737171004128 140368968956688 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1978] ppid=1920 vsize=10820196 memory=140617907672704 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1978/stat : 1978 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850227 11079880704 9880 33554432000 4194304 4196468 140737171004128 140368867847056 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1979] ppid=1920 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1979/stat : 1979 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850227 11079880704 9880 33554432000 4194304 4196468 140737171004128 140368866794512 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1980] ppid=1920 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1980/stat : 1980 (java) S 1920 1923 998 0 -1 1077944384 2 13389 0 0 0 0 5 2 20 0 15 0 443850227 11079880704 9880 33554432000 4194304 4196468 140737171004128 140368865741968 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1981] ppid=1920 vsize=10820196 memory=140617907672704 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1981/stat : 1981 (java) S 1920 1923 998 0 -1 1077944384 2 13389 0 0 0 0 5 2 20 0 15 0 443850229 11079880704 9880 33554432000 4194304 4196468 140737171004128 140367967840240 140368964725378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1982] ppid=1920 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1982/stat : 1982 (java) S 1920 1923 998 0 -1 1077944384 33 13389 0 0 0 0 5 2 20 0 15 0 443850229 11079880704 9880 33554432000 4194304 4196468 140737171004128 140367966786464 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1983] ppid=1920 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1983/stat : 1983 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850229 11079880704 9880 33554432000 4194304 4196468 140737171004128 140367852725232 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1984] ppid=1920 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1984/stat : 1984 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11079880704 9880 33554432000 4194304 4196468 140737171004128 140367545325776 140368964732827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1985] ppid=1920 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1923/task/1985/stat : 1985 (java) R 1920 1923 998 0 -1 4202560 487 13389 0 0 1 0 5 2 20 0 15 0 443850232 11079880704 9880 33554432000 4194304 4196468 140737171004128 140367933229552 140368943903792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1986] ppid=1920 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1986/stat : 1986 (java) S 1920 1923 998 0 -1 1077944384 165 13389 0 0 0 0 5 2 20 0 15 0 443850232 11079880704 9880 33554432000 4194304 4196468 140737171004128 140367932177008 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1987] ppid=1920 vsize=10820196 memory=140617907672704 CPUtime=0.1 cores=0,2,4,6
/proc/1923/task/1987/stat : 1987 (java) S 1920 1923 998 0 -1 1077944384 620 13389 0 0 3 0 5 2 20 0 15 0 443850232 11079880704 9880 33554432000 4194304 4196468 140737171004128 140367931124464 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1988] ppid=1920 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1988/stat : 1988 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11079880704 9880 33554432000 4194304 4196468 140737171004128 140367511768160 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1989] ppid=1920 vsize=10820196 memory=140617907672704 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1989/stat : 1989 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850233 11079880704 9880 33554432000 4194304 4196468 140737171004128 140367930071344 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 39256 KiB

[startup+0.310461 s]*
/proc/loadavg: 1.76 1.52 1.52 4/227 1989
/proc/meminfo: memFree=28807868/32770624 swapFree=66998732/67108860
[pid=1923] ppid=1920 vsize=10820196 memory=47880 CPUtime=0.39 cores=0,2,4,6
/proc/1923/stat : 1923 (java) S 1920 1923 998 0 -1 1077944320 10748 13389 0 0 29 3 5 2 20 0 15 0 443850218 11079880704 11970 33554432000 4194304 4196468 140737171004128 140737170986672 140368964714231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
/proc/1923/statm: 2705049 11970 3316 1 0 2667149 0
[pid=1923/tid=1976] ppid=1920 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=0,2,4,6
/proc/1923/task/1976/stat : 1976 (java) R 1920 1923 998 0 -1 4202560 7197 13389 0 0 18 3 5 2 20 0 15 0 443850227 11079880704 11970 33554432000 4194304 4196468 140737171004128 140368936523184 140368948794718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1977] ppid=1920 vsize=10820196 memory=4134692831991783777 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1977/stat : 1977 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850227 11079880704 11970 33554432000 4194304 4196468 140737171004128 140368968956688 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1978] ppid=1920 vsize=10820196 memory=140617907679697 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1978/stat : 1978 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850227 11079880704 11970 33554432000 4194304 4196468 140737171004128 140368867847056 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1979] ppid=1920 vsize=10820196 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1979/stat : 1979 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850227 11079880704 11970 33554432000 4194304 4196468 140737171004128 140368866794512 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1980] ppid=1920 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1980/stat : 1980 (java) S 1920 1923 998 0 -1 1077944384 2 13389 0 0 0 0 5 2 20 0 15 0 443850227 11079880704 11970 33554432000 4194304 4196468 140737171004128 140368865741968 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1981] ppid=1920 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1981/stat : 1981 (java) S 1920 1923 998 0 -1 1077944384 2 13389 0 0 0 0 5 2 20 0 15 0 443850229 11079880704 11970 33554432000 4194304 4196468 140737171004128 140367967840240 140368964725378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1982] ppid=1920 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1982/stat : 1982 (java) S 1920 1923 998 0 -1 1077944384 33 13389 0 0 0 0 5 2 20 0 15 0 443850229 11079880704 11970 33554432000 4194304 4196468 140737171004128 140367966786464 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1983] ppid=1920 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1983/stat : 1983 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850229 11079880704 11970 33554432000 4194304 4196468 140737171004128 140367852725232 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1984] ppid=1920 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1984/stat : 1984 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11079880704 11970 33554432000 4194304 4196468 140737171004128 140367545325776 140368964732827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1985] ppid=1920 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1923/task/1985/stat : 1985 (java) S 1920 1923 998 0 -1 1077944384 496 13389 0 0 2 0 5 2 20 0 15 0 443850232 11079880704 11970 33554432000 4194304 4196468 140737171004128 140367933229552 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1986] ppid=1920 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1923/task/1986/stat : 1986 (java) S 1920 1923 998 0 -1 1077944384 166 13389 0 0 1 0 5 2 20 0 15 0 443850232 11079880704 11970 33554432000 4194304 4196468 140737171004128 140367932177008 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1987] ppid=1920 vsize=10820196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/1923/task/1987/stat : 1987 (java) S 1920 1923 998 0 -1 1077944384 638 13389 0 0 5 0 5 2 20 0 15 0 443850232 11079880704 11970 33554432000 4194304 4196468 140737171004128 140367931124464 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1988] ppid=1920 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1988/stat : 1988 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11079880704 11970 33554432000 4194304 4196468 140737171004128 140367511768160 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1989] ppid=1920 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1989/stat : 1989 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850233 11079880704 11970 33554432000 4194304 4196468 140737171004128 140367930071344 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 47880 KiB

[startup+0.700724 s]
/proc/loadavg: 1.78 1.53 1.52 3/227 1989
/proc/meminfo: memFree=28793340/32770624 swapFree=66998732/67108860
[pid=1923] ppid=1920 vsize=10824364 memory=81416 CPUtime=1.12 cores=0,2,4,6
/proc/1923/stat : 1923 (java) S 1920 1923 998 0 -1 1077944320 15094 13389 0 0 100 5 5 2 20 0 15 0 443850218 11084148736 20354 33554432000 4194304 4196468 140737171004128 140737170986672 140368964714231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
/proc/1923/statm: 2706091 20354 3509 1 0 2668173 0
[pid=1923/tid=1976] ppid=1920 vsize=10824364 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/1923/task/1976/stat : 1976 (java) R 1920 1923 998 0 -1 4202560 10496 13389 0 0 55 4 5 2 20 0 15 0 443850227 11084148736 20354 33554432000 4194304 4196468 140737171004128 140368936543776 140368964736157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1977] ppid=1920 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1977/stat : 1977 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850227 11084148736 20354 33554432000 4194304 4196468 140737171004128 140368968956688 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1978] ppid=1920 vsize=10824364 memory=239 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1978/stat : 1978 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850227 11084148736 20354 33554432000 4194304 4196468 140737171004128 140368867847056 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1979] ppid=1920 vsize=10824364 memory=2 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1979/stat : 1979 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850227 11084148736 20354 33554432000 4194304 4196468 140737171004128 140368866794512 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1980] ppid=1920 vsize=10824364 memory=8458433173656844341 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1980/stat : 1980 (java) S 1920 1923 998 0 -1 1077944384 2 13389 0 0 0 0 5 2 20 0 15 0 443850227 11084148736 20354 33554432000 4194304 4196468 140737171004128 140368865741968 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1981] ppid=1920 vsize=10824364 memory=5787495302175351872 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1981/stat : 1981 (java) S 1920 1923 998 0 -1 1077944384 6 13389 0 0 0 0 5 2 20 0 15 0 443850229 11084148736 20354 33554432000 4194304 4196468 140737171004128 140367967840240 140368964725378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1982] ppid=1920 vsize=10824364 memory=3580 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1982/stat : 1982 (java) S 1920 1923 998 0 -1 1077944384 33 13389 0 0 0 0 5 2 20 0 15 0 443850229 11084148736 20354 33554432000 4194304 4196468 140737171004128 140367966786464 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1983] ppid=1920 vsize=10824364 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1983/stat : 1983 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850229 11084148736 20354 33554432000 4194304 4196468 140737171004128 140367852725232 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1984] ppid=1920 vsize=10824364 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1984/stat : 1984 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11084148736 20354 33554432000 4194304 4196468 140737171004128 140367545325776 140368964732827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1985] ppid=1920 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/1923/task/1985/stat : 1985 (java) R 1920 1923 998 0 -1 4202560 864 13389 0 0 12 0 5 2 20 0 15 0 443850232 11084148736 20354 33554432000 4194304 4196468 140737171004128 140367933229552 140368942717072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1986] ppid=1920 vsize=10824364 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/1923/task/1986/stat : 1986 (java) R 1920 1923 998 0 -1 4202560 633 13389 0 0 14 0 5 2 20 0 15 0 443850232 11084148736 20354 33554432000 4194304 4196468 140737171004128 140367932177008 140368950728552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1987] ppid=1920 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/1923/task/1987/stat : 1987 (java) S 1920 1923 998 0 -1 1077944384 841 13389 0 0 17 0 5 2 20 0 15 0 443850232 11084148736 20354 33554432000 4194304 4196468 140737171004128 140367931124464 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1988] ppid=1920 vsize=10824364 memory=30305 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1988/stat : 1988 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11084148736 20354 33554432000 4194304 4196468 140737171004128 140367511768160 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1989] ppid=1920 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1989/stat : 1989 (java) S 1920 1923 998 0 -1 1077944384 1 13389 0 0 0 0 5 2 20 0 15 0 443850233 11084148736 20354 33554432000 4194304 4196468 140737171004128 140367930071344 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81416 KiB

[startup+1.50069 s]
/proc/loadavg: 1.78 1.53 1.52 3/227 1989
/proc/meminfo: memFree=28688480/32770624 swapFree=66998732/67108860
[pid=1923] ppid=1920 vsize=10834680 memory=180764 CPUtime=2.55 cores=0,2,4,6
/proc/1923/stat : 1923 (java) S 1920 1923 998 0 -1 1077944320 23857 13389 0 0 238 10 5 2 20 0 15 0 443850218 11094712320 45191 33554432000 4194304 4196468 140737171004128 140737170986672 140368964714231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
/proc/1923/statm: 2708670 45191 3584 1 0 2670733 0
[pid=1923/tid=1976] ppid=1920 vsize=10834680 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/1923/task/1976/stat : 1976 (java) R 1920 1923 998 0 -1 4202560 16003 13389 0 0 129 6 5 2 20 0 15 0 443850227 11094712320 45191 33554432000 4194304 4196468 140737171004128 140368936521744 140368544831111 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1977] ppid=1920 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1923/task/1977/stat : 1977 (java) S 1920 1923 998 0 -1 1077944384 333 13389 0 0 1 0 5 2 20 0 15 0 443850227 11094712320 45191 33554432000 4194304 4196468 140737171004128 140368968956688 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1978] ppid=1920 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1923/task/1978/stat : 1978 (java) S 1920 1923 998 0 -1 1077944384 55 13389 0 0 1 0 5 2 20 0 15 0 443850227 11094712320 45191 33554432000 4194304 4196468 140737171004128 140368867847056 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1979] ppid=1920 vsize=10834680 memory=25 CPUtime=0.09 cores=0,2,4,6
/proc/1923/task/1979/stat : 1979 (java) S 1920 1923 998 0 -1 1077944384 23 13389 0 0 2 0 5 2 20 0 15 0 443850227 11094712320 45191 33554432000 4194304 4196468 140737171004128 140368866794512 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1980] ppid=1920 vsize=10834680 memory=25 CPUtime=0.08 cores=0,2,4,6
/proc/1923/task/1980/stat : 1980 (java) S 1920 1923 998 0 -1 1077944384 77 13389 0 0 1 0 5 2 20 0 15 0 443850227 11094712320 45191 33554432000 4194304 4196468 140737171004128 140368865741968 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1981] ppid=1920 vsize=10834680 memory=28 CPUtime=0.08 cores=0,2,4,6
/proc/1923/task/1981/stat : 1981 (java) S 1920 1923 998 0 -1 1077944384 1557 13389 0 0 1 0 5 2 20 0 15 0 443850229 11094712320 45191 33554432000 4194304 4196468 140737171004128 140367967840240 140368964725378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1982] ppid=1920 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1982/stat : 1982 (java) S 1920 1923 998 0 -1 1077944384 34 13389 0 0 0 0 5 2 20 0 15 0 443850229 11094712320 45191 33554432000 4194304 4196468 140737171004128 140367966786528 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1983] ppid=1920 vsize=10834680 memory=276 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1983/stat : 1983 (java) S 1920 1923 998 0 -1 1077944384 2 13389 0 0 0 0 5 2 20 0 15 0 443850229 11094712320 45216 33554432000 4194304 4196468 140737171004128 140367852725248 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1984] ppid=1920 vsize=10834680 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1984/stat : 1984 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11094712320 45216 33554432000 4194304 4196468 140737171004128 140367545325776 140368964732827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1985] ppid=1920 vsize=10834680 memory=6944656592455360604 CPUtime=0.37 cores=0,2,4,6
/proc/1923/task/1985/stat : 1985 (java) S 1920 1923 998 0 -1 1077944384 1060 13389 0 0 30 0 5 2 20 0 15 0 443850232 11094712320 45216 33554432000 4194304 4196468 140737171004128 140367933229552 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1986] ppid=1920 vsize=10834680 memory=6944652177228980320 CPUtime=0.37 cores=0,2,4,6
/proc/1923/task/1986/stat : 1986 (java) R 1920 1923 998 0 -1 1077944384 883 13389 0 0 30 0 5 2 20 0 15 0 443850232 11094712320 45216 33554432000 4194304 4196468 140737171004128 140367932177008 140368964725378 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1987] ppid=1920 vsize=10834680 memory=6944656592455360604 CPUtime=0.45 cores=0,2,4,6
/proc/1923/task/1987/stat : 1987 (java) S 1920 1923 998 0 -1 1077944384 1617 13389 0 0 38 0 5 2 20 0 15 0 443850232 11094712320 45216 33554432000 4194304 4196468 140737171004128 140367931124464 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1988] ppid=1920 vsize=10834680 memory=281235532376856 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1988/stat : 1988 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11094712320 45216 33554432000 4194304 4196468 140737171004128 140367511768160 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1989] ppid=1920 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1989/stat : 1989 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850233 11094712320 45216 33554432000 4194304 4196468 140737171004128 140367930071344 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 10834680 KiB

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

/proc/1923/task/1976/stat : 1976 (java) R 1920 1923 998 0 -1 4202560 122889 13389 0 0 236654 44 5 2 20 0 15 0 443850227 11107315712 679892 33554432000 4194304 4196468 140737171004128 140368936550192 140368560411031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1977] ppid=1920 vsize=10846988 memory=2719568 CPUtime=13.15 cores=0,2,4,6
/proc/1923/task/1977/stat : 1977 (java) S 1920 1923 998 0 -1 1077944384 51004 13389 0 0 1262 46 5 2 20 0 15 0 443850227 11107315712 679892 33554432000 4194304 4196468 140737171004128 140368968956688 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1978] ppid=1920 vsize=10846988 memory=2719568 CPUtime=13.13 cores=0,2,4,6
/proc/1923/task/1978/stat : 1978 (java) S 1920 1923 998 0 -1 1077944384 45234 13389 0 0 1260 46 5 2 20 0 15 0 443850227 11107315712 679892 33554432000 4194304 4196468 140737171004128 140368867847056 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1979] ppid=1920 vsize=10846988 memory=281235533486080 CPUtime=13.19 cores=0,2,4,6
/proc/1923/task/1979/stat : 1979 (java) S 1920 1923 998 0 -1 1077944384 50829 13389 0 0 1266 46 5 2 20 0 15 0 443850227 11107315712 679892 33554432000 4194304 4196468 140737171004128 140368866794512 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1980] ppid=1920 vsize=10846988 memory=2720596 CPUtime=13.22 cores=0,2,4,6
/proc/1923/task/1980/stat : 1980 (java) S 1920 1923 998 0 -1 1077944384 44472 13389 0 0 1267 48 5 2 20 0 15 0 443850227 11107315712 679892 33554432000 4194304 4196468 140737171004128 140368865741968 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1981] ppid=1920 vsize=10846988 memory=3580 CPUtime=1.49 cores=0,2,4,6
/proc/1923/task/1981/stat : 1981 (java) S 1920 1923 998 0 -1 1077944384 25280 13389 0 0 127 15 5 2 20 0 15 0 443850229 11107315712 679892 33554432000 4194304 4196468 140737171004128 140367967840240 140368964725378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1982] ppid=1920 vsize=10846988 memory=4036 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1982/stat : 1982 (java) S 1920 1923 998 0 -1 1077944384 56 13389 0 0 0 0 5 2 20 0 15 0 443850229 11107315712 679892 33554432000 4194304 4196468 140737171004128 140367966786528 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1983] ppid=1920 vsize=10846988 memory=2720080 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1983/stat : 1983 (java) S 1920 1923 998 0 -1 1077944384 28 13389 0 0 0 0 5 2 20 0 15 0 443850229 11107315712 679892 33554432000 4194304 4196468 140737171004128 140367852725248 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1984] ppid=1920 vsize=10846988 memory=2727264 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1984/stat : 1984 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11107315712 679892 33554432000 4194304 4196468 140737171004128 140367545325776 140368964732827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1985] ppid=1920 vsize=10846988 memory=2727264 CPUtime=9.24 cores=0,2,4,6
/proc/1923/task/1985/stat : 1985 (java) S 1920 1923 998 0 -1 1077944384 35565 13389 0 0 911 6 5 2 20 0 15 0 443850232 11107315712 679892 33554432000 4194304 4196468 140737171004128 140367933229552 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1986] ppid=1920 vsize=10846988 memory=2720080 CPUtime=8.37 cores=0,2,4,6
/proc/1923/task/1986/stat : 1986 (java) S 1920 1923 998 0 -1 1077944384 36272 13389 0 0 824 6 5 2 20 0 15 0 443850232 11107315712 679892 33554432000 4194304 4196468 140737171004128 140367932177008 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1987] ppid=1920 vsize=10846988 memory=2720080 CPUtime=2.45 cores=0,2,4,6
/proc/1923/task/1987/stat : 1987 (java) S 1920 1923 998 0 -1 1077944384 21184 13389 0 0 233 5 5 2 20 0 15 0 443850232 11107315712 679892 33554432000 4194304 4196468 140737171004128 140367931124464 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1988] ppid=1920 vsize=10846988 memory=2719568 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1988/stat : 1988 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11107315712 679892 33554432000 4194304 4196468 140737171004128 140367511768160 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1989] ppid=1920 vsize=10846988 memory=496 CPUtime=1.4 cores=0,2,4,6
/proc/1923/task/1989/stat : 1989 (java) S 1920 1923 998 0 -1 1077944384 2084 13389 0 0 68 65 5 2 20 0 15 0 443850233 11107315712 679892 33554432000 4194304 4196468 140737171004128 140367930071344 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2719568 KiB

[startup+2442.3 s]
/proc/loadavg: 1.07 1.28 1.43 4/227 2339
/proc/meminfo: memFree=26794796/32770624 swapFree=66998732/67108860
[pid=1923] ppid=1920 vsize=10846988 memory=2701092 CPUtime=2503.34 cores=0,2,4,6
/proc/1923/stat : 1923 (java) S 1920 1923 998 0 -1 1077944320 442715 13389 0 0 250013 314 5 2 20 0 15 0 443850218 11107315712 675273 33554432000 4194304 4196468 140737171004128 140737170986672 140368964714231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
/proc/1923/statm: 2711747 675273 3640 1 0 2673805 0
[pid=1923/tid=1976] ppid=1920 vsize=10846988 memory=2701092 CPUtime=2426.6 cores=0,2,4,6
/proc/1923/task/1976/stat : 1976 (java) R 1920 1923 998 0 -1 4202560 124317 13389 0 0 242609 44 5 2 20 0 15 0 443850227 11107315712 675273 33554432000 4194304 4196468 140737171004128 140368936550464 140368558366468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1977] ppid=1920 vsize=10846988 memory=2702120 CPUtime=13.54 cores=0,2,4,6
/proc/1923/task/1977/stat : 1977 (java) S 1920 1923 998 0 -1 1077944384 52281 13389 0 0 1300 47 5 2 20 0 15 0 443850227 11107315712 675273 33554432000 4194304 4196468 140737171004128 140368968956688 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1978] ppid=1920 vsize=10846988 memory=2701092 CPUtime=13.51 cores=0,2,4,6
/proc/1923/task/1978/stat : 1978 (java) S 1920 1923 998 0 -1 1077944384 45384 13389 0 0 1298 46 5 2 20 0 15 0 443850227 11107315712 675273 33554432000 4194304 4196468 140737171004128 140368867847056 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1979] ppid=1920 vsize=10846988 memory=2701092 CPUtime=13.57 cores=0,2,4,6
/proc/1923/task/1979/stat : 1979 (java) S 1920 1923 998 0 -1 1077944384 51051 13389 0 0 1303 47 5 2 20 0 15 0 443850227 11107315712 675273 33554432000 4194304 4196468 140737171004128 140368866794512 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1980] ppid=1920 vsize=10846988 memory=2701092 CPUtime=13.6 cores=0,2,4,6
/proc/1923/task/1980/stat : 1980 (java) S 1920 1923 998 0 -1 1077944384 46608 13389 0 0 1305 48 5 2 20 0 15 0 443850227 11107315712 675273 33554432000 4194304 4196468 140737171004128 140368865741968 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1981] ppid=1920 vsize=10846988 memory=2701092 CPUtime=1.54 cores=0,2,4,6
/proc/1923/task/1981/stat : 1981 (java) S 1920 1923 998 0 -1 1077944384 25636 13389 0 0 131 16 5 2 20 0 15 0 443850229 11107315712 675273 33554432000 4194304 4196468 140737171004128 140367967840240 140368964725378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1982] ppid=1920 vsize=10846988 memory=2701092 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1982/stat : 1982 (java) S 1920 1923 998 0 -1 1077944384 56 13389 0 0 0 0 5 2 20 0 15 0 443850229 11107315712 675273 33554432000 4194304 4196468 140737171004128 140367966786528 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1983] ppid=1920 vsize=10846988 memory=2020 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1983/stat : 1983 (java) S 1920 1923 998 0 -1 1077944384 28 13389 0 0 0 0 5 2 20 0 15 0 443850229 11107315712 675273 33554432000 4194304 4196468 140737171004128 140367852725248 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1984] ppid=1920 vsize=10846988 memory=2701092 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1984/stat : 1984 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11107315712 675273 33554432000 4194304 4196468 140737171004128 140367545325776 140368964732827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1985] ppid=1920 vsize=10846988 memory=2701092 CPUtime=9.25 cores=0,2,4,6
/proc/1923/task/1985/stat : 1985 (java) S 1920 1923 998 0 -1 1077944384 35568 13389 0 0 912 6 5 2 20 0 15 0 443850232 11107315712 675273 33554432000 4194304 4196468 140737171004128 140367933229552 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1986] ppid=1920 vsize=10846988 memory=2701092 CPUtime=8.37 cores=0,2,4,6
/proc/1923/task/1986/stat : 1986 (java) S 1920 1923 998 0 -1 1077944384 36276 13389 0 0 824 6 5 2 20 0 15 0 443850232 11107315712 675273 33554432000 4194304 4196468 140737171004128 140367932177008 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1987] ppid=1920 vsize=10846988 memory=2701092 CPUtime=2.45 cores=0,2,4,6
/proc/1923/task/1987/stat : 1987 (java) S 1920 1923 998 0 -1 1077944384 21186 13389 0 0 233 5 5 2 20 0 15 0 443850232 11107315712 675273 33554432000 4194304 4196468 140737171004128 140367931124464 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1988] ppid=1920 vsize=10846988 memory=2701092 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1988/stat : 1988 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11107315712 675273 33554432000 4194304 4196468 140737171004128 140367511768160 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1989] ppid=1920 vsize=10846988 memory=2701092 CPUtime=1.44 cores=0,2,4,6
/proc/1923/task/1989/stat : 1989 (java) S 1920 1923 998 0 -1 1077944384 2110 13389 0 0 70 67 5 2 20 0 15 0 443850233 11107315712 675273 33554432000 4194304 4196468 140737171004128 140367930071344 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
Current children cumulated CPU time: 2503.34 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2701092 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2458.7 s]
/proc/loadavg: 1.28 1.32 1.44 3/227 2339
/proc/meminfo: memFree=26815476/32770624 swapFree=66998732/67108860
[pid=1923] ppid=1920 vsize=10846988 memory=2701116 CPUtime=2520.05 cores=0,2,4,6
/proc/1923/stat : 1923 (java) S 1920 1923 998 0 -1 1077944320 444714 13389 0 0 251684 314 5 2 20 0 15 0 443850218 11107315712 675279 33554432000 4194304 4196468 140737171004128 140737170986672 140368964714231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
/proc/1923/statm: 2711747 675279 3640 1 0 2673805 0
[pid=1923/tid=1976] ppid=1920 vsize=10846988 memory=1552 CPUtime=2442.86 cores=0,2,4,6
/proc/1923/task/1976/stat : 1976 (java) R 1920 1923 998 0 -1 4202560 124773 13389 0 0 244235 44 5 2 20 0 15 0 443850227 11107315712 675279 33554432000 4194304 4196468 140737171004128 140368936550256 140368560574988 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1977] ppid=1920 vsize=10846988 memory=2701116 CPUtime=13.65 cores=0,2,4,6
/proc/1923/task/1977/stat : 1977 (java) S 1920 1923 998 0 -1 1077944384 52323 13389 0 0 1311 47 5 2 20 0 15 0 443850227 11107315712 675279 33554432000 4194304 4196468 140737171004128 140368968956688 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1978] ppid=1920 vsize=10846988 memory=2701116 CPUtime=13.62 cores=0,2,4,6
/proc/1923/task/1978/stat : 1978 (java) S 1920 1923 998 0 -1 1077944384 45483 13389 0 0 1309 46 5 2 20 0 15 0 443850227 11107315712 675279 33554432000 4194304 4196468 140737171004128 140368867847056 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1979] ppid=1920 vsize=10846988 memory=2701092 CPUtime=13.68 cores=0,2,4,6
/proc/1923/task/1979/stat : 1979 (java) S 1920 1923 998 0 -1 1077944384 51402 13389 0 0 1314 47 5 2 20 0 15 0 443850227 11107315712 675279 33554432000 4194304 4196468 140737171004128 140368866794512 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1980] ppid=1920 vsize=10846988 memory=2719568 CPUtime=13.71 cores=0,2,4,6
/proc/1923/task/1980/stat : 1980 (java) S 1920 1923 998 0 -1 1077944384 47356 13389 0 0 1316 48 5 2 20 0 15 0 443850227 11107315712 675279 33554432000 4194304 4196468 140737171004128 140368865741968 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1981] ppid=1920 vsize=10846988 memory=2701116 CPUtime=1.55 cores=0,2,4,6
/proc/1923/task/1981/stat : 1981 (java) S 1920 1923 998 0 -1 1077944384 25914 13389 0 0 132 16 5 2 20 0 15 0 443850229 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367967840240 140368964725378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1982] ppid=1920 vsize=10846988 memory=2701116 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1982/stat : 1982 (java) S 1920 1923 998 0 -1 1077944384 56 13389 0 0 0 0 5 2 20 0 15 0 443850229 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367966786528 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1983] ppid=1920 vsize=10846988 memory=3580 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1983/stat : 1983 (java) S 1920 1923 998 0 -1 1077944384 28 13389 0 0 0 0 5 2 20 0 15 0 443850229 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367852725248 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1984] ppid=1920 vsize=10846988 memory=988 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1984/stat : 1984 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367545325776 140368964732827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1985] ppid=1920 vsize=10846988 memory=2020 CPUtime=9.25 cores=0,2,4,6
/proc/1923/task/1985/stat : 1985 (java) S 1920 1923 998 0 -1 1077944384 35571 13389 0 0 912 6 5 2 20 0 15 0 443850232 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367933229552 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1986] ppid=1920 vsize=10846988 memory=164 CPUtime=8.37 cores=0,2,4,6
/proc/1923/task/1986/stat : 1986 (java) S 1920 1923 998 0 -1 1077944384 36278 13389 0 0 824 6 5 2 20 0 15 0 443850232 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367932177008 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1987] ppid=1920 vsize=10846988 memory=6944656592455097440 CPUtime=2.45 cores=0,2,4,6
/proc/1923/task/1987/stat : 1987 (java) S 1920 1923 998 0 -1 1077944384 21188 13389 0 0 233 5 5 2 20 0 15 0 443850232 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367931124464 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1988] ppid=1920 vsize=10846988 memory=2701116 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1988/stat : 1988 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367511768160 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1989] ppid=1920 vsize=10846988 memory=288285593090392628 CPUtime=1.44 cores=0,2,4,6
/proc/1923/task/1989/stat : 1989 (java) S 1920 1923 998 0 -1 1077944384 2128 13389 0 0 70 67 5 2 20 0 15 0 443850233 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367930071344 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2701116 KiB

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

[startup+2458.76 s]
# the end of solver process 1923 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.93 s, system=3.20508 s

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

[startup+2458.7 s]
/proc/loadavg: 1.28 1.32 1.44 3/227 2339
/proc/meminfo: memFree=26815476/32770624 swapFree=66998732/67108860
[pid=1923] ppid=1920 vsize=10846988 memory=2701116 CPUtime=2520.05 cores=0,2,4,6
/proc/1923/stat : 1923 (java) S 1920 1923 998 0 -1 1077944320 444714 13389 0 0 251684 314 5 2 20 0 15 0 443850218 11107315712 675279 33554432000 4194304 4196468 140737171004128 140737170986672 140368964714231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
/proc/1923/statm: 2711747 675279 3640 1 0 2673805 0
[pid=1923/tid=1976] ppid=1920 vsize=10846988 memory=1552 CPUtime=2442.86 cores=0,2,4,6
/proc/1923/task/1976/stat : 1976 (java) R 1920 1923 998 0 -1 4202560 124773 13389 0 0 244235 44 5 2 20 0 15 0 443850227 11107315712 675279 33554432000 4194304 4196468 140737171004128 140368936550256 140368560574988 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1977] ppid=1920 vsize=10846988 memory=2701116 CPUtime=13.65 cores=0,2,4,6
/proc/1923/task/1977/stat : 1977 (java) S 1920 1923 998 0 -1 1077944384 52323 13389 0 0 1311 47 5 2 20 0 15 0 443850227 11107315712 675279 33554432000 4194304 4196468 140737171004128 140368968956688 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1978] ppid=1920 vsize=10846988 memory=2701116 CPUtime=13.62 cores=0,2,4,6
/proc/1923/task/1978/stat : 1978 (java) S 1920 1923 998 0 -1 1077944384 45483 13389 0 0 1309 46 5 2 20 0 15 0 443850227 11107315712 675279 33554432000 4194304 4196468 140737171004128 140368867847056 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1979] ppid=1920 vsize=10846988 memory=2701092 CPUtime=13.68 cores=0,2,4,6
/proc/1923/task/1979/stat : 1979 (java) S 1920 1923 998 0 -1 1077944384 51402 13389 0 0 1314 47 5 2 20 0 15 0 443850227 11107315712 675279 33554432000 4194304 4196468 140737171004128 140368866794512 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1980] ppid=1920 vsize=10846988 memory=2719568 CPUtime=13.71 cores=0,2,4,6
/proc/1923/task/1980/stat : 1980 (java) S 1920 1923 998 0 -1 1077944384 47356 13389 0 0 1316 48 5 2 20 0 15 0 443850227 11107315712 675279 33554432000 4194304 4196468 140737171004128 140368865741968 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1981] ppid=1920 vsize=10846988 memory=2701116 CPUtime=1.55 cores=0,2,4,6
/proc/1923/task/1981/stat : 1981 (java) S 1920 1923 998 0 -1 1077944384 25914 13389 0 0 132 16 5 2 20 0 15 0 443850229 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367967840240 140368964725378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1982] ppid=1920 vsize=10846988 memory=2701116 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1982/stat : 1982 (java) S 1920 1923 998 0 -1 1077944384 56 13389 0 0 0 0 5 2 20 0 15 0 443850229 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367966786528 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1983] ppid=1920 vsize=10846988 memory=3580 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1983/stat : 1983 (java) S 1920 1923 998 0 -1 1077944384 28 13389 0 0 0 0 5 2 20 0 15 0 443850229 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367852725248 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1984] ppid=1920 vsize=10846988 memory=988 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1984/stat : 1984 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367545325776 140368964732827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1985] ppid=1920 vsize=10846988 memory=2020 CPUtime=9.25 cores=0,2,4,6
/proc/1923/task/1985/stat : 1985 (java) S 1920 1923 998 0 -1 1077944384 35571 13389 0 0 912 6 5 2 20 0 15 0 443850232 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367933229552 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1986] ppid=1920 vsize=10846988 memory=164 CPUtime=8.37 cores=0,2,4,6
/proc/1923/task/1986/stat : 1986 (java) S 1920 1923 998 0 -1 1077944384 36278 13389 0 0 824 6 5 2 20 0 15 0 443850232 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367932177008 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1987] ppid=1920 vsize=10846988 memory=6944656592455097440 CPUtime=2.45 cores=0,2,4,6
/proc/1923/task/1987/stat : 1987 (java) S 1920 1923 998 0 -1 1077944384 21188 13389 0 0 233 5 5 2 20 0 15 0 443850232 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367931124464 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1988] ppid=1920 vsize=10846988 memory=2701116 CPUtime=0.07 cores=0,2,4,6
/proc/1923/task/1988/stat : 1988 (java) S 1920 1923 998 0 -1 1077944384 3 13389 0 0 0 0 5 2 20 0 15 0 443850232 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367511768160 140368964724437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
[pid=1923/tid=1989] ppid=1920 vsize=10846988 memory=288285593090392628 CPUtime=1.44 cores=0,2,4,6
/proc/1923/task/1989/stat : 1989 (java) S 1920 1923 998 0 -1 1077944384 2128 13389 0 0 70 67 5 2 20 0 15 0 443850233 11107315712 675279 33554432000 4194304 4196468 140737171004128 140367930071344 140368964725378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38563840 140737171008239 140737171010757 140737171010757 140737171013583 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2701116 KiB

Child status: 143
Real time (s): 2458.76
CPU time (s): 2520.13
CPU user time (s): 2516.93
CPU system time (s): 3.20508
CPU usage (%): 102.496
Max. virtual memory (cumulated for all children) (KiB): 10852304
Max. memory (cumulated for all children) (KiB): 3229072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.93
system time used= 3.20508
maximum resident set size= 3229072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461940
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84621
involuntary context switches= 5123


# summary of solver processes directly reported to runsolver:
#   pid: 1923
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.93
#   total CPU system time (s): 3.20508

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5407 second user time and 22.2444 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-17 01:16:54
IDJOB=4401198
IDBENCH=122967
IDSOLVER=2857
FILE ID=node123/4401198-1568675854
RUNJOBID= node123-1568673292-1029
PBS_JOBID= 21703787
Free space on /tmp= 59152 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-09-350-100.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401198-1568675854/watcher-4401198-1568675854 -o /tmp/evaluation-result-4401198-1568675854/solver-4401198-1568675854 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568673292-1029 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1750650444 HOME/instance-4401198-1568675854.xml

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

MD5SUM BENCH= 9444e44f99a0ffd374c39bd698e45a3a
RANDOM SEED=1750650444

node123.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.49
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.49
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.49
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.49
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:        28845856 kB
MemAvailable:   30402616 kB
Buffers:          107212 kB
Cached:          1748868 kB
SwapCached:         7608 kB
Active:          2733184 kB
Inactive:         626072 kB
Active(anon):    1503832 kB
Inactive(anon):    48364 kB
Active(file):    1229352 kB
Inactive(file):   577708 kB
Unevictable:      107844 kB
Mlocked:          107844 kB
SwapTotal:      67108860 kB
SwapFree:       66998732 kB
Dirty:             36036 kB
Writeback:             0 kB
AnonPages:       1613312 kB
Mapped:            60876 kB
Shmem:             39784 kB
Slab:             160836 kB
SReclaimable:     131072 kB
SUnreclaim:        29764 kB
KernelStack:        3984 kB
PageTables:         8780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2724772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1417216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59116 MiB
End job on node123 at 2019-09-17 01:57:53