Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 16 | 2133.78 | 321.862 |
Name | Tal/ Tal-05_c18.xml |
MD5SUM | 0bfba4554f8c52d47ef9f831901bb64c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 16 |
Best CPU time to get the best result obtained on this benchmark | 26.1854 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 526 |
Number of constraints | 364 |
Number of domains | 11 |
Minimum domain size | 1 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":1,"count":84},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":52},{"size":7,"count":9},{"size":8,"count":10},{"size":10,"count":36},{"size":42,"count":79}] |
Minimum variable degree | 0 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":0,"count":234},{"degree":1,"count":84},{"degree":2,"count":58},{"degree":3,"count":9},{"degree":4,"count":10},{"degree":5,"count":32},{"degree":6,"count":19},{"degree":7,"count":13},{"degree":8,"count":13},{"degree":9,"count":19},{"degree":10,"count":18},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":3},{"degree":14,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 11 |
Distribution of constraint arities | [{"arity":1,"count":109},{"arity":2,"count":115},{"arity":3,"count":38},{"arity":4,"count":11},{"arity":5,"count":18},{"arity":6,"count":17},{"arity":7,"count":16},{"arity":8,"count":15},{"arity":9,"count":13},{"arity":10,"count":10},{"arity":11,"count":2}] |
Number of extensional constraints | 64 |
Number of intensional constraints | 286 |
Distribution of constraint types | [{"type":"extension","count":64},{"type":"intension","count":286},{"type":"count","count":14}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394514-1568447553.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394514-1568447553.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 24.14/12.10 c solve instance... 26.42/12.46 o 135 26.42/12.46 o 127 26.42/12.47 o 123 26.42/12.48 o 119 26.42/12.49 o 103 26.42/12.49 o 95 27.01/12.52 o 91 27.01/12.55 o 75 30.06/12.98 o 64 32.40/13.24 o 61 33.10/13.34 o 60 34.62/13.56 o 57 34.62/13.58 o 53 35.32/13.63 o 49 35.32/13.67 o 45 36.08/13.70 o 41 36.08/13.70 o 30 43.61/14.71 o 27 46.28/15.30 o 23 53.03/17.41 o 22 62.27/19.12 o 21 75.08/20.86 o 17 128.45/29.95 o 16 2133.71/321.82 s OPTIMUM FOUND 2133.71/321.82 v <instantiation> 2133.71/321.82 v <list>c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[0][7] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[1][7] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[2][7] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[3][7] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[4][7] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[5][7] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[6][7] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[7][7] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[8][7] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] c[9][7] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[10][7] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[11][7] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[12][7] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] c[13][7] c[14][0] c[14][1] c[14][2] c[14][3] c[14][4] c[14][5] c[14][6] c[14][7] c[15][0] c[15][1] c[15][2] c[15][3] c[15][4] c[15][5] c[15][6] c[15][7] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[0][7] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[1][7] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[2][7] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[3][6] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[4][6] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[5][5] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[6][5] l[7][0] l[7][1] l[7][2] l[7][3] l[7][4] l[8][0] l[8][1] l[8][2] l[8][3] l[8][4] l[9][0] l[9][1] l[9][2] l[9][3] l[10][0] l[10][1] l[10][2] l[10][3] l[11][0] l[11][1] l[11][2] l[12][0] l[12][1] l[12][2] l[13][0] l[13][1] l[14][0] l[14][1] l[15][0] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[9][0] a[9][1] a[9][2] a[9][3] a[11][0] a[11][1] a[11][2] a[13][0] a[13][1] a[15][0] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[2][7] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[4][6] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[6][5] i[8][0] i[8][1] i[8][2] i[8][3] i[8][4] i[10][0] i[10][1] i[10][2] i[10][3] i[12][0] i[12][1] i[12][2] i[14][0] i[14][1] cnt[0] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] cnt[10] cnt[11] cnt[12] cnt[13] </list> 2133.71/321.82 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 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 27 35 38 22 15 13 26 28 27 35 38 22 2 0 26 28 27 35 38 22 2 26 28 0 27 10 0 4 0 0 28 27 10 4 28 0 0 0 27 10 5 0 0 0 27 10 5 0 0 0 4 10 5 0 0 4 10 5 0 0 8 0 0 0 8 0 0 0 8 0 0 8 0 0 8 0 8 0 8 1 1 1 1 2 0 1 1 1 2 0 3 0 0 1 1 1 2 0 0 0 1 1 1 0 0 3 0 0 0 1 0 0 1 0 1 0 1 2 3 4 6 7 7 0 1 3 6 6 6 6 0 1 2 5 5 5 0 1 2 4 4 0 3 3 3 0 2 2 0 1 1 1 3 3 3 3 2 2 3 3 2 2 1 1 </values> 2133.71/321.82 v </instantiation>
OK 16
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 (9619 MiB free) memory of node 1: 16384 MiB (15569 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394514-1568447553/watcher-4394514-1568447553 -o /tmp/evaluation-result-4394514-1568447553/solver-4394514-1568447553 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 810061333 HOME/instance-4394514-1568447553.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=18237, runsolver pid=18234 Current StackSize limit: 8192 KiB [startup+0.100061 s]* /proc/loadavg: 1.74 1.67 2.84 3/212 18258 /proc/meminfo: memFree=25775132/32770624 swapFree=67002288/67108860 [pid=18237] ppid=18234 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18237/stat : 18237 (xcsp3-exec) S 18234 18237 14480 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421003927 115843072 364 33554432000 4194304 5098028 140726200722896 140726200721000 139671581831804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27373568 140726200730486 140726200730729 140726200730729 140726200733642 0 /proc/18237/statm: 28282 364 305 221 0 87 0 [pid=18239] ppid=18237 vsize=28227388 memory=30056 CPUtime=0.12 cores=0-7 /proc/18239/stat : 18239 (java) S 18237 18237 14480 0 -1 1077944320 5484 0 0 0 11 1 0 0 20 0 20 0 421003927 28904845312 7514 33554432000 4194304 4196468 140721091796720 140721091779264 139827133181687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 /proc/18239/statm: 7056847 7514 3116 1 0 7019032 0 [pid=18239/tid=18240] ppid=18237 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/18239/task/18240/stat : 18240 (java) R 18237 18237 14480 0 -1 4202560 3391 0 0 0 8 1 0 0 20 0 20 0 421003927 28904845312 7514 33554432000 4194304 4196468 140721091796720 139827137416704 139827133193622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18241] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18241/stat : 18241 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 7514 33554432000 4194304 4196468 140721091796720 139826684877072 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18242] ppid=18237 vsize=28227388 memory=140526872602240 CPUtime=0 cores=0-7 /proc/18239/task/18242/stat : 18242 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 7514 33554432000 4194304 4196468 140721091796720 139826683824528 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18243] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18243/stat : 18243 (java) S 18237 18237 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 7514 33554432000 4194304 4196468 140721091796720 139826682771984 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18244] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18244/stat : 18244 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 7514 33554432000 4194304 4196468 140721091796720 139826681719440 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18245] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18245/stat : 18245 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 7514 33554432000 4194304 4196468 140721091796720 139826680666896 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18246] ppid=18237 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18239/task/18246/stat : 18246 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 7514 33554432000 4194304 4196468 140721091796720 139826679614352 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18247] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18247/stat : 18247 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 7514 33554432000 4194304 4196468 140721091796720 139826678561808 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18248] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18248/stat : 18248 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 7514 33554432000 4194304 4196468 140721091796720 139826677509264 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18249] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18249/stat : 18249 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003930 28904845312 7514 33554432000 4194304 4196468 140721091796720 139825261635568 139827133192834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18250] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18250/stat : 18250 (java) S 18237 18237 14480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421003930 28904845312 7514 33554432000 4194304 4196468 140721091796720 139825260581792 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18251] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18251/stat : 18251 (java) S 18237 18237 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421003930 28904845312 7514 33554432000 4194304 4196468 140721091796720 139825259529200 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18252] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18252/stat : 18252 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003933 28904845312 7514 33554432000 4194304 4196468 140721091796720 139825258477776 139827133200283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18253] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18253/stat : 18253 (java) S 18237 18237 14480 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 421003933 28904845312 7514 33554432000 4194304 4196468 140721091796720 139825257425392 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18254] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18254/stat : 18254 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003933 28904845312 7514 33554432000 4194304 4196468 140721091796720 139825256372848 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18255] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18255/stat : 18255 (java) S 18237 18237 14480 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 421003933 28904845312 7514 33554432000 4194304 4196468 140721091796720 139825255320304 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18256] ppid=18237 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/18239/task/18256/stat : 18256 (java) R 18237 18237 14480 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 20 0 421003933 28904845312 7514 33554432000 4194304 4196468 140721091796720 139825254267760 139827111808914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18257] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18257/stat : 18257 (java) S 18237 18237 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003933 28904845312 7514 33554432000 4194304 4196468 140721091796720 139825253214432 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18258] ppid=18237 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18239/task/18258/stat : 18258 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003933 28904845312 7514 33554432000 4194304 4196468 140721091796720 139825252161968 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31512 KiB [startup+0.210594 s]* /proc/loadavg: 1.74 1.67 2.84 3/212 18258 /proc/meminfo: memFree=25762332/32770624 swapFree=67002288/67108860 [pid=18237] ppid=18234 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18237/stat : 18237 (xcsp3-exec) S 18234 18237 14480 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421003927 115843072 364 33554432000 4194304 5098028 140726200722896 140726200721000 139671581831804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27373568 140726200730486 140726200730729 140726200730729 140726200733642 0 /proc/18237/statm: 28282 364 305 221 0 87 0 [pid=18239] ppid=18237 vsize=28227388 memory=41448 CPUtime=0.34 cores=0-7 /proc/18239/stat : 18239 (java) S 18237 18237 14480 0 -1 1077944320 9093 0 0 0 31 3 0 0 20 0 20 0 421003927 28904845312 10362 33554432000 4194304 4196468 140721091796720 140721091779264 139827133181687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 /proc/18239/statm: 7056847 10362 3308 1 0 7019032 0 [pid=18239/tid=18240] ppid=18237 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/18239/task/18240/stat : 18240 (java) R 18237 18237 14480 0 -1 4202560 6195 0 0 0 18 2 0 0 20 0 20 0 421003927 28904845312 10362 33554432000 4194304 4196468 140721091796720 139827137414416 139826770810144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18241] ppid=18237 vsize=28227388 memory=330 CPUtime=0 cores=0-7 /proc/18239/task/18241/stat : 18241 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 10362 33554432000 4194304 4196468 140721091796720 139826684877072 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18242] ppid=18237 vsize=28227388 memory=288370903024313984 CPUtime=0 cores=0-7 /proc/18239/task/18242/stat : 18242 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 10362 33554432000 4194304 4196468 140721091796720 139826683824528 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18243] ppid=18237 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18239/task/18243/stat : 18243 (java) S 18237 18237 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 10362 33554432000 4194304 4196468 140721091796720 139826682771984 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18244] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18244/stat : 18244 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 10362 33554432000 4194304 4196468 140721091796720 139826681719440 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18245] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18245/stat : 18245 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 10362 33554432000 4194304 4196468 140721091796720 139826680666896 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18246] ppid=18237 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18239/task/18246/stat : 18246 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 10362 33554432000 4194304 4196468 140721091796720 139826679614352 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18247] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18247/stat : 18247 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 10362 33554432000 4194304 4196468 140721091796720 139826678561808 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18248] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18248/stat : 18248 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003928 28904845312 10362 33554432000 4194304 4196468 140721091796720 139826677509264 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18249] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18249/stat : 18249 (java) S 18237 18237 14480 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 421003930 28904845312 10362 33554432000 4194304 4196468 140721091796720 139825261635568 139827133192834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18250] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18250/stat : 18250 (java) S 18237 18237 14480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421003930 28904845312 10362 33554432000 4194304 4196468 140721091796720 139825260581792 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18251] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18251/stat : 18251 (java) S 18237 18237 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421003930 28904845312 10362 33554432000 4194304 4196468 140721091796720 139825259529200 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18252] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18252/stat : 18252 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003933 28904845312 10362 33554432000 4194304 4196468 140721091796720 139825258477776 139827133200283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18253] ppid=18237 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/18239/task/18253/stat : 18253 (java) S 18237 18237 14480 0 -1 1077944384 620 0 0 0 1 0 0 0 20 0 20 0 421003933 28904845312 10362 33554432000 4194304 4196468 140721091796720 139825257425392 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18254] ppid=18237 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/18239/task/18254/stat : 18254 (java) S 18237 18237 14480 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 20 0 421003933 28904845312 10362 33554432000 4194304 4196468 140721091796720 139825256372848 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18255] ppid=18237 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/18239/task/18255/stat : 18255 (java) S 18237 18237 14480 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 421003933 28904845312 10362 33554432000 4194304 4196468 140721091796720 139825255320304 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18256] ppid=18237 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/18239/task/18256/stat : 18256 (java) R 18237 18237 14480 0 -1 4202560 715 0 0 0 8 0 0 0 20 0 20 0 421003933 28904845312 10362 33554432000 4194304 4196468 140721091796720 139825254267760 139827133193622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18257] ppid=18237 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18257/stat : 18257 (java) S 18237 18237 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003933 28904845312 10362 33554432000 4194304 4196468 140721091796720 139825253214432 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18258] ppid=18237 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18239/task/18258/stat : 18258 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003933 28904845312 10362 33554432000 4194304 4196468 140721091796720 139825252161968 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42904 KiB [startup+0.310568 s]* /proc/loadavg: 1.74 1.67 2.84 4/212 18258 /proc/meminfo: memFree=25755556/32770624 swapFree=67002288/67108860 [pid=18237] ppid=18234 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18237/stat : 18237 (xcsp3-exec) S 18234 18237 14480 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421003927 115843072 364 33554432000 4194304 5098028 140726200722896 140726200721000 139671581831804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27373568 140726200730486 140726200730729 140726200730729 140726200733642 0 /proc/18237/statm: 28282 364 305 221 0 87 0 [pid=18239] ppid=18237 vsize=28231644 memory=50180 CPUtime=0.53 cores=0-7 /proc/18239/stat : 18239 (java) S 18237 18237 14480 0 -1 1077944320 10427 0 0 0 49 4 0 0 20 0 20 0 421003927 28909203456 12545 33554432000 4194304 4196468 140721091796720 140721091779264 139827133181687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 /proc/18239/statm: 7057911 12545 3347 1 0 7019032 0 [pid=18239/tid=18240] ppid=18237 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/18239/task/18240/stat : 18240 (java) R 18237 18237 14480 0 -1 4202560 7322 0 0 0 27 3 0 0 20 0 20 0 421003927 28909203456 12545 33554432000 4194304 4196468 140721091796720 139827137417264 139827117262174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18241] ppid=18237 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18241/stat : 18241 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28909203456 12545 33554432000 4194304 4196468 140721091796720 139826684877072 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18242] ppid=18237 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18242/stat : 18242 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28909203456 12545 33554432000 4194304 4196468 140721091796720 139826683824528 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18243] ppid=18237 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18243/stat : 18243 (java) S 18237 18237 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003928 28909203456 12545 33554432000 4194304 4196468 140721091796720 139826682771984 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18244] ppid=18237 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18244/stat : 18244 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28909203456 12545 33554432000 4194304 4196468 140721091796720 139826681719440 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18245] ppid=18237 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/18239/task/18245/stat : 18245 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28909203456 12545 33554432000 4194304 4196468 140721091796720 139826680666896 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18246] ppid=18237 vsize=28231644 memory=140526766617519 CPUtime=0 cores=0-7 /proc/18239/task/18246/stat : 18246 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003928 28909203456 12545 33554432000 4194304 4196468 140721091796720 139826679614352 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18247] ppid=18237 vsize=28231644 memory=140526766619824 CPUtime=0 cores=0-7 /proc/18239/task/18247/stat : 18247 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003928 28909203456 12545 33554432000 4194304 4196468 140721091796720 139826678561808 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18248] ppid=18237 vsize=28231644 memory=140526766622128 CPUtime=0 cores=0-7 /proc/18239/task/18248/stat : 18248 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003928 28909203456 12545 33554432000 4194304 4196468 140721091796720 139826677509264 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18249] ppid=18237 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18249/stat : 18249 (java) S 18237 18237 14480 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 421003930 28909203456 12545 33554432000 4194304 4196468 140721091796720 139825261635568 139827133192834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18250] ppid=18237 vsize=28231644 memory=281053533251216 CPUtime=0 cores=0-7 /proc/18239/task/18250/stat : 18250 (java) S 18237 18237 14480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421003930 28909203456 12545 33554432000 4194304 4196468 140721091796720 139825260581792 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18251] ppid=18237 vsize=28231644 memory=281053533258128 CPUtime=0 cores=0-7 /proc/18239/task/18251/stat : 18251 (java) S 18237 18237 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421003930 28909203456 12545 33554432000 4194304 4196468 140721091796720 139825259529200 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18252] ppid=18237 vsize=28231644 memory=281053533199408 CPUtime=0 cores=0-7 /proc/18239/task/18252/stat : 18252 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003933 28909203456 12545 33554432000 4194304 4196468 140721091796720 139825258477776 139827133200283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18253] ppid=18237 vsize=28231644 memory=281053533271952 CPUtime=0.03 cores=0-7 /proc/18239/task/18253/stat : 18253 (java) R 18237 18237 14480 0 -1 4202560 709 0 0 0 3 0 0 0 20 0 20 0 421003933 28909203456 12545 33554432000 4194304 4196468 140721091796720 139825257425392 139827114726238 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18254] ppid=18237 vsize=28231644 memory=281053533278864 CPUtime=0.02 cores=0-7 /proc/18239/task/18254/stat : 18254 (java) S 18237 18237 14480 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 20 0 421003933 28909203456 12545 33554432000 4194304 4196468 140721091796720 139825256372848 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18255] ppid=18237 vsize=28231644 memory=281053533276560 CPUtime=0.02 cores=0-7 /proc/18239/task/18255/stat : 18255 (java) S 18237 18237 14480 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 20 0 421003933 28909203456 12545 33554432000 4194304 4196468 140721091796720 139825255320304 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18256] ppid=18237 vsize=28231644 memory=281053533292720 CPUtime=0.12 cores=0-7 /proc/18239/task/18256/stat : 18256 (java) S 18237 18237 14480 0 -1 1077944384 813 0 0 0 12 0 0 0 20 0 20 0 421003933 28909203456 12545 33554432000 4194304 4196468 140721091796720 139825254267760 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18257] ppid=18237 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18257/stat : 18257 (java) S 18237 18237 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003933 28909203456 12545 33554432000 4194304 4196468 140721091796720 139825253214432 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18258] ppid=18237 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/18239/task/18258/stat : 18258 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421003933 28909203456 12545 33554432000 4194304 4196468 140721091796720 139825252161968 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51636 KiB [startup+0.701008 s] /proc/loadavg: 1.74 1.67 2.84 5/212 18258 /proc/meminfo: memFree=25731056/32770624 swapFree=67002288/67108860 [pid=18237] ppid=18234 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18237/stat : 18237 (xcsp3-exec) S 18234 18237 14480 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421003927 115843072 364 33554432000 4194304 5098028 140726200722896 140726200721000 139671581831804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27373568 140726200730486 140726200730729 140726200730729 140726200733642 0 /proc/18237/statm: 28282 364 305 221 0 87 0 [pid=18239] ppid=18237 vsize=28233768 memory=100756 CPUtime=1.93 cores=0-7 /proc/18239/stat : 18239 (java) S 18237 18237 14480 0 -1 1077944320 15433 0 0 0 186 7 0 0 20 0 20 0 421003927 28911378432 25189 33554432000 4194304 4196468 140721091796720 140721091779264 139827133181687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 /proc/18239/statm: 7058442 25189 3453 1 0 7019544 0 [pid=18239/tid=18240] ppid=18237 vsize=28233768 memory=281053533650608 CPUtime=0.68 cores=0-7 /proc/18239/task/18240/stat : 18240 (java) R 18237 18237 14480 0 -1 4202560 8292 0 0 0 64 4 0 0 20 0 20 0 421003927 28911378432 25189 33554432000 4194304 4196468 140721091796720 139827137418800 139826775342988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18241] ppid=18237 vsize=28233768 memory=140526766826352 CPUtime=0 cores=0-7 /proc/18239/task/18241/stat : 18241 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28911378432 25189 33554432000 4194304 4196468 140721091796720 139826684877072 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18242] ppid=18237 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/18239/task/18242/stat : 18242 (java) S 18237 18237 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421003928 28911378432 25189 33554432000 4194304 4196468 140721091796720 139826683824528 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18243] ppid=18237 vsize=28233768 memory=1056 CPUtime=0 cores=0-7 /proc/18239/task/18243/stat : 18243 (java) S 18237 18237 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421003928 28911378432 25189 33554432000 4194304 4196468 140721091796720 139826682771984 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 ################ # More data... # ################ [pid=18239/tid=18256] ppid=18237 vsize=28768328 memory=500 CPUtime=1.65 cores=0-7 /proc/18239/task/18256/stat : 18256 (java) S 18237 18237 14480 0 -1 1077944384 23920 0 0 0 160 5 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825254267760 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18257] ppid=18237 vsize=28768328 memory=932 CPUtime=0 cores=0-7 /proc/18239/task/18257/stat : 18257 (java) S 18237 18237 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825253214432 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18258] ppid=18237 vsize=28768328 memory=1768 CPUtime=0.13 cores=0-7 /proc/18239/task/18258/stat : 18258 (java) S 18237 18237 14480 0 -1 1077944384 2243 0 0 0 6 7 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825252161968 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18443] ppid=18237 vsize=28768328 memory=6791534058613427641 CPUtime=236.34 cores=0-7 /proc/18239/task/18443/stat : 18443 (java) S 18237 18237 14480 0 -1 1077944384 9547 0 0 0 23626 8 0 0 20 0 28 0 421006922 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825240858080 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18444] ppid=18237 vsize=28768328 memory=1980 CPUtime=236.46 cores=0-7 /proc/18239/task/18444/stat : 18444 (java) S 18237 18237 14480 0 -1 1077944384 2647 0 0 0 23645 1 0 0 20 0 28 0 421006922 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825234543696 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18445] ppid=18237 vsize=28768328 memory=2812 CPUtime=236.65 cores=0-7 /proc/18239/task/18445/stat : 18445 (java) S 18237 18237 14480 0 -1 1077944384 34586 0 0 0 23602 63 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825235596496 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18446] ppid=18237 vsize=28768328 memory=1764 CPUtime=235.68 cores=0-7 /proc/18239/task/18446/stat : 18446 (java) S 18237 18237 14480 0 -1 1077944384 4830 0 0 0 23563 5 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825236649296 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18447] ppid=18237 vsize=28768328 memory=111632 CPUtime=287.77 cores=0-7 /proc/18239/task/18447/stat : 18447 (java) R 18237 18237 14480 0 -1 4202560 1662 0 0 0 28771 6 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825238749392 139826782823836 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18448] ppid=18237 vsize=28768328 memory=796 CPUtime=286.45 cores=0-7 /proc/18239/task/18448/stat : 18448 (java) S 18237 18237 14480 0 -1 1077944384 2355 0 0 0 28637 8 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825233491472 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18449] ppid=18237 vsize=28768328 memory=1808 CPUtime=235.06 cores=0-7 /proc/18239/task/18449/stat : 18449 (java) S 18237 18237 14480 0 -1 1077944384 6346 0 0 0 23485 21 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825239806672 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18450] ppid=18237 vsize=28768328 memory=6791534058613427641 CPUtime=236.77 cores=0-7 /proc/18239/task/18450/stat : 18450 (java) S 18237 18237 14480 0 -1 1077944384 2666 0 0 0 23676 1 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825237701456 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 Current children cumulated CPU time: 2132.71 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 3229260 KiB [startup+321.601 s] /proc/loadavg: 4.80 4.94 4.02 2/219 18470 /proc/meminfo: memFree=22574416/32770624 swapFree=67002288/67108860 [pid=18237] ppid=18234 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18237/stat : 18237 (xcsp3-exec) S 18234 18237 14480 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421003927 115843072 364 33554432000 4194304 5098028 140726200722896 140726200721000 139671581831804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27373568 140726200730486 140726200730729 140726200730729 140726200733642 0 /proc/18237/statm: 28282 364 305 221 0 87 0 [pid=18239] ppid=18237 vsize=28768328 memory=3227804 CPUtime=2133.51 cores=0-7 /proc/18239/stat : 18239 (java) S 18237 18237 14480 0 -1 1077944320 259532 0 0 0 212440 911 0 0 20 0 28 0 421003927 29458767872 806951 33554432000 4194304 4196468 140721091796720 140721091779264 139827133181687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 /proc/18239/statm: 7192082 806951 3560 1 0 7153184 0 [pid=18239/tid=18240] ppid=18237 vsize=28768328 memory=1656 CPUtime=10.46 cores=0-7 /proc/18239/task/18240/stat : 18240 (java) S 18237 18237 14480 0 -1 1077944384 12126 0 0 0 1035 11 0 0 20 0 28 0 421003927 29458767872 806951 33554432000 4194304 4196468 140721091796720 139827137422464 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18241] ppid=18237 vsize=28768328 memory=804 CPUtime=2.83 cores=0-7 /proc/18239/task/18241/stat : 18241 (java) S 18237 18237 14480 0 -1 1077944384 3460 0 0 0 195 88 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826684877072 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18242] ppid=18237 vsize=28768328 memory=-3622645143214314312 CPUtime=2.85 cores=0-7 /proc/18239/task/18242/stat : 18242 (java) S 18237 18237 14480 0 -1 1077944384 4329 0 0 0 194 91 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826683824528 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18243] ppid=18237 vsize=28768328 memory=40228 CPUtime=2.87 cores=0-7 /proc/18239/task/18243/stat : 18243 (java) S 18237 18237 14480 0 -1 1077944384 5380 0 0 0 193 94 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826682771984 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18244] ppid=18237 vsize=28768328 memory=988 CPUtime=2.84 cores=0-7 /proc/18239/task/18244/stat : 18244 (java) S 18237 18237 14480 0 -1 1077944384 5216 0 0 0 196 88 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826681719440 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18245] ppid=18237 vsize=28768328 memory=2024 CPUtime=2.78 cores=0-7 /proc/18239/task/18245/stat : 18245 (java) S 18237 18237 14480 0 -1 1077944384 4290 0 0 0 189 89 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826680666896 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18246] ppid=18237 vsize=28768328 memory=1428 CPUtime=2.79 cores=0-7 /proc/18239/task/18246/stat : 18246 (java) S 18237 18237 14480 0 -1 1077944384 4408 0 0 0 189 90 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826679614352 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18247] ppid=18237 vsize=28768328 memory=776 CPUtime=2.78 cores=0-7 /proc/18239/task/18247/stat : 18247 (java) S 18237 18237 14480 0 -1 1077944384 4363 0 0 0 190 88 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826678561808 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18248] ppid=18237 vsize=28768328 memory=6791534058613427641 CPUtime=2.81 cores=0-7 /proc/18239/task/18248/stat : 18248 (java) S 18237 18237 14480 0 -1 1077944384 3359 0 0 0 191 90 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826677509264 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18249] ppid=18237 vsize=28768328 memory=636 CPUtime=0.68 cores=0-7 /proc/18239/task/18249/stat : 18249 (java) S 18237 18237 14480 0 -1 1077944384 6062 0 0 0 66 2 0 0 20 0 28 0 421003930 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825261635568 139827133192834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18250] ppid=18237 vsize=28768328 memory=2900 CPUtime=0 cores=0-7 /proc/18239/task/18250/stat : 18250 (java) S 18237 18237 14480 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 421003930 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825260581856 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18251] ppid=18237 vsize=28768328 memory=1056 CPUtime=0 cores=0-7 /proc/18239/task/18251/stat : 18251 (java) S 18237 18237 14480 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 421003930 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825259529216 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18252] ppid=18237 vsize=28768328 memory=1568 CPUtime=0 cores=0-7 /proc/18239/task/18252/stat : 18252 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825258477776 139827133200283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18253] ppid=18237 vsize=28768328 memory=1040 CPUtime=5.68 cores=0-7 /proc/18239/task/18253/stat : 18253 (java) S 18237 18237 14480 0 -1 1077944384 29736 0 0 0 562 6 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825257425392 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18254] ppid=18237 vsize=28768328 memory=3227804 CPUtime=5.61 cores=0-7 /proc/18239/task/18254/stat : 18254 (java) S 18237 18237 14480 0 -1 1077944384 29930 0 0 0 557 4 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825256372848 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18255] ppid=18237 vsize=28768328 memory=3227688 CPUtime=5.17 cores=0-7 /proc/18239/task/18255/stat : 18255 (java) S 18237 18237 14480 0 -1 1077944384 33261 0 0 0 511 6 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825255320304 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18256] ppid=18237 vsize=28768328 memory=3227688 CPUtime=1.65 cores=0-7 /proc/18239/task/18256/stat : 18256 (java) S 18237 18237 14480 0 -1 1077944384 23920 0 0 0 160 5 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825254267760 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18257] ppid=18237 vsize=28768328 memory=1456 CPUtime=0 cores=0-7 /proc/18239/task/18257/stat : 18257 (java) S 18237 18237 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825253214432 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18258] ppid=18237 vsize=28768328 memory=1456 CPUtime=0.13 cores=0-7 /proc/18239/task/18258/stat : 18258 (java) S 18237 18237 14480 0 -1 1077944384 2245 0 0 0 6 7 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825252161968 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18443] ppid=18237 vsize=28768328 memory=3227688 CPUtime=236.34 cores=0-7 /proc/18239/task/18443/stat : 18443 (java) S 18237 18237 14480 0 -1 1077944384 9547 0 0 0 23626 8 0 0 20 0 28 0 421006922 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825240858080 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18444] ppid=18237 vsize=28768328 memory=281 CPUtime=236.46 cores=0-7 /proc/18239/task/18444/stat : 18444 (java) S 18237 18237 14480 0 -1 1077944384 2647 0 0 0 23645 1 0 0 20 0 28 0 421006922 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825234543696 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18445] ppid=18237 vsize=28768328 memory=68 CPUtime=236.65 cores=0-7 /proc/18239/task/18445/stat : 18445 (java) S 18237 18237 14480 0 -1 1077944384 34586 0 0 0 23602 63 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825235596496 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18446] ppid=18237 vsize=28768328 memory=0 CPUtime=235.68 cores=0-7 /proc/18239/task/18446/stat : 18446 (java) S 18237 18237 14480 0 -1 1077944384 4830 0 0 0 23563 5 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825236649296 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18447] ppid=18237 vsize=28768328 memory=0 CPUtime=288.57 cores=0-7 /proc/18239/task/18447/stat : 18447 (java) R 18237 18237 14480 0 -1 4202560 1662 0 0 0 28851 6 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825238749392 139826782823428 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18448] ppid=18237 vsize=28768328 memory=0 CPUtime=286.45 cores=0-7 /proc/18239/task/18448/stat : 18448 (java) S 18237 18237 14480 0 -1 1077944384 2355 0 0 0 28637 8 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825233491472 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18449] ppid=18237 vsize=28768328 memory=561 CPUtime=235.06 cores=0-7 /proc/18239/task/18449/stat : 18449 (java) S 18237 18237 14480 0 -1 1077944384 6346 0 0 0 23485 21 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825239806672 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18450] ppid=18237 vsize=28768328 memory=517 CPUtime=236.77 cores=0-7 /proc/18239/task/18450/stat : 18450 (java) S 18237 18237 14480 0 -1 1077944384 2666 0 0 0 23676 1 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825237701456 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 Current children cumulated CPU time: 2133.51 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 3229260 KiB [startup+321.801 s] /proc/loadavg: 4.80 4.94 4.02 2/219 18470 /proc/meminfo: memFree=22574416/32770624 swapFree=67002288/67108860 [pid=18237] ppid=18234 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18237/stat : 18237 (xcsp3-exec) S 18234 18237 14480 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421003927 115843072 364 33554432000 4194304 5098028 140726200722896 140726200721000 139671581831804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27373568 140726200730486 140726200730729 140726200730729 140726200733642 0 /proc/18237/statm: 28282 364 305 221 0 87 0 [pid=18239] ppid=18237 vsize=28768328 memory=3227804 CPUtime=2133.71 cores=0-7 /proc/18239/stat : 18239 (java) S 18237 18237 14480 0 -1 1077944320 259532 0 0 0 212460 911 0 0 20 0 28 0 421003927 29458767872 806951 33554432000 4194304 4196468 140721091796720 140721091779264 139827133181687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 /proc/18239/statm: 7192082 806951 3560 1 0 7153184 0 [pid=18239/tid=18240] ppid=18237 vsize=28768328 memory=3227688 CPUtime=10.46 cores=0-7 /proc/18239/task/18240/stat : 18240 (java) S 18237 18237 14480 0 -1 1077944384 12126 0 0 0 1035 11 0 0 20 0 28 0 421003927 29458767872 806951 33554432000 4194304 4196468 140721091796720 139827137422464 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18241] ppid=18237 vsize=28768328 memory=988 CPUtime=2.83 cores=0-7 /proc/18239/task/18241/stat : 18241 (java) S 18237 18237 14480 0 -1 1077944384 3460 0 0 0 195 88 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826684877072 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18242] ppid=18237 vsize=28768328 memory=2024 CPUtime=2.85 cores=0-7 /proc/18239/task/18242/stat : 18242 (java) S 18237 18237 14480 0 -1 1077944384 4329 0 0 0 194 91 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826683824528 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18243] ppid=18237 vsize=28768328 memory=1428 CPUtime=2.87 cores=0-7 /proc/18239/task/18243/stat : 18243 (java) S 18237 18237 14480 0 -1 1077944384 5380 0 0 0 193 94 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826682771984 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18244] ppid=18237 vsize=28768328 memory=776 CPUtime=2.84 cores=0-7 /proc/18239/task/18244/stat : 18244 (java) S 18237 18237 14480 0 -1 1077944384 5216 0 0 0 196 88 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826681719440 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18245] ppid=18237 vsize=28768328 memory=500 CPUtime=2.78 cores=0-7 /proc/18239/task/18245/stat : 18245 (java) S 18237 18237 14480 0 -1 1077944384 4290 0 0 0 189 89 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826680666896 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18246] ppid=18237 vsize=28768328 memory=932 CPUtime=2.79 cores=0-7 /proc/18239/task/18246/stat : 18246 (java) S 18237 18237 14480 0 -1 1077944384 4408 0 0 0 189 90 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826679614352 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18247] ppid=18237 vsize=28768328 memory=1768 CPUtime=2.78 cores=0-7 /proc/18239/task/18247/stat : 18247 (java) S 18237 18237 14480 0 -1 1077944384 4363 0 0 0 190 88 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826678561808 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18248] ppid=18237 vsize=28768328 memory=1656 CPUtime=2.81 cores=0-7 /proc/18239/task/18248/stat : 18248 (java) S 18237 18237 14480 0 -1 1077944384 3359 0 0 0 191 90 0 0 20 0 28 0 421003928 29458767872 806951 33554432000 4194304 4196468 140721091796720 139826677509264 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18249] ppid=18237 vsize=28768328 memory=804 CPUtime=0.68 cores=0-7 /proc/18239/task/18249/stat : 18249 (java) S 18237 18237 14480 0 -1 1077944384 6062 0 0 0 66 2 0 0 20 0 28 0 421003930 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825261635568 139827133192834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18250] ppid=18237 vsize=28768328 memory=1448 CPUtime=0 cores=0-7 /proc/18239/task/18250/stat : 18250 (java) S 18237 18237 14480 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 421003930 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825260581856 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18251] ppid=18237 vsize=28768328 memory=1980 CPUtime=0 cores=0-7 /proc/18239/task/18251/stat : 18251 (java) S 18237 18237 14480 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 421003930 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825259529216 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18252] ppid=18237 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/18239/task/18252/stat : 18252 (java) S 18237 18237 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825258477776 139827133200283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18253] ppid=18237 vsize=28768328 memory=6789802306324843961 CPUtime=5.68 cores=0-7 /proc/18239/task/18253/stat : 18253 (java) S 18237 18237 14480 0 -1 1077944384 29736 0 0 0 562 6 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825257425392 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18254] ppid=18237 vsize=28768328 memory=3227688 CPUtime=5.61 cores=0-7 /proc/18239/task/18254/stat : 18254 (java) S 18237 18237 14480 0 -1 1077944384 29930 0 0 0 557 4 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825256372848 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18255] ppid=18237 vsize=28768328 memory=1428 CPUtime=5.17 cores=0-7 /proc/18239/task/18255/stat : 18255 (java) S 18237 18237 14480 0 -1 1077944384 33261 0 0 0 511 6 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825255320304 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18256] ppid=18237 vsize=28768328 memory=776 CPUtime=1.65 cores=0-7 /proc/18239/task/18256/stat : 18256 (java) S 18237 18237 14480 0 -1 1077944384 23920 0 0 0 160 5 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825254267760 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18257] ppid=18237 vsize=28768328 memory=4068 CPUtime=0 cores=0-7 /proc/18239/task/18257/stat : 18257 (java) S 18237 18237 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825253214432 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18258] ppid=18237 vsize=28768328 memory=1292 CPUtime=0.13 cores=0-7 /proc/18239/task/18258/stat : 18258 (java) S 18237 18237 14480 0 -1 1077944384 2245 0 0 0 6 7 0 0 20 0 28 0 421003933 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825252161968 139827133192834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18443] ppid=18237 vsize=28768328 memory=10592 CPUtime=236.34 cores=0-7 /proc/18239/task/18443/stat : 18443 (java) S 18237 18237 14480 0 -1 1077944384 9547 0 0 0 23626 8 0 0 20 0 28 0 421006922 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825240858080 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18444] ppid=18237 vsize=28768328 memory=1756 CPUtime=236.46 cores=0-7 /proc/18239/task/18444/stat : 18444 (java) S 18237 18237 14480 0 -1 1077944384 2647 0 0 0 23645 1 0 0 20 0 28 0 421006922 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825234543696 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18445] ppid=18237 vsize=28768328 memory=6791534058613427641 CPUtime=236.65 cores=0-7 /proc/18239/task/18445/stat : 18445 (java) S 18237 18237 14480 0 -1 1077944384 34586 0 0 0 23602 63 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825235596496 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18446] ppid=18237 vsize=28768328 memory=1764 CPUtime=235.68 cores=0-7 /proc/18239/task/18446/stat : 18446 (java) S 18237 18237 14480 0 -1 1077944384 4830 0 0 0 23563 5 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825236649296 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18447] ppid=18237 vsize=28768328 memory=111632 CPUtime=288.77 cores=0-7 /proc/18239/task/18447/stat : 18447 (java) R 18237 18237 14480 0 -1 4202560 1662 0 0 0 28871 6 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825238749392 139826782823532 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18448] ppid=18237 vsize=28768328 memory=796 CPUtime=286.45 cores=0-7 /proc/18239/task/18448/stat : 18448 (java) S 18237 18237 14480 0 -1 1077944384 2355 0 0 0 28637 8 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825233491472 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18449] ppid=18237 vsize=28768328 memory=1808 CPUtime=235.06 cores=0-7 /proc/18239/task/18449/stat : 18449 (java) S 18237 18237 14480 0 -1 1077944384 6346 0 0 0 23485 21 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825239806672 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 [pid=18239/tid=18450] ppid=18237 vsize=28768328 memory=920 CPUtime=236.77 cores=0-7 /proc/18239/task/18450/stat : 18450 (java) S 18237 18237 14480 0 -1 1077944384 2666 0 0 0 23676 1 0 0 20 0 28 0 421006923 29458767872 806951 33554432000 4194304 4196468 140721091796720 139825237701456 139827133191893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36114432 140721091797994 140721091798166 140721091798166 140721091801039 0 Current children cumulated CPU time: 2133.71 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 3229260 KiB Child status: 0 Real time (s): 321.862 CPU time (s): 2133.78 CPU user time (s): 2124.64 CPU system time (s): 9.14645 CPU usage (%): 662.95 Max. virtual memory (cumulated for all children) (KiB): 28883276 Max. memory (cumulated for all children) (KiB): 3229260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2124.64 system time used= 9.14645 maximum resident set size= 3227804 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 261043 page faults= 0 swaps= 0 block input operations= 0 block output operations= 744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19602 involuntary context switches= 25445 # summary of solver processes directly reported to runsolver: # pid: 18237 # total CPU time (s): 2133.78 # total CPU user time (s): 2124.64 # total CPU system time (s): 9.14645 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.94103 second user time and 3.91928 second system time The end
Begin job on node136 at 2019-09-14 09:51:49 IDJOB=4394514 IDBENCH=141103 IDSOLVER=2843 FILE ID=node136/4394514-1568447553 RUNJOBID= node136-1568439334-14507 PBS_JOBID= 21702333 Free space on /tmp= 61168 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP18/Tal/Tal-05_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394514-1568447553/watcher-4394514-1568447553 -o /tmp/evaluation-result-4394514-1568447553/solver-4394514-1568447553 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 810061333 HOME/instance-4394514-1568447553.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0bfba4554f8c52d47ef9f831901bb64c RANDOM SEED=810061333 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25793072 kB MemAvailable: 31887588 kB Buffers: 87720 kB Cached: 6282616 kB SwapCached: 3908 kB Active: 2064536 kB Inactive: 4315332 kB Active(anon): 5224 kB Inactive(anon): 44780 kB Active(file): 2059312 kB Inactive(file): 4270552 kB Unevictable: 106576 kB Mlocked: 106576 kB SwapTotal: 67108860 kB SwapFree: 67002288 kB Dirty: 26648 kB Writeback: 0 kB AnonPages: 201892 kB Mapped: 44824 kB Shmem: 31948 kB Slab: 190416 kB SReclaimable: 160976 kB SUnreclaim: 29440 kB KernelStack: 3840 kB PageTables: 6260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 499896 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 155648 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61140 MiB End job on node136 at 2019-09-14 09:57:11