Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 3 | 39.1828 | 5.45474 |
Name | BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4k.xml |
MD5SUM | bade4ae5f74057612f70883ad9768226 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 5.32455 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 89 |
Number of constraints | 91 |
Number of domains | 2 |
Minimum domain size | 39 |
Maximum domain size | 45 |
Distribution of domain sizes | [{"size":39,"count":88},{"size":45,"count":1}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":44},{"degree":5,"count":44}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 88 |
Distribution of constraint arities | [{"arity":2,"count":88},{"arity":45,"count":1},{"arity":88,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":44},{"type":"lex","count":1},{"type":"sum","count":44},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399944-1568711971.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399944-1568711971.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.30/0.65 c solve instance... 7.28/1.48 o 0 9.69/1.79 o 1 10.46/1.89 o 2 12.71/2.11 o 3 38.81/5.44 s OPTIMUM FOUND 38.81/5.44 v <instantiation> 38.81/5.44 v <list>x b[0][0] b[0][1] b[1][0] b[1][1] b[2][0] b[2][1] b[3][0] b[3][1] b[4][0] b[4][1] b[5][0] b[5][1] b[6][0] b[6][1] b[7][0] b[7][1] b[8][0] b[8][1] b[9][0] b[9][1] b[10][0] b[10][1] b[11][0] b[11][1] b[12][0] b[12][1] b[13][0] b[13][1] b[14][0] b[14][1] b[15][0] b[15][1] b[16][0] b[16][1] b[17][0] b[17][1] b[18][0] b[18][1] b[19][0] b[19][1] b[20][0] b[20][1] b[21][0] b[21][1] b[22][0] b[22][1] b[23][0] b[23][1] b[24][0] b[24][1] b[25][0] b[25][1] b[26][0] b[26][1] b[27][0] b[27][1] b[28][0] b[28][1] b[29][0] b[29][1] b[30][0] b[30][1] b[31][0] b[31][1] b[32][0] b[32][1] b[33][0] b[33][1] b[34][0] b[34][1] b[35][0] b[35][1] b[36][0] b[36][1] b[37][0] b[37][1] b[38][0] b[38][1] b[39][0] b[39][1] b[40][0] b[40][1] b[41][0] b[41][1] b[42][0] b[42][1] b[43][0] b[43][1] </list> 38.81/5.44 v <values>3 100 0 98 0 95 0 94 0 94 0 94 0 93 0 92 0 87 0 85 0 85 0 84 0 83 0 82 0 81 0 78 0 78 0 75 0 73 0 72 0 71 0 71 0 70 0 70 0 68 0 67 0 67 0 66 0 65 0 64 0 60 0 59 0 58 35 57 36 56 43 56 43 56 37 55 45 55 43 54 46 51 49 0 0 0 0 0 0 </values> 38.81/5.44 v </instantiation>
OK 3
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 (14533 MiB free) memory of node 1: 16384 MiB (14115 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399944-1568711971/watcher-4399944-1568711971 -o /tmp/evaluation-result-4399944-1568711971/solver-4399944-1568711971 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568711035-16420 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1615911679 HOME/instance-4399944-1568711971.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 threadsolver pid=17199, runsolver pid=17196 Starting watchdog threadsolver pid=17199, runsolver pid=17196 Current StackSize limit: 8192 KiB [startup+0.100134 s]* /proc/loadavg: 8.38 8.46 8.22 2/211 17220 /proc/meminfo: memFree=29318840/32770624 swapFree=66939908/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 16393 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447111932 115843072 363 33554432000 4194304 5098028 140720337637008 140720337635112 140459408372348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24154112 140720337638261 140720337638505 140720337638505 140720337641418 0 /proc/17199/statm: 28282 363 305 221 0 87 0 [pid=17201] ppid=17199 vsize=28227396 memory=30432 CPUtime=0.12 cores=0-7 /proc/17201/stat : 17201 (java) S 17199 17199 16393 0 -1 1077944320 5576 0 0 0 10 2 0 0 20 0 20 0 447111933 28904853504 7608 33554432000 4194304 4196468 140723486090352 140723486072896 140011434888951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 /proc/17201/statm: 7056849 7608 3120 1 0 7019032 0 [pid=17201/tid=17202] ppid=17199 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/17201/task/17202/stat : 17202 (java) R 17199 17199 16393 0 -1 4202560 3522 0 0 0 8 1 0 0 20 0 20 0 447111933 28904853504 7608 33554432000 4194304 4196468 140723486090352 140011439122224 140011434910877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17203] ppid=17199 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 7608 33554432000 4194304 4196468 140723486090352 140011387509776 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17204] ppid=17199 vsize=28227396 memory=139997491340928 CPUtime=0 cores=0-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 7608 33554432000 4194304 4196468 140723486090352 140011386457232 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17205] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17205/stat : 17205 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 7608 33554432000 4194304 4196468 140723486090352 140011385404176 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17206] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17206/stat : 17206 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 7608 33554432000 4194304 4196468 140723486090352 140011384351632 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17207] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17207/stat : 17207 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 7608 33554432000 4194304 4196468 140723486090352 140011383298576 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17208] ppid=17199 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17201/task/17208/stat : 17208 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 7608 33554432000 4194304 4196468 140723486090352 140011382246032 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17209] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17209/stat : 17209 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 7608 33554432000 4194304 4196468 140723486090352 140011381192976 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17210] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17210/stat : 17210 (java) S 17199 17199 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 7608 33554432000 4194304 4196468 140723486090352 140011380140432 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17211] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17211/stat : 17211 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111935 28904853504 7608 33554432000 4194304 4196468 140723486090352 140010100349680 140011434900098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17212] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17212/stat : 17212 (java) S 17199 17199 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447111936 28904853504 7608 33554432000 4194304 4196468 140723486090352 140010099295904 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17213] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17213/stat : 17213 (java) S 17199 17199 16393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447111936 28904853504 7608 33554432000 4194304 4196468 140723486090352 140010098242800 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17214] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17214/stat : 17214 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111938 28904853504 7608 33554432000 4194304 4196468 140723486090352 140010097191376 140011434907547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17215] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 16393 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 447111938 28904853504 7608 33554432000 4194304 4196468 140723486090352 140010028263664 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17216] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17216/stat : 17216 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111938 28904853504 7608 33554432000 4194304 4196468 140723486090352 140010027211120 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17217] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17217/stat : 17217 (java) S 17199 17199 16393 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 447111938 28904853504 7608 33554432000 4194304 4196468 140723486090352 140010026158064 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17218] ppid=17199 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17201/task/17218/stat : 17218 (java) R 17199 17199 16393 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 20 0 447111938 28904853504 7608 33554432000 4194304 4196468 140723486090352 140010025105520 140011413827160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17219] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17219/stat : 17219 (java) S 17199 17199 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111938 28904853504 7608 33554432000 4194304 4196468 140723486090352 140010024053728 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17220] ppid=17199 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17201/task/17220/stat : 17220 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111939 28904853504 7608 33554432000 4194304 4196468 140723486090352 140010023001264 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31884 KiB [startup+0.21054 s]* /proc/loadavg: 8.38 8.46 8.22 3/211 17220 /proc/meminfo: memFree=29304596/32770624 swapFree=66939908/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 16393 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447111932 115843072 363 33554432000 4194304 5098028 140720337637008 140720337635112 140459408372348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24154112 140720337638261 140720337638505 140720337638505 140720337641418 0 /proc/17199/statm: 28282 363 305 221 0 87 0 [pid=17201] ppid=17199 vsize=28227396 memory=42804 CPUtime=0.34 cores=0-7 /proc/17201/stat : 17201 (java) S 17199 17199 16393 0 -1 1077944320 9422 0 0 0 30 4 0 0 20 0 20 0 447111933 28904853504 10701 33554432000 4194304 4196468 140723486090352 140723486072896 140011434888951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 /proc/17201/statm: 7056849 10701 3301 1 0 7019032 0 [pid=17201/tid=17202] ppid=17199 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/17201/task/17202/stat : 17202 (java) R 17199 17199 16393 0 -1 4202560 6540 0 0 0 17 2 0 0 20 0 20 0 447111933 28904853504 10701 33554432000 4194304 4196468 140723486090352 140011439119504 140011434900886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17203] ppid=17199 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 10701 33554432000 4194304 4196468 140723486090352 140011387509776 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17204] ppid=17199 vsize=28227396 memory=3691177674941769376 CPUtime=0 cores=0-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 10701 33554432000 4194304 4196468 140723486090352 140011386457232 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17205] ppid=17199 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17201/task/17205/stat : 17205 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 10701 33554432000 4194304 4196468 140723486090352 140011385404176 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17206] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17206/stat : 17206 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 10701 33554432000 4194304 4196468 140723486090352 140011384351632 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17207] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17207/stat : 17207 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 10701 33554432000 4194304 4196468 140723486090352 140011383298576 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17208] ppid=17199 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17201/task/17208/stat : 17208 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 10701 33554432000 4194304 4196468 140723486090352 140011382246032 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17209] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17209/stat : 17209 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 10701 33554432000 4194304 4196468 140723486090352 140011381192976 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17210] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17210/stat : 17210 (java) S 17199 17199 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111934 28904853504 10701 33554432000 4194304 4196468 140723486090352 140011380140432 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17211] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17211/stat : 17211 (java) S 17199 17199 16393 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447111935 28904853504 10701 33554432000 4194304 4196468 140723486090352 140010100349680 140011434900098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17212] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17212/stat : 17212 (java) S 17199 17199 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447111936 28904853504 10701 33554432000 4194304 4196468 140723486090352 140010099295904 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17213] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17213/stat : 17213 (java) S 17199 17199 16393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447111936 28904853504 10701 33554432000 4194304 4196468 140723486090352 140010098242800 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17214] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17214/stat : 17214 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111938 28904853504 10701 33554432000 4194304 4196468 140723486090352 140010097191376 140011434907547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17215] ppid=17199 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 16393 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 20 0 447111938 28904853504 10701 33554432000 4194304 4196468 140723486090352 140010028263664 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17216] ppid=17199 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/17201/task/17216/stat : 17216 (java) S 17199 17199 16393 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 20 0 447111938 28904853504 10701 33554432000 4194304 4196468 140723486090352 140010027211120 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17217] ppid=17199 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/17201/task/17217/stat : 17217 (java) S 17199 17199 16393 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 20 0 447111938 28904853504 10701 33554432000 4194304 4196468 140723486090352 140010026158064 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17218] ppid=17199 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/17201/task/17218/stat : 17218 (java) R 17199 17199 16393 0 -1 4202560 732 0 0 0 7 0 0 0 20 0 20 0 447111938 28904853504 10701 33554432000 4194304 4196468 140723486090352 140010025105520 140011413409111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17219] ppid=17199 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17219/stat : 17219 (java) S 17199 17199 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111938 28904853504 10701 33554432000 4194304 4196468 140723486090352 140010024053728 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17220] ppid=17199 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17201/task/17220/stat : 17220 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111939 28904853504 10701 33554432000 4194304 4196468 140723486090352 140010023001264 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 44256 KiB [startup+0.320084 s]* /proc/loadavg: 8.38 8.46 8.22 3/211 17220 /proc/meminfo: memFree=29297200/32770624 swapFree=66939908/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 16393 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447111932 115843072 363 33554432000 4194304 5098028 140720337637008 140720337635112 140459408372348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24154112 140720337638261 140720337638505 140720337638505 140720337641418 0 /proc/17199/statm: 28282 363 305 221 0 87 0 [pid=17201] ppid=17199 vsize=28231652 memory=52084 CPUtime=0.54 cores=0-7 /proc/17201/stat : 17201 (java) S 17199 17199 16393 0 -1 1077944320 10925 0 0 0 49 5 0 0 20 0 20 0 447111933 28909211648 13021 33554432000 4194304 4196468 140723486090352 140723486072896 140011434888951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 /proc/17201/statm: 7057913 13021 3343 1 0 7019032 0 [pid=17201/tid=17202] ppid=17199 vsize=28231652 memory=8317482817917895235 CPUtime=0.31 cores=0-7 /proc/17201/task/17202/stat : 17202 (java) R 17199 17199 16393 0 -1 4202560 7814 0 0 0 28 3 0 0 20 0 20 0 447111933 28909211648 13094 33554432000 4194304 4196468 140723486090352 140011439125776 140011418969438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17203] ppid=17199 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111934 28909211648 13094 33554432000 4194304 4196468 140723486090352 140011387509776 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17204] ppid=17199 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111934 28909211648 13094 33554432000 4194304 4196468 140723486090352 140011386457232 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17205] ppid=17199 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17205/stat : 17205 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111934 28909211648 13094 33554432000 4194304 4196468 140723486090352 140011385404176 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17206] ppid=17199 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17206/stat : 17206 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111934 28909211648 13094 33554432000 4194304 4196468 140723486090352 140011384351632 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17207] ppid=17199 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17207/stat : 17207 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111934 28909211648 13094 33554432000 4194304 4196468 140723486090352 140011383298576 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17208] ppid=17199 vsize=28231652 memory=139997344787119 CPUtime=0 cores=0-7 /proc/17201/task/17208/stat : 17208 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111934 28909211648 13094 33554432000 4194304 4196468 140723486090352 140011382246032 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17209] ppid=17199 vsize=28231652 memory=139997344789424 CPUtime=0 cores=0-7 /proc/17201/task/17209/stat : 17209 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111934 28909211648 13094 33554432000 4194304 4196468 140723486090352 140011381192976 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17210] ppid=17199 vsize=28231652 memory=139997344791728 CPUtime=0 cores=0-7 /proc/17201/task/17210/stat : 17210 (java) S 17199 17199 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111934 28909211648 13094 33554432000 4194304 4196468 140723486090352 140011380140432 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17211] ppid=17199 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17211/stat : 17211 (java) S 17199 17199 16393 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447111935 28909211648 13094 33554432000 4194304 4196468 140723486090352 140010100349680 140011434900098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17212] ppid=17199 vsize=28231652 memory=279994689597328 CPUtime=0 cores=0-7 /proc/17201/task/17212/stat : 17212 (java) S 17199 17199 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447111936 28909211648 13094 33554432000 4194304 4196468 140723486090352 140010099295904 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17213] ppid=17199 vsize=28231652 memory=279994689595024 CPUtime=0 cores=0-7 /proc/17201/task/17213/stat : 17213 (java) S 17199 17199 16393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447111936 28909211648 13094 33554432000 4194304 4196468 140723486090352 140010098242800 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17214] ppid=17199 vsize=28231652 memory=279994689601936 CPUtime=0 cores=0-7 /proc/17201/task/17214/stat : 17214 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111938 28909211648 13094 33554432000 4194304 4196468 140723486090352 140010097191376 140011434907547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17215] ppid=17199 vsize=28231652 memory=279994689543216 CPUtime=0.02 cores=0-7 /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 16393 0 -1 1077944384 327 0 0 0 2 0 0 0 20 0 20 0 447111938 28909211648 13094 33554432000 4194304 4196468 140723486090352 140010028263664 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17216] ppid=17199 vsize=28231652 memory=279994689615760 CPUtime=0.03 cores=0-7 /proc/17201/task/17216/stat : 17216 (java) S 17199 17199 16393 0 -1 1077944384 380 0 0 0 3 0 0 0 20 0 20 0 447111938 28909211648 13094 33554432000 4194304 4196468 140723486090352 140010027211120 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17217] ppid=17199 vsize=28231652 memory=279994689622672 CPUtime=0.03 cores=0-7 /proc/17201/task/17217/stat : 17217 (java) S 17199 17199 16393 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 20 0 447111938 28909211648 13094 33554432000 4194304 4196468 140723486090352 140010026158064 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17218] ppid=17199 vsize=28231652 memory=279994689620368 CPUtime=0.12 cores=0-7 /proc/17201/task/17218/stat : 17218 (java) S 17199 17199 16393 0 -1 1077944384 817 0 0 0 12 0 0 0 20 0 20 0 447111938 28909211648 13094 33554432000 4194304 4196468 140723486090352 140010025105520 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17219] ppid=17199 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17219/stat : 17219 (java) S 17199 17199 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111938 28909211648 13094 33554432000 4194304 4196468 140723486090352 140010024053728 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17220] ppid=17199 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17201/task/17220/stat : 17220 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111939 28909211648 13094 33554432000 4194304 4196468 140723486090352 140010023001264 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 53536 KiB [startup+0.700986 s] /proc/loadavg: 8.38 8.46 8.22 6/211 17220 /proc/meminfo: memFree=29282920/32770624 swapFree=66939908/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 16393 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447111932 115843072 363 33554432000 4194304 5098028 140720337637008 140720337635112 140459408372348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24154112 140720337638261 140720337638505 140720337638505 140720337641418 0 /proc/17199/statm: 28282 363 305 221 0 87 0 [pid=17201] ppid=17199 vsize=28766288 memory=100404 CPUtime=1.74 cores=0-7 /proc/17201/stat : 17201 (java) S 17199 17199 16393 0 -1 1077944320 15460 0 0 0 166 8 0 0 20 0 28 0 447111933 29456678912 25101 33554432000 4194304 4196468 140723486090352 140723486072896 140011434888951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 /proc/17201/statm: 7191572 25101 3453 1 0 7152672 0 [pid=17201/tid=17202] ppid=17199 vsize=28766288 memory=0 CPUtime=0.64 cores=0-7 /proc/17201/task/17202/stat : 17202 (java) S 17199 17199 16393 0 -1 1077944384 9204 0 0 0 60 4 0 0 20 0 28 0 447111933 29456678912 25101 33554432000 4194304 4196468 140723486090352 140011439129728 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17203] ppid=17199 vsize=28766288 memory=139997344998256 CPUtime=0 cores=0-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447111934 29456678912 25101 33554432000 4194304 4196468 140723486090352 140011387509776 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17204] ppid=17199 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447111934 29456678912 25101 33554432000 4194304 4196468 140723486090352 140011386457232 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17205] ppid=17199 vsize=28766288 memory=1256 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=17201/tid=17218] ppid=17199 vsize=28769364 memory=0 CPUtime=0.63 cores=0-7 /proc/17201/task/17218/stat : 17218 (java) S 17199 17199 16393 0 -1 1077944384 2930 0 0 0 61 2 0 0 20 0 28 0 447111938 29459828736 53452 33554432000 4194304 4196468 140723486090352 140010025105520 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17219] ppid=17199 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17219/stat : 17219 (java) S 17199 17199 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447111938 29459828736 53452 33554432000 4194304 4196468 140723486090352 140010024053728 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17220] ppid=17199 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17220/stat : 17220 (java) S 17199 17199 16393 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 447111939 29459828736 53452 33554432000 4194304 4196468 140723486090352 140010023001264 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17255] ppid=17199 vsize=28769364 memory=7680491646476186387 CPUtime=2.53 cores=0-7 /proc/17201/task/17255/stat : 17255 (java) R 17199 17199 16393 0 -1 4202560 65 0 0 0 253 0 0 0 20 0 28 0 447112144 29459828736 53452 33554432000 4194304 4196468 140723486090352 140010005597704 140011057690561 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17256] ppid=17199 vsize=28769364 memory=0 CPUtime=2.66 cores=0-7 /proc/17201/task/17256/stat : 17256 (java) R 17199 17199 16393 0 -1 4202560 91 0 0 0 266 0 0 0 20 0 28 0 447112144 29459828736 53511 33554432000 4194304 4196468 140723486090352 140010008756472 140011056563575 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17257] ppid=17199 vsize=28769364 memory=7446818993369475428 CPUtime=2.5 cores=0-7 /proc/17201/task/17257/stat : 17257 (java) R 17199 17199 16393 0 -1 4202560 104 0 0 0 250 0 0 0 20 0 28 0 447112144 29459828736 53511 33554432000 4194304 4196468 140723486090352 140010006650744 140011058847751 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17258] ppid=17199 vsize=28769364 memory=7446818993369475428 CPUtime=2.3 cores=0-7 /proc/17201/task/17258/stat : 17258 (java) R 17199 17199 16393 0 -1 4202560 85 0 0 0 230 0 0 0 20 0 28 0 447112144 29459828736 53511 33554432000 4194304 4196468 140723486090352 140010014019288 140011057637129 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17259] ppid=17199 vsize=28769364 memory=7446818993369475428 CPUtime=2.62 cores=0-7 /proc/17201/task/17259/stat : 17259 (java) R 17199 17199 16393 0 -1 4202560 172 0 0 0 262 0 0 0 20 0 28 0 447112144 29459828736 53511 33554432000 4194304 4196468 140723486090352 140010009807936 140011057794195 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17260] ppid=17199 vsize=28769364 memory=7446818993369475428 CPUtime=2.48 cores=0-7 /proc/17201/task/17260/stat : 17260 (java) R 17199 17199 16393 0 -1 4202560 166 0 0 0 248 0 0 0 20 0 28 0 447112144 29459828736 53511 33554432000 4194304 4196468 140723486090352 140010010862136 140011056549983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17261] ppid=17199 vsize=28769364 memory=1452 CPUtime=2.49 cores=0-7 /proc/17201/task/17261/stat : 17261 (java) R 17199 17199 16393 0 -1 4202560 606 0 0 0 249 0 0 0 20 0 28 0 447112144 29459828736 53511 33554432000 4194304 4196468 140723486090352 140010012967448 140011057689380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17262] ppid=17199 vsize=28769364 memory=15620 CPUtime=2.65 cores=0-7 /proc/17201/task/17262/stat : 17262 (java) R 17199 17199 16393 0 -1 4202560 121 0 0 0 265 0 0 0 20 0 28 0 447112144 29459828736 53511 33554432000 4194304 4196468 140723486090352 140010011914600 140011057689708 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 Current children cumulated CPU time: 34.11 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 215260 KiB [startup+5.20108 s] /proc/loadavg: 8.11 8.40 8.21 9/219 17263 /proc/meminfo: memFree=29134924/32770624 swapFree=66939908/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 16393 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447111932 115843072 363 33554432000 4194304 5098028 140720337637008 140720337635112 140459408372348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24154112 140720337638261 140720337638505 140720337638505 140720337641418 0 /proc/17199/statm: 28282 363 305 221 0 87 0 [pid=17201] ppid=17199 vsize=28769364 memory=212548 CPUtime=37.21 cores=0-7 /proc/17201/stat : 17201 (java) S 17199 17199 16393 0 -1 1077944320 28655 0 0 0 3704 17 0 0 20 0 28 0 447111933 29459828736 53137 33554432000 4194304 4196468 140723486090352 140723486072896 140011434888951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 /proc/17201/statm: 7192341 53137 3522 1 0 7153441 0 [pid=17201/tid=17202] ppid=17199 vsize=28769364 memory=7308589473720199513 CPUtime=0.64 cores=0-7 /proc/17201/task/17202/stat : 17202 (java) S 17199 17199 16393 0 -1 1077944384 9207 0 0 0 60 4 0 0 20 0 28 0 447111933 29459828736 53137 33554432000 4194304 4196468 140723486090352 140011439129728 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17203] ppid=17199 vsize=28769364 memory=7308589473720199513 CPUtime=0 cores=0-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53137 33554432000 4194304 4196468 140723486090352 140011387509776 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17204] ppid=17199 vsize=28769364 memory=7308589473720199513 CPUtime=0 cores=0-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 16393 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53137 33554432000 4194304 4196468 140723486090352 140011386457232 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17205] ppid=17199 vsize=28769364 memory=6010739129752376682 CPUtime=0 cores=0-7 /proc/17201/task/17205/stat : 17205 (java) S 17199 17199 16393 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53137 33554432000 4194304 4196468 140723486090352 140011385404176 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17206] ppid=17199 vsize=28769364 memory=7450762906865919331 CPUtime=0 cores=0-7 /proc/17201/task/17206/stat : 17206 (java) S 17199 17199 16393 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53137 33554432000 4194304 4196468 140723486090352 140011384351632 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17207] ppid=17199 vsize=28769364 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/17201/task/17207/stat : 17207 (java) S 17199 17199 16393 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53137 33554432000 4194304 4196468 140723486090352 140011383298576 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17208] ppid=17199 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17208/stat : 17208 (java) S 17199 17199 16393 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53137 33554432000 4194304 4196468 140723486090352 140011382246032 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17209] ppid=17199 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17209/stat : 17209 (java) S 17199 17199 16393 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53137 33554432000 4194304 4196468 140723486090352 140011381192976 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17210] ppid=17199 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17210/stat : 17210 (java) S 17199 17199 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53137 33554432000 4194304 4196468 140723486090352 140011380140432 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17211] ppid=17199 vsize=28769364 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/17201/task/17211/stat : 17211 (java) S 17199 17199 16393 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 28 0 447111935 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010100349680 140011434900098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17212] ppid=17199 vsize=28769364 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/17201/task/17212/stat : 17212 (java) S 17199 17199 16393 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447111936 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010099295904 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17213] ppid=17199 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17213/stat : 17213 (java) S 17199 17199 16393 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 447111936 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010098242800 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17214] ppid=17199 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17214/stat : 17214 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447111938 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010097191376 140011434907547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17215] ppid=17199 vsize=28769364 memory=0 CPUtime=1.28 cores=0-7 /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 16393 0 -1 1077944384 4198 0 0 0 127 1 0 0 20 0 28 0 447111938 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010028263664 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17216] ppid=17199 vsize=28769364 memory=0 CPUtime=1.24 cores=0-7 /proc/17201/task/17216/stat : 17216 (java) S 17199 17199 16393 0 -1 1077944384 3612 0 0 0 123 1 0 0 20 0 28 0 447111938 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010027211120 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17217] ppid=17199 vsize=28769364 memory=0 CPUtime=1.44 cores=0-7 /proc/17201/task/17217/stat : 17217 (java) S 17199 17199 16393 0 -1 1077944384 4506 0 0 0 143 1 0 0 20 0 28 0 447111938 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010026158064 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17218] ppid=17199 vsize=28769364 memory=0 CPUtime=0.64 cores=0-7 /proc/17201/task/17218/stat : 17218 (java) S 17199 17199 16393 0 -1 1077944384 3207 0 0 0 62 2 0 0 20 0 28 0 447111938 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010025105520 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17219] ppid=17199 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17219/stat : 17219 (java) S 17199 17199 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447111938 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010024053728 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17220] ppid=17199 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17220/stat : 17220 (java) S 17199 17199 16393 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 447111939 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010023001264 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17255] ppid=17199 vsize=28769364 memory=0 CPUtime=2.93 cores=0-7 /proc/17201/task/17255/stat : 17255 (java) R 17199 17199 16393 0 -1 4202560 74 0 0 0 293 0 0 0 20 0 28 0 447112144 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010005597568 140011057689648 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17256] ppid=17199 vsize=28769364 memory=7234306476840802408 CPUtime=3.06 cores=0-7 /proc/17201/task/17256/stat : 17256 (java) R 17199 17199 16393 0 -1 4202560 92 0 0 0 306 0 0 0 20 0 28 0 447112144 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010008756336 140011057689039 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17257] ppid=17199 vsize=28769364 memory=5933045473385736552 CPUtime=2.86 cores=0-7 /proc/17201/task/17257/stat : 17257 (java) R 17199 17199 16393 0 -1 4202560 104 0 0 0 286 0 0 0 20 0 28 0 447112144 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010006651120 140011056367184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17258] ppid=17199 vsize=28769364 memory=6369868150210126928 CPUtime=2.66 cores=0-7 /proc/17201/task/17258/stat : 17258 (java) R 17199 17199 16393 0 -1 4202560 85 0 0 0 266 0 0 0 20 0 28 0 447112144 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010014019576 140011057691950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17259] ppid=17199 vsize=28769364 memory=29906940674 CPUtime=3.01 cores=0-7 /proc/17201/task/17259/stat : 17259 (java) R 17199 17199 16393 0 -1 4202560 184 0 0 0 301 0 0 0 20 0 28 0 447112144 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010009808440 140011057689418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17260] ppid=17199 vsize=28769364 memory=279994690062920 CPUtime=2.84 cores=0-7 /proc/17201/task/17260/stat : 17260 (java) R 17199 17199 16393 0 -1 4202560 167 0 0 0 284 0 0 0 20 0 28 0 447112144 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010010861024 140011056367130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17261] ppid=17199 vsize=28769364 memory=0 CPUtime=2.81 cores=0-7 /proc/17201/task/17261/stat : 17261 (java) R 17199 17199 16393 0 -1 4202560 608 0 0 0 281 0 0 0 20 0 28 0 447112144 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010012967288 140011056367261 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17262] ppid=17199 vsize=28769364 memory=279994690709088 CPUtime=3.02 cores=0-7 /proc/17201/task/17262/stat : 17262 (java) R 17199 17199 16393 0 -1 4202560 122 0 0 0 302 0 0 0 20 0 28 0 447112144 29459828736 53137 33554432000 4194304 4196468 140723486090352 140010011914680 140011057691910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 Current children cumulated CPU time: 37.21 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 214000 KiB [startup+5.40108 s] /proc/loadavg: 8.11 8.40 8.21 9/219 17263 /proc/meminfo: memFree=29134924/32770624 swapFree=66939908/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 16393 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447111932 115843072 363 33554432000 4194304 5098028 140720337637008 140720337635112 140459408372348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24154112 140720337638261 140720337638505 140720337638505 140720337641418 0 /proc/17199/statm: 28282 363 305 221 0 87 0 [pid=17201] ppid=17199 vsize=28769364 memory=214596 CPUtime=38.81 cores=0-7 /proc/17201/stat : 17201 (java) S 17199 17199 16393 0 -1 1077944320 28663 0 0 0 3864 17 0 0 20 0 28 0 447111933 29459828736 53649 33554432000 4194304 4196468 140723486090352 140723486072896 140011434888951 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 /proc/17201/statm: 7192341 53649 3522 1 0 7153441 0 [pid=17201/tid=17202] ppid=17199 vsize=28769364 memory=7446818997697929572 CPUtime=0.64 cores=0-7 /proc/17201/task/17202/stat : 17202 (java) S 17199 17199 16393 0 -1 1077944384 9207 0 0 0 60 4 0 0 20 0 28 0 447111933 29459828736 53649 33554432000 4194304 4196468 140723486090352 140011439129728 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17203] ppid=17199 vsize=28769364 memory=7306070501274114150 CPUtime=0 cores=0-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53649 33554432000 4194304 4196468 140723486090352 140011387509776 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17204] ppid=17199 vsize=28769364 memory=7662656213982145896 CPUtime=0 cores=0-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 16393 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53649 33554432000 4194304 4196468 140723486090352 140011386457232 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17205] ppid=17199 vsize=28769364 memory=7665518435687098732 CPUtime=0 cores=0-7 /proc/17201/task/17205/stat : 17205 (java) S 17199 17199 16393 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53649 33554432000 4194304 4196468 140723486090352 140011385404176 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17206] ppid=17199 vsize=28769364 memory=6370452059672110183 CPUtime=0 cores=0-7 /proc/17201/task/17206/stat : 17206 (java) S 17199 17199 16393 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53649 33554432000 4194304 4196468 140723486090352 140011384351632 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17207] ppid=17199 vsize=28769364 memory=6370452059672110183 CPUtime=0 cores=0-7 /proc/17201/task/17207/stat : 17207 (java) S 17199 17199 16393 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53649 33554432000 4194304 4196468 140723486090352 140011383298576 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17208] ppid=17199 vsize=28769364 memory=7522248789619664728 CPUtime=0 cores=0-7 /proc/17201/task/17208/stat : 17208 (java) S 17199 17199 16393 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53649 33554432000 4194304 4196468 140723486090352 140011382246032 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17209] ppid=17199 vsize=28769364 memory=6370452059672110183 CPUtime=0 cores=0-7 /proc/17201/task/17209/stat : 17209 (java) S 17199 17199 16393 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53649 33554432000 4194304 4196468 140723486090352 140011381192976 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17210] ppid=17199 vsize=28769364 memory=7522248789619664728 CPUtime=0 cores=0-7 /proc/17201/task/17210/stat : 17210 (java) S 17199 17199 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447111934 29459828736 53649 33554432000 4194304 4196468 140723486090352 140011380140432 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17211] ppid=17199 vsize=28769364 memory=7522248789619664728 CPUtime=0 cores=0-7 /proc/17201/task/17211/stat : 17211 (java) S 17199 17199 16393 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 28 0 447111935 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010100349680 140011434900098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17212] ppid=17199 vsize=28769364 memory=7522248789619664728 CPUtime=0 cores=0-7 /proc/17201/task/17212/stat : 17212 (java) S 17199 17199 16393 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447111936 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010099295904 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17213] ppid=17199 vsize=28769364 memory=7522248789619664728 CPUtime=0 cores=0-7 /proc/17201/task/17213/stat : 17213 (java) S 17199 17199 16393 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 447111936 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010098242800 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17214] ppid=17199 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17214/stat : 17214 (java) S 17199 17199 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447111938 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010097191376 140011434907547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17215] ppid=17199 vsize=28769364 memory=0 CPUtime=1.28 cores=0-7 /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 16393 0 -1 1077944384 4198 0 0 0 127 1 0 0 20 0 28 0 447111938 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010028263664 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17216] ppid=17199 vsize=28769364 memory=0 CPUtime=1.24 cores=0-7 /proc/17201/task/17216/stat : 17216 (java) S 17199 17199 16393 0 -1 1077944384 3612 0 0 0 123 1 0 0 20 0 28 0 447111938 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010027211120 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17217] ppid=17199 vsize=28769364 memory=0 CPUtime=1.44 cores=0-7 /proc/17201/task/17217/stat : 17217 (java) S 17199 17199 16393 0 -1 1077944384 4506 0 0 0 143 1 0 0 20 0 28 0 447111938 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010026158064 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17218] ppid=17199 vsize=28769364 memory=0 CPUtime=0.64 cores=0-7 /proc/17201/task/17218/stat : 17218 (java) S 17199 17199 16393 0 -1 1077944384 3207 0 0 0 62 2 0 0 20 0 28 0 447111938 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010025105520 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17219] ppid=17199 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17219/stat : 17219 (java) S 17199 17199 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447111938 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010024053728 140011434899157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17220] ppid=17199 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/17201/task/17220/stat : 17220 (java) S 17199 17199 16393 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 447111939 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010023001264 140011434900098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17255] ppid=17199 vsize=28769364 memory=0 CPUtime=3.13 cores=0-7 /proc/17201/task/17255/stat : 17255 (java) R 17199 17199 16393 0 -1 4202560 74 0 0 0 313 0 0 0 20 0 28 0 447112144 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010005597704 140011057689662 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17256] ppid=17199 vsize=28769364 memory=0 CPUtime=3.26 cores=0-7 /proc/17201/task/17256/stat : 17256 (java) R 17199 17199 16393 0 -1 4202560 92 0 0 0 326 0 0 0 20 0 28 0 447112144 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010008756472 140011057688903 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17257] ppid=17199 vsize=28769364 memory=0 CPUtime=3.06 cores=0-7 /proc/17201/task/17257/stat : 17257 (java) R 17199 17199 16393 0 -1 4202560 104 0 0 0 306 0 0 0 20 0 28 0 447112144 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010006651256 140011057689431 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17258] ppid=17199 vsize=28769364 memory=0 CPUtime=2.86 cores=0-7 /proc/17201/task/17258/stat : 17258 (java) R 17199 17199 16393 0 -1 4202560 85 0 0 0 286 0 0 0 20 0 28 0 447112144 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010014019576 140011057690118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17259] ppid=17199 vsize=28769364 memory=0 CPUtime=3.21 cores=0-7 /proc/17201/task/17259/stat : 17259 (java) R 17199 17199 16393 0 -1 4202560 188 0 0 0 321 0 0 0 20 0 28 0 447112144 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010009808440 140011059348805 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17260] ppid=17199 vsize=28769364 memory=0 CPUtime=3.04 cores=0-7 /proc/17201/task/17260/stat : 17260 (java) R 17199 17199 16393 0 -1 4202560 168 0 0 0 304 0 0 0 20 0 28 0 447112144 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010010860912 140011058265880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17261] ppid=17199 vsize=28769364 memory=0 CPUtime=3.01 cores=0-7 /proc/17201/task/17261/stat : 17261 (java) R 17199 17199 16393 0 -1 4202560 611 0 0 0 301 0 0 0 20 0 28 0 447112144 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010012967288 140011057689416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 [pid=17201/tid=17262] ppid=17199 vsize=28769364 memory=0 CPUtime=3.22 cores=0-7 /proc/17201/task/17262/stat : 17262 (java) R 17199 17199 16393 0 -1 4202560 122 0 0 0 322 0 0 0 20 0 28 0 447112144 29459828736 53649 33554432000 4194304 4196468 140723486090352 140010011914680 140011057689416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26013696 140723486094314 140723486094486 140723486094486 140723486097359 0 Current children cumulated CPU time: 38.81 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 216048 KiB Child status: 0 Real time (s): 5.45474 CPU time (s): 39.1828 CPU user time (s): 38.9942 CPU system time (s): 0.188605 CPU usage (%): 718.325 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 216048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 38.9942 system time used= 0.188605 maximum resident set size= 215504 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29789 page faults= 0 swaps= 0 block input operations= 0 block output operations= 168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3996 involuntary context switches= 991 # summary of solver processes directly reported to runsolver: # pid: 17199 # total CPU time (s): 39.1828 # total CPU user time (s): 38.9942 # total CPU system time (s): 0.188605 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.063734 second user time and 0.104425 second system time The end
Begin job on node119 at 2019-09-17 11:18:51 IDJOB=4399944 IDBENCH=136538 IDSOLVER=2854 FILE ID=node119/4399944-1568711971 RUNJOBID= node119-1568711035-16420 PBS_JOBID= 21703922 Free space on /tmp= 61344 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n1c1w4k.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399944-1568711971/watcher-4399944-1568711971 -o /tmp/evaluation-result-4399944-1568711971/solver-4399944-1568711971 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568711035-16420 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1615911679 HOME/instance-4399944-1568711971.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bade4ae5f74057612f70883ad9768226 RANDOM SEED=1615911679 node119.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.47 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.47 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.47 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.47 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: 29335904 kB MemAvailable: 31822092 kB Buffers: 131340 kB Cached: 2638076 kB SwapCached: 61072 kB Active: 1404008 kB Inactive: 1431644 kB Active(anon): 4824 kB Inactive(anon): 110908 kB Active(file): 1399184 kB Inactive(file): 1320736 kB Unevictable: 107484 kB Mlocked: 107484 kB SwapTotal: 67108860 kB SwapFree: 66939908 kB Dirty: 26156 kB Writeback: 0 kB AnonPages: 115120 kB Mapped: 48520 kB Shmem: 41008 kB Slab: 193552 kB SReclaimable: 164208 kB SUnreclaim: 29344 kB KernelStack: 3680 kB PageTables: 5584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61320 MiB End job on node119 at 2019-09-17 11:18:56