| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | SAT | 11.2363 | 2.55933 |
| Name | Driver/ Driver-m1-s1/driverlogw-08cc.xml |
| MD5SUM | 5295e32d08449c2e3ec72eea1c3f05d5 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.208785 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 408 |
| Number of constraints | 9321 |
| Number of domains | 8 |
| Minimum domain size | 2 |
| Maximum domain size | 11 |
| Distribution of domain sizes | [{"size":2,"count":131},{"size":3,"count":64},{"size":4,"count":64},{"size":5,"count":95},{"size":6,"count":10},{"size":7,"count":23},{"size":8,"count":18},{"size":11,"count":3}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 117 |
| Distribution of variable degrees | [{"degree":1,"count":5},{"degree":3,"count":3},{"degree":5,"count":17},{"degree":7,"count":2},{"degree":8,"count":9},{"degree":9,"count":8},{"degree":10,"count":5},{"degree":11,"count":7},{"degree":12,"count":6},{"degree":13,"count":3},{"degree":14,"count":14},{"degree":15,"count":3},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":3},{"degree":20,"count":4},{"degree":21,"count":2},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":8},{"degree":25,"count":3},{"degree":26,"count":4},{"degree":27,"count":1},{"degree":28,"count":2},{"degree":29,"count":1},"...",{"degree":74,"count":1}, {"degree":75,"count":5}, {"degree":76,"count":1}, {"degree":77,"count":5}, {"degree":78,"count":4}, {"degree":79,"count":7}, {"degree":80,"count":8}, {"degree":81,"count":3}, {"degree":82,"count":1}, {"degree":84,"count":2}, {"degree":86,"count":11}, {"degree":87,"count":5}, {"degree":88,"count":2}, {"degree":93,"count":3}, {"degree":97,"count":2}, {"degree":98,"count":1}, {"degree":106,"count":2}, {"degree":107,"count":2}, {"degree":108,"count":3}, {"degree":109,"count":2}, {"degree":113,"count":1}, {"degree":114,"count":1}, {"degree":115,"count":1}, {"degree":116,"count":2}, {"degree":117,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":9321}] |
| Number of extensional constraints | 9321 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":9321}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270921-1502735657.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270921-1502735657.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 6.78/1.94 c solve instance... 11.08/2.51 s SATISFIABLE 11.08/2.51 v <instantiation> 11.08/2.51 v <list>x0[0] x0[1] x0[2] x0[3] x0[4] x0[5] x0[6] x0[7] x0[8] x0[9] x0[10] x0[11] x0[12] x0[13] x0[14] x0[15] x0[16] x0[17] x0[18] x0[19] x0[20] x0[21] x0[22] x0[23] x0[24] x0[25] x0[26] x0[27] x0[28] x0[29] x0[30] x0[31] x0[32] x0[33] x0[34] x0[35] x0[36] x0[37] x0[38] x0[39] x0[40] x0[41] x0[42] x0[43] x0[44] x0[45] x0[46] x0[47] x0[48] x0[49] x0[50] x0[51] x0[52] x0[53] x0[54] x0[55] x0[56] x0[57] x0[58] x0[59] x0[60] x0[61] x0[62] x0[63] x1[0] x1[1] x1[2] x1[3] x1[4] x1[5] x1[6] x1[7] x1[8] x1[9] x1[10] x1[11] x1[12] x1[13] x1[14] x1[15] x1[16] x1[17] x1[18] x1[19] x1[20] x1[21] x1[22] x2[0] x2[1] x2[2] x2[3] x2[4] x2[5] x2[6] x2[7] x2[8] x2[9] x3[0] x3[1] x3[2] x3[3] x3[4] x3[5] x3[6] x3[7] x3[8] x3[9] x3[10] x3[11] x3[12] x3[13] x3[14] x3[15] x3[16] x3[17] x3[18] x3[19] x3[20] x3[21] x3[22] x3[23] x3[24] x3[25] x3[26] x3[27] x3[28] x3[29] x3[30] x3[31] x3[32] x3[33] x3[34] x3[35] x3[36] x3[37] x3[38] x3[39] x3[40] x3[41] x3[42] x3[43] x3[44] x3[45] x3[46] x3[47] x3[48] x3[49] x3[50] x3[51] x3[52] x3[53] x3[54] x3[55] x3[56] x3[57] x3[58] x3[59] x3[60] x3[61] x3[62] x3[63] x3[64] x3[65] x3[66] x3[67] x3[68] x3[69] x3[70] x3[71] x3[72] x3[73] x3[74] x3[75] x3[76] x3[77] x3[78] x3[79] x3[80] x3[81] x3[82] x3[83] x3[84] x3[85] x3[86] x3[87] x3[88] x3[89] x3[90] x3[91] x3[92] x3[93] x3[94] x4[0] x4[1] x4[2] x4[3] x4[4] x4[5] x4[6] x4[7] x4[8] x4[9] x4[10] x4[11] x4[12] x4[13] x4[14] x4[15] x4[16] x4[17] x5[0] x5[1] x5[2] x5[3] x5[4] x5[5] x5[6] x5[7] x5[8] x5[9] x5[10] x5[11] x5[12] x5[13] x5[14] x5[15] x5[16] x5[17] x5[18] x5[19] x5[20] x5[21] x5[22] x5[23] x5[24] x5[25] x5[26] x5[27] x5[28] x5[29] x5[30] x5[31] x5[32] x5[33] x5[34] x5[35] x5[36] x5[37] x5[38] x5[39] x5[40] x5[41] x5[42] x5[43] x5[44] x5[45] x5[46] x5[47] x5[48] x5[49] x5[50] x5[51] x5[52] x5[53] x5[54] x5[55] x5[56] x5[57] x5[58] x5[59] x5[60] x5[61] x5[62] x5[63] x6[0] x6[1] x6[2] x7[0] x7[1] x7[2] x7[3] x7[4] x7[5] x7[6] x7[7] x7[8] x7[9] x7[10] x7[11] x7[12] x7[13] x7[14] x7[15] x7[16] x7[17] x7[18] x7[19] x7[20] x7[21] x7[22] x7[23] x7[24] x7[25] x7[26] x7[27] x7[28] x7[29] x7[30] x7[31] x7[32] x7[33] x7[34] x7[35] x7[36] x7[37] x7[38] x7[39] x7[40] x7[41] x7[42] x7[43] x7[44] x7[45] x7[46] x7[47] x7[48] x7[49] x7[50] x7[51] x7[52] x7[53] x7[54] x7[55] x7[56] x7[57] x7[58] x7[59] x7[60] x7[61] x7[62] x7[63] x7[64] x7[65] x7[66] x7[67] x7[68] x7[69] x7[70] x7[71] x7[72] x7[73] x7[74] x7[75] x7[76] x7[77] x7[78] x7[79] x7[80] x7[81] x7[82] x7[83] x7[84] x7[85] x7[86] x7[87] x7[88] x7[89] x7[90] x7[91] x7[92] x7[93] x7[94] x7[95] x7[96] x7[97] x7[98] x7[99] x7[100] x7[101] x7[102] x7[103] x7[104] x7[105] x7[106] x7[107] x7[108] x7[109] x7[110] x7[111] x7[112] x7[113] x7[114] x7[115] x7[116] x7[117] x7[118] x7[119] x7[120] x7[121] x7[122] x7[123] x7[124] x7[125] x7[126] x7[127] x7[128] x7[129] x7[130] </list> 11.08/2.51 v <values>3 1 2 1 2 3 2 0 3 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 0 5 0 3 4 0 0 0 0 0 0 0 0 0 1 0 1 2 0 0 4 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 4 0 0 0 0 4 0 0 0 1 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 4 0 6 0 0 1 0 0 0 0 7 0 1 0 1 1 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 </values> 11.08/2.51 v </instantiation>
OK
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 (15280 MiB free)
memory of node 1: 16384 MiB (15411 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270921-1502735657/watcher-4270921-1502735657 -o /tmp/evaluation-result-4270921-1502735657/solver-4270921-1502735657 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502734620-24065 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 659184559 HOME/instance-4270921-1502735657.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
solver pid=24176, runsolver pid=24173
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.42 4.80 6.71 4/199 24197
/proc/meminfo: memFree=31413908/32770624 swapFree=67108860/67108860
[pid=24176] ppid=24173 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24176/stat : 24176 (xcsp3-exec) S 24173 24176 24038 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106653965 9740288 346 33554432000 4194304 5098028 140730771425648 140730771423752 140651589313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19349504 140730771428453 140730771428663 140730771428663 140730771431403 0
/proc/24176/statm: 2378 346 289 221 0 87 0
[pid=24178] ppid=24176 vsize=25999808 memory=26276 CPUtime=0.12 cores=0-7
/proc/24178/stat : 24178 (java) S 24176 24176 24038 0 -1 1077944320 5518 0 0 0 10 2 0 0 20 0 20 0 106653965 26623803392 6569 33554432000 4194304 4196468 140730814652832 140730814635376 140673772044023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
/proc/24178/statm: 6499952 6569 2849 1 0 6488269 0
[pid=24178/tid=24179] ppid=24176 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24178/task/24179/stat : 24179 (java) R 24176 24176 24038 0 -1 4202560 3522 0 0 0 8 1 0 0 20 0 20 0 106653966 26623803392 6569 33554432000 4194304 4196468 140730814652832 140673776277296 140673756154388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24180] ppid=24176 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24178/task/24180/stat : 24180 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26623803392 6569 33554432000 4194304 4196468 140730814652832 140673330576272 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24181] ppid=24176 vsize=25999808 memory=140129223845504 CPUtime=0 cores=0-7
/proc/24178/task/24181/stat : 24181 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106653967 26623803392 6569 33554432000 4194304 4196468 140730814652832 140673329523472 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24182] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24182/stat : 24182 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653967 26623803392 6569 33554432000 4194304 4196468 140730814652832 140673328471184 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24183] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24183/stat : 24183 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653967 26623803392 6569 33554432000 4194304 4196468 140730814652832 140673327418384 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24184] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24184/stat : 24184 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26623803392 6569 33554432000 4194304 4196468 140730814652832 140673326365072 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24185] ppid=24176 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24178/task/24185/stat : 24185 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26623803392 6569 33554432000 4194304 4196468 140730814652832 140673325312272 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24186] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24186/stat : 24186 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653967 26623803392 6569 33554432000 4194304 4196468 140730814652832 140673324259984 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24187] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24187/stat : 24187 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26623803392 6569 33554432000 4194304 4196468 140730814652832 140673323207184 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24188] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24188/stat : 24188 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653968 26623803392 6569 33554432000 4194304 4196468 140730814652832 140672043522672 140673772055170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24189] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24189/stat : 24189 (java) S 24176 24176 24038 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106653968 26623803392 6569 33554432000 4194304 4196468 140730814652832 140672042468640 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24190] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24190/stat : 24190 (java) S 24176 24176 24038 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106653969 26623803392 6569 33554432000 4194304 4196468 140730814652832 140672041416304 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24191] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24191/stat : 24191 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653971 26623803392 6569 33554432000 4194304 4196468 140730814652832 140672040364624 140673772062619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24192] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24192/stat : 24192 (java) S 24176 24176 24038 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 106653971 26623803392 6569 33554432000 4194304 4196468 140730814652832 140672039311472 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24193] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24193/stat : 24193 (java) S 24176 24176 24038 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 106653971 26623803392 6569 33554432000 4194304 4196468 140730814652832 140672038258672 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24194] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24194/stat : 24194 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106653971 26623803392 6569 33554432000 4194304 4196468 140730814652832 140672037206384 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24195] ppid=24176 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/24178/task/24195/stat : 24195 (java) S 24176 24176 24038 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 106653971 26623803392 6569 33554432000 4194304 4196468 140730814652832 140672036153584 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24196] ppid=24176 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24196/stat : 24196 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106653971 26623803392 6569 33554432000 4194304 4196468 140730814652832 140672035101536 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24197] ppid=24176 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24178/task/24197/stat : 24197 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653972 26623803392 6569 33554432000 4194304 4196468 140730814652832 140672034048816 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27660 KiB
[startup+0.210461 s]*
/proc/loadavg: 1.42 4.80 6.71 2/199 24197
/proc/meminfo: memFree=31402620/32770624 swapFree=67108860/67108860
[pid=24176] ppid=24173 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24176/stat : 24176 (xcsp3-exec) S 24173 24176 24038 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106653965 9740288 346 33554432000 4194304 5098028 140730771425648 140730771423752 140651589313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19349504 140730771428453 140730771428663 140730771428663 140730771431403 0
/proc/24176/statm: 2378 346 289 221 0 87 0
[pid=24178] ppid=24176 vsize=26004064 memory=39544 CPUtime=0.33 cores=0-7
/proc/24178/stat : 24178 (java) S 24176 24176 24038 0 -1 1077944320 8396 0 0 0 30 3 0 0 20 0 20 0 106653965 26628161536 9886 33554432000 4194304 4196468 140730814652832 140730814635376 140673772044023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
/proc/24178/statm: 6501016 9886 3080 1 0 6488269 0
[pid=24178/tid=24179] ppid=24176 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24178/task/24179/stat : 24179 (java) R 24176 24176 24038 0 -1 4202560 5441 0 0 0 18 2 0 0 20 0 20 0 106653966 26628161536 9886 33554432000 4194304 4196468 140730814652832 140673776248768 140673764722037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24180] ppid=24176 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/24178/task/24180/stat : 24180 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 9886 33554432000 4194304 4196468 140730814652832 140673330576272 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24181] ppid=24176 vsize=26004064 memory=140129224318639 CPUtime=0 cores=0-7
/proc/24178/task/24181/stat : 24181 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 9886 33554432000 4194304 4196468 140730814652832 140673329523472 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24182] ppid=24176 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24178/task/24182/stat : 24182 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 9886 33554432000 4194304 4196468 140730814652832 140673328471184 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24183] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24183/stat : 24183 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 9886 33554432000 4194304 4196468 140730814652832 140673327418384 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24184] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24184/stat : 24184 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 9886 33554432000 4194304 4196468 140730814652832 140673326365072 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24185] ppid=24176 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24178/task/24185/stat : 24185 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 9886 33554432000 4194304 4196468 140730814652832 140673325312272 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24186] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24186/stat : 24186 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 9886 33554432000 4194304 4196468 140730814652832 140673324259984 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24187] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24187/stat : 24187 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 9886 33554432000 4194304 4196468 140730814652832 140673323207184 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24188] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24188/stat : 24188 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653968 26628161536 9886 33554432000 4194304 4196468 140730814652832 140672043522672 140673772055170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24189] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24189/stat : 24189 (java) S 24176 24176 24038 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106653968 26628161536 9886 33554432000 4194304 4196468 140730814652832 140672042468640 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24190] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24190/stat : 24190 (java) S 24176 24176 24038 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106653969 26628161536 9886 33554432000 4194304 4196468 140730814652832 140672041416304 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24191] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24191/stat : 24191 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653971 26628161536 9886 33554432000 4194304 4196468 140730814652832 140672040364624 140673772062619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24192] ppid=24176 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24178/task/24192/stat : 24192 (java) S 24176 24176 24038 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 106653971 26628161536 9886 33554432000 4194304 4196468 140730814652832 140672039311472 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24193] ppid=24176 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24178/task/24193/stat : 24193 (java) R 24176 24176 24038 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 106653971 26628161536 9886 33554432000 4194304 4196468 140730814652832 140672038258672 140673772055170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24194] ppid=24176 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/24178/task/24194/stat : 24194 (java) S 24176 24176 24038 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 20 0 106653971 26628161536 9886 33554432000 4194304 4196468 140730814652832 140672037206384 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24195] ppid=24176 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/24178/task/24195/stat : 24195 (java) R 24176 24176 24038 0 -1 4202560 742 0 0 0 7 0 0 0 20 0 20 0 106653971 26628161536 9886 33554432000 4194304 4196468 140730814652832 140672036153584 140673772055958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24196] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24196/stat : 24196 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106653971 26628161536 9886 33554432000 4194304 4196468 140730814652832 140672035101536 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24197] ppid=24176 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24178/task/24197/stat : 24197 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653972 26628161536 9886 33554432000 4194304 4196468 140730814652832 140672034048816 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40928 KiB
[startup+0.310211 s]*
/proc/loadavg: 1.42 4.80 6.71 3/199 24197
/proc/meminfo: memFree=31398216/32770624 swapFree=67108860/67108860
[pid=24176] ppid=24173 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24176/stat : 24176 (xcsp3-exec) S 24173 24176 24038 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106653965 9740288 346 33554432000 4194304 5098028 140730771425648 140730771423752 140651589313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19349504 140730771428453 140730771428663 140730771428663 140730771431403 0
/proc/24176/statm: 2378 346 289 221 0 87 0
[pid=24178] ppid=24176 vsize=26004064 memory=43904 CPUtime=0.5 cores=0-7
/proc/24178/stat : 24178 (java) S 24176 24176 24038 0 -1 1077944320 9210 0 0 0 46 4 0 0 20 0 20 0 106653965 26628161536 10976 33554432000 4194304 4196468 140730814652832 140730814635376 140673772044023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
/proc/24178/statm: 6501016 10976 3094 1 0 6488269 0
[pid=24178/tid=24179] ppid=24176 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24178/task/24179/stat : 24179 (java) R 24176 24176 24038 0 -1 4202560 6109 0 0 0 26 3 0 0 20 0 20 0 106653966 26628161536 10976 33554432000 4194304 4196468 140730814652832 140673776283136 140673409691373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24180] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24180/stat : 24180 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 10976 33554432000 4194304 4196468 140730814652832 140673330576272 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24181] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24181/stat : 24181 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 10976 33554432000 4194304 4196468 140730814652832 140673329523472 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24182] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24182/stat : 24182 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 10976 33554432000 4194304 4196468 140730814652832 140673328471184 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24183] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24183/stat : 24183 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 10976 33554432000 4194304 4196468 140730814652832 140673327418384 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24184] ppid=24176 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/24178/task/24184/stat : 24184 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 10976 33554432000 4194304 4196468 140730814652832 140673326365072 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24185] ppid=24176 vsize=26004064 memory=140129079489455 CPUtime=0 cores=0-7
/proc/24178/task/24185/stat : 24185 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 10976 33554432000 4194304 4196468 140730814652832 140673325312272 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24186] ppid=24176 vsize=26004064 memory=140129079491760 CPUtime=0 cores=0-7
/proc/24178/task/24186/stat : 24186 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 10976 33554432000 4194304 4196468 140730814652832 140673324259984 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24187] ppid=24176 vsize=26004064 memory=140129079494064 CPUtime=0 cores=0-7
/proc/24178/task/24187/stat : 24187 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26628161536 10976 33554432000 4194304 4196468 140730814652832 140673323207184 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24188] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24188/stat : 24188 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653968 26628161536 10976 33554432000 4194304 4196468 140730814652832 140672043522672 140673772055170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24189] ppid=24176 vsize=26004064 memory=280258158995088 CPUtime=0 cores=0-7
/proc/24178/task/24189/stat : 24189 (java) S 24176 24176 24038 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106653968 26628161536 10976 33554432000 4194304 4196468 140730814652832 140672042468640 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24190] ppid=24176 vsize=26004064 memory=280258159002000 CPUtime=0 cores=0-7
/proc/24178/task/24190/stat : 24190 (java) S 24176 24176 24038 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106653969 26628161536 10976 33554432000 4194304 4196468 140730814652832 140672041416304 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24191] ppid=24176 vsize=26004064 memory=280258158943280 CPUtime=0 cores=0-7
/proc/24178/task/24191/stat : 24191 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653971 26628161536 10976 33554432000 4194304 4196468 140730814652832 140672040364624 140673772062619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24192] ppid=24176 vsize=26004064 memory=280258159015824 CPUtime=0.01 cores=0-7
/proc/24178/task/24192/stat : 24192 (java) S 24176 24176 24038 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 106653971 26628161536 10976 33554432000 4194304 4196468 140730814652832 140672039311472 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24193] ppid=24176 vsize=26004064 memory=280258159022736 CPUtime=0.02 cores=0-7
/proc/24178/task/24193/stat : 24193 (java) S 24176 24176 24038 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 20 0 106653971 26628161536 10976 33554432000 4194304 4196468 140730814652832 140672038258672 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24194] ppid=24176 vsize=26004064 memory=280258159020432 CPUtime=0.02 cores=0-7
/proc/24178/task/24194/stat : 24194 (java) S 24176 24176 24038 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 20 0 106653971 26628161536 10976 33554432000 4194304 4196468 140730814652832 140672037206384 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24195] ppid=24176 vsize=26004064 memory=280258159036592 CPUtime=0.12 cores=0-7
/proc/24178/task/24195/stat : 24195 (java) R 24176 24176 24038 0 -1 4202560 841 0 0 0 12 0 0 0 20 0 20 0 106653971 26628161536 10976 33554432000 4194304 4196468 140730814652832 140672036149312 140673757209667 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24196] ppid=24176 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24196/stat : 24196 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106653971 26628161536 10976 33554432000 4194304 4196468 140730814652832 140672035101536 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24197] ppid=24176 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24178/task/24197/stat : 24197 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653972 26628161536 10976 33554432000 4194304 4196468 140730814652832 140672034048816 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45288 KiB
[startup+0.701087 s]
/proc/loadavg: 1.42 4.80 6.71 3/199 24197
/proc/meminfo: memFree=31376196/32770624 swapFree=67108860/67108860
[pid=24176] ppid=24173 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24176/stat : 24176 (xcsp3-exec) S 24173 24176 24038 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106653965 9740288 346 33554432000 4194304 5098028 140730771425648 140730771423752 140651589313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19349504 140730771428453 140730771428663 140730771428663 140730771431403 0
/proc/24176/statm: 2378 346 289 221 0 87 0
[pid=24178] ppid=24176 vsize=26004140 memory=121008 CPUtime=2.06 cores=0-7
/proc/24178/stat : 24178 (java) S 24176 24176 24038 0 -1 1077944320 13633 0 0 0 199 7 0 0 20 0 20 0 106653965 26628239360 30252 33554432000 4194304 4196468 140730814652832 140730814635376 140673772044023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
/proc/24178/statm: 6501035 30252 3202 1 0 6488269 0
[pid=24178/tid=24179] ppid=24176 vsize=26004140 memory=280258159394480 CPUtime=0.67 cores=0-7
/proc/24178/task/24179/stat : 24179 (java) R 24176 24176 24038 0 -1 4202560 6490 0 0 0 63 4 0 0 20 0 20 0 106653966 26628239360 30252 33554432000 4194304 4196468 140730814652832 140673776279168 140673772055958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24180] ppid=24176 vsize=26004140 memory=140129079698288 CPUtime=0 cores=0-7
/proc/24178/task/24180/stat : 24180 (java) S 24176 24176 24038 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106653967 26628239360 30252 33554432000 4194304 4196468 140730814652832 140673330576272 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24181] ppid=24176 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24181/stat : 24181 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106653967 26628239360 30252 33554432000 4194304 4196468 140730814652832 140673329523472 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24182] ppid=24176 vsize=26004140 memory=5792 CPUtime=0 cores=0-7
/proc/24178/task/24182/stat : 24182 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106653967 26628239360 30252 33554432000 4194304 4196468 140730814652832 140673328471184 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
################
# More data... #
################
[pid=24178/tid=24195] ppid=24176 vsize=26538700 memory=7444843076533644388 CPUtime=0.6 cores=0-7
/proc/24178/task/24195/stat : 24195 (java) S 24176 24176 24038 0 -1 1077944384 3027 0 0 0 59 1 0 0 20 0 28 0 106653971 27175628800 104848 33554432000 4194304 4196468 140730814652832 140672036153584 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24196] ppid=24176 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24196/stat : 24196 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106653971 27175628800 104848 33554432000 4194304 4196468 140730814652832 140672035101536 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24197] ppid=24176 vsize=26538700 memory=-1 CPUtime=0 cores=0-7
/proc/24178/task/24197/stat : 24197 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106653972 27175628800 104848 33554432000 4194304 4196468 140730814652832 140672034048816 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24198] ppid=24176 vsize=26538700 memory=-1 CPUtime=0.03 cores=0-7
/proc/24178/task/24198/stat : 24198 (java) S 24176 24176 24038 0 -1 1077944384 40 0 0 0 3 0 0 0 20 0 28 0 106654162 27175628800 104848 33554432000 4194304 4196468 140730814652832 140672026533264 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24199] ppid=24176 vsize=26538700 memory=0 CPUtime=0.03 cores=0-7
/proc/24178/task/24199/stat : 24199 (java) R 24176 24176 24038 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 28 0 106654162 27175628800 104848 33554432000 4194304 4196468 140730814652832 140672025482240 140673409695221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24200] ppid=24176 vsize=26538700 memory=0 CPUtime=0.04 cores=0-7
/proc/24178/task/24200/stat : 24200 (java) R 24176 24176 24038 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 28 0 106654162 27175628800 104848 33554432000 4194304 4196468 140730814652832 140672024427880 140673409749319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24201] ppid=24176 vsize=26538700 memory=280258159434624 CPUtime=0.03 cores=0-7
/proc/24178/task/24201/stat : 24201 (java) R 24176 24176 24038 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 28 0 106654162 27175628800 104848 33554432000 4194304 4196468 140730814652832 140672023376128 140673409695344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24202] ppid=24176 vsize=26538700 memory=7599388386692169796 CPUtime=0.04 cores=0-7
/proc/24178/task/24202/stat : 24202 (java) R 24176 24176 24038 0 -1 4202560 42 0 0 0 4 0 0 0 20 0 28 0 106654162 27175628800 104848 33554432000 4194304 4196468 140730814652832 140672022326592 140673409749319 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24203] ppid=24176 vsize=26538700 memory=288286675438928569 CPUtime=0.04 cores=0-7
/proc/24178/task/24203/stat : 24203 (java) R 24176 24176 24038 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 28 0 106654162 27175628800 104848 33554432000 4194304 4196468 140730814652832 140672021274096 140673409749319 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24204] ppid=24176 vsize=26538700 memory=501332 CPUtime=0.02 cores=0-7
/proc/24178/task/24204/stat : 24204 (java) R 24176 24176 24038 0 -1 1077944384 22 0 0 0 2 0 0 0 20 0 28 0 106654162 27175628800 104848 33554432000 4194304 4196468 140730814652832 140672020218064 140673772054229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24205] ppid=24176 vsize=26538700 memory=0 CPUtime=0.04 cores=0-7
/proc/24178/task/24205/stat : 24205 (java) R 24176 24176 24038 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 28 0 106654162 27175628800 104848 33554432000 4194304 4196468 140730814652832 140672019168632 140673409690944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
Current children cumulated CPU time: 7.31 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 420776 KiB
[startup+2.40155 s]
/proc/loadavg: 1.42 4.80 6.71 9/207 24205
/proc/meminfo: memFree=31021768/32770624 swapFree=67108860/67108860
[pid=24176] ppid=24173 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24176/stat : 24176 (xcsp3-exec) S 24173 24176 24038 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106653965 9740288 346 33554432000 4194304 5098028 140730771425648 140730771423752 140651589313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19349504 140730771428453 140730771428663 140730771428663 140730771431403 0
/proc/24176/statm: 2378 346 289 221 0 87 0
[pid=24178] ppid=24176 vsize=26538700 memory=420644 CPUtime=10.32 cores=0-7
/proc/24178/stat : 24178 (java) S 24176 24176 24038 0 -1 1077944320 21808 0 0 0 1001 31 0 0 20 0 28 0 106653965 27175628800 105161 33554432000 4194304 4196468 140730814652832 140730814635376 140673772044023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
/proc/24178/statm: 6634675 105161 3259 1 0 6621909 0
[pid=24178/tid=24179] ppid=24176 vsize=26538700 memory=8 CPUtime=1.82 cores=0-7
/proc/24178/task/24179/stat : 24179 (java) S 24176 24176 24038 0 -1 1077944384 7011 0 0 0 176 6 0 0 20 0 28 0 106653966 27175628800 105161 33554432000 4194304 4196468 140730814652832 140673776284800 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24180] ppid=24176 vsize=26538700 memory=10 CPUtime=0.08 cores=0-7
/proc/24178/task/24180/stat : 24180 (java) S 24176 24176 24038 0 -1 1077944384 89 0 0 0 6 2 0 0 20 0 28 0 106653967 27175628800 105161 33554432000 4194304 4196468 140730814652832 140673330576272 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24181] ppid=24176 vsize=26538700 memory=10 CPUtime=0.07 cores=0-7
/proc/24178/task/24181/stat : 24181 (java) S 24176 24176 24038 0 -1 1077944384 47 0 0 0 5 2 0 0 20 0 28 0 106653967 27175628800 105161 33554432000 4194304 4196468 140730814652832 140673329523472 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24182] ppid=24176 vsize=26538700 memory=8 CPUtime=0.04 cores=0-7
/proc/24178/task/24182/stat : 24182 (java) S 24176 24176 24038 0 -1 1077944384 32 0 0 0 3 1 0 0 20 0 28 0 106653967 27175628800 105161 33554432000 4194304 4196468 140730814652832 140673328471184 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24183] ppid=24176 vsize=26538700 memory=140129079675593 CPUtime=0.07 cores=0-7
/proc/24178/task/24183/stat : 24183 (java) S 24176 24176 24038 0 -1 1077944384 73 0 0 0 5 2 0 0 20 0 28 0 106653967 27175628800 105161 33554432000 4194304 4196468 140730814652832 140673327418384 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24184] ppid=24176 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/24178/task/24184/stat : 24184 (java) S 24176 24176 24038 0 -1 1077944384 79 0 0 0 6 2 0 0 20 0 28 0 106653967 27175628800 105161 33554432000 4194304 4196468 140730814652832 140673326365072 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24185] ppid=24176 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/24178/task/24185/stat : 24185 (java) S 24176 24176 24038 0 -1 1077944384 88 0 0 0 7 2 0 0 20 0 28 0 106653967 27175628800 105161 33554432000 4194304 4196468 140730814652832 140673325312272 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24186] ppid=24176 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/24178/task/24186/stat : 24186 (java) S 24176 24176 24038 0 -1 1077944384 76 0 0 0 6 2 0 0 20 0 28 0 106653967 27175628800 105161 33554432000 4194304 4196468 140730814652832 140673324259984 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24187] ppid=24176 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7
/proc/24178/task/24187/stat : 24187 (java) S 24176 24176 24038 0 -1 1077944384 47 0 0 0 5 2 0 0 20 0 28 0 106653967 27175628800 105161 33554432000 4194304 4196468 140730814652832 140673323207184 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24188] ppid=24176 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24188/stat : 24188 (java) S 24176 24176 24038 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 28 0 106653968 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672043522672 140673772055170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24189] ppid=24176 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24189/stat : 24189 (java) S 24176 24176 24038 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 106653968 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672042468704 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24190] ppid=24176 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24190/stat : 24190 (java) S 24176 24176 24038 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 106653969 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672041416320 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24191] ppid=24176 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/24178/task/24191/stat : 24191 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106653971 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672040364624 140673772062619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24192] ppid=24176 vsize=26538700 memory=1384 CPUtime=1.46 cores=0-7
/proc/24178/task/24192/stat : 24192 (java) R 24176 24176 24038 0 -1 4202560 2519 0 0 0 145 1 0 0 20 0 28 0 106653971 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672039297568 140673756963069 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24193] ppid=24176 vsize=26538700 memory=418192 CPUtime=1.71 cores=0-7
/proc/24178/task/24193/stat : 24193 (java) R 24176 24176 24038 0 -1 4202560 3780 0 0 0 171 0 0 0 20 0 28 0 106653971 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672038240784 140673755600843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24194] ppid=24176 vsize=26538700 memory=1399101730491701635 CPUtime=1.53 cores=0-7
/proc/24178/task/24194/stat : 24194 (java) R 24176 24176 24038 0 -1 4202560 3040 0 0 0 153 0 0 0 20 0 28 0 106653971 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672037192928 140673751464156 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24195] ppid=24176 vsize=26538700 memory=6944656591801717918 CPUtime=0.65 cores=0-7
/proc/24178/task/24195/stat : 24195 (java) R 24176 24176 24038 0 -1 1077944384 3122 0 0 0 64 1 0 0 20 0 28 0 106653971 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672036153584 140673772055170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24196] ppid=24176 vsize=26538700 memory=-7384994778349281184 CPUtime=0 cores=0-7
/proc/24178/task/24196/stat : 24196 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106653971 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672035101536 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24197] ppid=24176 vsize=26538700 memory=-7522837415797432224 CPUtime=0 cores=0-7
/proc/24178/task/24197/stat : 24197 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106653972 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672034048816 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24198] ppid=24176 vsize=26538700 memory=-7522837583129502606 CPUtime=0.25 cores=0-7
/proc/24178/task/24198/stat : 24198 (java) R 24176 24176 24038 0 -1 4202560 43 0 0 0 25 0 0 0 20 0 28 0 106654162 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672026535800 140673417156873 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24199] ppid=24176 vsize=26538700 memory=0 CPUtime=0.33 cores=0-7
/proc/24178/task/24199/stat : 24199 (java) R 24176 24176 24038 0 -1 4202560 45 0 0 0 33 0 0 0 20 0 28 0 106654162 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672025481144 140673417156703 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24200] ppid=24176 vsize=26538700 memory=0 CPUtime=0.33 cores=0-7
/proc/24178/task/24200/stat : 24200 (java) R 24176 24176 24038 0 -1 4202560 40 0 0 0 33 0 0 0 20 0 28 0 106654162 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672024430808 140673417157129 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24201] ppid=24176 vsize=26538700 memory=0 CPUtime=0.26 cores=0-7
/proc/24178/task/24201/stat : 24201 (java) R 24176 24176 24038 0 -1 4202560 33 0 0 0 26 0 0 0 20 0 28 0 106654162 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672023375096 140673417078340 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24202] ppid=24176 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7
/proc/24178/task/24202/stat : 24202 (java) R 24176 24176 24038 0 -1 4202560 49 0 0 0 28 0 0 0 20 0 28 0 106654162 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672022324288 140673417157852 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24203] ppid=24176 vsize=26538700 memory=0 CPUtime=0.35 cores=0-7
/proc/24178/task/24203/stat : 24203 (java) R 24176 24176 24038 0 -1 4202560 33 0 0 0 35 0 0 0 20 0 28 0 106654162 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672021272936 140673417157075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24204] ppid=24176 vsize=26538700 memory=0 CPUtime=0.22 cores=0-7
/proc/24178/task/24204/stat : 24204 (java) R 24176 24176 24038 0 -1 4202560 25 0 0 0 22 0 0 0 20 0 28 0 106654162 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672020212064 140673417157252 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24205] ppid=24176 vsize=26538700 memory=6791534058613427641 CPUtime=0.34 cores=0-7
/proc/24178/task/24205/stat : 24205 (java) R 24176 24176 24038 0 -1 4202560 27 0 0 0 34 0 0 0 20 0 28 0 106654162 27175628800 105161 33554432000 4194304 4196468 140730814652832 140672019164872 140673417441991 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
Current children cumulated CPU time: 10.32 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 422028 KiB
[startup+2.50155 s]
/proc/loadavg: 1.42 4.80 6.71 9/207 24205
/proc/meminfo: memFree=31021768/32770624 swapFree=67108860/67108860
[pid=24176] ppid=24173 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24176/stat : 24176 (xcsp3-exec) S 24173 24176 24038 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106653965 9740288 346 33554432000 4194304 5098028 140730771425648 140730771423752 140651589313148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19349504 140730771428453 140730771428663 140730771428663 140730771431403 0
/proc/24176/statm: 2378 346 289 221 0 87 0
[pid=24178] ppid=24176 vsize=26538700 memory=421360 CPUtime=11.08 cores=0-7
/proc/24178/stat : 24178 (java) S 24176 24176 24038 0 -1 1077944320 21993 0 0 0 1077 31 0 0 20 0 28 0 106653965 27175628800 105340 33554432000 4194304 4196468 140730814652832 140730814635376 140673772044023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
/proc/24178/statm: 6634675 105340 3260 1 0 6621909 0
[pid=24178/tid=24179] ppid=24176 vsize=26538700 memory=288230574492221466 CPUtime=1.82 cores=0-7
/proc/24178/task/24179/stat : 24179 (java) S 24176 24176 24038 0 -1 1077944384 7011 0 0 0 176 6 0 0 20 0 28 0 106653966 27175628800 105340 33554432000 4194304 4196468 140730814652832 140673776284800 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24180] ppid=24176 vsize=26538700 memory=288230621803970871 CPUtime=0.08 cores=0-7
/proc/24178/task/24180/stat : 24180 (java) S 24176 24176 24038 0 -1 1077944384 89 0 0 0 6 2 0 0 20 0 28 0 106653967 27175628800 105340 33554432000 4194304 4196468 140730814652832 140673330576272 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24181] ppid=24176 vsize=26538700 memory=15255943717849665 CPUtime=0.07 cores=0-7
/proc/24178/task/24181/stat : 24181 (java) S 24176 24176 24038 0 -1 1077944384 47 0 0 0 5 2 0 0 20 0 28 0 106653967 27175628800 105340 33554432000 4194304 4196468 140730814652832 140673329523472 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24182] ppid=24176 vsize=26538700 memory=1384 CPUtime=0.04 cores=0-7
/proc/24178/task/24182/stat : 24182 (java) S 24176 24176 24038 0 -1 1077944384 32 0 0 0 3 1 0 0 20 0 28 0 106653967 27175628800 105340 33554432000 4194304 4196468 140730814652832 140673328471184 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24183] ppid=24176 vsize=26538700 memory=419696 CPUtime=0.07 cores=0-7
/proc/24178/task/24183/stat : 24183 (java) S 24176 24176 24038 0 -1 1077944384 73 0 0 0 5 2 0 0 20 0 28 0 106653967 27175628800 105340 33554432000 4194304 4196468 140730814652832 140673327418384 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24184] ppid=24176 vsize=26538700 memory=6944656575208382560 CPUtime=0.08 cores=0-7
/proc/24178/task/24184/stat : 24184 (java) S 24176 24176 24038 0 -1 1077944384 79 0 0 0 6 2 0 0 20 0 28 0 106653967 27175628800 105340 33554432000 4194304 4196468 140730814652832 140673326365072 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24185] ppid=24176 vsize=26538700 memory=6944656592455097440 CPUtime=0.09 cores=0-7
/proc/24178/task/24185/stat : 24185 (java) S 24176 24176 24038 0 -1 1077944384 88 0 0 0 7 2 0 0 20 0 28 0 106653967 27175628800 105340 33554432000 4194304 4196468 140730814652832 140673325312272 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24186] ppid=24176 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/24178/task/24186/stat : 24186 (java) S 24176 24176 24038 0 -1 1077944384 76 0 0 0 6 2 0 0 20 0 28 0 106653967 27175628800 105340 33554432000 4194304 4196468 140730814652832 140673324259984 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24187] ppid=24176 vsize=26538700 memory=140129223864641 CPUtime=0.07 cores=0-7
/proc/24178/task/24187/stat : 24187 (java) S 24176 24176 24038 0 -1 1077944384 47 0 0 0 5 2 0 0 20 0 28 0 106653967 27175628800 105340 33554432000 4194304 4196468 140730814652832 140673323207184 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24188] ppid=24176 vsize=26538700 memory=7741236317137236325 CPUtime=0 cores=0-7
/proc/24178/task/24188/stat : 24188 (java) S 24176 24176 24038 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 28 0 106653968 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672043522672 140673772055170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24189] ppid=24176 vsize=26538700 memory=7957689449132282197 CPUtime=0 cores=0-7
/proc/24178/task/24189/stat : 24189 (java) S 24176 24176 24038 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 106653968 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672042468704 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24190] ppid=24176 vsize=26538700 memory=7158019078784248146 CPUtime=0 cores=0-7
/proc/24178/task/24190/stat : 24190 (java) S 24176 24176 24038 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 106653969 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672041416320 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24191] ppid=24176 vsize=26538700 memory=303711698211307546 CPUtime=0 cores=0-7
/proc/24178/task/24191/stat : 24191 (java) S 24176 24176 24038 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106653971 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672040364624 140673772062619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24192] ppid=24176 vsize=26538700 memory=0 CPUtime=1.55 cores=0-7
/proc/24178/task/24192/stat : 24192 (java) R 24176 24176 24038 0 -1 4202560 2659 0 0 0 154 1 0 0 20 0 28 0 106653971 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672039297568 140673753236007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24193] ppid=24176 vsize=26538700 memory=6154008814976920681 CPUtime=1.79 cores=0-7
/proc/24178/task/24193/stat : 24193 (java) R 24176 24176 24038 0 -1 4202560 3802 0 0 0 179 0 0 0 20 0 28 0 106653971 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672038251864 140673753352915 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24194] ppid=24176 vsize=26538700 memory=2479 CPUtime=1.6 cores=0-7
/proc/24178/task/24194/stat : 24194 (java) R 24176 24176 24038 0 -1 4202560 3050 0 0 0 160 0 0 0 20 0 28 0 106653971 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672037194832 140673753219912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24195] ppid=24176 vsize=26538700 memory=0 CPUtime=0.66 cores=0-7
/proc/24178/task/24195/stat : 24195 (java) R 24176 24176 24038 0 -1 1077944384 3129 0 0 0 65 1 0 0 20 0 28 0 106653971 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672036153584 140673772055170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24196] ppid=24176 vsize=26538700 memory=56 CPUtime=0 cores=0-7
/proc/24178/task/24196/stat : 24196 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106653971 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672035101536 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24197] ppid=24176 vsize=26538700 memory=9179 CPUtime=0 cores=0-7
/proc/24178/task/24197/stat : 24197 (java) S 24176 24176 24038 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106653972 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672034048816 140673772055170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24198] ppid=24176 vsize=26538700 memory=27497 CPUtime=0.3 cores=0-7
/proc/24178/task/24198/stat : 24198 (java) S 24176 24176 24038 0 -1 1077944384 43 0 0 0 30 0 0 0 20 0 28 0 106654162 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672026538208 140673772054229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24199] ppid=24176 vsize=26538700 memory=0 CPUtime=0.42 cores=0-7
/proc/24178/task/24199/stat : 24199 (java) R 24176 24176 24038 0 -1 4202560 47 0 0 0 42 0 0 0 20 0 28 0 106654162 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672025485072 140673409741157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24200] ppid=24176 vsize=26538700 memory=0 CPUtime=0.38 cores=0-7
/proc/24178/task/24200/stat : 24200 (java) R 24176 24176 24038 0 -1 4202560 40 0 0 0 38 0 0 0 20 0 28 0 106654162 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672024427552 140673417078486 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24201] ppid=24176 vsize=26538700 memory=0 CPUtime=0.33 cores=0-7
/proc/24178/task/24201/stat : 24201 (java) R 24176 24176 24038 0 -1 4202560 34 0 0 0 33 0 0 0 20 0 28 0 106654162 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672023374592 140673417596571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24202] ppid=24176 vsize=26538700 memory=0 CPUtime=0.35 cores=0-7
/proc/24178/task/24202/stat : 24202 (java) R 24176 24176 24038 0 -1 4202560 49 0 0 0 35 0 0 0 20 0 28 0 106654162 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672022326808 140673417155910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24203] ppid=24176 vsize=26538700 memory=4580 CPUtime=0.42 cores=0-7
/proc/24178/task/24203/stat : 24203 (java) R 24176 24176 24038 0 -1 4202560 34 0 0 0 42 0 0 0 20 0 28 0 106654162 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672021272544 140673417155812 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24204] ppid=24176 vsize=26538700 memory=0 CPUtime=0.29 cores=0-7
/proc/24178/task/24204/stat : 24204 (java) R 24176 24176 24038 0 -1 4202560 26 0 0 0 29 0 0 0 20 0 28 0 106654162 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672020218008 140673409726401 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
[pid=24178/tid=24205] ppid=24176 vsize=26538700 memory=0 CPUtime=0.39 cores=0-7
/proc/24178/task/24205/stat : 24205 (java) R 24176 24176 24038 0 -1 4202560 28 0 0 0 39 0 0 0 20 0 28 0 106654162 27175628800 105340 33554432000 4194304 4196468 140730814652832 140672019164432 140673417156049 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140730814657682 140730814657859 140730814657859 140730814660559 0
Current children cumulated CPU time: 11.08 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 422744 KiB
Child status: 0
Real time (s): 2.55933
CPU time (s): 11.2363
CPU user time (s): 10.9102
CPU system time (s): 0.326076
CPU usage (%): 439.031
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 422744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9102
system time used= 0.326076
maximum resident set size= 424476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22967
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= 3168
involuntary context switches= 186
# summary of solver processes directly reported to runsolver:
# pid: 24176
# total CPU time (s): 11.2363
# total CPU user time (s): 10.9102
# total CPU system time (s): 0.326076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034407 second user time and 0.077155 second system time
The end
Begin job on node102 at 2017-08-14 20:19:58 IDJOB=4270921 IDBENCH=126980 IDSOLVER=2662 FILE ID=node102/4270921-1502735657 RUNJOBID= node102-1502734620-24065 PBS_JOBID= 20629052 Free space on /tmp= 61912 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Driver/Driver-m1-s1/driverlogw-08cc.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-4270921-1502735657/watcher-4270921-1502735657 -o /tmp/evaluation-result-4270921-1502735657/solver-4270921-1502735657 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502734620-24065 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 659184559 HOME/instance-4270921-1502735657.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5295e32d08449c2e3ec72eea1c3f05d5 RANDOM SEED=659184559 node102.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.35 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.35 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.35 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.35 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: 31429248 kB MemAvailable: 31984852 kB Buffers: 156280 kB Cached: 682216 kB SwapCached: 0 kB Active: 672444 kB Inactive: 218148 kB Active(anon): 4888 kB Inactive(anon): 75040 kB Active(file): 667556 kB Inactive(file): 143108 kB Unevictable: 6448 kB Mlocked: 6448 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7912 kB Writeback: 0 kB AnonPages: 133956 kB Mapped: 45300 kB Shmem: 25228 kB Slab: 148196 kB SReclaimable: 121548 kB SUnreclaim: 26648 kB KernelStack: 3680 kB PageTables: 4660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324724 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61904 MiB End job on node102 at 2017-08-14 20:20:01