Trace number 4259644

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.4SAT (TO)4 252.095 224.745

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-radar/
Pb-radar-10-10-45-095-100.xml
MD5SUM2e76cba0749e9f6e1c633f9939767035
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark251.938
Satisfiable
(Un)Satisfiability was proved
Number of variables435
Number of constraints501
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":435}]
Minimum variable degree2
Maximum variable degree8
Distribution of variable degrees[{"degree":2,"count":3},{"degree":3,"count":38},{"degree":4,"count":135},{"degree":5,"count":118},{"degree":6,"count":126},{"degree":7,"count":1},{"degree":8,"count":14}]
Minimum constraint arity1
Maximum constraint arity16
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":402},{"arity":3,"count":3},{"arity":4,"count":2},{"arity":5,"count":10},{"arity":6,"count":7},{"arity":7,"count":9},{"arity":8,"count":13},{"arity":9,"count":15},{"arity":10,"count":7},{"arity":11,"count":11},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":15,"count":6},{"arity":16,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":501}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data

3.17/4.59	c Concrete v3.4 running
9.56/6.83	o 604
9.56/6.89	o 600
9.91/6.93	o 596
9.91/6.96	o 592
9.91/6.99	o 588
10.20/7.02	o 584
10.20/7.05	o 580
10.20/7.07	o 576
10.20/7.10	o 572
10.48/7.12	o 568
10.48/7.14	o 564
10.48/7.16	o 560
10.48/7.18	o 556
10.75/7.21	o 552
10.75/7.23	o 549
10.75/7.25	o 545
10.75/7.27	o 541
10.75/7.29	o 537
11.05/7.31	o 533
11.05/7.33	o 530
11.05/7.35	o 526
11.05/7.37	o 523
11.05/7.39	o 519
11.35/7.41	o 515
11.35/7.43	o 511
11.35/7.45	o 507
11.35/7.47	o 503
11.35/7.49	o 499
11.66/7.51	o 496
11.66/7.52	o 492
11.66/7.54	o 488
11.66/7.55	o 484
11.66/7.57	o 480
11.66/7.58	o 477
11.96/7.60	o 473
11.96/7.62	o 470
11.96/7.63	o 467
11.96/7.65	o 463
11.96/7.66	o 459
11.96/7.68	o 456
11.96/7.69	o 453
12.27/7.71	o 450
12.27/7.72	o 446
12.27/7.73	o 443
12.27/7.75	o 439
12.27/7.76	o 435
12.27/7.78	o 431
12.27/7.79	o 428
12.57/7.80	o 424
12.57/7.82	o 421
12.57/7.83	o 418
12.57/7.84	o 415
12.57/7.86	o 411
12.57/7.87	o 407
12.57/7.88	o 404
12.57/7.89	o 400
12.88/7.91	o 396
12.88/7.92	o 392
12.88/7.93	o 388
12.88/7.94	o 384
12.88/7.96	o 381
12.88/7.97	o 377
12.88/7.98	o 374
12.88/7.99	o 371
12.88/8.00	o 367
13.13/8.01	o 363
13.13/8.02	o 360
13.13/8.03	o 357
13.13/8.04	o 353
13.13/8.06	o 350
13.13/8.07	o 347
13.13/8.08	o 344
13.13/8.09	o 341
13.13/8.10	o 337
13.24/8.11	o 333
13.24/8.12	o 330
13.24/8.14	o 327
13.24/8.15	o 324
13.24/8.16	o 321
13.24/8.17	o 318
13.24/8.18	o 315
13.24/8.19	o 312
13.38/8.20	o 309
13.38/8.21	o 306
13.38/8.22	o 303
13.38/8.23	o 300
13.38/8.25	o 297
13.38/8.26	o 293
13.38/8.27	o 290
13.38/8.28	o 287
13.38/8.29	o 284
13.49/8.30	o 281
13.49/8.31	o 278
13.49/8.33	o 274
13.49/8.34	o 271
13.49/8.35	o 268
13.49/8.36	o 264
13.49/8.37	o 261
13.49/8.39	o 259
13.71/8.40	o 256
13.71/8.41	o 252
13.71/8.42	o 249
13.71/8.43	o 246
13.71/8.44	o 243
13.71/8.45	o 241
13.71/8.47	o 238
13.71/8.48	o 235
13.71/8.49	o 233
13.86/8.50	o 231
13.86/8.51	o 228
13.86/8.52	o 226
13.86/8.54	o 224
13.86/8.56	o 222
13.86/8.57	o 220
13.86/8.59	o 217
14.06/8.60	o 215
14.06/8.61	o 212
14.06/8.62	o 210
14.06/8.63	o 208
14.06/8.64	o 206
14.06/8.66	o 204
14.06/8.67	o 202
14.06/8.68	o 200
14.06/8.69	o 197
14.21/8.70	o 194
14.21/8.71	o 192
14.21/8.72	o 189
14.21/8.73	o 186
14.21/8.74	o 184
14.21/8.75	o 181
14.21/8.77	o 179
14.21/8.79	o 177
14.39/8.80	o 174
14.39/8.81	o 171
14.39/8.82	o 169
14.39/8.83	o 166
14.39/8.84	o 164
14.39/8.85	o 162
14.39/8.86	o 160
14.39/8.88	o 158
14.39/8.89	o 156
14.53/8.90	o 154
14.53/8.91	o 152
14.53/8.93	o 149
14.53/8.94	o 146
14.53/8.96	o 143
14.53/8.97	o 141
14.53/8.98	o 139
14.53/8.99	o 137
14.53/9.00	o 135
14.69/9.01	o 133
14.69/9.03	o 130
14.69/9.04	o 128
14.69/9.05	o 126
14.69/9.06	o 124
14.69/9.07	o 122
14.69/9.08	o 120
14.69/9.09	o 117
14.69/9.10	o 116
14.83/9.11	o 113
14.83/9.12	o 112
14.83/9.13	o 109
14.83/9.14	o 107
14.83/9.15	o 104
14.83/9.16	o 101
14.83/9.17	o 98
14.83/9.18	o 96
14.83/9.19	o 94
14.97/9.20	o 93
14.97/9.21	o 91
14.97/9.23	o 89
14.97/9.23	o 88
14.97/9.24	o 87
14.97/9.25	o 86
14.97/9.26	o 85
14.97/9.27	o 84
14.97/9.28	o 83
14.97/9.29	o 82
15.13/9.30	o 80
15.13/9.31	o 79
15.13/9.32	o 77
15.13/9.33	o 76
15.13/9.34	o 75
15.13/9.35	o 73
15.13/9.36	o 71
15.13/9.37	o 69
15.13/9.38	o 67
15.13/9.39	o 66
15.32/9.41	o 64
15.32/9.42	o 63
15.32/9.43	o 62
15.32/9.44	o 60
15.32/9.44	o 59
15.32/9.45	o 57
15.32/9.46	o 55
15.32/9.47	o 53
15.32/9.48	o 52
15.32/9.49	o 51
15.48/9.50	o 49
15.48/9.51	o 47
15.48/9.52	o 44
15.48/9.53	o 42
15.48/9.54	o 41
15.48/9.55	o 39
15.48/9.56	o 37
15.48/9.57	o 36
15.48/9.58	o 35
15.48/9.59	o 33
15.62/9.61	o 32
15.62/9.62	o 30
15.62/9.63	o 29
15.62/9.64	o 28
15.62/9.65	o 27
15.62/9.65	o 26
15.62/9.66	o 25
15.62/9.68	o 24
15.79/9.70	o 23
15.79/9.71	o 22
15.79/9.71	o 21
15.79/9.73	o 20
15.79/9.75	o 19
15.79/9.76	o 17
15.79/9.77	o 16
15.79/9.78	o 15
15.79/9.79	o 14
15.93/9.81	o 13
15.93/9.83	o 12
15.93/9.84	o 11
15.93/9.86	o 10
16.08/9.92	o 9
16.08/9.99	o 7
16.79/10.31	o 6
57.37/42.33	o 5
216.93/190.11	o 4
252.01/224.70	java.util.concurrent.TimeoutException
252.01/224.70		at concrete.MAC.mac(MAC.scala:74)
252.01/224.70		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.01/224.70		at scala.util.Try$.apply(Try.scala:209)
252.01/224.70		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.01/224.70		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.01/224.70		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.01/224.70		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.01/224.70		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.01/224.70		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.01/224.70		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.01/224.70		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.01/224.70		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.01/224.70		at concrete.MAC.oneRun(MAC.scala:146)
252.01/224.70		at concrete.MAC.nextSolution(MAC.scala:166)
252.01/224.70		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.01/224.70		at concrete.ProblemState.map(ProblemState.scala:203)
252.01/224.70		at concrete.ProblemState.map(ProblemState.scala:188)
252.01/224.70		at concrete.MAC.nextSolution(MAC.scala:195)
252.01/224.70		at concrete.Solver.hasNext(Solver.scala:202)
252.01/224.70		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.01/224.70		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.01/224.70		at concrete.Solver.toStream(Solver.scala:73)
252.01/224.70		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.01/224.70		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.01/224.70		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.01/224.70		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.01/224.70		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.01/224.70		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.01/224.70		at scala.util.Success.map(Try.scala:209)
252.01/224.70		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.01/224.70		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.01/224.70		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.01/224.70		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.01/224.70		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.01/224.70		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.01/224.70		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.01/224.70		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.01/224.70		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.01/224.70		at scala.collection.immutable.List.foreach(List.scala:389)
252.01/224.70		at scala.App.main(App.scala:76)
252.01/224.70		at scala.App.main$(App.scala:74)
252.01/224.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.01/224.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.01/224.71	v <instantiation cost="4">
252.01/224.71	v       <list>
252.01/224.71	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434]
252.01/224.71	v       </list>
252.01/224.71	v       <values>
252.01/224.71	v         1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 1 1 0 0 0 1 1 1
252.01/224.71	v       </values>
252.01/224.71	v     </instantiation>
252.01/224.71	s SATISFIABLE

Verifier Data

OK	4

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259644-1502648251/watcher-4259644-1502648251 -o /tmp/evaluation-result-4259644-1502648251/solver-4259644-1502648251 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259644-1502648251.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=32388, runsolver pid=32385

[startup+0.100109 s]*
/proc/loadavg: 1.36 1.59 1.76 2/201 32389
/proc/meminfo: memFree=30495792/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/32388/stat : 32388 (runsolver) D 32385 32388 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 112640265 34791424 114 18446744073709551615 4194304 4346622 140730742566288 140730742562920 140185266045655 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 20832256 140730742575283 140730742575657 140730742575657 140730742579146 0
/proc/32388/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.209415 s]*
/proc/loadavg: 1.36 1.59 1.76 2/201 32389
/proc/meminfo: memFree=30495912/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/32388/stat : 32388 (runsolver) D 32385 32388 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 112640265 34791424 114 18446744073709551615 4194304 4346622 140730742566288 140730742562920 140185266045655 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 20832256 140730742575283 140730742575657 140730742575657 140730742579146 0
/proc/32388/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.309084 s]*
/proc/loadavg: 1.36 1.59 1.76 2/201 32389
/proc/meminfo: memFree=30495912/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/32388/stat : 32388 (runsolver) D 32385 32388 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 112640265 34791424 114 18446744073709551615 4194304 4346622 140730742566288 140730742562920 140185266045655 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 20832256 140730742575283 140730742575657 140730742575657 140730742579146 0
/proc/32388/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.70041 s]
/proc/loadavg: 1.36 1.59 1.76 2/201 32389
/proc/meminfo: memFree=30496172/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/32388/stat : 32388 (runsolver) D 32385 32388 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 112640265 34791424 114 18446744073709551615 4194304 4346622 140730742566288 140730742562920 140185266045655 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 20832256 140730742575283 140730742575657 140730742575657 140730742579146 0
/proc/32388/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+1.50035 s]
/proc/loadavg: 1.36 1.59 1.76 2/201 32389
/proc/meminfo: memFree=30496432/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=9636 memory=1508 CPUtime=0.01 cores=1,3,5,7
/proc/32388/stat : 32388 (bash) S 32385 32388 8289 0 -1 4202496 893 6485 0 0 0 0 0 1 20 0 1 0 112640265 9867264 377 18446744073709551615 4194304 5098028 140727430015840 140727430009848 140423904238592 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 118 0 0 7196144 7232144 12533760 140727430021620 140727430021705 140727430021705 140727430025194 0
/proc/32388/statm: 2409 377 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1508 KiB

[startup+3.11036 s]
/proc/loadavg: 1.33 1.58 1.75 3/215 32451
/proc/meminfo: memFree=30455704/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=13974784 memory=59688 CPUtime=0.7 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 14006 12438 0 0 59 4 4 3 20 0 15 0 112640265 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
/proc/32388/statm: 3493696 14922 3108 1 0 3482965 0
[pid=32388/tid=32438] ppid=32385 vsize=13974784 memory=4168 CPUtime=0.52 cores=1,3,5,7
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 10374 12438 0 0 42 3 4 3 20 0 15 0 112640527 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140158219233136 140158199104862 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=13974784 memory=54572 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 1 12438 0 0 0 0 4 3 20 0 15 0 112640527 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=13974784 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 1 12438 0 0 0 0 4 3 20 0 15 0 112640527 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=13974784 memory=2440 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 1 12438 0 0 0 0 4 3 20 0 15 0 112640527 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=13974784 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 2 12438 0 0 0 0 4 3 20 0 15 0 112640527 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=13974784 memory=280370230699448 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 5 12438 0 0 0 0 4 3 20 0 15 0 112640529 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=13974784 memory=143582434429940 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 33 12438 0 0 0 0 4 3 20 0 15 0 112640529 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157692376608 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=13974784 memory=143582434429940 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 21 12438 0 0 0 0 4 3 20 0 15 0 112640529 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157691323760 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=13974784 memory=143582434429684 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=13974784 memory=143582434429684 CPUtime=0.1 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 583 12438 0 0 3 0 4 3 20 0 15 0 112640532 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=13974784 memory=143582434429684 CPUtime=0.09 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) S 32385 32388 8289 0 -1 1077944384 274 12438 0 0 2 0 4 3 20 0 15 0 112640532 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157688166640 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=13974784 memory=143582434429684 CPUtime=0.17 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) R 32385 32388 8289 0 -1 4202560 554 12438 0 0 10 0 4 3 20 0 15 0 112640532 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158194043006 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=13974784 memory=143582434429684 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=13974784 memory=143582434429684 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 1 12438 0 0 0 0 4 3 20 0 15 0 112640536 14310178816 14922 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 59688 KiB
heavy processes:

[startup+6.30081 s]
/proc/loadavg: 1.33 1.58 1.75 6/215 32451
/proc/meminfo: memFree=30269244/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=14001980 memory=301664 CPUtime=8.06 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 56799 12438 0 0 777 22 4 3 20 0 15 0 112640265 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
/proc/32388/statm: 3500495 75416 3462 1 0 3489109 0
[pid=32388/tid=32438] ppid=32385 vsize=14001980 memory=0 CPUtime=3.61 cores=1,3,5,7
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 39132 12438 0 0 342 12 4 3 20 0 15 0 112640527 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140158219241912 140158196589337 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=14001980 memory=-7027409196973580132 CPUtime=0.1 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 86 12438 0 0 3 0 4 3 20 0 15 0 112640527 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=14001980 memory=140185115550504 CPUtime=0.1 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 73 12438 0 0 3 0 4 3 20 0 15 0 112640527 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=14001980 memory=280370230974400 CPUtime=0.1 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 234 12438 0 0 3 0 4 3 20 0 15 0 112640527 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=14001980 memory=7019253019072876652 CPUtime=0.1 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 84 12438 0 0 3 0 4 3 20 0 15 0 112640527 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=14001980 memory=7019253019072876652 CPUtime=0.1 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 2229 12438 0 0 3 0 4 3 20 0 15 0 112640529 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=14001980 memory=7512120045554986598 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 56 12438 0 0 0 0 4 3 20 0 15 0 112640529 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157692376672 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=14001980 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 43 12438 0 0 0 0 4 3 20 0 15 0 112640529 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157691323776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=14001980 memory=2440 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=14001980 memory=42708 CPUtime=1.26 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 2359 12438 0 0 118 1 4 3 20 0 15 0 112640532 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=14001980 memory=178456 CPUtime=1.72 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) R 32385 32388 8289 0 -1 4202560 5916 12438 0 0 164 1 4 3 20 0 15 0 112640532 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157688146728 140158198435270 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=14001980 memory=236856 CPUtime=1.42 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) S 32385 32388 8289 0 -1 1077944384 4419 12438 0 0 133 2 4 3 20 0 15 0 112640532 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=14001980 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=14001980 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 12 12438 0 0 0 0 4 3 20 0 15 0 112640536 14338027520 75416 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 8.06 s
Current children cumulated vsize: 14001980 KiB
Current children cumulated memory: 301664 KiB

[startup+12.7007 s]
/proc/loadavg: 1.39 1.59 1.76 3/216 32452
/proc/meminfo: memFree=30003536/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=14067516 memory=531076 CPUtime=20.05 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 84637 12438 0 0 1964 34 4 3 20 0 15 0 112640265 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
/proc/32388/statm: 3516879 132769 3477 1 0 3505493 0
[pid=32388/tid=32438] ppid=32385 vsize=14067516 memory=531076 CPUtime=9.75 cores=1,3,5,7
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 48468 12438 0 0 952 16 4 3 20 0 15 0 112640527 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140158219254208 140157828084372 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=14067516 memory=56 CPUtime=0.2 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 1174 12438 0 0 12 1 4 3 20 0 15 0 112640527 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=14067516 memory=-4695052241013923951 CPUtime=0.19 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 124 12438 0 0 11 1 4 3 20 0 15 0 112640527 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=14067516 memory=-3252517613199061085 CPUtime=0.21 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 288 12438 0 0 13 1 4 3 20 0 15 0 112640527 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=14067516 memory=280370230834288 CPUtime=0.21 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 143 12438 0 0 13 1 4 3 20 0 15 0 112640527 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=14067516 memory=6298124003020399977 CPUtime=0.2 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 2601 12438 0 0 13 0 4 3 20 0 15 0 112640529 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=14067516 memory=7373103150982080818 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 64 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157692376672 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=14067516 memory=7373103150982080915 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 51 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157691323776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=14067516 memory=65248 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=14067516 memory=0 CPUtime=3.44 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 7220 12438 0 0 335 2 4 3 20 0 15 0 112640532 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=14067516 memory=0 CPUtime=4.41 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) S 32385 32388 8289 0 -1 1077944384 13319 12438 0 0 431 3 4 3 20 0 15 0 112640532 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157688166640 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=14067516 memory=0 CPUtime=1.88 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) S 32385 32388 8289 0 -1 1077944384 8691 12438 0 0 178 3 4 3 20 0 15 0 112640532 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=14067516 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=14067516 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 338 12438 0 0 0 0 4 3 20 0 15 0 112640536 14405136384 132769 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 20.05 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 531076 KiB

[startup+25.5008 s]
/proc/loadavg: 1.44 1.60 1.75 5/216 32578
/proc/meminfo: memFree=30408088/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=14067516 memory=789804 CPUtime=36.24 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 97434 12438 0 0 3572 45 4 3 20 0 15 0 112640265 14405136384 197451 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0

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

/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 58145 12438 0 0 15814 25 4 3 20 0 15 0 112640527 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140158219257680 140157833761173 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=14067516 memory=280370230930064 CPUtime=0.62 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 3509 12438 0 0 49 6 4 3 20 0 15 0 112640527 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=14067516 memory=793328 CPUtime=0.6 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 457 12438 0 0 48 5 4 3 20 0 15 0 112640527 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=14067516 memory=807656 CPUtime=0.61 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 2989 12438 0 0 50 4 4 3 20 0 15 0 112640527 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=14067516 memory=797436 CPUtime=0.63 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 1679 12438 0 0 50 6 4 3 20 0 15 0 112640527 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=14067516 memory=797948 CPUtime=0.57 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 3955 12438 0 0 47 3 4 3 20 0 15 0 112640529 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=14067516 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 70 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157692376672 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=14067516 memory=1620 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 51 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157691323776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=14067516 memory=795892 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=14067516 memory=2248 CPUtime=11.52 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 14280 12438 0 0 1140 5 4 3 20 0 15 0 112640532 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=14067516 memory=797948 CPUtime=12.49 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) S 32385 32388 8289 0 -1 1077944384 22046 12438 0 0 1236 6 4 3 20 0 15 0 112640532 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157688166640 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=14067516 memory=7590649420869231717 CPUtime=3.63 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) S 32385 32388 8289 0 -1 1077944384 16570 12438 0 0 349 7 4 3 20 0 15 0 112640532 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=14067516 memory=844 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=14067516 memory=18484 CPUtime=0.15 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 692 12438 0 0 4 4 4 3 20 0 15 0 112640536 14405136384 198332 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 188.77 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 793328 KiB

[startup+222.301 s]
/proc/loadavg: 1.45 1.61 1.74 3/215 32586
/proc/meminfo: memFree=29591328/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=14067516 memory=692568 CPUtime=249.59 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 132307 12438 0 0 24871 81 4 3 20 0 15 0 112640265 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
/proc/32388/statm: 3516879 173142 3484 1 0 3505493 0
[pid=32388/tid=32438] ppid=32385 vsize=14067516 memory=754464 CPUtime=217.86 cores=1,3,5,7
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 60099 12438 0 0 21753 26 4 3 20 0 15 0 112640527 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140158219258240 140157824158964 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=14067516 memory=746768 CPUtime=0.9 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 3694 12438 0 0 76 7 4 3 20 0 15 0 112640527 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=14067516 memory=56 CPUtime=0.89 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 2128 12438 0 0 75 7 4 3 20 0 15 0 112640527 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=14067516 memory=707452 CPUtime=0.9 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 3146 12438 0 0 77 6 4 3 20 0 15 0 112640527 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=14067516 memory=702828 CPUtime=0.91 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 2074 12438 0 0 76 8 4 3 20 0 15 0 112640527 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=14067516 memory=692568 CPUtime=0.84 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 4327 12438 0 0 71 6 4 3 20 0 15 0 112640529 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=14067516 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 76 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157692376672 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=14067516 memory=725920 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 51 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157691323776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=14067516 memory=15876 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=14067516 memory=698212 CPUtime=11.52 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 15220 12438 0 0 1140 5 4 3 20 0 15 0 112640532 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=14067516 memory=4168 CPUtime=12.49 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) S 32385 32388 8289 0 -1 1077944384 22048 12438 0 0 1236 6 4 3 20 0 15 0 112640532 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157688166640 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=14067516 memory=54572 CPUtime=3.63 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) S 32385 32388 8289 0 -1 1077944384 16572 12438 0 0 349 7 4 3 20 0 15 0 112640532 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=14067516 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=14067516 memory=703348 CPUtime=0.18 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 716 12438 0 0 6 5 4 3 20 0 15 0 112640536 14405136384 173142 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 249.59 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 692568 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+224.701 s]
/proc/loadavg: 1.41 1.60 1.73 3/215 32586
/proc/meminfo: memFree=29599832/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=14067516 memory=684380 CPUtime=252.01 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 132343 12438 0 0 25113 81 4 3 20 0 15 0 112640265 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
/proc/32388/statm: 3516879 171095 3484 1 0 3505493 0
[pid=32388/tid=32438] ppid=32385 vsize=14067516 memory=685920 CPUtime=220.23 cores=1,3,5,7
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 60114 12438 0 0 21990 26 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158219258208 140157822455372 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=14067516 memory=754464 CPUtime=0.91 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 3699 12438 0 0 77 7 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=14067516 memory=746768 CPUtime=0.9 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 2133 12438 0 0 76 7 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=14067516 memory=56 CPUtime=0.91 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 3150 12438 0 0 78 6 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=14067516 memory=707452 CPUtime=0.92 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 2081 12438 0 0 77 8 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=14067516 memory=692568 CPUtime=0.86 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 4327 12438 0 0 73 6 4 3 20 0 15 0 112640529 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=14067516 memory=691544 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 76 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157692376672 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=14067516 memory=689000 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 51 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157691323776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=14067516 memory=686948 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=14067516 memory=7 CPUtime=11.52 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 15220 12438 0 0 1140 5 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=14067516 memory=692056 CPUtime=12.49 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) S 32385 32388 8289 0 -1 1077944384 22048 12438 0 0 1236 6 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157688166640 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=14067516 memory=692568 CPUtime=3.63 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) S 32385 32388 8289 0 -1 1077944384 16572 12438 0 0 349 7 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=14067516 memory=686948 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=14067516 memory=14356 CPUtime=0.18 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 716 12438 0 0 6 5 4 3 20 0 15 0 112640536 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 684380 KiB

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

[startup+224.745 s]
# the end of solver process 32388 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.221 s, system=0.874179 s

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

[startup+224.701 s]
/proc/loadavg: 1.41 1.60 1.73 3/215 32586
/proc/meminfo: memFree=29599832/32770624 swapFree=67108860/67108860
[pid=32388] ppid=32385 vsize=14067516 memory=684380 CPUtime=252.01 cores=1,3,5,7
/proc/32388/stat : 32388 (java) S 32385 32388 8289 0 -1 1077944320 132343 12438 0 0 25113 81 4 3 20 0 15 0 112640265 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140729478127488 140158215024375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 118 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
/proc/32388/statm: 3516879 171095 3484 1 0 3505493 0
[pid=32388/tid=32438] ppid=32385 vsize=14067516 memory=685920 CPUtime=220.23 cores=1,3,5,7
/proc/32388/task/32438/stat : 32438 (java) R 32385 32388 8289 0 -1 4202560 60114 12438 0 0 21990 26 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158219258208 140157822455372 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32439] ppid=32385 vsize=14067516 memory=754464 CPUtime=0.91 cores=1,3,5,7
/proc/32388/task/32439/stat : 32439 (java) S 32385 32388 8289 0 -1 1077944384 3699 12438 0 0 77 7 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158149458576 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32440] ppid=32385 vsize=14067516 memory=746768 CPUtime=0.9 cores=1,3,5,7
/proc/32388/task/32440/stat : 32440 (java) S 32385 32388 8289 0 -1 1077944384 2133 12438 0 0 76 7 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158148405776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32441] ppid=32385 vsize=14067516 memory=56 CPUtime=0.91 cores=1,3,5,7
/proc/32388/task/32441/stat : 32441 (java) S 32385 32388 8289 0 -1 1077944384 3150 12438 0 0 78 6 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158147352976 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32442] ppid=32385 vsize=14067516 memory=707452 CPUtime=0.92 cores=1,3,5,7
/proc/32388/task/32442/stat : 32442 (java) S 32385 32388 8289 0 -1 1077944384 2081 12438 0 0 77 8 4 3 20 0 15 0 112640527 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140158146300176 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32443] ppid=32385 vsize=14067516 memory=692568 CPUtime=0.86 cores=1,3,5,7
/proc/32388/task/32443/stat : 32443 (java) S 32385 32388 8289 0 -1 1077944384 4327 12438 0 0 73 6 4 3 20 0 15 0 112640529 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157693430640 140158215035522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32444] ppid=32385 vsize=14067516 memory=691544 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32444/stat : 32444 (java) S 32385 32388 8289 0 -1 1077944384 76 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157692376672 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32445] ppid=32385 vsize=14067516 memory=689000 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32445/stat : 32445 (java) S 32385 32388 8289 0 -1 1077944384 51 12438 0 0 0 0 4 3 20 0 15 0 112640529 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157691323776 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32446] ppid=32385 vsize=14067516 memory=686948 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32446/stat : 32446 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157690272080 140158215042971 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32447] ppid=32385 vsize=14067516 memory=7 CPUtime=11.52 cores=1,3,5,7
/proc/32388/task/32447/stat : 32447 (java) S 32385 32388 8289 0 -1 1077944384 15220 12438 0 0 1140 5 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157689219440 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32448] ppid=32385 vsize=14067516 memory=692056 CPUtime=12.49 cores=1,3,5,7
/proc/32388/task/32448/stat : 32448 (java) S 32385 32388 8289 0 -1 1077944384 22048 12438 0 0 1236 6 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157688166640 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32449] ppid=32385 vsize=14067516 memory=692568 CPUtime=3.63 cores=1,3,5,7
/proc/32388/task/32449/stat : 32449 (java) S 32385 32388 8289 0 -1 1077944384 16572 12438 0 0 349 7 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157687113840 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32450] ppid=32385 vsize=14067516 memory=686948 CPUtime=0.07 cores=1,3,5,7
/proc/32388/task/32450/stat : 32450 (java) S 32385 32388 8289 0 -1 1077944384 3 12438 0 0 0 0 4 3 20 0 15 0 112640532 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157686061280 140158215034581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
[pid=32388/tid=32451] ppid=32385 vsize=14067516 memory=14356 CPUtime=0.18 cores=1,3,5,7
/proc/32388/task/32451/stat : 32451 (java) S 32385 32388 8289 0 -1 1077944384 716 12438 0 0 6 5 4 3 20 0 15 0 112640536 14405136384 171095 18446744073709551615 4194304 4196468 140729478144944 140157685009584 140158215035522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31567872 140729478145968 140729478148753 140729478148753 140729478152143 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14067516 KiB
Current children cumulated memory: 684380 KiB

Child status: 143
Real time (s): 224.745
CPU time (s): 252.095
CPU user time (s): 251.221
CPU system time (s): 0.874179
CPU usage (%): 112.17
Max. virtual memory (cumulated for all children) (KiB): 14069636
Max. memory (cumulated for all children) (KiB): 918280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.221
system time used= 0.874179
maximum resident set size= 919684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149300
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37230
involuntary context switches= 1496


# summary of solver processes directly reported to runsolver:
#   pid: 32388
#   total CPU time (s): 252.095
#   total CPU user time (s): 251.221
#   total CPU system time (s): 0.874179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.69646 second user time and 1.89746 second system time

The end

Launcher Data

Begin job on node133 at 2017-08-13 20:03:23
IDJOB=4259644
IDBENCH=135526
IDSOLVER=2646
FILE ID=node133/4259644-1502648251
RUNJOBID= node133-1502641620-25474
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-radar/Pb-radar-10-10-45-095-100.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259644-1502648251/watcher-4259644-1502648251 -o /tmp/evaluation-result-4259644-1502648251/solver-4259644-1502648251 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312  bin/concrete HOME/instance-4259644-1502648251.xml

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

MD5SUM BENCH= 2e76cba0749e9f6e1c633f9939767035
RANDOM SEED=378916010

node133.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.17
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.17
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.17
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.17
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:        30495792 kB
MemAvailable:   31137616 kB
Buffers:          239416 kB
Cached:           697660 kB
SwapCached:            0 kB
Active:          1634984 kB
Inactive:         186820 kB
Active(anon):     825844 kB
Inactive(anon):   100804 kB
Active(file):     809140 kB
Inactive(file):    86016 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24532 kB
Writeback:             8 kB
AnonPages:        884504 kB
Mapped:            69796 kB
Shmem:             41660 kB
Slab:             152444 kB
SReclaimable:     125008 kB
SUnreclaim:        27436 kB
KernelStack:        3520 kB
PageTables:         7792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1798544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    665600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-13 20:07:08