Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | OPT | 0 | 5.0834999 | 1.19366 |
Name | Opd/Opd-sum-large/ Opd-02-350-100.xml |
MD5SUM | 2b8f29373db6f74e5fecedb039cde62c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.07961 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 701 |
Number of constraints | 4 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 351 |
Distribution of domain sizes | [{"size":2,"count":700},{"size":351,"count":1}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":700}] |
Minimum constraint arity | 350 |
Maximum constraint arity | 701 |
Distribution of constraint arities | [{"arity":350,"count":2},{"arity":700,"count":1},{"arity":701,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":3}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270624-1502689941.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4270624-1502689941.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 1.04/0.67 c solve instance... 2.22/0.84 o 18 4.61/1.16 o 0 4.61/1.16 s OPTIMUM FOUND 4.61/1.16 v <instantiation> 4.61/1.16 v <list>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] </list> 4.61/1.16 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 </values> 4.61/1.16 v </instantiation>
OK 0
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 (15346 MiB free) memory of node 1: 16384 MiB (15477 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270624-1502689941/watcher-4270624-1502689941 -o /tmp/evaluation-result-4270624-1502689941/solver-4270624-1502689941 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502681025-4710 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1051421392 HOME/instance-4270624-1502689941.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=6185, runsolver pid=6182 [startup+0.100141 s]* /proc/loadavg: 11.57 13.68 13.69 2/198 6206 /proc/meminfo: memFree=31546508/32770624 swapFree=67108860/67108860 [pid=6185] ppid=6182 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6185/stat : 6185 (xcsp3-exec) S 6182 6185 4683 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102081847 9740288 346 33554432000 4194304 5098028 140732737966976 140732737965080 140103064937084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32256000 140732737971300 140732737971511 140732737971511 140732737974251 0 /proc/6185/statm: 2378 346 289 221 0 87 0 [pid=6187] ppid=6185 vsize=25999808 memory=27180 CPUtime=0.11 cores=0-7 /proc/6187/stat : 6187 (java) S 6185 6185 4683 0 -1 1077944320 5218 0 0 0 10 1 0 0 20 0 20 0 102081847 26623803392 6795 33554432000 4194304 4196468 140721429071728 140721429054272 140700462006007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 /proc/6187/statm: 6499952 6795 2843 1 0 6488269 0 [pid=6187/tid=6188] ppid=6185 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/6187/task/6188/stat : 6188 (java) R 6185 6185 4683 0 -1 4202560 3225 0 0 0 8 1 0 0 20 0 20 0 102081848 26623803392 6860 33554432000 4194304 4196468 140721429071728 140700466225312 140700462017942 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6189] ppid=6185 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/6187/task/6189/stat : 6189 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26623803392 6860 33554432000 4194304 4196468 140721429071728 140700384586512 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6190] ppid=6185 vsize=25999808 memory=140587167069824 CPUtime=0 cores=0-7 /proc/6187/task/6190/stat : 6190 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26623803392 6860 33554432000 4194304 4196468 140721429071728 140700383533968 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6191] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6191/stat : 6191 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26623803392 6860 33554432000 4194304 4196468 140721429071728 140700382481424 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6192] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6192/stat : 6192 (java) S 6185 6185 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102081849 26623803392 6860 33554432000 4194304 4196468 140721429071728 140700381428880 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6193] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6193/stat : 6193 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26623803392 6860 33554432000 4194304 4196468 140721429071728 140700380375312 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6194] ppid=6185 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/6187/task/6194/stat : 6194 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26623803392 6860 33554432000 4194304 4196468 140721429071728 140700379322768 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6195] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6195/stat : 6195 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102081849 26623803392 6860 33554432000 4194304 4196468 140721429071728 140700378270224 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6196] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6196/stat : 6196 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102081849 26623803392 6860 33554432000 4194304 4196468 140721429071728 140700013320848 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6197] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6197/stat : 6197 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102081850 26623803392 6860 33554432000 4194304 4196468 140721429071728 140698734311920 140700462017154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6198] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6198/stat : 6198 (java) S 6185 6185 4683 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102081851 26623803392 6860 33554432000 4194304 4196468 140721429071728 140698733258144 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6199] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6199/stat : 6199 (java) S 6185 6185 4683 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102081851 26623803392 6860 33554432000 4194304 4196468 140721429071728 140698732205552 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6200] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6200/stat : 6200 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081853 26623803392 6860 33554432000 4194304 4196468 140721429071728 140698731154128 140700462024603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6201] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6201/stat : 6201 (java) S 6185 6185 4683 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 102081853 26623803392 6860 33554432000 4194304 4196468 140721429071728 140698730100720 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6202] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6202/stat : 6202 (java) S 6185 6185 4683 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 102081853 26623803392 6860 33554432000 4194304 4196468 140721429071728 140698729048176 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6203] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6203/stat : 6203 (java) S 6185 6185 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102081853 26623803392 6860 33554432000 4194304 4196468 140721429071728 140698727995632 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6204] ppid=6185 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/6187/task/6204/stat : 6204 (java) R 6185 6185 4683 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 102081853 26623803392 6860 33554432000 4194304 4196468 140721429071728 140698726943088 140700440706208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6205] ppid=6185 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6205/stat : 6205 (java) S 6185 6185 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102081853 26623803392 6860 33554432000 4194304 4196468 140721429071728 140698725890784 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6206] ppid=6185 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/6187/task/6206/stat : 6206 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081854 26623803392 6860 33554432000 4194304 4196468 140721429071728 140698724838320 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28564 KiB [startup+0.210062 s]* /proc/loadavg: 11.57 13.68 13.69 3/198 6206 /proc/meminfo: memFree=31536740/32770624 swapFree=67108860/67108860 [pid=6185] ppid=6182 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6185/stat : 6185 (xcsp3-exec) S 6182 6185 4683 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102081847 9740288 346 33554432000 4194304 5098028 140732737966976 140732737965080 140103064937084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32256000 140732737971300 140732737971511 140732737971511 140732737974251 0 /proc/6185/statm: 2378 346 289 221 0 87 0 [pid=6187] ppid=6185 vsize=26004064 memory=38816 CPUtime=0.33 cores=0-7 /proc/6187/stat : 6187 (java) S 6185 6185 4683 0 -1 1077944320 7791 0 0 0 30 3 0 0 20 0 20 0 102081847 26628161536 9704 33554432000 4194304 4196468 140721429071728 140721429054272 140700462006007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 /proc/6187/statm: 6501016 9704 3057 1 0 6488269 0 [pid=6187/tid=6188] ppid=6185 vsize=26004064 memory=29681743523217448 CPUtime=0.19 cores=0-7 /proc/6187/task/6188/stat : 6188 (java) R 6185 6185 4683 0 -1 4202560 4939 0 0 0 18 1 0 0 20 0 20 0 102081848 26628161536 9704 33554432000 4194304 4196468 140721429071728 140700466219984 140700462027933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6189] ppid=6185 vsize=26004064 memory=288230613264367967 CPUtime=0 cores=0-7 /proc/6187/task/6189/stat : 6189 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 9704 33554432000 4194304 4196468 140721429071728 140700384586512 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6190] ppid=6185 vsize=26004064 memory=15120544943519384 CPUtime=0 cores=0-7 /proc/6187/task/6190/stat : 6190 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 9704 33554432000 4194304 4196468 140721429071728 140700383533968 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6191] ppid=6185 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6187/task/6191/stat : 6191 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 9704 33554432000 4194304 4196468 140721429071728 140700382481424 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6192] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6192/stat : 6192 (java) S 6185 6185 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 9704 33554432000 4194304 4196468 140721429071728 140700381428880 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6193] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6193/stat : 6193 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 9704 33554432000 4194304 4196468 140721429071728 140700380375312 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6194] ppid=6185 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6187/task/6194/stat : 6194 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 9704 33554432000 4194304 4196468 140721429071728 140700379322768 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6195] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6195/stat : 6195 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 9704 33554432000 4194304 4196468 140721429071728 140700378270224 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6196] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6196/stat : 6196 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 9704 33554432000 4194304 4196468 140721429071728 140700013320848 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6197] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6197/stat : 6197 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102081850 26628161536 9704 33554432000 4194304 4196468 140721429071728 140698734311920 140700462017154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6198] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6198/stat : 6198 (java) S 6185 6185 4683 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102081851 26628161536 9704 33554432000 4194304 4196468 140721429071728 140698733258144 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6199] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6199/stat : 6199 (java) S 6185 6185 4683 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102081851 26628161536 9704 33554432000 4194304 4196468 140721429071728 140698732205552 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6200] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6200/stat : 6200 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081853 26628161536 9704 33554432000 4194304 4196468 140721429071728 140698731154128 140700462024603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6201] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6201/stat : 6201 (java) S 6185 6185 4683 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 102081853 26628161536 9704 33554432000 4194304 4196468 140721429071728 140698730100720 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6202] ppid=6185 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/6187/task/6202/stat : 6202 (java) S 6185 6185 4683 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 20 0 102081853 26628161536 9704 33554432000 4194304 4196468 140721429071728 140698729048176 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6203] ppid=6185 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/6187/task/6203/stat : 6203 (java) S 6185 6185 4683 0 -1 1077944384 307 0 0 0 2 0 0 0 20 0 20 0 102081853 26628161536 9704 33554432000 4194304 4196468 140721429071728 140698727995632 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6204] ppid=6185 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/6187/task/6204/stat : 6204 (java) S 6185 6185 4683 0 -1 1077944384 753 0 0 0 7 0 0 0 20 0 20 0 102081853 26628161536 9704 33554432000 4194304 4196468 140721429071728 140698726943088 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6205] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6205/stat : 6205 (java) S 6185 6185 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102081853 26628161536 9704 33554432000 4194304 4196468 140721429071728 140698725890784 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6206] ppid=6185 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6187/task/6206/stat : 6206 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081854 26628161536 9704 33554432000 4194304 4196468 140721429071728 140698724838320 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40200 KiB [startup+0.309274 s]* /proc/loadavg: 11.57 13.68 13.69 1/198 6206 /proc/meminfo: memFree=31530124/32770624 swapFree=67108860/67108860 [pid=6185] ppid=6182 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6185/stat : 6185 (xcsp3-exec) S 6182 6185 4683 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102081847 9740288 346 33554432000 4194304 5098028 140732737966976 140732737965080 140103064937084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32256000 140732737971300 140732737971511 140732737971511 140732737974251 0 /proc/6185/statm: 2378 346 289 221 0 87 0 [pid=6187] ppid=6185 vsize=26004064 memory=43664 CPUtime=0.46 cores=0-7 /proc/6187/stat : 6187 (java) S 6185 6185 4683 0 -1 1077944320 8593 0 0 0 43 3 0 0 20 0 20 0 102081847 26628161536 10916 33554432000 4194304 4196468 140721429071728 140721429054272 140700462006007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 /proc/6187/statm: 6501016 10916 3116 1 0 6488269 0 [pid=6187/tid=6188] ppid=6185 vsize=26004064 memory=8112282956445269571 CPUtime=0.27 cores=0-7 /proc/6187/task/6188/stat : 6188 (java) D 6185 6185 4683 0 -1 4202560 5530 0 0 0 26 1 0 0 20 0 20 0 102081848 26628161536 10916 33554432000 4194304 4196468 140721429071728 140700466245760 140700462027933 0 4 0 16800975 18446744072100166789 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6189] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6189/stat : 6189 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 10916 33554432000 4194304 4196468 140721429071728 140700384586512 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6190] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6190/stat : 6190 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 10916 33554432000 4194304 4196468 140721429071728 140700383533968 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6191] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6191/stat : 6191 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 10916 33554432000 4194304 4196468 140721429071728 140700382481424 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6192] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6192/stat : 6192 (java) S 6185 6185 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 10916 33554432000 4194304 4196468 140721429071728 140700381428880 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6193] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6193/stat : 6193 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 10916 33554432000 4194304 4196468 140721429071728 140700380375312 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6194] ppid=6185 vsize=26004064 memory=140587030375087 CPUtime=0 cores=0-7 /proc/6187/task/6194/stat : 6194 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 10916 33554432000 4194304 4196468 140721429071728 140700379322768 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6195] ppid=6185 vsize=26004064 memory=140587030377392 CPUtime=0 cores=0-7 /proc/6187/task/6195/stat : 6195 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 10916 33554432000 4194304 4196468 140721429071728 140700378270224 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6196] ppid=6185 vsize=26004064 memory=140587030379696 CPUtime=0 cores=0-7 /proc/6187/task/6196/stat : 6196 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102081849 26628161536 10916 33554432000 4194304 4196468 140721429071728 140700013320848 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6197] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6197/stat : 6197 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102081850 26628161536 10916 33554432000 4194304 4196468 140721429071728 140698734311920 140700462017154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6198] ppid=6185 vsize=26004064 memory=281174060773264 CPUtime=0 cores=0-7 /proc/6187/task/6198/stat : 6198 (java) S 6185 6185 4683 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102081851 26628161536 10916 33554432000 4194304 4196468 140721429071728 140698733258144 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6199] ppid=6185 vsize=26004064 memory=281174060770960 CPUtime=0 cores=0-7 /proc/6187/task/6199/stat : 6199 (java) S 6185 6185 4683 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102081851 26628161536 10916 33554432000 4194304 4196468 140721429071728 140698732205552 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6200] ppid=6185 vsize=26004064 memory=281174060777872 CPUtime=0 cores=0-7 /proc/6187/task/6200/stat : 6200 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081853 26628161536 10916 33554432000 4194304 4196468 140721429071728 140698731154128 140700462024603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6201] ppid=6185 vsize=26004064 memory=281174060719024 CPUtime=0 cores=0-7 /proc/6187/task/6201/stat : 6201 (java) S 6185 6185 4683 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 20 0 102081853 26628161536 10916 33554432000 4194304 4196468 140721429071728 140698730100720 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6202] ppid=6185 vsize=26004064 memory=281174060791696 CPUtime=0.02 cores=0-7 /proc/6187/task/6202/stat : 6202 (java) S 6185 6185 4683 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 20 0 102081853 26628161536 10916 33554432000 4194304 4196468 140721429071728 140698729048176 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6203] ppid=6185 vsize=26004064 memory=281174060798608 CPUtime=0.03 cores=0-7 /proc/6187/task/6203/stat : 6203 (java) S 6185 6185 4683 0 -1 1077944384 353 0 0 0 3 0 0 0 20 0 20 0 102081853 26628161536 10916 33554432000 4194304 4196468 140721429071728 140698727995632 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6204] ppid=6185 vsize=26004064 memory=281174060796304 CPUtime=0.1 cores=0-7 /proc/6187/task/6204/stat : 6204 (java) S 6185 6185 4683 0 -1 1077944384 835 0 0 0 10 0 0 0 20 0 20 0 102081853 26628161536 10916 33554432000 4194304 4196468 140721429071728 140698726943088 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6205] ppid=6185 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6205/stat : 6205 (java) S 6185 6185 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102081853 26628161536 10916 33554432000 4194304 4196468 140721429071728 140698725890784 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6206] ppid=6185 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/6187/task/6206/stat : 6206 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102081854 26628161536 10916 33554432000 4194304 4196468 140721429071728 140698724838320 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 Current children cumulated CPU time: 0.46 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45048 KiB [startup+0.700977 s] /proc/loadavg: 11.57 13.68 13.69 3/198 6206 /proc/meminfo: memFree=31523972/32770624 swapFree=67108860/67108860 [pid=6185] ppid=6182 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6185/stat : 6185 (xcsp3-exec) S 6182 6185 4683 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102081847 9740288 346 33554432000 4194304 5098028 140732737966976 140732737965080 140103064937084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32256000 140732737971300 140732737971511 140732737971511 140732737974251 0 /proc/6185/statm: 2378 346 289 221 0 87 0 [pid=6187] ppid=6185 vsize=26538700 memory=104552 CPUtime=1.48 cores=0-7 /proc/6187/stat : 6187 (java) S 6185 6185 4683 0 -1 1077944320 12312 0 0 0 142 6 0 0 20 0 28 0 102081847 27175628800 26138 33554432000 4194304 4196468 140721429071728 140721429054272 140700462006007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 /proc/6187/statm: 6634675 26138 3207 1 0 6621909 0 [pid=6187/tid=6188] ppid=6185 vsize=26538700 memory=0 CPUtime=0.57 cores=0-7 /proc/6187/task/6188/stat : 6188 (java) S 6185 6185 4683 0 -1 1077944384 6292 0 0 0 55 2 0 0 20 0 28 0 102081848 27175628800 26138 33554432000 4194304 4196468 140721429071728 140700466246784 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6189] ppid=6185 vsize=26538700 memory=2353 CPUtime=0 cores=0-7 /proc/6187/task/6189/stat : 6189 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 26138 33554432000 4194304 4196468 140721429071728 140700384586512 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6190] ppid=6185 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6190/stat : 6190 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 26138 33554432000 4194304 4196468 140721429071728 140700383533968 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6191] ppid=6185 vsize=26538700 memory=1728 CPUtime=0 cores=0-7 /proc/6187/task/6191/stat : 6191 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 26138 33554432000 4194304 4196468 140721429071728 140700382481424 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 ################ # More data... # ################ [pid=6187/tid=6196] ppid=6185 vsize=26538700 memory=7451579857426993518 CPUtime=0 cores=0-7 /proc/6187/task/6196/stat : 6196 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 26773 33554432000 4194304 4196468 140721429071728 140700013320848 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6197] ppid=6185 vsize=26538700 memory=5787213827063244903 CPUtime=0 cores=0-7 /proc/6187/task/6197/stat : 6197 (java) S 6185 6185 4683 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 102081850 27175628800 26773 33554432000 4194304 4196468 140721429071728 140698734311920 140700462017154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6198] ppid=6185 vsize=26538700 memory=-6014655643171517632 CPUtime=0 cores=0-7 /proc/6187/task/6198/stat : 6198 (java) S 6185 6185 4683 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 102081851 27175628800 26773 33554432000 4194304 4196468 140721429071728 140698733258144 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6199] ppid=6185 vsize=26538700 memory=7882834749540411979 CPUtime=0 cores=0-7 /proc/6187/task/6199/stat : 6199 (java) S 6185 6185 4683 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 102081851 27175628800 26773 33554432000 4194304 4196468 140721429071728 140698732205552 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6200] ppid=6185 vsize=26538700 memory=6944656592455350634 CPUtime=0 cores=0-7 /proc/6187/task/6200/stat : 6200 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081853 27175628800 26773 33554432000 4194304 4196468 140721429071728 140698731154128 140700462024603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6201] ppid=6185 vsize=26538700 memory=4137293581110450563 CPUtime=0.2 cores=0-7 /proc/6187/task/6201/stat : 6201 (java) R 6185 6185 4683 0 -1 4202560 1074 0 0 0 20 0 0 0 20 0 28 0 102081853 27175628800 26773 33554432000 4194304 4196468 140721429071728 140698730093912 140700445909080 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6202] ppid=6185 vsize=26538700 memory=281174060623840 CPUtime=0.23 cores=0-7 /proc/6187/task/6202/stat : 6202 (java) R 6185 6185 4683 0 -1 4202560 776 0 0 0 23 0 0 0 20 0 28 0 102081853 27175628800 26773 33554432000 4194304 4196468 140721429071728 140698729034856 140700448023552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6203] ppid=6185 vsize=26538700 memory=0 CPUtime=0.22 cores=0-7 /proc/6187/task/6203/stat : 6203 (java) R 6185 6185 4683 0 -1 1077944384 902 0 0 0 22 0 0 0 20 0 28 0 102081853 27175628800 26773 33554432000 4194304 4196468 140721429071728 140698727994816 140700462016213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6204] ppid=6185 vsize=26538700 memory=31716 CPUtime=0.34 cores=0-7 /proc/6187/task/6204/stat : 6204 (java) R 6185 6185 4683 0 -1 4202560 1767 0 0 0 33 1 0 0 20 0 28 0 102081853 27175628800 26773 33554432000 4194304 4196468 140721429071728 140698726940880 140700446168320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6205] ppid=6185 vsize=26538700 memory=-7361174377247368086 CPUtime=0 cores=0-7 /proc/6187/task/6205/stat : 6205 (java) S 6185 6185 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102081853 27175628800 26773 33554432000 4194304 4196468 140721429071728 140698725890784 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6206] ppid=6185 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6206/stat : 6206 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081854 27175628800 26773 33554432000 4194304 4196468 140721429071728 140698724838320 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 Current children cumulated CPU time: 2.22 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 108476 KiB [startup+1.00873 s]* /proc/loadavg: 10.96 13.52 13.64 12/206 6222 /proc/meminfo: memFree=31438472/32770624 swapFree=67108860/67108860 [pid=6185] ppid=6182 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6185/stat : 6185 (xcsp3-exec) S 6182 6185 4683 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102081847 9740288 346 33554432000 4194304 5098028 140732737966976 140732737965080 140103064937084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32256000 140732737971300 140732737971511 140732737971511 140732737974251 0 /proc/6185/statm: 2378 346 289 221 0 87 0 [pid=6187] ppid=6185 vsize=26538700 memory=137512 CPUtime=3.87 cores=0-7 /proc/6187/stat : 6187 (java) S 6185 6185 4683 0 -1 1077944320 15657 0 0 0 380 7 0 0 20 0 28 0 102081847 27175628800 34378 33554432000 4194304 4196468 140721429071728 140721429054272 140700462006007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 /proc/6187/statm: 6634675 34378 3234 1 0 6621909 0 [pid=6187/tid=6188] ppid=6185 vsize=26538700 memory=0 CPUtime=0.57 cores=0-7 /proc/6187/task/6188/stat : 6188 (java) S 6185 6185 4683 0 -1 1077944384 6293 0 0 0 55 2 0 0 20 0 28 0 102081848 27175628800 34444 33554432000 4194304 4196468 140721429071728 140700466246784 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6189] ppid=6185 vsize=26538700 memory=6055718284643275339 CPUtime=0 cores=0-7 /proc/6187/task/6189/stat : 6189 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 34444 33554432000 4194304 4196468 140721429071728 140700384586512 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6190] ppid=6185 vsize=26538700 memory=3467968616762922675 CPUtime=0 cores=0-7 /proc/6187/task/6190/stat : 6190 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 34444 33554432000 4194304 4196468 140721429071728 140700383533968 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6191] ppid=6185 vsize=26538700 memory=4121132446872776753 CPUtime=0 cores=0-7 /proc/6187/task/6191/stat : 6191 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 34444 33554432000 4194304 4196468 140721429071728 140700382481424 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6192] ppid=6185 vsize=26538700 memory=8025788835636668518 CPUtime=0 cores=0-7 /proc/6187/task/6192/stat : 6192 (java) S 6185 6185 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 34444 33554432000 4194304 4196468 140721429071728 140700381428880 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6193] ppid=6185 vsize=26538700 memory=7521970600259971155 CPUtime=0 cores=0-7 /proc/6187/task/6193/stat : 6193 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 34444 33554432000 4194304 4196468 140721429071728 140700380375312 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6194] ppid=6185 vsize=26538700 memory=8318255677412212789 CPUtime=0 cores=0-7 /proc/6187/task/6194/stat : 6194 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 34444 33554432000 4194304 4196468 140721429071728 140700379322768 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6195] ppid=6185 vsize=26538700 memory=301741386410230113 CPUtime=0 cores=0-7 /proc/6187/task/6195/stat : 6195 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 34444 33554432000 4194304 4196468 140721429071728 140700378270224 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6196] ppid=6185 vsize=26538700 memory=14692998109731134 CPUtime=0 cores=0-7 /proc/6187/task/6196/stat : 6196 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 34444 33554432000 4194304 4196468 140721429071728 140700013320848 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6197] ppid=6185 vsize=26538700 memory=-7531822216213012384 CPUtime=0 cores=0-7 /proc/6187/task/6197/stat : 6197 (java) S 6185 6185 4683 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 102081850 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698734311920 140700462017154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6198] ppid=6185 vsize=26538700 memory=-7522837415797432224 CPUtime=0 cores=0-7 /proc/6187/task/6198/stat : 6198 (java) S 6185 6185 4683 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 102081851 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698733258144 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6199] ppid=6185 vsize=26538700 memory=6944656592455360608 CPUtime=0 cores=0-7 /proc/6187/task/6199/stat : 6199 (java) S 6185 6185 4683 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 102081851 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698732205552 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6200] ppid=6185 vsize=26538700 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/6187/task/6200/stat : 6200 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081853 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698731154128 140700462024603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6201] ppid=6185 vsize=26538700 memory=0 CPUtime=0.37 cores=0-7 /proc/6187/task/6201/stat : 6201 (java) R 6185 6185 4683 0 -1 4202560 1567 0 0 0 37 0 0 0 20 0 28 0 102081853 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698730089280 140700445489492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6202] ppid=6185 vsize=26538700 memory=0 CPUtime=0.41 cores=0-7 /proc/6187/task/6202/stat : 6202 (java) R 6185 6185 4683 0 -1 4202560 2489 0 0 0 41 0 0 0 20 0 28 0 102081853 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698729033672 140700443527407 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6203] ppid=6185 vsize=26538700 memory=0 CPUtime=0.33 cores=0-7 /proc/6187/task/6203/stat : 6203 (java) R 6185 6185 4683 0 -1 4202560 1544 0 0 0 33 0 0 0 20 0 28 0 102081853 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698727982176 140700445390876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6204] ppid=6185 vsize=26538700 memory=281174060686440 CPUtime=0.39 cores=0-7 /proc/6187/task/6204/stat : 6204 (java) R 6185 6185 4683 0 -1 1077944384 1953 0 0 0 38 1 0 0 20 0 28 0 102081853 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698726943088 140700462017154 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6205] ppid=6185 vsize=26538700 memory=-9110635228796802480 CPUtime=0 cores=0-7 /proc/6187/task/6205/stat : 6205 (java) S 6185 6185 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102081853 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698725890784 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6206] ppid=6185 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6206/stat : 6206 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081854 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698724838320 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6215] ppid=6185 vsize=26538700 memory=0 CPUtime=0.14 cores=0-7 /proc/6187/task/6215/stat : 6215 (java) R 6185 6185 4683 0 -1 4202560 22 0 0 0 14 0 0 0 20 0 28 0 102081932 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698716830416 140700058506952 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6216] ppid=6185 vsize=26538700 memory=140591462037119 CPUtime=0.09 cores=0-7 /proc/6187/task/6216/stat : 6216 (java) R 6185 6185 4683 0 -1 4202560 20 0 0 0 9 0 0 0 20 0 28 0 102081932 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698715776048 140700058506952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6217] ppid=6185 vsize=26538700 memory=0 CPUtime=0.11 cores=0-7 /proc/6187/task/6217/stat : 6217 (java) R 6185 6185 4683 0 -1 4202560 57 0 0 0 11 0 0 0 20 0 28 0 102081932 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698713668480 140700058511299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6218] ppid=6185 vsize=26538700 memory=0 CPUtime=0.12 cores=0-7 /proc/6187/task/6218/stat : 6218 (java) R 6185 6185 4683 0 -1 4202560 21 0 0 0 12 0 0 0 20 0 28 0 102081932 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698711565912 140700063063695 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6219] ppid=6185 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7 /proc/6187/task/6219/stat : 6219 (java) R 6185 6185 4683 0 -1 4202560 20 0 0 0 10 0 0 0 20 0 28 0 102081932 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698712617080 140700058511299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6220] ppid=6185 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7 /proc/6187/task/6220/stat : 6220 (java) R 6185 6185 4683 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 28 0 102081932 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698709458736 140700058536944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6221] ppid=6185 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7 /proc/6187/task/6221/stat : 6221 (java) R 6185 6185 4683 0 -1 4202560 24 0 0 0 10 0 0 0 20 0 28 0 102081932 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698714724696 140700058511299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6222] ppid=6185 vsize=26538700 memory=0 CPUtime=0.11 cores=0-7 /proc/6187/task/6222/stat : 6222 (java) R 6185 6185 4683 0 -1 4202560 18 0 0 0 11 0 0 0 20 0 28 0 102081932 27175628800 34444 33554432000 4194304 4196468 140721429071728 140698710510064 140700058506952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 Current children cumulated CPU time: 3.87 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 138896 KiB [startup+1.1124 s] /proc/loadavg: 10.96 13.52 13.64 12/206 6222 /proc/meminfo: memFree=31438472/32770624 swapFree=67108860/67108860 [pid=6185] ppid=6182 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/6185/stat : 6185 (xcsp3-exec) S 6182 6185 4683 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102081847 9740288 346 33554432000 4194304 5098028 140732737966976 140732737965080 140103064937084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32256000 140732737971300 140732737971511 140732737971511 140732737974251 0 /proc/6185/statm: 2378 346 289 221 0 87 0 [pid=6187] ppid=6185 vsize=26538700 memory=141988 CPUtime=4.61 cores=0-7 /proc/6187/stat : 6187 (java) S 6185 6185 4683 0 -1 1077944320 16765 0 0 0 454 7 0 0 20 0 28 0 102081847 27175628800 35497 33554432000 4194304 4196468 140721429071728 140721429054272 140700462006007 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 /proc/6187/statm: 6634675 35497 3234 1 0 6621909 0 [pid=6187/tid=6188] ppid=6185 vsize=26538700 memory=0 CPUtime=0.57 cores=0-7 /proc/6187/task/6188/stat : 6188 (java) S 6185 6185 4683 0 -1 1077944384 6293 0 0 0 55 2 0 0 20 0 28 0 102081848 27175628800 35497 33554432000 4194304 4196468 140721429071728 140700466246784 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6189] ppid=6185 vsize=26538700 memory=2353 CPUtime=0 cores=0-7 /proc/6187/task/6189/stat : 6189 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 35497 33554432000 4194304 4196468 140721429071728 140700384586512 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6190] ppid=6185 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6190/stat : 6190 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 35497 33554432000 4194304 4196468 140721429071728 140700383533968 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6191] ppid=6185 vsize=26538700 memory=10928 CPUtime=0 cores=0-7 /proc/6187/task/6191/stat : 6191 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 35497 33554432000 4194304 4196468 140721429071728 140700382481424 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6192] ppid=6185 vsize=26538700 memory=796 CPUtime=0 cores=0-7 /proc/6187/task/6192/stat : 6192 (java) S 6185 6185 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 35497 33554432000 4194304 4196468 140721429071728 140700381428880 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6193] ppid=6185 vsize=26538700 memory=1424 CPUtime=0 cores=0-7 /proc/6187/task/6193/stat : 6193 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 35497 33554432000 4194304 4196468 140721429071728 140700380375312 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6194] ppid=6185 vsize=26538700 memory=15872 CPUtime=0 cores=0-7 /proc/6187/task/6194/stat : 6194 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 35497 33554432000 4194304 4196468 140721429071728 140700379322768 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6195] ppid=6185 vsize=26538700 memory=4052 CPUtime=0 cores=0-7 /proc/6187/task/6195/stat : 6195 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 35497 33554432000 4194304 4196468 140721429071728 140700378270224 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6196] ppid=6185 vsize=26538700 memory=17312 CPUtime=0 cores=0-7 /proc/6187/task/6196/stat : 6196 (java) S 6185 6185 4683 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102081849 27175628800 35497 33554432000 4194304 4196468 140721429071728 140700013320848 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6197] ppid=6185 vsize=26538700 memory=18444 CPUtime=0 cores=0-7 /proc/6187/task/6197/stat : 6197 (java) S 6185 6185 4683 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 102081850 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698734311920 140700462017154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6198] ppid=6185 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6198/stat : 6198 (java) S 6185 6185 4683 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 102081851 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698733258144 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6199] ppid=6185 vsize=26538700 memory=26564372738146 CPUtime=0 cores=0-7 /proc/6187/task/6199/stat : 6199 (java) S 6185 6185 4683 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 102081851 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698732205552 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6200] ppid=6185 vsize=26538700 memory=26564372738147 CPUtime=0 cores=0-7 /proc/6187/task/6200/stat : 6200 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081853 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698731154128 140700462024603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6201] ppid=6185 vsize=26538700 memory=26564372738148 CPUtime=0.4 cores=0-7 /proc/6187/task/6201/stat : 6201 (java) D 6185 6185 4683 0 -1 4202560 1926 0 0 0 40 0 0 0 20 0 28 0 102081853 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698730086744 140700454295456 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6202] ppid=6185 vsize=26538700 memory=26564372738149 CPUtime=0.43 cores=0-7 /proc/6187/task/6202/stat : 6202 (java) R 6185 6185 4683 0 -1 4202560 2524 0 0 0 43 0 0 0 20 0 28 0 102081853 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698729032760 140700455109504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6203] ppid=6185 vsize=26538700 memory=26564372738150 CPUtime=0.37 cores=0-7 /proc/6187/task/6203/stat : 6203 (java) D 6185 6185 4683 0 -1 4202560 2182 0 0 0 37 0 0 0 20 0 28 0 102081853 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698727976648 140700454723159 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6204] ppid=6185 vsize=26538700 memory=26564372738151 CPUtime=0.39 cores=0-7 /proc/6187/task/6204/stat : 6204 (java) D 6185 6185 4683 0 -1 4202560 1978 0 0 0 38 1 0 0 20 0 28 0 102081853 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698726939912 140700440966943 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6205] ppid=6185 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6205/stat : 6205 (java) S 6185 6185 4683 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102081853 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698725890784 140700462016213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6206] ppid=6185 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/6187/task/6206/stat : 6206 (java) S 6185 6185 4683 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102081854 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698724838320 140700462017154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6215] ppid=6185 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7 /proc/6187/task/6215/stat : 6215 (java) R 6185 6185 4683 0 -1 4202560 22 0 0 0 23 0 0 0 20 0 28 0 102081932 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698716830416 140700062427706 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6216] ppid=6185 vsize=26538700 memory=26 CPUtime=0.18 cores=0-7 /proc/6187/task/6216/stat : 6216 (java) R 6185 6185 4683 0 -1 4202560 20 0 0 0 18 0 0 0 20 0 28 0 102081932 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698715776048 140700062427706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6217] ppid=6185 vsize=26538700 memory=31 CPUtime=0.2 cores=0-7 /proc/6187/task/6217/stat : 6217 (java) R 6185 6185 4683 0 -1 4202560 57 0 0 0 20 0 0 0 20 0 28 0 102081932 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698713668480 140700058511299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6218] ppid=6185 vsize=26538700 memory=28 CPUtime=0.2 cores=0-7 /proc/6187/task/6218/stat : 6218 (java) R 6185 6185 4683 0 -1 4202560 24 0 0 0 20 0 0 0 20 0 28 0 102081932 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698711560104 140700062513521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6219] ppid=6185 vsize=26538700 memory=37 CPUtime=0.15 cores=0-7 /proc/6187/task/6219/stat : 6219 (java) R 6185 6185 4683 0 -1 4202560 20 0 0 0 15 0 0 0 20 0 28 0 102081932 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698712617080 140700062854812 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6220] ppid=6185 vsize=26538700 memory=0 CPUtime=0.15 cores=0-7 /proc/6187/task/6220/stat : 6220 (java) R 6185 6185 4683 0 -1 4202560 21 0 0 0 15 0 0 0 20 0 28 0 102081932 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698709458736 140700058511077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6221] ppid=6185 vsize=26538700 memory=0 CPUtime=0.19 cores=0-7 /proc/6187/task/6221/stat : 6221 (java) R 6185 6185 4683 0 -1 4202560 24 0 0 0 19 0 0 0 20 0 28 0 102081932 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698714724696 140700062427344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 [pid=6187/tid=6222] ppid=6185 vsize=26538700 memory=58 CPUtime=0.2 cores=0-7 /proc/6187/task/6222/stat : 6222 (java) R 6185 6185 4683 0 -1 4202560 18 0 0 0 20 0 0 0 20 0 28 0 102081932 27175628800 35497 33554432000 4194304 4196468 140721429071728 140698710512168 140700058511077 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22794240 140721429079186 140721429079363 140721429079363 140721429082063 0 Current children cumulated CPU time: 4.61 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 143372 KiB Child status: 0 Real time (s): 1.19366 CPU time (s): 5.0835 CPU user time (s): 4.99668 CPU system time (s): 0.086821 CPU usage (%): 425.874 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 143372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.99668 system time used= 0.086821 maximum resident set size= 164652 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18194 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3051 involuntary context switches= 107 # summary of solver processes directly reported to runsolver: # pid: 6185 # total CPU time (s): 5.0835 # total CPU user time (s): 4.99668 # total CPU system time (s): 0.086821 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.039646 second user time and 0.044729 second system time The end
Begin job on node115 at 2017-08-14 07:38:03 IDJOB=4270624 IDBENCH=122956 IDSOLVER=2662 FILE ID=node115/4270624-1502689941 RUNJOBID= node115-1502681025-4710 PBS_JOBID= 20628989 Free space on /tmp= 61812 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-02-350-100.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270624-1502689941/watcher-4270624-1502689941 -o /tmp/evaluation-result-4270624-1502689941/solver-4270624-1502689941 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502681025-4710 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1051421392 HOME/instance-4270624-1502689941.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2b8f29373db6f74e5fecedb039cde62c RANDOM SEED=1051421392 node115.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.69 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.69 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.69 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.69 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: 31564392 kB MemAvailable: 31983452 kB Buffers: 150808 kB Cached: 554016 kB SwapCached: 0 kB Active: 530552 kB Inactive: 229584 kB Active(anon): 3580 kB Inactive(anon): 79436 kB Active(file): 526972 kB Inactive(file): 150148 kB Unevictable: 6172 kB Mlocked: 6172 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7976 kB Writeback: 0 kB AnonPages: 60516 kB Mapped: 43888 kB Shmem: 25224 kB Slab: 141756 kB SReclaimable: 115552 kB SUnreclaim: 26204 kB KernelStack: 3232 kB PageTables: 4704 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 321948 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 61804 MiB End job on node115 at 2017-08-14 07:38:04