Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 0 | 2008.13 | 252.097 |
Name | BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml |
MD5SUM | 6d00557b853b2556046a5f6541eccb2e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 2007.14 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 181 |
Number of constraints | 27 |
Number of domains | 2 |
Minimum domain size | 13 |
Maximum domain size | 59 |
Distribution of domain sizes | [{"size":13,"count":1},{"size":59,"count":180}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":168},{"degree":5,"count":12}] |
Minimum constraint arity | 13 |
Maximum constraint arity | 180 |
Distribution of constraint arities | [{"arity":13,"count":1},{"arity":15,"count":24},{"arity":180,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":12},{"type":"lex","count":1},{"type":"sum","count":12},{"type":"count","count":1},{"type":"cardinality","count":1}] |
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-4271461-1502645990.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271461-1502645990.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 1.06/0.54 c solve instance... 49.10/6.67 o 0 2007.47/252.07 s SATISFIABLE 2007.47/252.07 v <instantiation> 2007.47/252.07 v <list>x b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[11][6] b[11][7] b[11][8] b[11][9] b[11][10] b[11][11] b[11][12] b[11][13] b[11][14] </list> 2007.47/252.07 v <values>0 165 155 151 136 131 101 71 0 0 0 0 0 0 0 0 165 114 107 106 105 97 79 79 77 70 0 0 0 0 0 164 161 146 131 131 104 98 0 0 0 0 0 0 0 0 164 161 134 133 129 116 116 0 0 0 0 0 0 0 0 156 154 150 149 148 135 0 0 0 0 0 0 0 0 0 155 154 154 154 149 118 116 0 0 0 0 0 0 0 0 151 91 91 91 88 86 86 84 78 78 76 0 0 0 0 144 129 124 124 116 114 105 101 0 0 0 0 0 0 0 142 132 131 130 96 74 0 0 0 0 0 0 0 0 0 142 130 120 118 118 117 86 69 65 0 0 0 0 0 0 141 136 102 96 94 71 65 59 59 59 59 59 0 0 0 139 139 138 132 123 67 64 60 60 59 0 0 0 0 0 </values> 2007.47/252.07 v </instantiation> 2007.47/252.07 c Unexpected resolution interruption!
OK 0
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13460 MiB free) memory of node 1: 16384 MiB (14618 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271461-1502645990/watcher-4271461-1502645990 -o /tmp/evaluation-result-4271461-1502645990/solver-4271461-1502645990 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502642846-14765 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1423142533 HOME/instance-4271461-1502645990.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=16249, runsolver pid=16246 [startup+0.10013 s]* /proc/loadavg: 8.11 6.58 5.72 2/199 16270 /proc/meminfo: memFree=28737352/32770624 swapFree=67108860/67108860 [pid=16249] ppid=16246 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16249/stat : 16249 (xcsp3-exec) S 16246 16249 14738 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97679919 9740288 345 33554432000 4194304 5098028 140721934802976 140721934801080 140235627774588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37867520 140721934804074 140721934804284 140721934804284 140721934807019 0 /proc/16249/statm: 2378 345 289 221 0 87 0 [pid=16251] ppid=16249 vsize=25999808 memory=27092 CPUtime=0.11 cores=0-7 /proc/16251/stat : 16251 (java) S 16249 16249 14738 0 -1 1077944320 5578 0 0 0 11 0 0 0 20 0 20 0 97679919 26623803392 6773 33554432000 4194304 4196468 140731040307616 140731040290160 140049526410999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 /proc/16251/statm: 6499952 6773 2901 1 0 6488269 0 [pid=16251/tid=16252] ppid=16249 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/16251/task/16252/stat : 16252 (java) R 16249 16249 14738 0 -1 4202560 3588 0 0 0 8 0 0 0 20 0 20 0 97679919 26623803392 6773 33554432000 4194304 4196468 140731040307616 140049530644272 140049510491486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16253] ppid=16249 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16251/task/16253/stat : 16253 (java) S 16249 16249 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97679920 26623803392 6773 33554432000 4194304 4196468 140731040307616 140049489517328 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16254] ppid=16249 vsize=25999808 memory=139667690546816 CPUtime=0 cores=0-7 /proc/16251/task/16254/stat : 16254 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26623803392 6773 33554432000 4194304 4196468 140731040307616 140049083923344 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16255] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16255/stat : 16255 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26623803392 6773 33554432000 4194304 4196468 140731040307616 140049082870800 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16256] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16256/stat : 16256 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26623803392 6773 33554432000 4194304 4196468 140731040307616 140049081818256 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16257] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16257/stat : 16257 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26623803392 6773 33554432000 4194304 4196468 140731040307616 140049080764688 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16258] ppid=16249 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/16251/task/16258/stat : 16258 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26623803392 6773 33554432000 4194304 4196468 140731040307616 140049079712144 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16259] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16259/stat : 16259 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26623803392 6773 33554432000 4194304 4196468 140731040307616 140049078659600 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16260] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16260/stat : 16260 (java) S 16249 16249 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97679920 26623803392 6773 33554432000 4194304 4196468 140731040307616 140049077607056 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16261] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16261/stat : 16261 (java) S 16249 16249 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97679921 26623803392 6773 33554432000 4194304 4196468 140731040307616 140048134248944 140049526422146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16262] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16262/stat : 16262 (java) S 16249 16249 14738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97679922 26623803392 6773 33554432000 4194304 4196468 140731040307616 140048133195168 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16263] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16263/stat : 16263 (java) S 16249 16249 14738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97679922 26623803392 6773 33554432000 4194304 4196468 140731040307616 140048132142576 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16264] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16264/stat : 16264 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679924 26623803392 6773 33554432000 4194304 4196468 140731040307616 140048131091152 140049526429595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16265] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16265/stat : 16265 (java) S 16249 16249 14738 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 20 0 97679924 26623803392 6773 33554432000 4194304 4196468 140731040307616 140048130037744 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16266] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16266/stat : 16266 (java) S 16249 16249 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97679924 26623803392 6773 33554432000 4194304 4196468 140731040307616 140048128985200 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16267] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16267/stat : 16267 (java) S 16249 16249 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97679924 26623803392 6773 33554432000 4194304 4196468 140731040307616 140048127932656 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16268] ppid=16249 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/16251/task/16268/stat : 16268 (java) R 16249 16249 14738 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 20 0 97679924 26623803392 6773 33554432000 4194304 4196468 140731040307616 140048126880112 140049526422146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16269] ppid=16249 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16269/stat : 16269 (java) S 16249 16249 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97679925 26623803392 6773 33554432000 4194304 4196468 140731040307616 140048125827808 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16270] ppid=16249 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/16251/task/16270/stat : 16270 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679925 26623803392 6773 33554432000 4194304 4196468 140731040307616 140048124775344 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28472 KiB [startup+0.210269 s]* /proc/loadavg: 8.11 6.58 5.72 4/199 16270 /proc/meminfo: memFree=28725676/32770624 swapFree=67108860/67108860 [pid=16249] ppid=16246 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16249/stat : 16249 (xcsp3-exec) S 16246 16249 14738 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97679919 9740288 345 33554432000 4194304 5098028 140721934802976 140721934801080 140235627774588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37867520 140721934804074 140721934804284 140721934804284 140721934807019 0 /proc/16249/statm: 2378 345 289 221 0 87 0 [pid=16251] ppid=16249 vsize=26004064 memory=39044 CPUtime=0.33 cores=0-7 /proc/16251/stat : 16251 (java) S 16249 16249 14738 0 -1 1077944320 8350 0 0 0 31 2 0 0 20 0 20 0 97679919 26628161536 9761 33554432000 4194304 4196468 140731040307616 140731040290160 140049526410999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 /proc/16251/statm: 6501016 9761 3052 1 0 6488269 0 [pid=16251/tid=16252] ppid=16249 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16251/task/16252/stat : 16252 (java) R 16249 16249 14738 0 -1 4202560 5444 0 0 0 18 1 0 0 20 0 20 0 97679919 26628161536 9761 33554432000 4194304 4196468 140731040307616 140049530633904 140049526432925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16253] ppid=16249 vsize=26004064 memory=340 CPUtime=0 cores=0-7 /proc/16251/task/16253/stat : 16253 (java) S 16249 16249 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 9761 33554432000 4194304 4196468 140731040307616 140049489517328 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16254] ppid=16249 vsize=26004064 memory=139667690981000 CPUtime=0 cores=0-7 /proc/16251/task/16254/stat : 16254 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 9761 33554432000 4194304 4196468 140731040307616 140049083923344 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16255] ppid=16249 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16251/task/16255/stat : 16255 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 9761 33554432000 4194304 4196468 140731040307616 140049082870800 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16256] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16256/stat : 16256 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 9761 33554432000 4194304 4196468 140731040307616 140049081818256 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16257] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16257/stat : 16257 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 9761 33554432000 4194304 4196468 140731040307616 140049080764688 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16258] ppid=16249 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16251/task/16258/stat : 16258 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 9761 33554432000 4194304 4196468 140731040307616 140049079712144 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16259] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16259/stat : 16259 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 9761 33554432000 4194304 4196468 140731040307616 140049078659600 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16260] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16260/stat : 16260 (java) S 16249 16249 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 9761 33554432000 4194304 4196468 140731040307616 140049077607056 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16261] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16261/stat : 16261 (java) S 16249 16249 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97679921 26628161536 9761 33554432000 4194304 4196468 140731040307616 140048134248944 140049526422146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16262] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16262/stat : 16262 (java) S 16249 16249 14738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97679922 26628161536 9761 33554432000 4194304 4196468 140731040307616 140048133195168 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16263] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16263/stat : 16263 (java) S 16249 16249 14738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97679922 26628161536 9761 33554432000 4194304 4196468 140731040307616 140048132142576 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16264] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16264/stat : 16264 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679924 26628161536 9761 33554432000 4194304 4196468 140731040307616 140048131091152 140049526429595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16265] ppid=16249 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/16251/task/16265/stat : 16265 (java) S 16249 16249 14738 0 -1 1077944384 563 0 0 0 1 0 0 0 20 0 20 0 97679924 26628161536 9761 33554432000 4194304 4196468 140731040307616 140048130037744 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16266] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16266/stat : 16266 (java) S 16249 16249 14738 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 20 0 97679924 26628161536 9761 33554432000 4194304 4196468 140731040307616 140048128985200 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16267] ppid=16249 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/16251/task/16267/stat : 16267 (java) S 16249 16249 14738 0 -1 1077944384 191 0 0 0 1 0 0 0 20 0 20 0 97679924 26628161536 9761 33554432000 4194304 4196468 140731040307616 140048127932656 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16268] ppid=16249 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/16251/task/16268/stat : 16268 (java) R 16249 16249 14738 0 -1 4202560 748 0 0 0 7 0 0 0 20 0 20 0 97679924 26628161536 9761 33554432000 4194304 4196468 140731040307616 140048126880112 140049526432346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16269] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16269/stat : 16269 (java) S 16249 16249 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97679925 26628161536 9761 33554432000 4194304 4196468 140731040307616 140048125827808 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16270] ppid=16249 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16251/task/16270/stat : 16270 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679925 26628161536 9761 33554432000 4194304 4196468 140731040307616 140048124775344 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40424 KiB [startup+0.309615 s]* /proc/loadavg: 8.11 6.58 5.72 3/199 16270 /proc/meminfo: memFree=28718604/32770624 swapFree=67108860/67108860 [pid=16249] ppid=16246 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16249/stat : 16249 (xcsp3-exec) S 16246 16249 14738 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97679919 9740288 345 33554432000 4194304 5098028 140721934802976 140721934801080 140235627774588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37867520 140721934804074 140721934804284 140721934804284 140721934807019 0 /proc/16249/statm: 2378 345 289 221 0 87 0 [pid=16251] ppid=16249 vsize=26004064 memory=45992 CPUtime=0.49 cores=0-7 /proc/16251/stat : 16251 (java) S 16249 16249 14738 0 -1 1077944320 9247 0 0 0 46 3 0 0 20 0 20 0 97679919 26628161536 11498 33554432000 4194304 4196468 140731040307616 140731040290160 140049526410999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 /proc/16251/statm: 6501016 11498 3081 1 0 6488269 0 [pid=16251/tid=16252] ppid=16249 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/16251/task/16252/stat : 16252 (java) R 16249 16249 14738 0 -1 4202560 6179 0 0 0 27 1 0 0 20 0 20 0 97679919 26628161536 11498 33554432000 4194304 4196468 140731040307616 140049530643072 140049526432925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16253] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16253/stat : 16253 (java) S 16249 16249 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 11498 33554432000 4194304 4196468 140731040307616 140049489517328 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16254] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16254/stat : 16254 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 11498 33554432000 4194304 4196468 140731040307616 140049083923344 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16255] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16255/stat : 16255 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 11498 33554432000 4194304 4196468 140731040307616 140049082870800 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16256] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16256/stat : 16256 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 11498 33554432000 4194304 4196468 140731040307616 140049081818256 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16257] ppid=16249 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/16251/task/16257/stat : 16257 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 11498 33554432000 4194304 4196468 140731040307616 140049080764688 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16258] ppid=16249 vsize=26004064 memory=139667571831727 CPUtime=0 cores=0-7 /proc/16251/task/16258/stat : 16258 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 11498 33554432000 4194304 4196468 140731040307616 140049079712144 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16259] ppid=16249 vsize=26004064 memory=139667571834032 CPUtime=0 cores=0-7 /proc/16251/task/16259/stat : 16259 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 11498 33554432000 4194304 4196468 140731040307616 140049078659600 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16260] ppid=16249 vsize=26004064 memory=139667571836336 CPUtime=0 cores=0-7 /proc/16251/task/16260/stat : 16260 (java) S 16249 16249 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97679920 26628161536 11498 33554432000 4194304 4196468 140731040307616 140049077607056 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16261] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16261/stat : 16261 (java) S 16249 16249 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97679921 26628161536 11498 33554432000 4194304 4196468 140731040307616 140048134248944 140049526422146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16262] ppid=16249 vsize=26004064 memory=279335143679632 CPUtime=0 cores=0-7 /proc/16251/task/16262/stat : 16262 (java) S 16249 16249 14738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97679922 26628161536 11498 33554432000 4194304 4196468 140731040307616 140048133195168 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16263] ppid=16249 vsize=26004064 memory=279335143686544 CPUtime=0 cores=0-7 /proc/16251/task/16263/stat : 16263 (java) S 16249 16249 14738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97679922 26628161536 11498 33554432000 4194304 4196468 140731040307616 140048132142576 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16264] ppid=16249 vsize=26004064 memory=279335143627824 CPUtime=0 cores=0-7 /proc/16251/task/16264/stat : 16264 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679924 26628161536 11498 33554432000 4194304 4196468 140731040307616 140048131091152 140049526429595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16265] ppid=16249 vsize=26004064 memory=279335143700368 CPUtime=0.02 cores=0-7 /proc/16251/task/16265/stat : 16265 (java) S 16249 16249 14738 0 -1 1077944384 563 0 0 0 2 0 0 0 20 0 20 0 97679924 26628161536 11498 33554432000 4194304 4196468 140731040307616 140048130037744 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16266] ppid=16249 vsize=26004064 memory=279335143707280 CPUtime=0.01 cores=0-7 /proc/16251/task/16266/stat : 16266 (java) S 16249 16249 14738 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 97679924 26628161536 11498 33554432000 4194304 4196468 140731040307616 140048128985200 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16267] ppid=16249 vsize=26004064 memory=279335143704976 CPUtime=0.02 cores=0-7 /proc/16251/task/16267/stat : 16267 (java) S 16249 16249 14738 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 97679924 26628161536 11498 33554432000 4194304 4196468 140731040307616 140048127932656 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16268] ppid=16249 vsize=26004064 memory=279335143721136 CPUtime=0.11 cores=0-7 /proc/16251/task/16268/stat : 16268 (java) R 16249 16249 14738 0 -1 4202560 833 0 0 0 11 0 0 0 20 0 20 0 97679924 26628161536 11498 33554432000 4194304 4196468 140731040307616 140048126880112 140049526432346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16269] ppid=16249 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16269/stat : 16269 (java) S 16249 16249 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97679925 26628161536 11498 33554432000 4194304 4196468 140731040307616 140048125827808 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16270] ppid=16249 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16251/task/16270/stat : 16270 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97679925 26628161536 11498 33554432000 4194304 4196468 140731040307616 140048124775344 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47372 KiB [startup+0.701711 s] /proc/loadavg: 8.11 6.58 5.72 6/199 16270 /proc/meminfo: memFree=28700232/32770624 swapFree=67108860/67108860 [pid=16249] ppid=16246 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16249/stat : 16249 (xcsp3-exec) S 16246 16249 14738 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97679919 9740288 345 33554432000 4194304 5098028 140721934802976 140721934801080 140235627774588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37867520 140721934804074 140721934804284 140721934804284 140721934807019 0 /proc/16249/statm: 2378 345 289 221 0 87 0 [pid=16251] ppid=16249 vsize=26538700 memory=90004 CPUtime=2.28 cores=0-7 /proc/16251/stat : 16251 (java) S 16249 16249 14738 0 -1 1077944320 12879 0 0 0 223 5 0 0 20 0 28 0 97679919 27175628800 22501 33554432000 4194304 4196468 140731040307616 140731040290160 140049526410999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 /proc/16251/statm: 6634675 22501 3204 1 0 6621909 0 [pid=16251/tid=16252] ppid=16249 vsize=26538700 memory=279335144079024 CPUtime=0.52 cores=0-7 /proc/16251/task/16252/stat : 16252 (java) S 16249 16249 14738 0 -1 1077944384 6861 0 0 0 50 2 0 0 20 0 28 0 97679919 27175628800 22501 33554432000 4194304 4196468 140731040307616 140049530651776 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16253] ppid=16249 vsize=26538700 memory=139667572040560 CPUtime=0 cores=0-7 /proc/16251/task/16253/stat : 16253 (java) S 16249 16249 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 97679920 27175628800 22501 33554432000 4194304 4196468 140731040307616 140049489517328 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16254] ppid=16249 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16254/stat : 16254 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97679920 27175628800 22535 33554432000 4194304 4196468 140731040307616 140049083923344 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16255] ppid=16249 vsize=26538700 memory=1200 CPUtime=0 cores=0-7 /proc/16251/task/16255/stat : 16255 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97679920 27175628800 22535 33554432000 4194304 4196468 140731040307616 140049082870800 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 ################ # More data... # ################ [pid=16251/tid=16286] ppid=16249 vsize=26538700 memory=1380 CPUtime=155.4 cores=0-7 /proc/16251/task/16286/stat : 16286 (java) R 16249 16249 14738 0 -1 4202560 2079 0 0 0 15539 1 0 0 20 0 28 0 97680586 27175628800 67760 33554432000 4194304 4196468 140731040307616 140048114659976 140049168364560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 Current children cumulated CPU time: 1291.46 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 272420 KiB [startup+222.302 s] /proc/loadavg: 8.08 7.45 6.27 9/207 16287 /proc/meminfo: memFree=28475180/32770624 swapFree=67108860/67108860 [pid=16249] ppid=16246 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16249/stat : 16249 (xcsp3-exec) S 16246 16249 14738 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97679919 9740288 345 33554432000 4194304 5098028 140721934802976 140721934801080 140235627774588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37867520 140721934804074 140721934804284 140721934804284 140721934807019 0 /proc/16249/statm: 2378 345 289 221 0 87 0 [pid=16251] ppid=16249 vsize=26538700 memory=293732 CPUtime=1770.35 cores=0-7 /proc/16251/stat : 16251 (java) S 16249 16249 14738 0 -1 1077944320 65705 0 0 0 177000 35 0 0 20 0 28 0 97679919 27175628800 73433 33554432000 4194304 4196468 140731040307616 140731040290160 140049526410999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 /proc/16251/statm: 6634675 73433 3279 1 0 6621909 0 [pid=16251/tid=16252] ppid=16249 vsize=26538700 memory=293732 CPUtime=0.53 cores=0-7 /proc/16251/task/16252/stat : 16252 (java) S 16249 16249 14738 0 -1 1077944384 7138 0 0 0 51 2 0 0 20 0 28 0 97679919 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049530651776 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16253] ppid=16249 vsize=26538700 memory=293732 CPUtime=0.04 cores=0-7 /proc/16251/task/16253/stat : 16253 (java) S 16249 16249 14738 0 -1 1077944384 1139 0 0 0 3 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049489517328 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16254] ppid=16249 vsize=26538700 memory=293732 CPUtime=0.04 cores=0-7 /proc/16251/task/16254/stat : 16254 (java) S 16249 16249 14738 0 -1 1077944384 1221 0 0 0 3 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049083923344 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16255] ppid=16249 vsize=26538700 memory=1380 CPUtime=0.04 cores=0-7 /proc/16251/task/16255/stat : 16255 (java) S 16249 16249 14738 0 -1 1077944384 1803 0 0 0 3 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049082870800 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16256] ppid=16249 vsize=26538700 memory=916 CPUtime=0.04 cores=0-7 /proc/16251/task/16256/stat : 16256 (java) S 16249 16249 14738 0 -1 1077944384 1141 0 0 0 3 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049081818256 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16257] ppid=16249 vsize=26538700 memory=431 CPUtime=0.04 cores=0-7 /proc/16251/task/16257/stat : 16257 (java) S 16249 16249 14738 0 -1 1077944384 438 0 0 0 3 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049080764688 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16258] ppid=16249 vsize=26538700 memory=0 CPUtime=0.04 cores=0-7 /proc/16251/task/16258/stat : 16258 (java) S 16249 16249 14738 0 -1 1077944384 934 0 0 0 3 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049079712144 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16259] ppid=16249 vsize=26538700 memory=4116 CPUtime=0.04 cores=0-7 /proc/16251/task/16259/stat : 16259 (java) S 16249 16249 14738 0 -1 1077944384 871 0 0 0 3 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049078659600 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16260] ppid=16249 vsize=26538700 memory=1160 CPUtime=0.04 cores=0-7 /proc/16251/task/16260/stat : 16260 (java) S 16249 16249 14738 0 -1 1077944384 344 0 0 0 3 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049077607056 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16261] ppid=16249 vsize=26538700 memory=289632 CPUtime=0.02 cores=0-7 /proc/16251/task/16261/stat : 16261 (java) S 16249 16249 14738 0 -1 1077944384 1971 0 0 0 2 0 0 0 20 0 28 0 97679921 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048134248944 140049526422146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16262] ppid=16249 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16262/stat : 16262 (java) S 16249 16249 14738 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 97679922 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048133195168 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16263] ppid=16249 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16263/stat : 16263 (java) S 16249 16249 14738 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 97679922 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048132142576 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16264] ppid=16249 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/16251/task/16264/stat : 16264 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97679924 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048131091152 140049526429595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16265] ppid=16249 vsize=26538700 memory=2344 CPUtime=1.45 cores=0-7 /proc/16251/task/16265/stat : 16265 (java) S 16249 16249 14738 0 -1 1077944384 7639 0 0 0 143 2 0 0 20 0 28 0 97679924 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048130037744 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16266] ppid=16249 vsize=26538700 memory=932 CPUtime=1.35 cores=0-7 /proc/16251/task/16266/stat : 16266 (java) S 16249 16249 14738 0 -1 1077944384 10131 0 0 0 133 2 0 0 20 0 28 0 97679924 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048128985200 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16267] ppid=16249 vsize=26538700 memory=4144 CPUtime=1.43 cores=0-7 /proc/16251/task/16267/stat : 16267 (java) S 16249 16249 14738 0 -1 1077944384 7845 0 0 0 142 1 0 0 20 0 28 0 97679924 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048127932656 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16268] ppid=16249 vsize=26538700 memory=28340 CPUtime=0.51 cores=0-7 /proc/16251/task/16268/stat : 16268 (java) S 16249 16249 14738 0 -1 1077944384 6243 0 0 0 50 1 0 0 20 0 28 0 97679924 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048126880112 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16269] ppid=16249 vsize=26538700 memory=4144 CPUtime=0 cores=0-7 /proc/16251/task/16269/stat : 16269 (java) S 16249 16249 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97679925 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048125827808 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16270] ppid=16249 vsize=26538700 memory=28340 CPUtime=0.02 cores=0-7 /proc/16251/task/16270/stat : 16270 (java) S 16249 16249 14738 0 -1 1077944384 1093 0 0 0 0 2 0 0 20 0 28 0 97679925 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048124775344 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16279] ppid=16249 vsize=26538700 memory=1380 CPUtime=214.45 cores=0-7 /proc/16251/task/16279/stat : 16279 (java) R 16249 16249 14738 0 -1 4202560 864 0 0 0 21445 0 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048112553336 140049168361635 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16280] ppid=16249 vsize=26538700 memory=1380 CPUtime=214.08 cores=0-7 /proc/16251/task/16280/stat : 16280 (java) R 16249 16249 14738 0 -1 4202560 475 0 0 0 21408 0 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048109396568 140049168361844 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16281] ppid=16249 vsize=26538700 memory=1380 CPUtime=215.41 cores=0-7 /proc/16251/task/16281/stat : 16281 (java) R 16249 16249 14738 0 -1 4202560 1006 0 0 0 21541 0 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048110448232 140049167263785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16282] ppid=16249 vsize=26538700 memory=293732 CPUtime=215.49 cores=0-7 /proc/16251/task/16282/stat : 16282 (java) R 16249 16249 14738 0 -1 4202560 2197 0 0 0 21548 1 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048116764256 140049168661040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16283] ppid=16249 vsize=26538700 memory=1380 CPUtime=215.42 cores=0-7 /proc/16251/task/16283/stat : 16283 (java) R 16249 16249 14738 0 -1 4202560 3500 0 0 0 21540 2 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048113607128 140049168361635 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16284] ppid=16249 vsize=26538700 memory=1380 CPUtime=213.73 cores=0-7 /proc/16251/task/16284/stat : 16284 (java) R 16249 16249 14738 0 -1 4202560 792 0 0 0 21373 0 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048111501400 140049167597272 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16285] ppid=16249 vsize=26538700 memory=1380 CPUtime=215.51 cores=0-7 /proc/16251/task/16285/stat : 16285 (java) R 16249 16249 14738 0 -1 4202560 547 0 0 0 21551 0 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048115712216 140049168361657 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16286] ppid=16249 vsize=26538700 memory=4144 CPUtime=215.38 cores=0-7 /proc/16251/task/16286/stat : 16286 (java) R 16249 16249 14738 0 -1 4202560 2328 0 0 0 21537 1 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048114662384 140049168361635 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 Current children cumulated CPU time: 1770.35 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 295112 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.13 7.52 6.33 9/207 16287 /proc/meminfo: memFree=28474872/32770624 swapFree=67108860/67108860 [pid=16249] ppid=16246 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16249/stat : 16249 (xcsp3-exec) S 16246 16249 14738 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97679919 9740288 345 33554432000 4194304 5098028 140721934802976 140721934801080 140235627774588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37867520 140721934804074 140721934804284 140721934804284 140721934807019 0 /proc/16249/statm: 2378 345 289 221 0 87 0 [pid=16251] ppid=16249 vsize=26538700 memory=293732 CPUtime=2007.47 cores=0-7 /proc/16251/stat : 16251 (java) S 16249 16249 14738 0 -1 1077944320 67221 0 0 0 200711 36 0 0 20 0 28 0 97679919 27175628800 73433 33554432000 4194304 4196468 140731040307616 140731040290160 140049526410999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 /proc/16251/statm: 6634675 73433 3279 1 0 6621909 0 [pid=16251/tid=16252] ppid=16249 vsize=26538700 memory=4144 CPUtime=0.53 cores=0-7 /proc/16251/task/16252/stat : 16252 (java) S 16249 16249 14738 0 -1 1077944384 7138 0 0 0 51 2 0 0 20 0 28 0 97679919 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049530651776 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16253] ppid=16249 vsize=26538700 memory=28340 CPUtime=0.05 cores=0-7 /proc/16251/task/16253/stat : 16253 (java) S 16249 16249 14738 0 -1 1077944384 1147 0 0 0 4 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049489517328 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16254] ppid=16249 vsize=26538700 memory=293732 CPUtime=0.04 cores=0-7 /proc/16251/task/16254/stat : 16254 (java) S 16249 16249 14738 0 -1 1077944384 1241 0 0 0 3 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049083923344 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16255] ppid=16249 vsize=26538700 memory=4872558044660077418 CPUtime=0.05 cores=0-7 /proc/16251/task/16255/stat : 16255 (java) S 16249 16249 14738 0 -1 1077944384 1910 0 0 0 4 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049082870800 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16256] ppid=16249 vsize=26538700 memory=293732 CPUtime=0.04 cores=0-7 /proc/16251/task/16256/stat : 16256 (java) S 16249 16249 14738 0 -1 1077944384 1199 0 0 0 3 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049081818256 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16257] ppid=16249 vsize=26538700 memory=293732 CPUtime=0.05 cores=0-7 /proc/16251/task/16257/stat : 16257 (java) S 16249 16249 14738 0 -1 1077944384 445 0 0 0 4 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049080764688 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16258] ppid=16249 vsize=26538700 memory=2428 CPUtime=0.04 cores=0-7 /proc/16251/task/16258/stat : 16258 (java) S 16249 16249 14738 0 -1 1077944384 1187 0 0 0 3 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049079712144 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16259] ppid=16249 vsize=26538700 memory=1728 CPUtime=0.05 cores=0-7 /proc/16251/task/16259/stat : 16259 (java) S 16249 16249 14738 0 -1 1077944384 958 0 0 0 4 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049078659600 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16260] ppid=16249 vsize=26538700 memory=792 CPUtime=0.05 cores=0-7 /proc/16251/task/16260/stat : 16260 (java) S 16249 16249 14738 0 -1 1077944384 371 0 0 0 4 1 0 0 20 0 28 0 97679920 27175628800 73433 33554432000 4194304 4196468 140731040307616 140049077607056 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16261] ppid=16249 vsize=26538700 memory=9992 CPUtime=0.02 cores=0-7 /proc/16251/task/16261/stat : 16261 (java) S 16249 16249 14738 0 -1 1077944384 2213 0 0 0 2 0 0 0 20 0 28 0 97679921 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048134248944 140049526422146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16262] ppid=16249 vsize=26538700 memory=1224 CPUtime=0 cores=0-7 /proc/16251/task/16262/stat : 16262 (java) S 16249 16249 14738 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 97679922 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048133195168 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16263] ppid=16249 vsize=26538700 memory=5716 CPUtime=0 cores=0-7 /proc/16251/task/16263/stat : 16263 (java) S 16249 16249 14738 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 97679922 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048132142576 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16264] ppid=16249 vsize=26538700 memory=1708 CPUtime=0 cores=0-7 /proc/16251/task/16264/stat : 16264 (java) S 16249 16249 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97679924 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048131091152 140049526429595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16265] ppid=16249 vsize=26538700 memory=293732 CPUtime=1.45 cores=0-7 /proc/16251/task/16265/stat : 16265 (java) S 16249 16249 14738 0 -1 1077944384 7640 0 0 0 143 2 0 0 20 0 28 0 97679924 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048130037744 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16266] ppid=16249 vsize=26538700 memory=293732 CPUtime=1.35 cores=0-7 /proc/16251/task/16266/stat : 16266 (java) S 16249 16249 14738 0 -1 1077944384 10137 0 0 0 133 2 0 0 20 0 28 0 97679924 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048128985200 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16267] ppid=16249 vsize=26538700 memory=960 CPUtime=1.43 cores=0-7 /proc/16251/task/16267/stat : 16267 (java) S 16249 16249 14738 0 -1 1077944384 7846 0 0 0 142 1 0 0 20 0 28 0 97679924 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048127932656 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16268] ppid=16249 vsize=26538700 memory=1236 CPUtime=0.51 cores=0-7 /proc/16251/task/16268/stat : 16268 (java) S 16249 16249 14738 0 -1 1077944384 6245 0 0 0 50 1 0 0 20 0 28 0 97679924 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048126880112 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16269] ppid=16249 vsize=26538700 memory=2344 CPUtime=0 cores=0-7 /proc/16251/task/16269/stat : 16269 (java) S 16249 16249 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97679925 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048125827808 140049526421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16270] ppid=16249 vsize=26538700 memory=932 CPUtime=0.03 cores=0-7 /proc/16251/task/16270/stat : 16270 (java) S 16249 16249 14738 0 -1 1077944384 1118 0 0 0 0 3 0 0 20 0 28 0 97679925 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048124775344 140049526422146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16279] ppid=16249 vsize=26538700 memory=1580 CPUtime=243.68 cores=0-7 /proc/16251/task/16279/stat : 16279 (java) R 16249 16249 14738 0 -1 4202560 900 0 0 0 24368 0 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048112553336 140049166800565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16280] ppid=16249 vsize=26538700 memory=2244 CPUtime=243.79 cores=0-7 /proc/16251/task/16280/stat : 16280 (java) R 16249 16249 14738 0 -1 4202560 489 0 0 0 24379 0 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048109396568 140049168361754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16281] ppid=16249 vsize=26538700 memory=4132 CPUtime=245.11 cores=0-7 /proc/16251/task/16281/stat : 16281 (java) R 16249 16249 14738 0 -1 4202560 1064 0 0 0 24511 0 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048110448744 140049168070471 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16282] ppid=16249 vsize=26538700 memory=2204 CPUtime=245.19 cores=0-7 /proc/16251/task/16282/stat : 16282 (java) R 16249 16249 14738 0 -1 4202560 2402 0 0 0 24518 1 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048116767344 140049169622434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16283] ppid=16249 vsize=26538700 memory=7280 CPUtime=245.13 cores=0-7 /proc/16251/task/16283/stat : 16283 (java) R 16249 16249 14738 0 -1 4202560 3755 0 0 0 24511 2 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048113606616 140049168361991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16284] ppid=16249 vsize=26538700 memory=844 CPUtime=243.44 cores=0-7 /proc/16251/task/16284/stat : 16284 (java) R 16249 16249 14738 0 -1 4202560 826 0 0 0 24344 0 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048111501264 140049168361506 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16285] ppid=16249 vsize=26538700 memory=4108 CPUtime=245.21 cores=0-7 /proc/16251/task/16285/stat : 16285 (java) R 16249 16249 14738 0 -1 4202560 564 0 0 0 24521 0 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048115711968 140049168361635 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 [pid=16251/tid=16286] ppid=16249 vsize=26538700 memory=1692 CPUtime=245 cores=0-7 /proc/16251/task/16286/stat : 16286 (java) R 16249 16249 14738 0 -1 4202560 2381 0 0 0 24499 1 0 0 20 0 28 0 97680586 27175628800 73433 33554432000 4194304 4196468 140731040307616 140048114659464 140049168364599 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37552128 140731040310424 140731040310600 140731040310600 140731040313295 0 Current children cumulated CPU time: 2007.47 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 295112 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.041 s] # the end of solver process 16249 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000951 s, system=0.000951 s [startup+252.097 s] # the end of solver process 16251 was just reported to runsolver # cumulated CPU time of all completed processes: user=2007.77 s, system=0.366591 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.097 CPU time (s): 2008.13 CPU user time (s): 2007.77 CPU system time (s): 0.366591 CPU usage (%): 796.571 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 295112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2007.77 system time used= 0.366591 maximum resident set size= 294192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68273 page faults= 0 swaps= 0 block input operations= 0 block output operations= 448 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10222 involuntary context switches= 21155 # summary of solver processes directly reported to runsolver: # pid: 16249,16251 # total CPU time (s): 2008.13 # total CPU user time (s): 2007.77 # total CPU system time (s): 0.366591 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.85711 second user time and 2.84823 second system time The end
Begin job on node151 at 2017-08-13 19:25:32 IDJOB=4271461 IDBENCH=137387 IDSOLVER=2663 FILE ID=node151/4271461-1502645990 RUNJOBID= node151-1502642846-14765 PBS_JOBID= 20628335 Free space on /tmp= 61756 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n2w4b2r4.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271461-1502645990/watcher-4271461-1502645990 -o /tmp/evaluation-result-4271461-1502645990/solver-4271461-1502645990 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502642846-14765 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1423142533 HOME/instance-4271461-1502645990.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6d00557b853b2556046a5f6541eccb2e RANDOM SEED=1423142533 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 : 5332.95 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 : 5332.95 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 : 5332.95 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 : 5332.95 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: 28753568 kB MemAvailable: 31992096 kB Buffers: 247504 kB Cached: 3281832 kB SwapCached: 0 kB Active: 957476 kB Inactive: 2624620 kB Active(anon): 55504 kB Inactive(anon): 25044 kB Active(file): 901972 kB Inactive(file): 2599576 kB Unevictable: 7024 kB Mlocked: 7024 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7556 kB Writeback: 16 kB AnonPages: 59380 kB Mapped: 43772 kB Shmem: 25224 kB Slab: 132464 kB SReclaimable: 105632 kB SUnreclaim: 26832 kB KernelStack: 3168 kB PageTables: 5012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61748 MiB End job on node151 at 2017-08-13 19:29:44