Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 64 | 1806.44 | 227.32 |
Name | StillLife/ StillLife-wastage-11_c18.xml |
MD5SUM | f6f64e3bcc63ad093069241b9d76efc4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 64 |
Best CPU time to get the best result obtained on this benchmark | 1806.44 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 352 |
Number of constraints | 239 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 339 |
Distribution of domain sizes | [{"size":2,"count":169},{"size":3,"count":169},{"size":122,"count":1},{"size":339,"count":13}] |
Minimum variable degree | 1 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":166},{"degree":3,"count":16},{"degree":4,"count":44},{"degree":8,"count":40},{"degree":9,"count":81},{"degree":14,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":2,"count":57},{"arity":3,"count":44},{"arity":10,"count":121},{"arity":13,"count":4},{"arity":14,"count":1},{"arity":15,"count":12}] |
Number of extensional constraints | 165 |
Number of intensional constraints | 56 |
Distribution of constraint types | [{"type":"extension","count":165},{"type":"intension","count":56},{"type":"sum","count":14},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297358-1532689401.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297358-1532689401.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.94/1.07 c solve instance... 4.01/1.29 o 4 4.01/1.29 o 5 4.76/1.30 o 6 4.76/1.30 o 7 4.76/1.30 o 8 4.76/1.31 o 9 4.76/1.31 o 10 4.76/1.31 o 11 4.76/1.31 o 12 4.76/1.31 o 13 4.76/1.31 o 14 4.76/1.32 o 15 4.76/1.35 o 16 4.76/1.35 o 17 4.76/1.35 o 18 4.76/1.35 o 19 4.76/1.36 o 20 4.76/1.36 o 21 4.76/1.36 o 22 4.76/1.36 o 23 4.76/1.36 o 24 4.76/1.37 o 25 4.76/1.37 o 26 4.76/1.38 o 27 4.76/1.38 o 28 4.76/1.40 o 29 5.34/1.40 o 30 5.34/1.40 o 31 5.34/1.41 o 32 5.34/1.41 o 33 5.34/1.41 o 34 5.34/1.41 o 35 5.34/1.42 o 36 5.34/1.42 o 37 5.34/1.42 o 38 5.34/1.42 o 39 5.34/1.43 o 40 5.34/1.45 o 41 5.34/1.45 o 42 5.34/1.45 o 43 5.34/1.45 o 44 5.34/1.46 o 45 5.34/1.46 o 46 5.34/1.46 o 47 5.34/1.46 o 48 5.34/1.46 o 49 5.34/1.47 o 50 5.34/1.47 o 51 5.34/1.48 o 52 5.34/1.50 o 53 5.91/1.50 o 54 5.91/1.50 o 55 5.91/1.50 o 56 5.91/1.51 o 57 5.91/1.51 o 58 5.91/1.60 o 59 6.65/1.66 o 60 6.65/1.66 o 61 10.72/2.19 o 62 29.61/4.59 o 63 134.65/17.70 o 64 1805.92/227.26 s OPTIMUM FOUND 1805.92/227.26 v <instantiation> 1805.92/227.26 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] z </list> 1805.92/227.26 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 1 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 3 3 3 9 9 11 15 16 17 21 23 26 30 64 </values> 1805.92/227.26 v </instantiation>
OK 64
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 (14392 MiB free) memory of node 1: 16384 MiB (13296 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297358-1532689401/watcher-4297358-1532689401 -o /tmp/evaluation-result-4297358-1532689401/solver-4297358-1532689401 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532684358-16973 --watchdog 2580 HOME/xcsp3-exec -seed 1537987925 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297358-1532689401.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=17347, runsolver pid=17344 Current StackSize limit: 8192 KiB [startup+0.103581 s]* /proc/loadavg: 8.33 8.72 8.75 2/204 17368 /proc/meminfo: memFree=28337784/32770624 swapFree=67108860/67108860 [pid=17347] ppid=17344 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17347/stat : 17347 (xcsp3-exec) S 17344 17347 16946 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 86503294 115843072 364 33554432000 4194304 5098028 140722738386352 140722738384456 140659050017404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13934592 140722738390069 140722738390272 140722738390272 140722738393034 0 /proc/17347/statm: 28282 364 306 221 0 87 0 [pid=17349] ppid=17347 vsize=26104152 memory=27132 CPUtime=0.11 cores=0-7 /proc/17349/stat : 17349 (java) S 17347 17347 16946 0 -1 1077944320 5680 0 0 0 11 0 0 0 20 0 20 0 86503294 26730651648 6783 33554432000 4194304 4196468 140729722733584 140729722716128 140128733392631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 /proc/17349/statm: 6526038 6783 3020 1 0 6488315 0 [pid=17349/tid=17350] ppid=17347 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/17349/task/17350/stat : 17350 (java) R 17347 17347 16946 0 -1 4202560 3675 0 0 0 9 0 0 0 20 0 20 0 86503295 26730651648 6783 33554432000 4194304 4196468 140729722733584 140128737625904 140128733404566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17351] ppid=17347 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17349/task/17351/stat : 17351 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 6783 33554432000 4194304 4196468 140729722733584 140128686012944 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17352] ppid=17347 vsize=26104152 memory=139719351654016 CPUtime=0 cores=0-7 /proc/17349/task/17352/stat : 17352 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 6783 33554432000 4194304 4196468 140729722733584 140128684960400 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17353] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17353/stat : 17353 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 6783 33554432000 4194304 4196468 140729722733584 140128683907344 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17354] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17354/stat : 17354 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 6783 33554432000 4194304 4196468 140729722733584 140128682854800 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17355] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17355/stat : 17355 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 6783 33554432000 4194304 4196468 140729722733584 140128681802768 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17356] ppid=17347 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17349/task/17356/stat : 17356 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 6783 33554432000 4194304 4196468 140729722733584 140128680750224 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17357] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17357/stat : 17357 (java) S 17347 17347 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 6783 33554432000 4194304 4196468 140729722733584 140128679697168 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17358] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17358/stat : 17358 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 6783 33554432000 4194304 4196468 140729722733584 140128678644624 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17359] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17359/stat : 17359 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503297 26730651648 6783 33554432000 4194304 4196468 140729722733584 140127792740592 140128733403778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17360] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17360/stat : 17360 (java) S 17347 17347 16946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86503298 26730651648 6783 33554432000 4194304 4196468 140729722733584 140127791686816 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17361] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17361/stat : 17361 (java) S 17347 17347 16946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86503298 26730651648 6783 33554432000 4194304 4196468 140729722733584 140127790633712 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17362] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17362/stat : 17362 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503300 26730651648 6783 33554432000 4194304 4196468 140729722733584 140127789582288 140128733411227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17363] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17363/stat : 17363 (java) S 17347 17347 16946 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 86503300 26730651648 6783 33554432000 4194304 4196468 140729722733584 140127788530416 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17364] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17364/stat : 17364 (java) S 17347 17347 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86503300 26730651648 6783 33554432000 4194304 4196468 140729722733584 140127787477872 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17365] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17365/stat : 17365 (java) S 17347 17347 16946 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 86503300 26730651648 6783 33554432000 4194304 4196468 140729722733584 140127786424816 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17366] ppid=17347 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/17349/task/17366/stat : 17366 (java) R 17347 17347 16946 0 -1 4202560 309 0 0 0 1 0 0 0 20 0 20 0 86503300 26730651648 6783 33554432000 4194304 4196468 140729722733584 140127785372272 140128712199851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17367] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17367/stat : 17367 (java) S 17347 17347 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86503300 26730651648 6783 33554432000 4194304 4196468 140729722733584 140127784319456 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17368] ppid=17347 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17349/task/17368/stat : 17368 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503301 26730651648 6783 33554432000 4194304 4196468 140729722733584 140127783266992 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28588 KiB [startup+0.210661 s]* /proc/loadavg: 8.33 8.72 8.75 2/204 17368 /proc/meminfo: memFree=28326232/32770624 swapFree=67108860/67108860 [pid=17347] ppid=17344 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17347/stat : 17347 (xcsp3-exec) S 17344 17347 16946 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 86503294 115843072 364 33554432000 4194304 5098028 140722738386352 140722738384456 140659050017404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13934592 140722738390069 140722738390272 140722738390272 140722738393034 0 /proc/17347/statm: 28282 364 306 221 0 87 0 [pid=17349] ppid=17347 vsize=26104152 memory=39516 CPUtime=0.33 cores=0-7 /proc/17349/stat : 17349 (java) S 17347 17347 16946 0 -1 1077944320 8456 0 0 0 31 2 0 0 20 0 20 0 86503294 26730651648 9879 33554432000 4194304 4196468 140729722733584 140729722716128 140128733392631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 /proc/17349/statm: 6526038 9879 3169 1 0 6488315 0 [pid=17349/tid=17350] ppid=17347 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/17349/task/17350/stat : 17350 (java) R 17347 17347 16946 0 -1 4202560 5556 0 0 0 18 1 0 0 20 0 20 0 86503295 26730651648 9879 33554432000 4194304 4196468 140729722733584 140128737627328 140128358051544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17351] ppid=17347 vsize=26104152 memory=339 CPUtime=0 cores=0-7 /proc/17349/task/17351/stat : 17351 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 9879 33554432000 4194304 4196468 140729722733584 140128686012944 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17352] ppid=17347 vsize=26104152 memory=139719351671245 CPUtime=0 cores=0-7 /proc/17349/task/17352/stat : 17352 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 9879 33554432000 4194304 4196468 140729722733584 140128684960400 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17353] ppid=17347 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17349/task/17353/stat : 17353 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 9879 33554432000 4194304 4196468 140729722733584 140128683907344 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17354] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17354/stat : 17354 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 9879 33554432000 4194304 4196468 140729722733584 140128682854800 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17355] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17355/stat : 17355 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 9879 33554432000 4194304 4196468 140729722733584 140128681802768 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17356] ppid=17347 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17349/task/17356/stat : 17356 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 9879 33554432000 4194304 4196468 140729722733584 140128680750224 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17357] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17357/stat : 17357 (java) S 17347 17347 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 9879 33554432000 4194304 4196468 140729722733584 140128679697168 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17358] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17358/stat : 17358 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26730651648 9879 33554432000 4194304 4196468 140729722733584 140128678644624 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17359] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17359/stat : 17359 (java) S 17347 17347 16946 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86503297 26730651648 9879 33554432000 4194304 4196468 140729722733584 140127792740592 140128733403778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17360] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17360/stat : 17360 (java) S 17347 17347 16946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86503298 26730651648 9879 33554432000 4194304 4196468 140729722733584 140127791686816 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17361] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17361/stat : 17361 (java) S 17347 17347 16946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86503298 26730651648 9879 33554432000 4194304 4196468 140729722733584 140127790633712 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17362] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17362/stat : 17362 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503300 26730651648 9879 33554432000 4194304 4196468 140729722733584 140127789582288 140128733411227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17363] ppid=17347 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/17349/task/17363/stat : 17363 (java) S 17347 17347 16946 0 -1 1077944384 540 0 0 0 2 0 0 0 20 0 20 0 86503300 26730651648 9879 33554432000 4194304 4196468 140729722733584 140127788530416 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17364] ppid=17347 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/17349/task/17364/stat : 17364 (java) S 17347 17347 16946 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 20 0 86503300 26730651648 9879 33554432000 4194304 4196468 140729722733584 140127787477872 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17365] ppid=17347 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17349/task/17365/stat : 17365 (java) S 17347 17347 16946 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 20 0 86503300 26730651648 9879 33554432000 4194304 4196468 140729722733584 140127786424816 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17366] ppid=17347 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/17349/task/17366/stat : 17366 (java) R 17347 17347 16946 0 -1 4202560 822 0 0 0 7 0 0 0 20 0 20 0 86503300 26730651648 9879 33554432000 4194304 4196468 140729722733584 140127785372272 140128725629758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17367] ppid=17347 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17367/stat : 17367 (java) S 17347 17347 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86503300 26730651648 9879 33554432000 4194304 4196468 140729722733584 140127784319456 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17368] ppid=17347 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/17349/task/17368/stat : 17368 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503301 26730651648 9879 33554432000 4194304 4196468 140729722733584 140127783266992 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40972 KiB [startup+0.310899 s]* /proc/loadavg: 8.33 8.72 8.75 3/204 17368 /proc/meminfo: memFree=28320028/32770624 swapFree=67108860/67108860 [pid=17347] ppid=17344 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17347/stat : 17347 (xcsp3-exec) S 17344 17347 16946 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 86503294 115843072 364 33554432000 4194304 5098028 140722738386352 140722738384456 140659050017404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13934592 140722738390069 140722738390272 140722738390272 140722738393034 0 /proc/17347/statm: 28282 364 306 221 0 87 0 [pid=17349] ppid=17347 vsize=26108408 memory=45772 CPUtime=0.49 cores=0-7 /proc/17349/stat : 17349 (java) S 17347 17347 16946 0 -1 1077944320 9120 0 1 0 46 3 0 0 20 0 20 0 86503294 26735009792 11443 33554432000 4194304 4196468 140729722733584 140729722716128 140128733392631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 /proc/17349/statm: 6527102 11443 3250 1 0 6488315 0 [pid=17349/tid=17350] ppid=17347 vsize=26108408 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/17349/task/17350/stat : 17350 (java) R 17347 17347 16946 0 -1 4202560 6133 0 1 0 26 2 0 0 20 0 20 0 86503295 26735009792 11443 33554432000 4194304 4196468 140729722733584 140128737623744 140128717473118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17351] ppid=17347 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17351/stat : 17351 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503296 26735009792 11443 33554432000 4194304 4196468 140729722733584 140128686012944 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17352] ppid=17347 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17352/stat : 17352 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26735009792 11443 33554432000 4194304 4196468 140729722733584 140128684960400 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17353] ppid=17347 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17353/stat : 17353 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26735009792 11443 33554432000 4194304 4196468 140729722733584 140128683907344 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17354] ppid=17347 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17354/stat : 17354 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26735009792 11443 33554432000 4194304 4196468 140729722733584 140128682854800 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17355] ppid=17347 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/17349/task/17355/stat : 17355 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503296 26735009792 11443 33554432000 4194304 4196468 140729722733584 140128681802768 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17356] ppid=17347 vsize=26108408 memory=139719245657007 CPUtime=0 cores=0-7 /proc/17349/task/17356/stat : 17356 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26735009792 11443 33554432000 4194304 4196468 140729722733584 140128680750224 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17357] ppid=17347 vsize=26108408 memory=139719245659312 CPUtime=0 cores=0-7 /proc/17349/task/17357/stat : 17357 (java) S 17347 17347 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86503296 26735009792 11443 33554432000 4194304 4196468 140729722733584 140128679697168 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17358] ppid=17347 vsize=26108408 memory=139719245661616 CPUtime=0 cores=0-7 /proc/17349/task/17358/stat : 17358 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26735009792 11443 33554432000 4194304 4196468 140729722733584 140128678644624 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17359] ppid=17347 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17359/stat : 17359 (java) S 17347 17347 16946 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86503297 26735009792 11443 33554432000 4194304 4196468 140729722733584 140127792740592 140128733403778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17360] ppid=17347 vsize=26108408 memory=279438491330192 CPUtime=0 cores=0-7 /proc/17349/task/17360/stat : 17360 (java) S 17347 17347 16946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86503298 26735009792 11443 33554432000 4194304 4196468 140729722733584 140127791686816 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17361] ppid=17347 vsize=26108408 memory=279438491337104 CPUtime=0 cores=0-7 /proc/17349/task/17361/stat : 17361 (java) S 17347 17347 16946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86503298 26735009792 11443 33554432000 4194304 4196468 140729722733584 140127790633712 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17362] ppid=17347 vsize=26108408 memory=279438491278384 CPUtime=0 cores=0-7 /proc/17349/task/17362/stat : 17362 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503300 26735009792 11443 33554432000 4194304 4196468 140729722733584 140127789582288 140128733411227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17363] ppid=17347 vsize=26108408 memory=279438491350928 CPUtime=0.03 cores=0-7 /proc/17349/task/17363/stat : 17363 (java) R 17347 17347 16946 0 -1 4202560 546 0 0 0 3 0 0 0 20 0 20 0 86503300 26735009792 11443 33554432000 4194304 4196468 140729722733584 140127788530416 140128717779896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17364] ppid=17347 vsize=26108408 memory=279438491357840 CPUtime=0.01 cores=0-7 /proc/17349/task/17364/stat : 17364 (java) S 17347 17347 16946 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 86503300 26735009792 11443 33554432000 4194304 4196468 140729722733584 140127787477872 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17365] ppid=17347 vsize=26108408 memory=279438491355536 CPUtime=0.01 cores=0-7 /proc/17349/task/17365/stat : 17365 (java) S 17347 17347 16946 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 20 0 86503300 26735009792 11443 33554432000 4194304 4196468 140729722733584 140127786424816 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17366] ppid=17347 vsize=26108408 memory=279438491371696 CPUtime=0.12 cores=0-7 /proc/17349/task/17366/stat : 17366 (java) R 17347 17347 16946 0 -1 4202560 894 0 0 0 12 0 0 0 20 0 20 0 86503300 26735009792 11443 33554432000 4194304 4196468 140729722733584 140127785372272 140128712527159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17367] ppid=17347 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17367/stat : 17367 (java) S 17347 17347 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86503300 26735009792 11443 33554432000 4194304 4196468 140729722733584 140127784319456 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17368] ppid=17347 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/17349/task/17368/stat : 17368 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503301 26735009792 11443 33554432000 4194304 4196468 140729722733584 140127783266992 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47228 KiB [startup+0.700983 s] /proc/loadavg: 8.33 8.72 8.75 4/204 17368 /proc/meminfo: memFree=28298508/32770624 swapFree=67108860/67108860 [pid=17347] ppid=17344 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17347/stat : 17347 (xcsp3-exec) S 17344 17347 16946 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 86503294 115843072 364 33554432000 4194304 5098028 140722738386352 140722738384456 140659050017404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13934592 140722738390069 140722738390272 140722738390272 140722738393034 0 /proc/17347/statm: 28282 364 306 221 0 87 0 [pid=17349] ppid=17347 vsize=26110532 memory=84276 CPUtime=1.59 cores=0-7 /proc/17349/stat : 17349 (java) S 17347 17347 16946 0 -1 1077944320 13757 0 1 0 154 5 0 0 20 0 20 0 86503294 26737184768 21069 33554432000 4194304 4196468 140729722733584 140729722716128 140128733392631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 /proc/17349/statm: 6527633 21069 3354 1 0 6488827 0 [pid=17349/tid=17350] ppid=17347 vsize=26110532 memory=279438491729584 CPUtime=0.66 cores=0-7 /proc/17349/task/17350/stat : 17350 (java) R 17347 17347 16946 0 -1 4202560 7269 0 1 0 63 3 0 0 20 0 20 0 86503295 26737184768 21069 33554432000 4194304 4196468 140729722733584 140128737628464 140128733404566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17351] ppid=17347 vsize=26110532 memory=139719245865840 CPUtime=0 cores=0-7 /proc/17349/task/17351/stat : 17351 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86503296 26737184768 21069 33554432000 4194304 4196468 140729722733584 140128686012944 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17352] ppid=17347 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/17349/task/17352/stat : 17352 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26737184768 21069 33554432000 4194304 4196468 140729722733584 140128684960400 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17353] ppid=17347 vsize=26110532 memory=8496 CPUtime=0 cores=0-7 /proc/17349/task/17353/stat : 17353 (java) S 17347 17347 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86503296 26737184768 21069 33554432000 4194304 4196468 140729722733584 140128683907344 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 ################ # More data... # ################ [pid=17349/tid=17855] ppid=17347 vsize=26712684 memory=792 CPUtime=206.84 cores=0-7 /proc/17349/task/17855/stat : 17855 (java) R 17347 17347 16946 0 -1 4202560 2883 0 0 0 20677 7 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127767310288 140128366308270 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17856] ppid=17347 vsize=26712684 memory=1456 CPUtime=208.43 cores=0-7 /proc/17349/task/17856/stat : 17856 (java) R 17347 17347 16946 0 -1 4202560 12666 0 0 0 20792 51 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127769416488 140128365923925 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17857] ppid=17347 vsize=26712684 memory=7533560 CPUtime=208.62 cores=0-7 /proc/17349/task/17857/stat : 17857 (java) R 17347 17347 16946 0 -1 4202560 12103 0 0 0 20778 84 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127772573192 140128366165463 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17858] ppid=17347 vsize=26712684 memory=1236 CPUtime=208.62 cores=0-7 /proc/17349/task/17858/stat : 17858 (java) R 17347 17347 16946 0 -1 4202560 2953 0 0 0 20846 16 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127765205656 140128368761018 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17859] ppid=17347 vsize=26712684 memory=960 CPUtime=207.24 cores=0-7 /proc/17349/task/17859/stat : 17859 (java) R 17347 17347 16946 0 -1 4202560 10627 0 0 0 20680 44 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127768363560 140128367936417 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17860] ppid=17347 vsize=26712684 memory=1456 CPUtime=208.59 cores=0-7 /proc/17349/task/17860/stat : 17860 (java) R 17347 17347 16946 0 -1 4202560 3535 0 0 0 20844 15 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127771521832 140128365752180 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 Current children cumulated CPU time: 1799.54 s Current children cumulated vsize: 26825812 KiB Current children cumulated memory: 7535016 KiB [startup+226.802 s] /proc/loadavg: 8.15 8.53 8.67 9/209 17860 /proc/meminfo: memFree=20820768/32770624 swapFree=67108860/67108860 [pid=17347] ppid=17344 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17347/stat : 17347 (xcsp3-exec) S 17344 17347 16946 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 86503294 115843072 364 33554432000 4194304 5098028 140722738386352 140722738384456 140659050017404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13934592 140722738390069 140722738390272 140722738390272 140722738393034 0 /proc/17347/statm: 28282 364 306 221 0 87 0 [pid=17349] ppid=17347 vsize=26712684 memory=7533560 CPUtime=1802.73 cores=0-7 /proc/17349/stat : 17349 (java) S 17347 17347 16946 0 -1 1077944320 134467 0 4 0 179914 359 0 0 20 0 28 0 86503294 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140729722716128 140128733392631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 /proc/17349/statm: 6678171 1883390 3434 1 0 6639365 0 [pid=17349/tid=17350] ppid=17347 vsize=26712684 memory=15252670952770799 CPUtime=1.08 cores=0-7 /proc/17349/task/17350/stat : 17350 (java) S 17347 17347 16946 0 -1 1077944384 9200 0 1 0 103 5 0 0 20 0 28 0 86503295 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128737633408 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17351] ppid=17347 vsize=26712684 memory=6791534058613427641 CPUtime=0.11 cores=0-7 /proc/17349/task/17351/stat : 17351 (java) S 17347 17347 16946 0 -1 1077944384 1028 0 0 0 7 4 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128686012944 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17352] ppid=17347 vsize=26712684 memory=4872558044660077418 CPUtime=0.13 cores=0-7 /proc/17349/task/17352/stat : 17352 (java) S 17347 17347 16946 0 -1 1077944384 891 0 0 0 8 5 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128684960400 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17353] ppid=17347 vsize=26712684 memory=4100 CPUtime=0.1 cores=0-7 /proc/17349/task/17353/stat : 17353 (java) S 17347 17347 16946 0 -1 1077944384 1148 0 0 0 5 5 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128683907344 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17354] ppid=17347 vsize=26712684 memory=1408 CPUtime=0.14 cores=0-7 /proc/17349/task/17354/stat : 17354 (java) S 17347 17347 16946 0 -1 1077944384 1283 0 0 0 8 6 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128682854800 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17355] ppid=17347 vsize=26712684 memory=5752 CPUtime=0.1 cores=0-7 /proc/17349/task/17355/stat : 17355 (java) S 17347 17347 16946 0 -1 1077944384 846 0 0 0 6 4 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128681802768 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17356] ppid=17347 vsize=26712684 memory=4100 CPUtime=0.11 cores=0-7 /proc/17349/task/17356/stat : 17356 (java) S 17347 17347 16946 0 -1 1077944384 741 0 0 0 6 5 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128680750224 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17357] ppid=17347 vsize=26712684 memory=1408 CPUtime=0.09 cores=0-7 /proc/17349/task/17357/stat : 17357 (java) S 17347 17347 16946 0 -1 1077944384 890 0 0 0 5 4 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128679697168 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17358] ppid=17347 vsize=26712684 memory=3592 CPUtime=0.13 cores=0-7 /proc/17349/task/17358/stat : 17358 (java) S 17347 17347 16946 0 -1 1077944384 963 0 0 0 8 5 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128678644624 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17359] ppid=17347 vsize=26712684 memory=1456 CPUtime=0.03 cores=0-7 /proc/17349/task/17359/stat : 17359 (java) S 17347 17347 16946 0 -1 1077944384 5559 0 0 0 3 0 0 0 20 0 28 0 86503297 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127792740592 140128733403778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17360] ppid=17347 vsize=26712684 memory=7533560 CPUtime=0 cores=0-7 /proc/17349/task/17360/stat : 17360 (java) S 17347 17347 16946 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 86503298 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127791686880 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17361] ppid=17347 vsize=26712684 memory=18248 CPUtime=0 cores=0-7 /proc/17349/task/17361/stat : 17361 (java) S 17347 17347 16946 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 86503298 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127790633728 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17362] ppid=17347 vsize=26712684 memory=4124 CPUtime=0 cores=0-7 /proc/17349/task/17362/stat : 17362 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86503300 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127789582288 140128733411227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17363] ppid=17347 vsize=26712684 memory=2200 CPUtime=2.08 cores=0-7 /proc/17349/task/17363/stat : 17363 (java) S 17347 17347 16946 0 -1 1077944384 9602 0 0 0 206 2 0 0 20 0 28 0 86503300 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127788530416 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17364] ppid=17347 vsize=26712684 memory=8148 CPUtime=1.85 cores=0-7 /proc/17349/task/17364/stat : 17364 (java) S 17347 17347 16946 0 -1 1077944384 9996 0 0 0 183 2 0 0 20 0 28 0 86503300 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127787477872 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17365] ppid=17347 vsize=26712684 memory=844 CPUtime=1.86 cores=0-7 /proc/17349/task/17365/stat : 17365 (java) S 17347 17347 16946 0 -1 1077944384 6870 0 3 0 185 1 0 0 20 0 28 0 86503300 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127786424816 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17366] ppid=17347 vsize=26712684 memory=1692 CPUtime=0.96 cores=0-7 /proc/17349/task/17366/stat : 17366 (java) S 17347 17347 16946 0 -1 1077944384 10622 0 0 0 94 2 0 0 20 0 28 0 86503300 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127785372272 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17367] ppid=17347 vsize=26712684 memory=916 CPUtime=0 cores=0-7 /proc/17349/task/17367/stat : 17367 (java) S 17347 17347 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86503300 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127784319456 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17368] ppid=17347 vsize=26712684 memory=5752 CPUtime=0.06 cores=0-7 /proc/17349/task/17368/stat : 17368 (java) S 17347 17347 16946 0 -1 1077944384 1365 0 0 0 0 6 0 0 20 0 28 0 86503301 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127783266992 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17853] ppid=17347 vsize=26712684 memory=4100 CPUtime=208.99 cores=0-7 /proc/17349/task/17853/stat : 17853 (java) R 17347 17347 16946 0 -1 4202560 3966 0 0 0 20888 11 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127764154288 140128366356017 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17854] ppid=17347 vsize=26712684 memory=1408 CPUtime=207.89 cores=0-7 /proc/17349/task/17854/stat : 17854 (java) R 17347 17347 16946 0 -1 4202560 3602 0 0 0 20782 7 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127766258840 140128365752493 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17855] ppid=17347 vsize=26712684 memory=279438493834944 CPUtime=207.24 cores=0-7 /proc/17349/task/17855/stat : 17855 (java) R 17347 17347 16946 0 -1 4202560 2883 0 0 0 20717 7 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127767310288 140128366309195 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17856] ppid=17347 vsize=26712684 memory=6005107448290961764 CPUtime=208.83 cores=0-7 /proc/17349/task/17856/stat : 17856 (java) R 17347 17347 16946 0 -1 4202560 12668 0 0 0 20832 51 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127769416488 140128365633760 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17857] ppid=17347 vsize=26712684 memory=6791534058613427641 CPUtime=209.02 cores=0-7 /proc/17349/task/17857/stat : 17857 (java) R 17347 17347 16946 0 -1 4202560 12107 0 0 0 20818 84 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127772573192 140128366310351 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17858] ppid=17347 vsize=26712684 memory=6791534058613427641 CPUtime=209.02 cores=0-7 /proc/17349/task/17858/stat : 17858 (java) R 17347 17347 16946 0 -1 4202560 2953 0 0 0 20886 16 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127765205656 140128365633564 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17859] ppid=17347 vsize=26712684 memory=5792307942131723111 CPUtime=207.64 cores=0-7 /proc/17349/task/17859/stat : 17859 (java) R 17347 17347 16946 0 -1 4202560 10630 0 0 0 20720 44 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127768363560 140729723259094 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17860] ppid=17347 vsize=26712684 memory=7660992824738998383 CPUtime=208.99 cores=0-7 /proc/17349/task/17860/stat : 17860 (java) R 17347 17347 16946 0 -1 4202560 3536 0 0 0 20884 15 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127771521832 140128365752180 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 Current children cumulated CPU time: 1802.73 s Current children cumulated vsize: 26825812 KiB Current children cumulated memory: 7535016 KiB [startup+227.202 s] /proc/loadavg: 8.15 8.53 8.67 9/209 17860 /proc/meminfo: memFree=20820804/32770624 swapFree=67108860/67108860 [pid=17347] ppid=17344 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17347/stat : 17347 (xcsp3-exec) S 17344 17347 16946 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 86503294 115843072 364 33554432000 4194304 5098028 140722738386352 140722738384456 140659050017404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13934592 140722738390069 140722738390272 140722738390272 140722738393034 0 /proc/17347/statm: 28282 364 306 221 0 87 0 [pid=17349] ppid=17347 vsize=26712684 memory=7533560 CPUtime=1805.92 cores=0-7 /proc/17349/stat : 17349 (java) S 17347 17347 16946 0 -1 1077944320 134499 0 4 0 180232 360 0 0 20 0 28 0 86503294 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140729722716128 140128733392631 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 /proc/17349/statm: 6678171 1883390 3434 1 0 6639365 0 [pid=17349/tid=17350] ppid=17347 vsize=26712684 memory=1456 CPUtime=1.08 cores=0-7 /proc/17349/task/17350/stat : 17350 (java) S 17347 17347 16946 0 -1 1077944384 9200 0 1 0 103 5 0 0 20 0 28 0 86503295 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128737633408 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17351] ppid=17347 vsize=26712684 memory=6791534058613427641 CPUtime=0.11 cores=0-7 /proc/17349/task/17351/stat : 17351 (java) S 17347 17347 16946 0 -1 1077944384 1028 0 0 0 7 4 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128686012944 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17352] ppid=17347 vsize=26712684 memory=7533560 CPUtime=0.13 cores=0-7 /proc/17349/task/17352/stat : 17352 (java) S 17347 17347 16946 0 -1 1077944384 891 0 0 0 8 5 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128684960400 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17353] ppid=17347 vsize=26712684 memory=1296 CPUtime=0.1 cores=0-7 /proc/17349/task/17353/stat : 17353 (java) S 17347 17347 16946 0 -1 1077944384 1148 0 0 0 5 5 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128683907344 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17354] ppid=17347 vsize=26712684 memory=1456 CPUtime=0.14 cores=0-7 /proc/17349/task/17354/stat : 17354 (java) S 17347 17347 16946 0 -1 1077944384 1283 0 0 0 8 6 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128682854800 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17355] ppid=17347 vsize=26712684 memory=6218720 CPUtime=0.1 cores=0-7 /proc/17349/task/17355/stat : 17355 (java) S 17347 17347 16946 0 -1 1077944384 846 0 0 0 6 4 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128681802768 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17356] ppid=17347 vsize=26712684 memory=7533560 CPUtime=0.11 cores=0-7 /proc/17349/task/17356/stat : 17356 (java) S 17347 17347 16946 0 -1 1077944384 741 0 0 0 6 5 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128680750224 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17357] ppid=17347 vsize=26712684 memory=2424 CPUtime=0.09 cores=0-7 /proc/17349/task/17357/stat : 17357 (java) S 17347 17347 16946 0 -1 1077944384 890 0 0 0 5 4 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128679697168 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17358] ppid=17347 vsize=26712684 memory=1840 CPUtime=0.13 cores=0-7 /proc/17349/task/17358/stat : 17358 (java) S 17347 17347 16946 0 -1 1077944384 963 0 0 0 8 5 0 0 20 0 28 0 86503296 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140128678644624 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17359] ppid=17347 vsize=26712684 memory=1004 CPUtime=0.03 cores=0-7 /proc/17349/task/17359/stat : 17359 (java) S 17347 17347 16946 0 -1 1077944384 5559 0 0 0 3 0 0 0 20 0 28 0 86503297 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127792740592 140128733403778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17360] ppid=17347 vsize=26712684 memory=12060 CPUtime=0 cores=0-7 /proc/17349/task/17360/stat : 17360 (java) S 17347 17347 16946 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 86503298 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127791686880 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17361] ppid=17347 vsize=26712684 memory=5788 CPUtime=0 cores=0-7 /proc/17349/task/17361/stat : 17361 (java) S 17347 17347 16946 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 86503298 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127790633728 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17362] ppid=17347 vsize=26712684 memory=792 CPUtime=0 cores=0-7 /proc/17349/task/17362/stat : 17362 (java) S 17347 17347 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86503300 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127789582288 140128733411227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17363] ppid=17347 vsize=26712684 memory=1228 CPUtime=2.08 cores=0-7 /proc/17349/task/17363/stat : 17363 (java) S 17347 17347 16946 0 -1 1077944384 9602 0 0 0 206 2 0 0 20 0 28 0 86503300 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127788530416 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17364] ppid=17347 vsize=26712684 memory=1944 CPUtime=1.85 cores=0-7 /proc/17349/task/17364/stat : 17364 (java) S 17347 17347 16946 0 -1 1077944384 9996 0 0 0 183 2 0 0 20 0 28 0 86503300 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127787477872 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17365] ppid=17347 vsize=26712684 memory=1416 CPUtime=1.86 cores=0-7 /proc/17349/task/17365/stat : 17365 (java) S 17347 17347 16946 0 -1 1077944384 6870 0 3 0 185 1 0 0 20 0 28 0 86503300 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127786424816 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17366] ppid=17347 vsize=26712684 memory=4612 CPUtime=0.96 cores=0-7 /proc/17349/task/17366/stat : 17366 (java) S 17347 17347 16946 0 -1 1077944384 10622 0 0 0 94 2 0 0 20 0 28 0 86503300 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127785372272 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17367] ppid=17347 vsize=26712684 memory=8496 CPUtime=0 cores=0-7 /proc/17349/task/17367/stat : 17367 (java) S 17347 17347 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86503300 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127784319456 140128733402837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17368] ppid=17347 vsize=26712684 memory=1624 CPUtime=0.06 cores=0-7 /proc/17349/task/17368/stat : 17368 (java) S 17347 17347 16946 0 -1 1077944384 1365 0 0 0 0 6 0 0 20 0 28 0 86503301 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127783266992 140128733403778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17853] ppid=17347 vsize=26712684 memory=1200 CPUtime=209.39 cores=0-7 /proc/17349/task/17853/stat : 17853 (java) R 17347 17347 16946 0 -1 4202560 3968 0 0 0 20928 11 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127764154288 140128366366285 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17854] ppid=17347 vsize=26712684 memory=15872 CPUtime=208.29 cores=0-7 /proc/17349/task/17854/stat : 17854 (java) R 17347 17347 16946 0 -1 4202560 3605 0 0 0 20822 7 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127766258840 140128365633010 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17855] ppid=17347 vsize=26712684 memory=15368 CPUtime=207.63 cores=0-7 /proc/17349/task/17855/stat : 17855 (java) R 17347 17347 16946 0 -1 4202560 2884 0 0 0 20756 7 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127767310288 140128366366329 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17856] ppid=17347 vsize=26712684 memory=4052 CPUtime=209.23 cores=0-7 /proc/17349/task/17856/stat : 17856 (java) R 17347 17347 16946 0 -1 4202560 12671 0 0 0 20872 51 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127769416488 140128366309380 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17857] ppid=17347 vsize=26712684 memory=18248 CPUtime=209.42 cores=0-7 /proc/17349/task/17857/stat : 17857 (java) R 17347 17347 16946 0 -1 4202560 12115 0 0 0 20858 84 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127772573192 140128365752189 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17858] ppid=17347 vsize=26712684 memory=640 CPUtime=209.42 cores=0-7 /proc/17349/task/17858/stat : 17858 (java) R 17347 17347 16946 0 -1 4202560 2955 0 0 0 20926 16 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127765205656 140128365752105 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17859] ppid=17347 vsize=26712684 memory=1784 CPUtime=208.04 cores=0-7 /proc/17349/task/17859/stat : 17859 (java) R 17347 17347 16946 0 -1 4202560 10641 0 0 0 20759 45 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127768363560 140128366309536 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 [pid=17349/tid=17860] ppid=17347 vsize=26712684 memory=1236 CPUtime=209.39 cores=0-7 /proc/17349/task/17860/stat : 17860 (java) R 17347 17347 16946 0 -1 4202560 3538 0 0 0 20924 15 0 0 20 0 28 0 86505065 27353788416 1883390 33554432000 4194304 4196468 140729722733584 140127771521832 140128366366651 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 19640320 140729722737793 140729722737965 140729722737965 140729722740687 0 Current children cumulated CPU time: 1805.92 s Current children cumulated vsize: 26825812 KiB Current children cumulated memory: 7535016 KiB [startup+227.301 s] /proc/loadavg: 8.15 8.53 8.67 9/209 17860 /proc/meminfo: memFree=20820804/32770624 swapFree=67108860/67108860 [pid=17347] ppid=17344 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17347/stat : 17347 (xcsp3-exec) S 17344 17347 16946 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 86503294 115843072 364 33554432000 4194304 5098028 140722738386352 140722738384456 140659050017404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13934592 140722738390069 140722738390272 140722738390272 140722738393034 0 /proc/17347/statm: 28282 364 306 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 0 Real time (s): 227.32 CPU time (s): 1806.44 CPU user time (s): 1802.79 CPU system time (s): 3.65401 CPU usage (%): 794.67 Max. virtual memory (cumulated for all children) (KiB): 26825812 Max. memory (cumulated for all children) (KiB): 7535016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1802.79 system time used= 3.65401 maximum resident set size= 7533568 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 136811 page faults= 4 swaps= 0 block input operations= 3056 block output operations= 400 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14449 involuntary context switches= 19490 # summary of solver processes directly reported to runsolver: # pid: 17347 # total CPU time (s): 1806.44 # total CPU user time (s): 1802.79 # total CPU system time (s): 3.65401 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.37235 second user time and 2.3186 second system time The end
Begin job on node151 at 2018-07-27 13:03:21 IDJOB=4297358 IDBENCH=141029 IDSOLVER=2760 FILE ID=node151/4297358-1532689401 RUNJOBID= node151-1532684358-16973 PBS_JOBID= 21022271 Free space on /tmp= 54928 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/StillLife/StillLife-wastage-11_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297358-1532689401/watcher-4297358-1532689401 -o /tmp/evaluation-result-4297358-1532689401/solver-4297358-1532689401 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532684358-16973 --watchdog 2580 HOME/xcsp3-exec -seed 1537987925 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297358-1532689401.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f6f64e3bcc63ad093069241b9d76efc4 RANDOM SEED=1537987925 node151.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.87 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.87 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.87 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.87 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: 28352644 kB MemAvailable: 31964700 kB Buffers: 149428 kB Cached: 3733176 kB SwapCached: 0 kB Active: 1402688 kB Inactive: 2536344 kB Active(anon): 6312 kB Inactive(anon): 78220 kB Active(file): 1396376 kB Inactive(file): 2458124 kB Unevictable: 7796 kB Mlocked: 7796 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21792 kB Writeback: 0 kB AnonPages: 110016 kB Mapped: 41436 kB Shmem: 25224 kB Slab: 174076 kB SReclaimable: 146784 kB SUnreclaim: 27292 kB KernelStack: 3968 kB PageTables: 4392 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326564 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 55296 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 54908 MiB End job on node151 at 2018-07-27 13:07:08